Facebook open sources "Infer", static program analysis tool

Un outil qui m’a l’air bien intéressant : Facebook ayant déja une grosse base de code, j’imagine qu’ils ont essayé de détecter un bon paquet d’erreurs