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 v3
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
md5=7951413755c9cce76409ac792c960662
StatisticsInstalled 2 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/memcad/memcad.1.0.0/opam
No package is dependent