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

by M Shapiro, S Horwitz
Venue:in Proceedings of the ACM Symposium on Principles of Programming Languages