A safe approximate algorithm for interprocedural pointer aliasing (1992)

by W Landi, B G Ryder
Venue:In Proc. of SIGPLAN ’92 Conf. on Prog. Lang. Design and Implem