memcad
memcad copied to clipboard
The MemCAD static analyzer
MemCAD
A static analyzer doing shape analysis.
The project is now hosted here: https://gitlab.inria.fr/memcad/memcad