Исходный код ядра 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/JEeyfJ-9scM
Ссылка: http://www.linux.org.ru/news/kernel/11210932