memcad icon indicating copy to clipboard operation
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