Skip to Main content Skip to Navigation
New interface
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
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
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

https://hal.inria.fr/hal-00786354
Contributor : Bertrand Jeannet Connect in order to contact the contributor
Submitted on : Friday, February 8, 2013 - 2:09:58 PM
Last modification on : Tuesday, August 2, 2022 - 4:25:04 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

606