Static Analysis in Disjunctive Numerical Domains
Abstract elided by the publisher.
Related papers
- Non-disjunctive Numerical Domain for Array Predicate Abstraction ESOP 2008
- Volume-Based Merge Heuristics for Disjunctive Numeric Domains SAS 2018
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java VMCAI 2014
- Apron: A Library of Numerical Abstract Domains for Static Analysis CAV 2009
- Lifted static analysis using a binary decision diagram abstract domain GPCE 2019
- Making numerical program analysis fast PLDI 2015
- Evaluating Design Tradeoffs in Numeric Static Analysis for Java ESOP 2018