Команда PVS-Studio, разрабатывающая коммерческий статический анализатор кода, опубликовала результаты проверки ядра FreeBSD. Исходный код для проверки был взят из ветки 'master' на GitHub. Анализатор выявил около 1000 подозрительных фрагментов в коде, которые с большой вероятностью являются ошибками или неаккуратным кодом. 40 наиболее интересных фрагментов кода разобраны в статье.
Ссылка:
http://www.opennet.ru/opennews/art.shtml?num=43895