A Formal Framework to Measure the Incompleteness of Abstract Interpretations
Abstract elided by the publisher.
Related papers
- On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation POPL 1991
- Abstract extensionality: on the properties of incomplete abstract interpretations POPL 2020
- Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation SAS 2012
- SAIL: Sound Abstract Interpreters with LLMs PLDI 2026
- Temporal Abstract Interpretation POPL 2000
- Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities PLDI 2026
- Abstract interpretation repair PLDI 2022
- An Intermediate Program Representation for Optimizing Stream-Based Languages CAV 2025