C++静态代码检查工具？

Python010

C++静态代码检查工具？,第1张

PC Lint被称为C / c++的PC - Lint / FlexeLint。它是由GIMPEL软件开发的C / c++静态代码检测工具，由许多大型软件公司的程序员使用。

C++

我们知道,许多用户从事开发C / c++编程语言,其语法没有其他语言的灵活性,这种灵活性使促进代码的效率,但由于C / c++编译器不是强制性的类型检查,不做任何边境检查,这就增加了代码中存在的隐患的可能性。PC Lint，这个软件的重点是对代码的逻辑分析，它可以在潜在错误的代码中找到，比如数组访问跨界、内存泄漏、使用未初始化的变量等，用于检测编译器无法检测到的bug通常类型。

内容

PC线头是静态代码检测工具,可以说,PC -线头更严格的编译器,不仅可以像普通编译器检查一般的语法错误,也可以看看那些尽管语法要求完全,但是可能是潜在的,不容易找到错误。

PC的棉絮不仅可以检测单个文件,也可以从整个项目的角度检测问题,因为一个固有的C语言编译器编译,编译器环境中这些问题很难发现,线头和PC的检查当前文件同时还将检查所有相关的文档,可想而知,它将对我们有很大的帮助。

方式

PC lint几乎支持所有流行的编辑器和编译器环境，例如Borland c++从1到5。xx版本，Borland c++构建，GCC,VC,watcomC / c++，insight的来源，intelC / c++，等等，也支持16 /32/ 64平台环境。

所示。支持Scott Meyes的经典(有效的c++ /更有效的c++)，各种提高效率和防止错误的方法。

C语言没有异常这一说，请自行进行合法性的判断。

1.使用标准C库提供了abort()和exit()两个函数，强行终止程序的运行，<stdlib.h>。

2.使用assert(断言)宏调用，<assert.h>。

3.使用errno全局变量，<errno.h>。

4.使用goto跳转。

5.使用setjmp,longjmp跳转。