Paper Info
Title
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.
Year
DOI
Venue
2009
10.1007/978-3-642-02658-4_52
CAV
Keywords
Field
DocType
unified api,static analysis,ready-to-use numerical abstraction,abstract interpretation,analysis implementers,numerical abstract domain,numerical variable,numerical abstract domains,demonstration tool,available library
Abstraction,Computer science,Abstract interpretation,Chinese remainder theorem,Static analysis,Algorithm,Dissemination,Binary expression tree
Conference
Volume
ISSN
Citations 
5643
0302-9743
194
PageRank 
References 
Authors
4.73
15
2
Search Limit
100194
Name
Order
Citations
PageRank
Bertrand Jeannet164129.06
Antoine Miné2111751.15