Interprocedural Analysis

Whole program analysis

Inline CFG procedures:

• space for multiple copies
• time for reanalysis

Sparse approaches (avoid reanalysis)

• Super graph [Myers, POPL’81]
• Program summary graph [Callahan, PLDI88]

Call P

Call P

Call P

Call P

Call P

Call P

sum

Previous slide

Next slide

Back to first slide

View graphic version