Next: Calls Through Pointers Up: Efficient Context-Sensitive Pointer Analysis Previous: Evaluating Assignments

Interprocedural Algorithm

We now describe how our algorithm handles procedure calls. To evaluate the effects of a call on the points-to function, we need to find a PTF that applies in the calling context. We can either reuse an existing PTF or create a new one. Figure 12 outlines this part of our algorithm.




Next: Calls Through Pointers Up: Efficient Context-Sensitive Pointer Analysis Previous: Evaluating Assignments


Bob Wilson