Аудит кода Linux-ядра, FreeBSD с помощью Coverity

Исходный код операционных систем Linux, FreeBSD и OpenBSD был подвергнут аудиту при помощи ПО Coverity, предназначенного для автоматизированного выявления ошибок и проблем с безопасностью.

В FreeBSD было обнаружено 306 проблем, т.е. одна ошибка на 4.000 строк кода. Проводимый тест Linux-ядра выявил 950 ошибок (1 ошибка на 10.000 строк), большинство из которых приходится на код драйверов устройств. Ранее в MySQL было найдено 97 проблем, в Berkeley DB — 26.

Число найденных ошибок в OpenBSD не сообщается, но известно, что несколько разработчиков OpenBSD работают в компании, создавшей Coverity, и процесс исправления, основанный на работе Coverity, отражается в CVS-комментариях.

Постоянная ссылка к новости: http://www.nixp.ru/news/6215.html. Дмитрий Шурупов по материалам opennet.ru.