Demand Control-Flow Analysis
Abstract elided by the publisher.
Related papers
- Demand-on-Demand Control-Flow Analysis ICFP 2026
- Context-Sensitive Demand-Driven Control-Flow Analysis ESOP 2025
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- Higher-Order Demand-Driven Program Analysis ECOOP 2016
- Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis OOPSLA 2023
- From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust OOPSLA 2026
- A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis TOPLAS 1997
- Dynamic data polyvariance using source-tagged classes DLS 2005