Path-Sensitive Dataflow Analysis with Iterative Refinement
Abstract elided by the publisher.
Related papers
- SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement SAS 2008
- Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets PLDI 2026
- On the Complexity of Flow-Sensitive Dataflow Analyses POPL 2000
- Newtonian program analysis via tensor product POPL 2016
- Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability ECOOP 2026
- Newtonian Program Analysis via Tensor Product TOPLAS 2017
- Scaling abstraction refinement via pruning PLDI 2011
- Undecidability of context-sensitive data-independence analysis TOPLAS 2000