APRON: A Library of Numerical Abstract Domains for Static Analysis

Bertrand Jeannet 1, 2, * Antoine Miné 3, 4
* Auteur correspondant
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.
Type de document :
Communication dans un congrès
Ahmed Bouajjani and Oded Maler. CAV'2009 - Computer Aided Verification, Jun 2009, Grenoble, France. Springer, 5643, pp.661-667, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02658-4_52〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00786354
Contributeur : Bertrand Jeannet <>
Soumis le : vendredi 8 février 2013 - 14:09:58
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Lien texte intégral

Identifiants

Collections

Citation

Bertrand Jeannet, Antoine Miné. APRON: A Library of Numerical Abstract Domains for Static Analysis. Ahmed Bouajjani and Oded Maler. CAV'2009 - Computer Aided Verification, Jun 2009, Grenoble, France. Springer, 5643, pp.661-667, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02658-4_52〉. 〈hal-00786354〉

Partager

Métriques

Consultations de la notice

341