calipsoversion Documentation on ocaml.org
Rewrites C programs to remove non-structured control-flow
Calipso analyzes programs in order to replace all nonstructured instructions (i.e., break, return, switch...) by branches and, then, remove all branches. See https://dblp.org/rec/journals/tsi/CasseFRS02 for more details
| Tags | FrontC C analysis |
|---|---|
| Author | Hugues Cassé <casse@irit.fr> et al |
| License | LGPL-2.0-only |
| Published | |
| Homepage | https://github.com/BinaryAnalysisPlatform/FrontC |
| Issue Tracker | https://github.com/BinaryAnalysisPlatform/FrontC/issues |
| Maintainer | Ivan Gotovchits <ivg@ieee.org> |
| Dependencies | |
| Source [http] | https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz sha256=1cd4e72478b1bf03678dd3cc730400c26a0d02b883906a5f5a354907f2798279 md5=2e8875a947b12ae3de2e89b1d9b3c7fe |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/calipso/calipso.4.0.0/opam |
No package is dependent
