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://gitlab.com/mopsa/mopsa-analyzer |
| 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.0/mopsa-analyzer-v1.0.tar.gz md5=9f673f79708b44a7effb3b6bb3618d2c sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/mopsa/mopsa.1.0/opam |
No package is dependent
