memcad

Author Xavier Rival et. al.
License GPL v3
Homepage https://www.di.ens.fr/~rival/memcad.html
Issue Tracker https://github.com/Antique-team/memcad/issues
Maintainer Xavier.Rival@ens.fr
Dependencies
& apron
base-unix
bdd
clangml-transforms
conf-graphviz
obuild
ounit
parmap
qtest
setr
Available ocaml-version >= "4.02.0"
Published Aug 12, 2016
Source [http] http://github.com/Antique-team/memcad/archive/v1.0.0.tar.gz
7951413755c9cce76409ac792c960662
Statistics Installed once in last month.
Edit https://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