Глубокий анализ C++ кода на этапе компиляции

доглядеть за всем в C++ нереально, иногда один символ может вызвать баг ценой в пару часов отладки

компиляторы не обладают возможностью глубокого анализа (на утечки памяти, выход за пределы масива и тд) но есть специальный софт для этого, к примеру PREfast
почитать о нём можно тут http://blog.gamedeff.com/?p=164

но для VS 2005 Team Suite, для VS 2008 (не знаю какие версии), скорее всего и для 2010 студии, можно добавить параметр /analyze в дополнительные опции компилятора (cl.exe, в настройках проекта это доп. опции C++) и тогда он произведет глубокий анализ кода

к примеру у меня всплыло что выделял масив new[], а удалял с помощью delete

[johnk]

В 2008 pro не работает :'(

"ignoring option '/analyze'; Code Analysis warnings are not available in this edition of the compiler"

[Knightmare]

Анализатор кода доступен только в TS вроде. Поэтому он и стоит 500 килорублей. Но можно слить с тырнета =)

[Mr_F_]

поделитесь у кого есть а то неохота качать целый образ с кучей хз чего.

[ffinder]

Сообщение от jimon

доглядеть за всем в C++ нереально, иногда один символ может вызвать баг ценой в пару часов отладки

shodan же писал, что неделю
PS: и почему это не встроили в компилер сразу?

[h1dd3n]

PREfast и встроенный анализатор отличаются чем-либо? Или одно и тоже?

ffinder
вся проблема в времени компиляции, на полный анализ среднего проекта в 400 кб исходников может уйти до минуты времени, это при компиляции в 10-20 секунд, большие проекты могут делать ребилд за 20-30 минут, анализ будет длится еще дольше

h1dd3n
PREfast не пытался использовать, встроенный анализатор не имеет своего гуи и пишет ошибки прямо в текстовый лог, сравнивать не с чем
в статье предлагают использовать PREfast for Drivers, должно быть там намного тщательнее проверяют код
надо бы еще пару анализаторов попытатся использовать

[Mr_F_]

поделитесь у кого есть а то неохота качать целый образ с кучей хз чего.

UP !

[johnk]

А я вот качаю Klocwork Insight
Благо в интернетах тысяча ссылок на него.