Next: Recursive Calls Up: Interprocedural Algorithm Previous: Testing if a

Applying a PTF

After we find an applicable PTF and a parameter mapping for that PTF in the current context, we translate the summary of the procedure back to the calling context. If the procedure call is through a pointer that has more than one potential value, we combine all the possible summaries and we do not perform any strong updates when applying them. The points-to function at the procedure exit summarizes the effects of the entire procedure, so we simply translate each points-to entry and add the result to the points-to function at the call site. Local variables do not exist in the calling context so we remove them when translating the points-to entries.



Next: Recursive Calls Up: Interprocedural Algorithm Previous: Testing if a


Bob Wilson