Precise interprocedural dataflow analysis via graph reachability (1995)

by T Reps, S Horwitz, M Sagiv
Venue:In POPL ’95: Proc. 22nd ACM SIGACT-SIGPLAN Symp. on Principles of Programming Languages. ACM