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