memcad
The MemCAD analyzer
Description
MemCAD is an abstract interpreter for shape analysis. MemCAD can analyze C programs manipulating complex data structures.
Install
- Authors
-
- Maintainers
-
Sources
Dependencies
Reverse Dependencies