La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
L’analyse statique de code s’enrichit grâce à l’analyse booléenne
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, est…
