Abstract: In compiling a program, the present algorithm first analyzes each function in the program as an isolated compilation unit where parameters and global variables are temporarily assumed to have uninitialized values. This stage of the algorithm, the intraprocedural phase, will summarize the intraprocedural behavior of a function in a flow-insensitive manner, including how it can affect memory accesses in the caller and callee functions, and how its memory accesses can be affected by the caller and callee functions. The summarized behavior of each function is the only information to be processed in the next stage, the interprocedural stage. A significant size reduction is achieved in the summarized representation as compared to the full function body. This facilitates aggressive optimization of even large programs.