Demand Interprocedural Dataflow Analysis
Susan Horwitz, Thomas Reps, and Mooly Sagiv
An exhaustive dataflow analysis algorithm associates
with each point in a program a set of "dataflow facts"
that are guaranteed to hold whenever that point is reached during
program execution.
By contrast, a demand dataflow analysis algorithm determines whether a
single given dataflow fact holds at a single given point.
This paper presents a new demand algorithm for interprocedural
dataflow analysis.
The new algorithm has three important properties:
(Click here to access the paper:
PostScript,
PDF.)
University of Wisconsin