memcadversion
The MemCAD analyzer
MemCAD is an abstract interpreter for shape analysis. MemCAD can analyze C programs manipulating complex data structures.
Author | Xavier Rival et. al. |
---|---|
License | GPL-3.0-only |
Published | |
Homepage | https://www.di.ens.fr/~rival/memcad.html |
Issue Tracker | https://gitlab.inria.fr/memcad/memcad/-/issues |
Maintainer | Xavier.Rival@ens.fr |
Dependencies | |
Source [http] | https://gitlab.inria.fr/memcad/memcad/-/archive/v1.1.0/memcad-v1.1.0.tar.gz sha512=7e37933fb3c2b67d166906f1ac38855b6819d4ce8f015f84b98012a513cf254eea5081b5d37fe69689dead565f8a1973418a023c9cee76426a5bdb93815c681f |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/memcad/memcad.1.1.0/opam |
No package is dependent