splint vs gcc: стоят ли внешние инструменты статического анализа кода усилий для кодовых баз C?

Я работаю над довольно сложным проектом, и, как дополнительная сложность, это модуль в ядре Linux. Запуск такого инструмента линтинга, как splint, на такой кодовой базе, конечно, не является невозможным [1], но тривиальных усилий оказалось недостаточно, чтобы что-то получилось.

Прежде чем я потрачу на это больше времени, я надеялся получить некоторые отзывы и мнения по этому вопросу. При достаточном количестве флагов gcc делает довольно много проверок. Стоит ли на практике использовать отдельный инструмент статического анализа кода?

[1] http://www.cs.virginia.edu/pipermail/splint-discuss/2005-January/000531.html