memcadversion

The MemCAD analyzer

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

AuthorXavier Rival et. al.
LicenseGPL-3.0-only
Published
Homepagehttps://www.di.ens.fr/~rival/memcad.html
Issue Trackerhttps://github.com/Antique-team/memcad/issues
MaintainerXavier.Rival@ens.fr
Dependencies
Source [http] https://github.com/Antique-team/memcad/archive/v1.0.0.tar.gz
sha256=d8e9bbca34aeaeaaba8d021b31316f6947108582184be24ec6b475fd79dead95
md5=7951413755c9cce76409ac792c960662
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/memcad/memcad.1.0.0/opam
No package is dependent