Здравствуйте, Plague:

M>Мы занимаемся исследованием различных инструментов по статической проверке кода (C/C++) — QAC/C++, PC-lint, CodeWizard, CodeCheck и т.д.

P>интересно было бы взглянуть на твои результаты тестирования этих программ...

Официальный документ предоставить пока не могу — Internal Use Only

Но по русски сказать можно.
Пока еще официально протестированны 1.5 программы (Logiscope RuleChecker и не полностью QAC/C++).
Первое явно не рассчитано на реальную работу, а второй внолне на уровне.
Но мое ИМХО — PC-lint рулит , как по качеству проверки, так и по цене (240$ против 5000$ QAC++)
Но он проверяет только логические ошибки.
Для проверки стандартов кодирования (стиль оформления кода, метрики, комментарии) — рулит CodeCheck.
Хотя для метрик, лучше подойдет RSM.

Итого, чтобы полностью покрыть статический анализ нужно три инструмента: PC-lint, CodeCheck и RSM (на мой взгляд лучшие). Сумарная стоимость: 240$ + 1000$ + 200$ = 1440$, что на много выгоднее чем покупать QAC++(5000$) или пакет Logiscope (10000$).

Когда будет завершено исследование, могу выложить табличку с оценками всех тулов.

P.S. Боюсь, что после этого поста модераторы перенесут эту тему в "Средства разработки", что в принципе справедливо