PC-lint安装及使用总结

PC-lint研究总结1.PC-lint总体介绍......................................................................................................................22.安装和配置...............................................................................................................................22.1安装...........................................................................................................................22.2配置...........................................................................................................................33.使用方法.................................................................................................................................143.1命令行方式.............................................................................................................143.2集成到IDE方式....................................................................................................153.2.1集成到VC中.........................................................................................153.2.2集成到CB中.........................................................................................173.2.3集成到SI中...........................................................................................203.2.4集成到UE中.........................................................................................233.3makefile方式..........................................................................................................243.3.1GNUMake和makefile介绍.................................................................243.3.1.1GNUMake..............................................................................................243.3.1.2makefile基本结构.................................................................................253.3.1.3makefile变量.........................................................................................263.3.1.4GNUmake的主要预定义变量.............................................................263.3.1.5隐含规则.................................................................................................273.3.2平台的makefile结构.............................................................................273.3.2.1平台级.....................................................................................................283.3.2.2子系统级（以支撑为例）.....................................................................283.3.2.3平台makefile的调用方式.....................................................................293.3.3平台makefile同PC-lint的集成...........................................................294.平台推广方案（建议）.........................................................................................................344.1推广使用的前提.....................................................................................................344.2个人的使用方案.....................................................................................................344.3子系统的检查人的使用方案.................................................................................344.4特殊情况处理方法.................................................................................................341.PC-lint总体介绍PC-Lint/FlexeLintforC/C++是GIMPELSOFTWARE公司的产品，是C/C++软件代码静态分析工具，你可以把它看作是一种更加严格的编译器。它除了可以检查出一般的语法错误外，还可以检查出那些虽然符合语法要求，但很可能是潜在的、不易发现的错误。C语言的灵活性带来了代码效率的提升，但相应带来了代码编写的随意性，另外C编译器不进行强制类型检查，也带来了代码编写的隐患。PC-Lint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析，能识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针，冗余的代码，等等。软件除错是软件项目开发成本和延误的主要因素。PC-lint能够帮你在程序动态测试之前发现编码错误。这样消除错误的成本更低。PC-lint全球拥有广泛的客户群，因为它性价比高，易于学习，容易推广和固化到软件开发测试流程中去。使用方法很简单，可以用命令行方式进行，例如lint-nt–ustd.lnttest1.ctest2.ctest3.c。另外支持MAKEFILE方式。也可以集成到开发环境中。如集成到SourceInsight/SLICKEDIT/MSVC6.0/KEILC..等。如微软公司，都把它作为程序检查工具，在程序合入正试版本或交付测试之前一定要保证通过了LINT检查，他们要求软件工程师在使用LINT时要打开所有的编译开关，如果一定要关闭某些开关，那么要给出关闭这些开关的正当理由。由于越来越多的用户要求能在非PC的平台上使用PC-Lint，GIMPEL公司采用了标准C源码包的方式发布了FlexeLint，这样一来，FlexeLint就可被用户方便的移植在各种的平台上。2.安装和配置2.1安装由于此版本比较特殊，故无需安装，只需要将RAR压缩包里的所有文件解压到一个目录下即可，这里假定为C:\PCLint8目录。解压之后目录中文件及目录的说明如下：lint-nt.exePC-lint可执行程序；config.exe配置向导；read80.txt手册的补充说明，最新特性的更新都在这里说明；pc-lint.pdfPC-Lint英文参考手册，许多问题的答案可以在这里找到；pr.exe打印工具；msg.txt文本格式的错误号信息解释文件；patch.exeLINT补丁升级工具；Lnt\包含各种lnt配置文件的目录，文件如下：co-....lnt各种特定的编译器的配置文件；co.lnt通用的编译器配置文件；sl-....c支持各种非ANSI标准编译器的标准库模块；sl.c支持ANSI标准的通用编译器的标准库模块；env-....lnt支持包括微软VisualStudio在内的各种开发环境以及多种编辑工具的配置文件；lib-....lnt支持各种特定库的配置选项文件；au-....lnt作者编程建议的配置文件；Test\.包含各种测试源文件的目录。2.2配置假定我们为MicrosoftVisualC++6的开发环境进行配置，运行C:\PCLint8\config.exe进行配置。1)运行C:\PCLint8\config.exe后出现如下画面，选择下一步；图2.2.12)出现命令行使用的说明窗口，选择下一步；图2.2.2说明：LIN.BAT，OPTIONS.LNT，STD.LNT为成功运行完此配置向导后自动生成的文件。LINT-NT实际上就是LINT-NT.EXE命令。LIN.BAT中的命令语句形式还可在IDE或编辑器里使用；3)选择是创建或修改已有配置文件STD.LNT的选项，这里我们是第一次配置，故选择上面一个选项CreateanewSTD.LNT，不修改配置路径，然后选择下一步；图2.2.3说明：界面中配置路径不修改的话就是PC-Lint安装的路径C:\PCLint8，新建的STD.LNT就存放在这个目录下，当然用户也可选择另外的配置路径存放生成的STD.LNT。4)接下来是选择编译器，在下拉框中选择自己使用的编译器。这里我们选择MicrosoftVisualC++6.x(co-msc60.lnt)，点击下一步；图2.2.4说明：如果没有自己使用的编译器，可选择通用编译器：GenericCompilers。这个选项会体现在co-xxx.lnt文件中，并存放在前面我们选择的配置路径（C:\PCLint8）下，在后面配置选项我们所选择的***.LNT均会被存放到这个路径下。5)接着会让你选择一个的内存模型，可以根据自己程序区和数据区的实际大小选择一个恰当的内存模型。内存模型的选项会体现在STD.LNT文件中。缺省选择