测试工具整理（1）——静态检查

pc-lint（找到约 5,250,000 条结果）

　　PC-Lint是C/C++软件代码静态分析工具，你可以把它看作是一种更加严格的编译器。它不仅可以检查出一般的语法错误，还可以检查出那些虽然符合语法要求但不易发现的潜在错误。
　　C语言的灵活性带来了代码效率的提升，但相应带来了代码编写的随意性，另外C编译器不进行强制类型检查，也带来了代码编写的隐患。PCLint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析，能识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针，冗余的代码，等等。软件除错是软件项目开发成本和延误的主要因素。PClint能够帮你在程序动态测试之前发现编码错误。这样消除错误的成本更低。

 

splint（找到约 7,140,000 条结果）

splint是一个动态检查C语言程序安全弱点和编写错误的程序.splint会进行多种常规检查,包括未使用的变量,类型不一致,使用未定义变量,无法执行的代码,忽略返回值,执行路径未返回,无限循环等错误.

 

cppcheck（找到约 178,000 条结果）

cppcheck 是一个静态代码检查工具，支持c, c++ 代码；作为编译器的一种补充检查，cppcheck对产品的源代码执行严格的逻辑检查。 执行的检查包括：
   1.  自动变量检查
   2.  数组的边界检查
   3.  class类检查
   4.  过期的函数，废弃函数调用检查
   5.  异常内存使用，释放检查
   6.  内存泄漏检查，主要是通过内存引用指针
   7.  操作系统资源释放检查，中断，文件描述符等
   8.  异常STL 函数使用检查
   9.  代码格式错误，以及性能因素检查