В списке рассылки разработчиков ядра Linux представлен инструментарий Undertaker 1.6, предназначенный для выявления проблем с использованием директив препроцессора в исходных текстах на языке Си. Проект создан на базе исследовательских проектов VAMOS и CADOS. Undertaker выполняет статический анализ кода ядра Linux и позволяет определить такие проблемы, как некорректное включение или выключение условных блоков препроцессора, не соответствующих заданной конфигурации (Kconfig). Ключевым новшеством Undertaker 1.6 является реализация инструмента undertaker-checkpatch для анализа корректности патчей к ядру. Инструмент позволяющей выявить появление дефектов в патче, проанализировать причины их появления и оценить устранение ранее зафиксированных проблем.
Ссылка: http://www.opennet.ru/opennews/art.shtml?num=40821