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.

AuthorsAntoine Miné, Abdelraouf Ouadjaout, Matthieu Journault, Aymeric Fromherz, Raphaël Monat, Francesco Parolini, Marco Milanese and Jérôme Boillot
LicenseLGPL-3.0-or-later
Published
Homepagehttps://gitlab.com/mopsa/mopsa-analyzer
Issue Trackerhttps://gitlab.com/mopsa/mopsa-analyzer/issues
MaintainersAntoine 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
Conflicts
Source [http] https://www.gitlab.com/mopsa/mopsa-analyzer/-/archive/v1.0/mopsa-analyzer-v1.0.tar.gz
md5=9f673f79708b44a7effb3b6bb3618d2c
sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mopsa/mopsa.1.0/opam
No package is dependent