Apron: A Library of Numerical Abstract Domains for Static Analysis

Library of Numerical Abstract Domains for Static Analysis Bertrand Jeannet1 and Antoine Min?e2 1 INRIA Rh^one-Alpes, Grenoble, France, [e-mail] 2 CNRS, ?Ecole Normale Sup?erieure, Paris, France, [e-mail] 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, encourresearch in numerical abstract domains by providing a platform for integration and comparison, and provide teaching and demonstration disseminate knowledge on abstract interpretation.

• Type: Conference
• Year: 2009
• Where: CAV
• Authors: Antoine Miné, Bertrand Jeannet
• Keywords: Abstract Interpretation, CAV 2009, Formal Methods, Numerical Abstract Domains, Ready-to-use Numerical Abstractions