Святослав Размыслов из команды PVS-Studio опубликовал [ статью о проверке ядра FreeBSD ](
http://www.viva64.com/ru/b/0377/ ) . Разработчики PVS-Studio славятся тем, что в целях рекламы своего продукта регулярно проверяют различные открытые проекты. Пожалуй, это один из самых приемлемых и полезных способов продвижения проприетарного приложения. На данный момент они проверили более 200 проектов и выявили в них 9355 ошибок. По крайней мере именно столько ошибок содержится в [ базе описания дефектов ](
http://www.viva64.com/ru/examples/ ) на сайте компании.Теперь очередь дошла и до ядра FreeBSD. Исходный код для проверки был взят с [ GitHub ](
https://github.com/freebsd/freebsd ) из ветки 'master'. По заявлению Святослава, анализатор PVS-Studio выявил около 1000 подозрительных фрагментов в коде, которые с большой вероятностью являются ошибками или неаккуратным кодом. 40 наиболее интересных фрагментов кода он описал в статье. Список предупреждений был заранее передан команде FreeBSD, и она уже начала вносить правки. Пара слов для программистов, ещё не знакомых с PVS-Studio. Это инструмент для выявления ошибок в исходном коде программ, написанных на языках С, C++ и C#. PVS-Studio выполняет статический анализ кода и генерирует отчёт, помогающий программисту находить и устранять ошибки. На сайте компании можно увидеть более [ подробное описание ](
http://www.viva64.com/ru/pvs-studio/ ) и скачать демонстрационную версию.
Ссылка:
http://www.linux.org.ru/news/bsd/12364155