Zoncolan: How Facebook uses static analysis to detect and prevent security issues

Zoncolan: How Facebook uses static analysis to detect and prevent security issues Facebook’s web codebase currently contains more than 100 million lines of Hack code, and changes thousands of times per day. To handle the sheer volume of code, we build sophisticated systems that help our security engineers review code. Today, we are sharing the details of one of those tools, called Zoncolan, for th

[efcl]

FacebookのZoncolanという脆弱性の類似パターンを検出するルールエンジンについて。 脆弱性を見つけたときに静的解析で類似パターンを洗い出すのに使われてる

[braitom]

FacebookのZoncolanというソースコードの静的分析を行う仕組みについて。abstract interpretationという手法でコードを解析している。かなりの数のセキュリティバグを検出しているようだしすごいな。