Precise interprocedural dataflow analysis via graph reachability (1995)

by T Reps, S Horwitz, M Sagiv
Venue:19 Lal, Lim, and Reps