A Change-Based Heuristic for Static Analysis with Policy Iteration
Abstract elided by the publisher.
Related papers
- Static Analysis by Policy Iteration on Relational Domains ESOP 2007
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis ESOP 2010
- A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs CAV 2005
- Static Analysis for Checking the Disambiguation Robustness of Regular Expressions PLDI 2024
- Learning fast and precise numerical analysis PLDI 2020
- Program Analysis with Local Policy Iteration VMCAI 2016
- Max-Policy Iteration, Revisited ESOP 2026
- Effective interactive resolution of static analysis alarms OOPSLA 2017