memcadversion Documentation on ocaml.org
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
