The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code