package calipso

  1. Overview
  2. Docs
Rewrites C programs to remove non-structured control-flow

Install

Authors

Maintainers

Sources

v4.1.0.tar.gz
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

Tags

FrontC C analysis

Published: 26 May 2021

Dependencies (3)

  1. FrontC = version
  2. dune >= "2.7"
  3. ocaml >= "4.08.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None