词条 | PCLint |
释义 | PC-Lint 介绍PC-Lint 是GIMPEL SOFTWARE 公司研发的C/C++软件代码静态分析工具,他的全称是 PC-Lint/FlexeLint for C/C++。PC-Lint 能够在Windows、MS-DOS 和OS/2 平台上使用,以二 进制可执行文档的形式发布,而FlexeLint 运行于其他平台,以源代码的形式发布。PC-lint 在全球拥有广泛的客户群,许多大型的软件研发组织都把PC-Lint 检查作为代码走查的第一 道工序。PC-Lint 不但能够对程式进行全局分析,识别没有被适当检验的数组下标,报告未被 初始化的变量,警告使用空指针连同冗余的代码,还能够有效地提出许多程序在空间利用、 运行效率上的改进点。 PC Lint的作用1、PC-Lint是一种静态代码检测工具,可以说,PC-LINT是一种更加严格的编译器,不仅可以象普通编译器那样检查出一般的语法错误,还可以检查出那些虽然完全合乎语法要求,但很可能是潜在的、不易发现的错误。 2、PC-lint不但可以检测单个文件,也可以从整个项目的角度来检测问题,因为C语言编译器固有的单个编译,这些问题在编译器环境下很难被检测,而PC-Lint在检查当前文件的同时还会检查所有与之相关的文件,可想而知,它会对我们有很大的帮助。 3、 PC-lint支持几乎所有流行的编辑环境和编译器,比如Borland C++从1.x到5.x各个版本、Borland C++ Build、GCC、VC、watcomC/C++、Source insight、intelC/C++等等,也支持16/32/64的平台环境。 4、支持Scott Meyes的名著(Effective C++/More Effective C++)中说描述的各种提高效率和防止错误的方法。 PCLint配置包的内容对代码进行PCLint检查前,需要配置一个由很多选项组成的参数包,按照包中规定的要求来对代码进行检查,一个配置包通常包含下列几类内容: ·Rules for Specifying Options:比如/*lint -save -e54 */ ·Error Inhibition Options:比如 –e, -efile,-elib,-efunc ·Size and Alignment Options :比如 –sb# ·Verbosity Options :比如 -v ·Flag Options:比如+fpn ·Message Presentation Options:比如-append( errno, string ) ·Other Options:比如-cpp( ext ) ·Compiler Adaptation:在co-xxx.lnt文件中 注意:实际检查代码时: 1)LINT选项也可以放在注释中,例如:/*lint option1 option2 ... optional commentary */ 2)可以通过“-”,“+”, “?”,“*” 控制哪些检查项有效或失效 3)在代码中可以通过添加 #ifdef_lint …#endif 让pclint不检查指定的代码 |
随便看 |
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。