Precise interprocedural dataflow analysis via graph reachability (1995)

by T Reps, S Horwitz, S Sagiv
Venue:In Proc. of the ACM Symposium on Principles of Programming Languages