ABSTRACT
A natural extension of the idea results in a whole program analysis method that computes context independent summary flow functions for a given data flow framework. This chapter presents methods that construct context independent summary flow functions. It looks at aliasing between formal parameters in the presence of parameter passing by reference. The chapter provides the general method of constructing summary flow functions. Functional approach to interprocedural data flow analysis constructs context independent summary flow functions which are then used in the calling contexts to compute the data flow information synthesized by called procedures in the body of the caller procedures. Defining a data flow analysis requires setting up a lattice of the values that are to be computed by the analysis. The data flow values for the analysis that constructs summary flow functions are flow functions that compute the data flow values desired in the end.
