Program analysis at Google faces several challenges:
- Google applications are large, complicated, distributed, and irregular
- The compiler is an important tool for performance but many optimizations fail
- Google's approach combines static interprocedural analysis with runtime information to create advanced analysis and performance tools that use the compiler as a powerful analysis tool.