Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method
No abstract available.
Related papers
- An improved bound for call strings based interprocedural analysis of bit vector frameworks TOPLAS 2007
- Interprocedural Type Specialization of JavaScript Programs Without Type Analysis ECOOP 2016
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects POPL 1993
- Interprocedural pointer alias analysis TOPLAS 1999
- A Precise Interprocedural Data Flow Algorithm POPL 1981
- Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables POPL 1980
- Experimental Comparison of call string and functional Approaches to Interprocedural Analysis CC 1999