This section describes the major concepts in the design of our pointer analysis algorithm. We first introduce the general approach of using partial transfer functions as an efficient means to provide context sensitivity. We next describe the specific design of partial transfer functions that we use in our algorithm. Finally, we provide a complete outline of our algorithm.