Submitted via IRC for SoyCow2718
For the past four years, Facebook has quietly used a homegrown tool called Zoncolan to find bugs in its massive codebase.
Source: https://www.wired.com/story/facebook-zoncolan-static-analysis-tool/?verso=true [wired.com]