Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis
Abstract elided by the publisher.
Related papers
- Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis ECOOP 2026
- Semi-sparse flow-sensitive pointer analysis POPL 2009
- Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers OOPSLA 2024
- Static Analysis for Asynchronous JavaScript Programs ECOOP 2019
- Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems POPL 2019
- Improving Data-flow Analysis with Path Profiles PLDI 1998
- Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis PLDI 2008
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007