Ядро Linux проверено статическим анализатором PVS Studio
Исходный код ядра Linux (3.18.1) был проверен проприетарным статическим анализатором PVS Studio, разработанным в Туле. Анализатор нашёл ряд ошибок и крайне подозрительных мест. Полный текст статьи можно найти на сайте компании или на habrahabr.ru.
PVS-Studio ориентирован только на Windows, поэтому для проверки исходного кода ядра Linux была написана утилита на С++, которая для каждого запущенного процесса компилятора сохраняла командную строку, текущую директорию и переменные окружения. По результатам проверки были выбраны некоторые интересные сообщения и подробно описаны.
kernel, opensource, pvs-studio, программирование, си
