How Facebook Catches Bugs in Its 100 Million Lines of Code

For the last 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