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

by M Shapiro, Horwitz
Venue:In: POPL’97