calipsoversion

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
AuthorHugues Cassé <casse@irit.fr> et al
LicenseLGPL-2.0-only
Published
Homepagehttps://github.com/BinaryAnalysisPlatform/FrontC
Issue Trackerhttps://github.com/BinaryAnalysisPlatform/FrontC/issues
MaintainerIvan Gotovchits <ivg@ieee.org>
Dependencies
Source [http] https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz
sha256=1cd4e72478b1bf03678dd3cc730400c26a0d02b883906a5f5a354907f2798279
md5=2e8875a947b12ae3de2e89b1d9b3c7fe
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/calipso/calipso.4.0.0/opam
No package is dependent