A Graph-Free Approach to Data-Flow Analysis
No abstract available.
Related papers
- Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets) TACAS 2016
- The Program Summary Graph and Flow-Sensitive InterproceduralData Flow Analysis PLDI 1988
- Interprocedural Side-Effect Analysis in Linear Time PLDI 1988
- Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables POPL 1980
- Precise and scalable context-sensitive pointer analysis via value flow graph ISMM 2013
- Analysis of Recursive Game Graphs Using Data Flow Equations VMCAI 2004
- FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability OOPSLA 2020
- Analysis of a Simple Algorithm for Global Flow Problems POPL 1973