Наверное ты уже читал, но все же:
http://habrahabr.ru/blogs/cpp/75123/
Тоже недавно задумался над статическим анализатором, но потом решил лучше поработать над традиционными методами отладки, а уже потом, когда их возможности иссякнут, применять статические анализаторы.
Вот по традиционным методам статьи:
http://dtf.ru/articles/read.php?id=36376
http://dtf.ru/articles/read.php?id=36547
http://dtf.ru/articles/read.php?id=37058
Как по заказу: в нём обзор средств статического анализа для C++
|
Там много полезной информации?