Lessons from Building Static Analysis Tools at Google
research.google