PREfast включен в комплект драйверов Windows (WDK). Начните здесь для получения инструкций о том, как получить WDK:
Я не уверен, насколько легко интегрироваться в Visual Studio. Visual Studio 2008 включает в себя функцию анализа C / C ++ (параметр / analyse), которая в некотором роде похожа на PREfast (но я не уверен, насколько похожи - многие статьи указывают на то, что это одно и то же).