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

分享一下我老师大神的人工智能教程！零基础，通俗易懂！http://blog.csdn.net/jiangjunshow

也欢迎大家转载本篇文章。分享知识，造福人民，实现我们中华民族伟大复兴！

               

作者：朱金灿
来源：http://blog.csdn.net/clever101/

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

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

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

[cpp] view plain copy print ?

1.    int f( bool b )  
2. {  
3.     int i;  
4.     if ( b )  
5.     {  
6.         i = 0;  
7.     }  
8.     return i; // 当b为假时，变量i未初始化  
9. }  

   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，作者：褚诚云

           

给我老师的人工智能教程打call！http://blog.csdn.net/jiangjunshow