Pointer Analysis – Part II CS 6340. 1 Unification vs. Inclusion Earlier scalable pointer analysis was context- insensitive unification-based [Steensgaard.
The Ant and The Grasshopper Fast and Accurate Pointer Analysis for Millions of Lines of Code
Pointer Analysis – Part II