Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (2004)

by John Whaley, Monica S Lam
Venue:In Proceedings of the Conference on Programming Language Design and Implementation