Next: Partial Transfer Functions Up: Efficient Context-Sensitive Pointer Analysis Previous: Introduction

Major Concepts

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.




Next: Partial Transfer Functions Up: Efficient Context-Sensitive Pointer Analysis Previous: Introduction


Bob Wilson