contextinsensitive algorithm / automatic tool / minimal solution / minimal solutions / context-insensitive algorithm / nonthread allocation site / real applications / fixpoint solution / call site / bddbddb tool / analyses and programming tools / thread allocation site / context-insensitive algorithms / context-sensitive algorithms / standalone applications / particular creation site / rule applications / basic points-to algorithm / guaranteed minimal solution / context-insensitive pointsto algorithm / graph construction algorithm / invocation site / allocation site / summary-based algorithm / /
OperatingSystem
Linux / Fedora / /
Organization
US Federal Reserve / Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department / Stanford University Stanford / /
Person
Context-Sensitive Pointer / Monica S. Lam / / /
Position
vP / vP tuples / vP hP / representative / vP 0 store load / relation vP / HT vP / RULES vP / Data Storage Representations General / programmer / /
Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department Stanford University