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://gitlab.inria.fr/memcad/memcad/-/issues
MaintainerXavier.Rival@ens.fr
Dependencies
Source [http] https://gitlab.inria.fr/memcad/memcad/-/archive/v1.1.0/memcad-v1.1.0.tar.gz
sha512=7e37933fb3c2b67d166906f1ac38855b6819d4ce8f015f84b98012a513cf254eea5081b5d37fe69689dead565f8a1973418a023c9cee76426a5bdb93815c681f
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/memcad/memcad.1.1.0/opam
No package is dependent