Awesome Lists
Top Projects
Most Links
Search
About
Add Project
memcad
The MemCAD static analyzer
GitHub
25
stars
8
watching
5
forks
last commit:
almost 3 years ago
abstract-interpretation
c
ocaml
shape-analysis
static-analysis
memcad memcad