Precise interprocedural dataflow analysis via graph reachability (1995)

by T Reps, S Horowitz, M Sagiv
Venue:In Proc. ACM Symp. POPL