package calipso
Rewrites C programs to remove non-structured control-flow
Install
Dune Dependency
Authors
Maintainers
Sources
v4.1.0.tar.gz
sha256=f70063a72a39cb9192069ce3b1a20dd28f7e1c2ef6a56bbfbf7079533f2210e4
md5=08e58fa6c9eb311b03c0b85d74d2e256
Description
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
On This Page