Precise interprocedural data ow analysis via graph reachability (1995)

by T Reps, S Horwitz, M Sagiv
Venue:In Conference Record of the Twenty-Second ACM Symposium on Principles of Programming Languages