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

Tags

FrontC C analysis

Published: 26 May 2021

Dependencies (4)

  1. odoc with-doc
  2. FrontC = version
  3. dune >= "2.7"
  4. ocaml >= "4.08.0"

Reverse Dependencies

    None

Conflicts

    None
Rewrites C programs to remove non-structured control-flow

Install

Documentation github.com Readme Edit opam file

Authors

  1. H
    Hugues Cassé <casse@irit.fr> et al

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v4.1.0.tar.gz
md5=08e58fa6c9eb311b03c0b85d74d2e256