PreFast в VS 2010?

Question

Какая версия VS 2010 имеет статический анализатор кода PreFast для нативного c ++? Я скачал пробную версию VS 2010 Ultimate Edition в надежде, что она будет содержать все функции, но не смог найти в ней встроенный PreFast. Я пытался связать VS 2010, чтобы установить его каталоги с PreFast WDK и добавить «/ анализ» в командной строке дополнительные параметры, но не смог получить результаты.

Answer 1

это в конечном итоге (я только что проверил), но я не думаю, что это в про.

страница справки http://msdn.microsoft.com/en-us/library/bb385907.aspx

Answer 2

Я искал какую-то утечку памяти, правила блокировки мертвых потоков.

Prefast - инструмент статического анализа. Он проверяет возможные NULL разыменования, переполнения буфера и тому подобное. Вы ищете инструмент динамического анализа, такой как Bounds Checker. Не уверен, что он доступен для VS 2010. Другой вариант будет использовать Application Verifyer.