Streamlining Control Flow Graph Construction with DCFlow
Abstract elided by the publisher.
Related papers
- Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis OOPSLA 2026
- Termination analysis and call graph construction for higher-order functional programs ICFP 2007
- Applications of Graph Grammar for Program Control Flow Analysis POPL 1977
- Symbolic Programming Analysis in Almost Linear Time POPL 1978
- Pushdown flow analysis of first-class control ICFP 2011
- Efficiently Computing Static Single Assignment Form and the Control Dependence Graph TOPLAS 1991
- Automatically deriving control-flow graph generators from operational semantics ICFP 2022
- Node Listings Applied to Data Flow Analysis POPL 1975