Widening for Control-Flow
Abstract elided by the publisher.
Related papers
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Trace-based control-flow analysis PLDI 2021
- Accelerated Data-Flow Analysis SAS 2007
- Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering ECOOP 2025
- Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses PLDI 2025
- Proof-guided underapproximation-widening for multi-process systems POPL 2005
- Improving Strategies via SMT Solving ESOP 2011
- Widening and Interpolation SAS 2011