mopsaversion
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
MOPSA is a generic framework for building sound static analyzers based on Abstract Interpretation. It features a modular architecture to support different kinds of languages, iterators, and abstract domains. For the moment, MOPSA can analyze programs written in a subset of C and Python. It reports run-time errors on C programs and uncaught exceptions on Python programs.
| Authors | Antoine Miné, Abdelraouf Ouadjaout, Matthieu Journault, Aymeric Fromherz, Raphaël Monat, Francesco Parolini, Marco Milanese and Jérôme Boillot |
|---|---|
| License | LGPL-3.0-or-later |
| Published | |
| Homepage | https://mopsa.lip6.fr |
| Issue Tracker | https://gitlab.com/mopsa/mopsa-analyzer/issues |
| Maintainers | Antoine Miné <antoine.mine@lip6.fr>, Abdelraouf Ouadjaout <ouadjaout@gmail.com> and Raphaël Monat <raphael.monat@inria.fr> |
| Available | !(arch = "x86_32") & !(os-family = "windows") & opam-version >= "2.1.0" |
| Dependencies | |
| Optional dependencies | |
| Source [http] | https://www.gitlab.com/mopsa/mopsa-analyzer/-/archive/v1.1/mopsa-analyzer-v1.1.tar.gz md5=fdee20e988343751de440b4f6b67c0f4 sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/mopsa/mopsa.1.1/opam |
No package is dependent
