C/C++代碼靜態檢查工具Cppcheck在VS2008開發環境中的安裝配置和使用

標籤：att   lis   source   archive   代碼   proc   type   details   github   

Cppcheck is an analysis tool for C/C++code. Unlike C/C++ compilers and many other analysis tools, it doesn’t detect syntax errors. Cppcheck only detects the types of bugs that the compilers normally fail to detect. The goal is no false positives.

Cppcheck is rarely wrong about reported errors. But there are many bugs that it doesn’t detect.

它可以檢查不通過編譯的檔案。

執行的檢查包括：

(1)、自動變數檢查；(2)、數組的邊界檢查；(3)、class類檢查；(4)、到期的函數，廢棄函數調用檢查；(5)、異常記憶體使用量，釋放檢查；(6)、記憶體流失檢查，主要是通過記憶體引用指標；(7)、作業系統資源釋放檢查，中斷，檔案描述符等；(8)、異常STL 函數使用檢查；(9)、代碼格式錯誤，以及效能因素檢查。

安裝步驟：

(1)、從http://sourceforge.net/projects/cppcheck/下載最新版本cppcheck-1.58-x86-Setup.msi，將其安裝到D:\ProgramFiles\Cppcheck路徑下(注意：不要包含中文路徑，也可以從https://github.com/danmar/cppcheck/ 下載原始碼)；

(2)、開啟vs2008，Tools-->ExternalTools-->點擊Add，Title：Cppcheck；Command：D:\ProgramFiles\Cppcheck\cppcheck.exe；Argments：--quiet --verbose --template=vs$(ItemPath)；Initial directory：$(ItemDir)；選中Use Output window；點擊OK.

例如，在F:\test\Cppcheck檔案夾下建立了一個Cppcheck工程，F:\test\Cppcheck\Cppcheck檔案夾下存放著一些.cpp檔案：

 

1. #include "stdafx.h"  
2. #include <iostream>  
3.   
4. using namespace std;  
5.   
6. int *p;  
7.   
8. int fun1(int sz)  
9. {  
10.     delete [] p;  
11.   
12.     //Exception thrown in invalid state, ‘p‘ points at deallocated memory.  
13.     if (sz <= 0)  
14.     {  
15.         throw std::runtime_error("size <= 0");  
16.     }  
17.   
18.     p = new int[sz];  
19. }  
20.   
21.   
22. void *CreateFred()  
23. {  
24.     return malloc(100);  
25. }  
26.   
27. void DestroyFred(void *p)  
28. {  
29.     free(p);  
30. }  
31.   
32. void f(int x)  
33. {  
34.     //(style) Variable ’i’ is assigned a value that is never used  
35.     //(style) The scope of the variable i can be reduced  
36.     int i;  
37.   
38.     if (x == 0)  
39.     {  
40.         i = 0;  
41.     }  
42. }  
43.   
44. void foo(int x)  
45. {  
46.     void *f = CreateFred();  
47.   
48.     if (x == 1)  
49.     {  
50.         return;  
51.     }  
52.     //Memory leak: f  
53.     DestroyFred(f);  
54. }  
55.   
56. int _tmain(int argc, _TCHAR* argv[])  
57. {  
58.     //error: Array ‘a[10]‘ accessed at index 10, which is out of bounds.  
59.     //Variable ‘a‘ is assigned a value that is never used.  
60.     char a[10];  
61.   
62.     a[10] = 0;  
63.   
64.     return 0;  
65. }  

 

 

(1)、checking all files in a folder:

D:\ProgramFiles\Cppcheck>cppcheckF:\test\Cppcheck\Cppcheck

(2)、stylistic issues(with --enable=style you enable most warning, styleand performance messages)：

D:\ProgramFiles\Cppcheck>cppcheck--enable=style F:\test\Cppcheck\Cppcheck\Cppcheck.cpp

(3)、unused functions:

D:\ProgramFiles\Cppcheck>cppcheck--enable=unusedFunction F:\test\Cppcheck\Cppcheck

(4)、enable all checks:

D:\ProgramFiles\Cppcheck>cppcheck--enable=all F:\test\Cppcheck\Cppcheck

(5)、saving results in file:

D:\ProgramFiles\Cppcheck>cppcheck --enable=allF:\test\Cppcheck\Cppcheck 2> F:\test\Cppcheck\Cppcheck\err.txt

(6)、multithreaded checking(use 2 threads to check a folder)：

D:\ProgramFiles\Cppcheck>cppcheck-j 2 F:\test\Cppcheck\Cppcheck

(7)、xml output:

D:\ProgramFiles\Cppcheck>cppcheck--xml-version=2 F:\test\Cppcheck\Cppcheck\Cppcheck.cpp

(8)、reformatting the output(to get Visual Studio compatible output):

D:\ProgramFiles\Cppcheck>cppcheck--template=vs F:\test\Cppcheck\Cppcheck\Cppcheck.cpp

 

 

參考文獻：

1、http://sourceforge.net/apps/mediawiki/cppcheck/index.php?title=Main_Page

2、http://blog.csdn.net/akof1314/article/details/7477014

3、http://www.cppblog.com/jinq0123/archive/2012/04/10/170739.html

4、http://blog.sina.com.cn/s/blog_7a4cdec80100s661.html

5、http://avitebskiy.blogspot.tw/2012/10/poor-mans-visual-studio-cppcheck.html

 

代碼檢查工具列表：

1、http://en.wikibooks.org/wiki/Introduction_to_Software_Engineering/Tools/Static_Code_Analysis

2、http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis

3、http://www.cert.org/secure-coding/tools.html

4、http://spinroot.com/static/

5、http://www.kuqin.com/testing/20111116/314953.html

 

from:http://blog.csdn.net/fengbingchun/article/details/8887843

http://blog.csdn.net/flyingleo1981/article/details/51320575

C/C++代碼靜態檢查工具Cppcheck在VS2008開發環境中的安裝配置和使用