Static Analysis by Policy Iteration on Relational Domains
No abstract available.
Related papers
- A Change-Based Heuristic for Static Analysis with Policy Iteration SAS 2019
- 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
- Program Analysis with Local Policy Iteration VMCAI 2016
- Static Analysis for Checking the Disambiguation Robustness of Regular Expressions PLDI 2024
- Fast Numerical Program Analysis with Reinforcement Learning CAV 2018
- QRANE: lifting QASM programs to an affine IR CC 2022
- Learning fast and precise numerical analysis PLDI 2020