Français
Un analyseur statique faisant une analyse de forme.
Le projet est maintenant hébergé ici: https://gitlab.inria.fr/memcad/memcad