Программы smatch.sf.net

Эксперимент по поиску ошибок ядра.Есть две основные части Smatch. Во-первых, патч для источников gcc распечатать много информации. Вторая часть представляет собой сборник сценариев perl и библиотек для анализа информации