En appliquant à l’analyse logicielle une technique de « satisfaisabilité booléenne », Coverity amène à l’analyse statique de code des niveaux de performances élevés adaptés à la vérification de plusieurs millions de lignes à la fois. L’intérêt des techniques d’analyse statique de code est de pouvoir détecter très en amont un certain nombre de fautes qui, en…