Apron: A Library of Numerical Abstract Domains for Static Analysis
Abstract elided by the publisher.
Related papers
- Making numerical program analysis fast PLDI 2015
- Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java VMCAI 2014
- A Logical Product Approach to Zonotope Intersection CAV 2010
- Learning fast and precise numerical analysis PLDI 2020
- Static Analysis in Disjunctive Numerical Domains SAS 2006
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- Fast polyhedra abstract domain POPL 2017
- Evaluating Design Tradeoffs in Numeric Static Analysis for Java ESOP 2018