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