Sparse Demand-Driven Pointer Analysis - View it on GitHub