En appliquant pour la première fois à l’analyse logicielle une technique de « satisfaisabilité booléenne », Coverity porte l’analyse statique de code à des niveaux de performances élevés. Parallèlement, la société s’attaque à la détection de fautes dans les applications multithreads.

L’analyse statique de code, c’est-à-dire la recherche d’erreurs dans un logiciel sans avoir à l’exécuter,

…