насчет лишних (неиспользуемых) переменных компилятор может ругаться, при включенной соответсвующей опции

Компилятор который я использую неполностью поддерживает это. На другой перейти нет возможности (начальство не разрешит).

попробуй cppcheck

На другой перейти нет возможности (начальство не разрешит).

А зачем переходить? Просто собери проект другим компилятором и посмотри на предупреждения.

lint же :)

До кучи: http://clang-analyzer.llvm.org/

splint

попробуй cppcheck

Дерьмо редкостное (: Пробовал, не раз. Половину ошибок не ловит, в остальных случаях выполняет работу КЭПа.

Половину ошибок не ловит, в остальных случаях выполняет работу КЭПа.

Странно, а мне показался адекватным. А это вообще реально — отловить ВСЕ ошибки статическим анализом кода?

Условия задачи четко не прописаны, так что можно смотреть и на коммерческие статические анализаторы кода. Типа PVS-Studio, активно пиаримый на хабре.

Кстати, неплохой тег [статический анализ кода]

нашел несколько хороших комерческих.

А можешь ссылки (названия кинуть)?

Класс! И говнище на БХ иногда говнищем же поливают ☺

(проект большой).

firefox & chromium, вроде, большие проекты, очень большие. А используют они там коммерческие статические анализаторы? Valgrind, address-sanitizer - да, но о других не слышал. Так стоят ли они того действительно?..

комментарии читал?

Так далеко я не зашел

http://www.abxsoft.com/ http://www.gimpel.com/html/index.htm

Спасибо, глянем.

Нашел ссылку, тут по языкам много названий. http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis

Нашел ссылку, тут по языкам много названий. http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis

Вот это находка! Как это тебя в такую глушь занесло?

успешно применяли сонар для сей и джавы

Давно. lint :)

А зря не читали комментарии

А зря не читали комментарии :) http://habrahabr.ru/post/128607/#comment_4253780

Include What You Use

Для С++, но для С тоже может работать

В качестве статического чекера используй clang