Interprocedural Analysis
Approaches to improve precision
Specific individual problems
- Harrold and Soffa, TOPLS‘1994
- Callahan, Cooper, Kennedy, Torczon, CC’86
- Grove and Torczon, PLDI’93
Limited class - locally separable
- Knoop and Steffen, Kiel’93
Large class
- Reps, Horwitz and Sagiv, POPL’95
Very general
- Sharir and Pneuli, PFA‘81
- Knoop and Steffen, CC’92