результаты автоматизированной проверки качества открытых программ

Проверка проводилась при участии специалистов из Стенфордского университета по заказу Министерства национальной безопасности США.

Вот как отозвался об этом исследовании участник Samba Team Jeremy Allison:

«Coverity нашла баги в тех частях кода Samba, которые мы ранее считали давно устоявшимися и хорошо оттестированными. Пользоваться такой технологией – это как иметь в штате разработчика с нечеловеческим вниманием к деталям. Данная проверка внесла весомый вклад в качество кода нашего проекта.»

В общем доступе сейчас находятся только статистические данные по количеству найденных дефектов (см. таблицу), подробные сведения доступны после процедуры регистрации.

проект	кол-во дефектов (на данный момент)	кол-во дефектов (изначально)	кол-во строк кода	дефектов на 1000 строк кода
AMANDA	0	108	88,285	0.000
apache-httpd	26	32	127,910	0.203
ethereal	14	143	1,164,735	0.012
Firebird	164	163	250,716	0.654
Firefox	57	108	308,964	0.184
FreeBSD	632	635	1,582,166	0.399
Gaim	50	113	325,655	0.154
gcc	97	140	694,027	0.140
Gnome	849	896	1,311,031	0.648
icecast	2	12	37,167	0.054
Inetutils	29	29	72,417	0.400
Linux-2.6	848	1062	3,171,895	0.267
MPlayer	201	284	488,422	0.412
Net-SNMP	61	148	173,110	0.352
NetBSD	3227	651	5,034,175	0.641
OpenLDAP	155	158	258,564	0.599
OpenSSL	44	66	200,563	0.219
OpenVPN	7	7	69,837	0.100
Perl	74	89	495,353	0.149
PHP	202	204	419,940	0.481
PostgreSQL	295	295	816,817	0.361
ProFTPD	26	26	89,858	0.289
Python	14	96	272,080	0.051
Samba	1	216	313,668	0.003
snort	47	48	93,917	0.500
SQLite	6	31	53,911	0.111
Squid	48	53	176,588	0.272
tcl	67	69	120,612	0.556
wxWidgets	34	73	310,562	0.109
X.org	1443	1681	2,353,980	0.613
xine	222	347	578,896	0.383
XMMS	0	6	116,916	0.000

По материалам компании Coverity