VS 2008中的C/C++静态代码分析工具Prefast

作者：朱金灿
来源：http://blog.youkuaiyun.com/clever101/

       从褚诚云博客上知道了Visual Studio 2005 /2008的团队版本上集成了一个C/C++静态代码分析工具Prefast，特地测试了一下，果然不错。

具体用法以下面的例子说明：

1. 建一个控制台工程，敲入下面代码：

int f( bool b ) { int i; if ( b ) { i = 0; } return i; // 当b为假时，变量i未初始化 }

2. 打开Project Properties --> Configuration Properties --> Code Analysis -->Enable Code Analysis For C/C++ on build。选择 Yes(/analyze)即可。具体如下图：

如果直接使用CL.exe命令行编译器，采用/analyze编译选项即可。例如：cl test.cpp -W4 /EHsc /analyze。

3. 编译该工程，会出现下面警告：

1>f:/mytest/mytest/src/testsort/testsort.cpp(39) : warning C6001: Using uninitialized memory 'i': Lines: 29, 31, 39

4. 不要以为这是编译器提供的警告，单击一下这个警告你就会发现端倪，原来是Prefast提示你你：当b为假时，变量i未初始化，其中的Lines: 29, 31, 39是提示你这几句代码导致了出现了这个警告，具体如下图：

参考文献：

1. 安全编码实践三：C/C++静态代码分析工具Prefast ，作者：褚诚云