Prefast

     Prefast是微软研究院提出的静态代码分析工具。主要目的是通过分析代码的数据和控制信息来检测程序中的缺陷。需要强调的是，Prefast检测的缺项不仅仅是安全缺陷，但是安全缺陷类型是其检测的最为重要的部分。Prefast推出后在微软内部得到了广泛的使用，并经历了若干格版本的升级。现在，微软将这个内部工具商业化，以提供给外部的开发人员使用。

 

它能够帮助你找到编译器不能找到的错误或者缺陷。

• Prefast包括在Visual Studio 2005 /2008的团队版本（team edition）中。
• Prefast包括在Windows驱动程序开发包（Microsoft Windows Driver Kits）的开发环境中。

more detail:

http://blog.csdn.net/chengyun_chu/archive/2008/08/05/2768482.aspx

http://www.cppblog.com/sandy/archive/2006/03/28/4689.html