Ryder: A safe approximation algorithm for interprocedural pointer aliasing (1992)

by W Landi, B
Venue:Proc. SIGPLAN Programming Language Design and Implementation, ACM