memcad

AuthorXavier Rival et. al.
LicenseGPL v3
Homepagehttps://www.di.ens.fr/~rival/memcad.html
Issue Trackerhttps://github.com/Antique-team/memcad/issues
MaintainerXavier.Rival@ens.fr
Dependencies
&apron
base-unix
bdd
clangml-transforms
conf-graphviz
obuild
ounit
parmap
qtest
setr
Availableocaml-version >= "4.02.0"
PublishedAug 12, 2016
Source [http] https://github.com/Antique-team/memcad/archive/v1.0.0.tar.gz
7951413755c9cce76409ac792c960662
StatisticsInstalled 5times in last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/memcad/memcad.1.0.0/opam

The MemCAD analyzer

MemCAD is an abstract interpreter for shape analysis. MemCAD can analyze C programs manipulating complex data structures.

No package is dependent