请输入您要查询的百科知识:

 

词条 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条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2024/11/16 10:17:56