APRON: A Library of Numerical Abstract Domains for Static Analysis

Bertrand Jeannet (1, 2) , Antoine Miné (3, 4)

1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
2 LIG - Laboratoire d'Informatique de Grenoble
3 ABSTRACTION - Abstract Interpretation and Static Analysis
4 LIENS - Laboratoire d'informatique de l'école normale supérieure

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.

Domaines: Langage de programmation [cs.PL]

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⟩