...
...
...

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

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

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

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

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



проекткол-во дефектов (на данный момент)кол-во дефектов (изначально)кол-во строк кодадефектов на 1000 строк кода
AMANDA010888,2850.000
apache-httpd2632127,9100.203
ethereal141431,164,7350.012
Firebird164163250,7160.654
Firefox57108308,9640.184
FreeBSD6326351,582,1660.399
Gaim50113325,6550.154
gcc97140694,0270.140
Gnome8498961,311,0310.648
icecast21237,1670.054
Inetutils292972,4170.400
Linux-2.684810623,171,8950.267
MPlayer201284488,4220.412
Net-SNMP61148173,1100.352
NetBSD32276515,034,1750.641
OpenLDAP155158258,5640.599
OpenSSL4466200,5630.219
OpenVPN7769,8370.100
Perl7489495,3530.149
PHP202204419,9400.481
PostgreSQL295295816,8170.361
ProFTPD262689,8580.289
Python1496272,0800.051
Samba1216313,6680.003
snort474893,9170.500
SQLite63153,9110.111
Squid4853176,5880.272
tcl6769120,6120.556
wxWidgets3473310,5620.109
X.org144316812,353,9800.613
xine222347578,8960.383
XMMS06116,9160.000





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


© Сетевые решения