L'analyse statique de code C++ développé par Facebook pour Facebook