memcad

The MemCAD analyzer
Description

MemCAD is an abstract interpreter for shape analysis. MemCAD can analyze C programs manipulating complex data structures.

Install
Documentation failed to build. www.di.ens.fr Edit opam file
Published
22 Aug 2016
Authors
Maintainers
Sources
v1.0.0.tar.gz
md5=7951413755c9cce76409ac792c960662
Dependencies
setr
qtest
parmap
ounit
obuild build
conf-graphviz
clangml-transforms < "0.24"
bdd
base-unix
apron
ocaml >= "4.02.0"
Reverse Dependencies