Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java
No abstract available.
Related papers
- Evaluating Design Tradeoffs in Numeric Static Analysis for Java ESOP 2018
- Learning fast and precise numerical analysis PLDI 2020
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- Making numerical program analysis fast PLDI 2015
- Scaling up Roundoff Analysis of Functional Data Structure Programs SAS 2023
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains VMCAI 2006
- Apron: A Library of Numerical Abstract Domains for Static Analysis CAV 2009
- Fast polyhedra abstract domain POPL 2017