Demand Interprocedural Program Analysis Using Logic Databases

Thomas Reps
University of Wisconsin

This paper describes how algorithms for demand versions of inerprocedural program-analysis problems can be obtained from their exhaustive counterparts essentially for free, by applying the so-called magic-sets transformation that was developed in the logic-programming and deductive-database communities. Applications to interprocedural dataflow analysis and interprocedural program slicing are described.

(Click here to access the paper: PostScript, PDF.)