Pour améliorer la qualité d’un logiciel considéré comme critique pour l’avancée de la recherche en physique des
particules, les chercheurs du CERN ont recours à la solution de test statique de l’américain Coverity. Dès sa première utilisation, Static Analysis a rendu possible la correction de plusieurs dizaines de milliers de bugs. Le logiciel fait désormais partie intégrante des nouveaux développements. Les modifications peuvent dorénavant être apportées à tout moment.