Coverity

J'apprend l'existence de ce système d'analyse statique du code, et qu'il est très utilisé dans les gros projets.

Au hasard, linux itself et CPython.

C'est assez rigolo les stats qu'on trouve sur ce site. Par exemple, pour CPython, on apprend que la densité de problème détecté est de 0.01, contre 0.5 observés en moyenne pour les projets de taille similaire.

Pas mal ! C'est moins brillant pour le noyau linux, mais d'un autre côté, le bousin à 13 millions de lignes de codes.