Skip to main content
Conference ProceedingsOPEN ACCESS

Apron: A library of numerical abstract domains for static analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2009) 5643 LNCS 661-667
DOI: 10.1007/978-3-642-02658-4_52
302Citations
Citations of this article
42Readers
Mendeley users who have this article in their library.

This article is free to access.

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. © 2009 Springer Berlin Heidelberg.

Cite

CITATION STYLE

APA

Jeannet, B., & Miné, A. (2009). Apron: A library of numerical abstract domains for static analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5643 LNCS, pp. 661–667). https://doi.org/10.1007/978-3-642-02658-4_52

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free