APRON: A Library of Numerical Abstract Domains for Static Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

APRON: A Library of Numerical Abstract Domains for Static Analysis

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.

Dates and versions

hal-00786354 , version 1 (08-02-2013)

Identifiers

Cite

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⟩
638 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More