Paper Reading

• The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code
• Points-to Analysis using BDDs
• Wave Propagation and Deep Propagation
• A Principled Approach to Selective Context Sensitivity for Pointer Analysis

Pointer Analysis in SVF