A safe approximate algorithm for interprocedural pointer aliasing (1992)

by William Landi, Barbara G Ryder
Venue:In PLDI