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.1.0.tar.gz sha256=f70063a72a39cb9192069ce3b1a20dd28f7e1c2ef6a56bbfbf7079533f2210e4 md5=08e58fa6c9eb311b03c0b85d74d2e256 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/calipso/calipso.4.1.0/opam |
No package is dependent
