memcad

The MemCAD analyzer
Description

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

Install
Published
22 Aug 2016
Sources
v1.0.0.tar.gz
md5=7951413755c9cce76409ac792c960662
Dependencies
Reverse Dependencies