Data-ow analysis algorithms can be classiied into two categories: ow-sensitive and ow-insensitive. To improve eeciency, ow-insensitive interprocedural analyses do not make use of the intrapro-cedural control ow information associated with individual procedures. Since pointer-induced aliases can change within a procedure, applying known ow-insensitive analyses can result in either incorrect or overly conservative solutions. In this paper, we present a ow-insensitive data-ow analysis algorithm that computes interprocedural pointer-induced aliases. We improve the precision of our analysis by (1) making use of certain types of kill information that can be precomputed eeciently, and (2) computing aliases generated in each procedure instead of holding at the exit of each procedure. We improve the eeciency of our algorithm by introducing a technique called deferred evaluation. Interprocedural analyses, including alias analysis, rely upon the program call graph (P C G) for their correctness and precision. The P C G becomes incomplete or overly imprecise in the presence of function pointers. This paper also describes a method for constructing the P C G in the presence of function pointers.