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,

…