Skip to Main content Skip to Navigation
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

https://hal.sorbonne-universite.fr/hal-02890500
Contributor : Antoine Miné Connect in order to contact the contributor
Submitted on : Monday, July 6, 2020 - 1:34:46 PM
Last modification on : Monday, December 6, 2021 - 5:12:02 PM
Long-term archiving on: : Friday, November 27, 2020 - 11:34:07 AM

File

article-mine-al-vstte19.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

68

Files downloads

147