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.2/mopsa-analyzer-v1.2.tar.gz md5=37966e98ffeebcedc09bd6e9b2b81f69 sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/mopsa/mopsa.1.2/opam |
No package is dependent
