Lessons from building static analysis tools at Google | Synapse