Исходный код ядра Linux (3.18.1) был проверен проприетарным статическим анализатором PVS Studio, разработанным в Туле. Анализатор нашёл ряд ошибок и крайне подозрительных мест. Полный текст статьи [ можно найти на сайте компании ]( http://www.viva64.com/ru/b/0299/ ) или [ на habrahabr.ru ]( http://habrahabr.ru/company/pvs-studio/blog/247271/ ) .PVS-Studio ориентирован только на Windows, поэтому для проверки исходного кода ядра Linux была написана утилита на С++, которая для каждого запущенного процесса компилятора сохраняла командную строку, текущую директорию и переменные окружения. По результатам проверки были выбраны некоторые интересные сообщения и подробно описаны. //feeds.feedburner.com/~r/org/LOR/~4/lIZr9Fc5HQ0
Ссылка: http://www.linux.org.ru/news/linux-general/11210932