Efficient Points-to [Liang & Harrold, FSE’99]

Phased approach - analyze procedures separately

Add calling context to flow insensitive points-to analysis

Compare precision

Phases to algorithm:

• Compute alias information for each procedure
• Bottom up approach to propagate alias information from callees to callers
• Top down propagation to propagate aliases from caller to callee

Previous slide

Next slide

Back to first slide

View graphic version