Skip to Main content Skip to Navigation
New interface
Conference papers

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer

Abstract : We discuss the design of Mopsa, an ongoing effort to design a novel semantic static analyzer by abstract interpretation. Mopsa strives to achieve a high degree of modularity and extensibility by considering value abstractions for numeric, pointer, objects, arrays, etc. as well as syntax-driven iterators and control-flow abstractions uniformly as domain modules, which offer a unified signature and loose coupling, so that they can be combined and reused at will. Moreover, domains can dynamically rewrite expressions, which simplifies the design of relational abstractions, encourages a design based on layered semantics, and enables domain reuse across different analyses and different languages. We present preliminary applications of Mopsa analyzing simple programs in subsets of the C and Python programming languages, checking them for run-time errors and uncaught exceptions.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Antoine Miné Connect in order to contact the contributor
Submitted on : Monday, July 6, 2020 - 1:34:46 PM
Last modification on : Sunday, June 26, 2022 - 2:51:39 AM
Long-term archiving on: : Friday, November 27, 2020 - 11:34:07 AM


Files produced by the author(s)



Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout. Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩. ⟨hal-02890500⟩



Record views


Files downloads