C/C++代码静态检查工具Cppcheck在VS2008开发环境中的安装配置和使用

2023-08-17 13:09:46

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

(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

上一篇：内核ipc机制


下一篇：JAVA代码静态检测之PMD