MemCAD
October 15, 2021 ยท View on GitHub
A static analyzer doing shape analysis.
The project is now hosted here: https://gitlab.inria.fr/memcad/memcad
October 15, 2021 ยท View on GitHub
A static analyzer doing shape analysis.
The project is now hosted here: https://gitlab.inria.fr/memcad/memcad