Mopsa

Mopsa is a framework to write static analyses by abstract interpretation.

Raphaël Monat
Raphaël Monat
Researcher