Fast and accurate flow-insensitive points-to analysis (1997)

by M Shapiro, S Horwitz
Venue:In Proc. 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages