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://github.com/Antique-team/memcad/issues |
| Maintainer | Xavier.Rival@ens.fr |
| Dependencies | |
| Source [http] | https://github.com/Antique-team/memcad/archive/v1.0.0.tar.gz sha256=d8e9bbca34aeaeaaba8d021b31316f6947108582184be24ec6b475fd79dead95 md5=7951413755c9cce76409ac792c960662 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/memcad/memcad.1.0.0/opam |
No package is dependent
