Cloning-based context-sensitive pointer alias analysis using binary decision diagrams.

John Whaley, Monica S. Lam

Browse the full PLDI paper archive.