Interprocedural Partitioning: Points-to

Goal: have points-to analysis that is scalable without losing precision

Modular analysis:

avoid having the the whole program in memory, incomplete programs

Two approaches:

• Summary functions [Chatterjee,Ryder,Landi, POPL’99]
• Phases [Liang & Harrold, FSE’99]

Previous slide

Next slide

Back to first slide

View graphic version