Interprocedural Control Flow Analysis
No abstract available.
Related papers
- Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization TOPLAS 1997
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables POPL 1980
- Interprocedural Control Flow Reconstruction APLAS 2010
- PMAF: an algebraic framework for static analysis of probabilistic programs PLDI 2018
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009
- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers CC 2006
- On Interprocedural Data Flow Analysis for Object Oriented Languages CC 1992