Avec sa solution d’analyse dynamique de code, Thread Analyzer for Java, l’éditeur américain de logiciels de vérification Coverity s’attaque à l’analyse des programmes multithreads écrits en Java, pour les applications destinées à fonctionner sur des architectures multicœurs. La technologie mise en œuvre dans cet outil permet d’identifier les situations complexes de concurrence ou race condition…