Skip to Main content Skip to Navigation
Conference papers

APRON: A Library of Numerical Abstract Domains for Static Analysis

Bertrand Jeannet 1, 2, * Antoine Miné 3, 4
* Corresponding author
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
3 ABSTRACTION - Abstract Interpretation and Static Analysis
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
Abstract : This article describes Apron, a freely available library dedicated to the static analysis of the numerical variables of programs by abstract interpretation. Its goal is threefold: provide analysis implementers with ready-to-use numerical abstractions under a unified API, encourage the research in numerical abstract domains by providing a platform for integration and comparison, and provide teaching and demonstration tools to disseminate knowledge on abstract interpretation.
Document type :
Conference papers
Complete list of metadata
Contributor : Bertrand Jeannet <>
Submitted on : Friday, February 8, 2013 - 2:09:58 PM
Last modification on : Thursday, July 1, 2021 - 5:58:03 PM

Links full text




Bertrand Jeannet, Antoine Miné. APRON: A Library of Numerical Abstract Domains for Static Analysis. CAV'2009 - Computer Aided Verification, Jun 2009, Grenoble, France. pp.661-667, ⟨10.1007/978-3-642-02658-4_52⟩. ⟨hal-00786354⟩



Record views