CFA2: A Context-Free Approach to Control-Flow Analysis
No abstract available.
Related papers
- Pushdown control-flow analysis for free POPL 2016
- Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization TOPLAS 1997
- Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets) TACAS 2016
- Context-Sensitive Demand-Driven Control-Flow Analysis ESOP 2025
- Static Analysis for Java Servlets and JSP SAS 2006
- Precise and scalable context-sensitive pointer analysis via value flow graph ISMM 2013
- HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect Handlers ICFP 2026
- Taming transitive redundancy for context-free language reachability OOPSLA 2022