您好,欢迎访问三七文档
当前位置:首页 > 商业/管理/HR > 企业财务 > PC-LINT 简明使用手册
PC-LINT简明使用手册1/16PC-LINT简明使用手册版本:1.0(版权所有,翻版必究)PC-LINT简明使用手册2/16目录1前言..........................................................................................................................................................32软件版本...................................................................................................................................................33功能..........................................................................................................................................................34安装与配置...............................................................................................................................................34.1安装.....................................................................................................................................................................34.2配置.....................................................................................................................................................................45使用说明...................................................................................................................................................45.1命令行下使用pclint..........................................................................................................................................45.2Tornado下使用pclint......................................................................................................................................65.3SourceInsight下使用pclint............................................................................................................................95.4UltraEdit下使用pclint..................................................................................................................................125.5VC++6下使用pclint......................................................................................................................................145.6其他说明...........................................................................................................................................................146参考文档.................................................................................................................................................156.1《ReferenceManualforPC-lint/FlexeLint》GimpelSoftware..............................................................16PC-LINT简明使用手册3/161前言PC-Lint是由GimpelSoftware出品的,一个历史悠久的,功能异常强劲的C/C++代码静态代码检测工具。随着C语言的诞生它也随之诞生了,经过30来年的发展,它不仅可以检查出一般的语法错误,还可以检查出那些虽然符合语法要求但不易发现的潜在错误。C语言的灵活性带来了代码效率的提升,但相应带来了代码编写的随意性,另外C编译器不进行强制类型检查,也带来了代码编写的隐患。PC-Lint不但能够监测出许多语法逻辑上的隐患,它进行程序的全局分析,能识别没有被适当检验的数组下标,报告未被初始化的变量,警告使用空指针,冗余的代码,等等。而且也能够有效地帮你提出许多程序在空间利用、运行效率上的改进点,这时候,PC-Lint的强劲功能可以很好地提高软件的质量。2软件版本当前使用的版本为PC-lintforC/C++Version8.00e。3功能3.1PC-Lint是一种静态代码检测工具,可以说,PC-LINT是一种更加严格的编译器,不仅可以象普通编译器那样检查出一般的语法错误,还可以检查出那些虽然完全合乎语法要求,但很可能是潜在的、不易发现的错误。3.2PC-Lint不但可以检测单个文件,也可以从整个项目的角度来检测问题,因为C语言编译器固有的单个编译,这些问题在编译器环境下很难被检测,而PC-Lint在检查当前文件的同时还会检查所有与之相关的文件,可想而知,它会对我们有很大的帮助。3.3PC-Lint支持几乎所有流行的编辑环境和编译器,比如BorlandC++从1.x到5.x各个版本、BorlandC++Build、GCC、VC,VC.net、watcomC/C++、Sourceinsight、intelC/C++等等,也支持16/32/64的平台环境。3.4支持ScottMeyes的名著(EffectiveC++/MoreEffectiveC++)中说描述的各种提高效率和防止错误的方法。4安装与配置4.1安装直接复制文件到任意目录直接使用,本手册默认安装在d:\pclint。文件及目录结构如下列:lint-nt.exePC-Lint执行程序.config.exePC-Lint配置程序.readme.txtReadme文件.pc-lint.pdfPDF格式的使用参考手册.pr.exe方便的打印程序.msg.txtASCII格式的告警描述.unwise.exe卸载程序.install.log安装日志.Lnt\子目录...co-....lnt特定编译器的编译选项文件.co.lnt通用编译器的编译选项文件.PC-LINT简明使用手册4/16sl-....c特定非ANSI编译器的标准库模块.sl.c通用非ANSI编译器的标准库模块.env-....lnt阐述如何将PC-lint与对应的编辑环境结合起来。lib-....lnt特殊有‘挑战’库的选项文件。库类型的列表,包括标准C/C++库,MFC库,OWL库等等。au-....lnt作者推荐检查的选项文件。C/C++编程提出过重要建议的作者,选择某作者后,他提出的编程建议方面的选项将被打开。4.2配置4.2.1将pclint安装路径加入到环境变量的用户变量或系统变量中。这一步不是必须,但是有助与你方便使用pclint。4.2.2根据编译环境和编码规则,修改相应lnt目录中对应的.lnt文件,.lnt文件的文件名可以任意。具体参照使用说明。5使用说明5.1命令行下使用pclint5.1.1编译环境TC/TC++。软件安装在d:\TC++5.1.2软件配置,使用一下几个配置文件,配置文件放在d:\pclint\lnt目录中。std_tc.lnt//基本配置。co_tc.lnt//编译选项(不需要修改)lib-w32.lnt//编译时使用的库。Windows系统使用lib-w32.lnt(不需要修改)。options.lnt//自定义编译选项,用于开关某些代码规则。env_tc.lnt//定义编译信息输出格式配置std_tc.lnt,内容如下//contentsofstd_tc.lnt//编译选项d:\pclint\lnt\co-tc.lnt//库d:\pclint\lnt\lib-w32.lnt//自定义编译选项,同时指定整型数据占4个字节d:\pclint\lnt\options.lnt-si4-sp4//头文件包含路径-iD:\TC++\INCLUDE//end配置options.lnt,内容如下//contentsofoptions.lnt//内容留空,指没有自定义编译选项//-e783-e701-e703//shiftingintleftisOK-e502-e713-e737-eau//don'treportonsigned/unsignedmismatchesPC-LINT简明使用手册5/16配置env_tc.lnt,内容如下//contentsofenv_tc.lnt/*env-tc.lntlint-nt-u-id:\pclint\lntstd-tcenv-tc%f*/-format=%f(line%l)[%t%n]:%m-hfa_3//编译选项测试例程如下。/*test.c*/#includestdio.hvoidtest(void){intflag;flag=1/flag;printf(Hello);}/*5.1.3检测打开cmd.exe。在命令行下输入如下指令:d:\pclint\lint-nt-ud:\pclint\lnt\std_tc.lntd:\pclint\lnt\env-tc.lnttest.c,结果如下:PC-lintforC/C++(NT)Ver.8.00e,CopyrightGimpelSoftware1985-2001---Module:D:\pclint\te.c_flag=1/flag;D:\pclint\te.c(line7)[Warning530]:Symbol'flag'(line5)notinitializedD:\pclint\te.c(line5)[Info830]:Locationcitedinpriormessage_}D:\pclint\te.c(line9)[Info783]:Linedoesnotendwithn
本文标题:PC-LINT 简明使用手册
链接地址:https://www.777doc.com/doc-3510687 .html