For the past four years, Facebook has quietly used a homegrown tool called Zoncolan to find bugs in its massive codebase.