Quindi i bug sono stati segnalati a Mozilla? Ho visto adesso che ce ne sono 28 con keyword "klocwork"; a leggere l'articolo sembrava che avessero fatto semplicemente l'annuncio
Sì: hanno messo su una paginetta tipo quella di coverity con accesso riservato agli sviluppatori (opensource.klocwork.com mi pare).
Siamo d'accordo che a guadagnare è il prodotto Mozilla, certo che passare da 611 bug segnalati ad una trentina non è una gran pubblicità per klocwork
Tutti i prodotti automatici di test del codice producono pile di output che va scremato, coverity e clockwork compresi: infatti nel report coverity c'è la colonna Outstanding Verified, cioè quelli che sono sopravvissuti ad una verifica umana e non sono risultati falsi positivi. Probabilmente lo stesso lavoro su klocwork è ancora in corso, e comunque già nella press release avevano detto che dei 611 bug trovati circa una sessantina sembravano (cioè erano da verificare) seri. 30 su 60 in fondo non è male, anche perchè alcuni bug coprono più problemi insieme negli stessi moduli (soprattutto NSS).
Un po' di sensazionalismo nell'annuncio è l'anima del commercio!
E andava fatto un po' di rumore dopo l'accordo commerciale tra MoCo e Coverity...
Ciao, Giacomo.