Существует еще один, называемый «Кодан», расшифровывается как анализ кодов.
Его можно просмотреть на этой вики со ссылками на инструмент:
http://wiki.eclipse.org/CDT/designs/StaticAnalysis
Я не могу ответить, лучше ли это, чем ваш список, но по крайней мере это еще один вариант, который вы можете просмотреть. Интеграция с Eclipse, похоже, является его единственным требованием.
Имейте в виду, что эта работа еще не завершена, но, учитывая ее цели, она может удовлетворить ваши краткосрочные потребности.