A flexible approach to interprocedural data flow analysis and programs with recursive data structures
Neil Deaton Jones, Steven S. Muchnick · 1982
A new approach to data flow analysis of procedural programs and programs with recursive data structures is described. The method depends on simulation of the interpreter for the subject programming language using a retrieval function to approximate a program's data structures.