Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams (2004)

by J Whaley, M Lam
Venue:ACM SIGPLAN Conf. Programming Language Design and Implementation