Design of a Modular Platform for Static Analysis - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Design of a Modular Platform for Static Analysis


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.
Fichier principal
Vignette du fichier
mine-al-tapas18.pdf (456.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01870001 , version 1 (07-09-2018)


  • 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⟩
297 View
223 Download


Gmail Facebook X LinkedIn More