Skip to Main content Skip to Navigation
Conference papers

Design of a Modular Platform for Static Analysis

Abstract : We present the design and implementation of Mopsa, a platform that simplifies the construction of semantic static analyzers by abstract interpretation. Mopsa computes sound program invariants and reports run-time errors, undefined behaviors, and uncaught exceptions. Mopsa differs from existing platforms by its highly modular and extensible design: semantic abstractions of numeric values, pointers, objects, control, as well as syntax-driven iterators, are defined in small, reusable domains with loose coupling, that can be combined and reused to a greater extent than in previous work. Moreover, Mopsa aims at supporting several languages (currently, subsets of both C and Python) while sharing abstraction components as much as possible. Mopsa is a work in progress, and not yet capable of analyzing full programs; nevertheless, we report early experimental results on verification benchmarks.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Abdelraouf Ouadjaout Connect in order to contact the contributor
Submitted on : Friday, September 7, 2018 - 9:58:06 AM
Last modification on : Tuesday, January 4, 2022 - 3:55:38 AM
Long-term archiving on: : Saturday, December 8, 2018 - 1:05:06 PM


Files produced by the author(s)


  • HAL Id : hal-01870001, version 1


Antoine Miné, Abdelraouf Ouadjaout, Matthieu Journault. Design of a Modular Platform for Static Analysis. The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS'18), Aug 2018, Fribourg-en-Brisgau, Germany. ⟨hal-01870001⟩



Record views


Files downloads