5r8[计算机]PC-lint安装及使用总结.docVIP

PC-lint研究总结 1. PC-lint总体介绍 2 2. 安装和配置 2 2.1 安装 2 2.2 配置 3 3. 使用方法 14 3.1 命令行方式 14 3.2 集成到IDE方式 15 3.2.1 集成到VC中 15 3.2.2 集成到CB中 17 3.2.3 集成到SI中 20 3.2.4 集成到UE中 23 3.3 makefile方式 24 3.3.1 GNU Make和makefile介绍 24 3.3.1.1 GNU Make 24 3.3.1.2 makefile 基本结构 25 3.3.1.3 makefile 变量 26 3.3.1.4 GNU make 的主要预定义变量 26 3.3.1.5 隐含规则 27 3.3.2 平台的makefile结构 27 3.3.2.1 平台级 28 3.3.2.2 子系统级（以支撑为例） 28 3.3.2.3 平台makefile的调用方式 29 3.3.3 平台makefile同PC-lint的集成 29 4. 平台推广方案（建议） 34 4.1 推广使用的前提 34 4.2 个人的使用方案 34 4.3 子系统的检查人的使用方案 34 4.4 特殊情况处理方法 34  PC-lint总体介绍 PC-Lint/FlexeLint for C/C++是GIMPEL SOFTWARE公司的产品是一种更加严格的编译器。它可以检查出一般的语法错误，还可以检查出那些虽然语法要求，但很可能是潜在的、不易发现的错误冗余的代码用命令行方式进行lint-nt –u std.lnt test1.c test2.c test3.c 。 另外支持MAKEFILE方式。也可以集成到开发环境中。如集成Source Insight/SLICKEDIT/MS VC6.0/KEIL C..等。 如微软公司，都把它作为程序检查工具，在程序合入正试版本或交付测试之前一定要保证通过了LINT检查，他们要求软件工程师在使用LINT时要打开所有的编译开关，如果一定要关闭某些开关，那么要给出关闭这些开关的正当理由。 由于越来越多的用户要求能在非PC的平台上使用PC-Lint，GIMPEL公司采用了标准C源码包的方式发布了FlexeLint，这样一来，FlexeLint就可被用户方便的移植在各种的平台上。 安装和配置 安装 由于此版本比较特殊，故无需安装，只需要将RAR压缩包里的所有文件解压到一个目录下即可，这里假定为C:\PCLint8目录。 解压之后目录中文件及目录的说明如下： lint-nt.exe PC-lint可执行程序； config.exe 配置向导； read80.txt 手册的补充说明，最新特性的更新都在这里说明； pc-lint.pdf PC-Lint英文参考手册，许多问题的答案可以在这里找到； pr.exe 打印工具； msg.txt 文本格式的错误号信息解释文件； patch.exe LINT补丁升级工具； Lnt\ 包含各种lnt配置文件的目录，文件如下： co-....lnt 各种特定的编译器的配置文件； co.lnt 通用的编译器配置文件； sl-....c 支持各种非ANSI标准编译器的标准库模块； sl.c 支持ANSI标准的通用编译器的标准库模块； env-....lnt 支持包括微软Visual Studio在内的各种开发环境以及多种编辑工具的配置文件； lib-....lnt 支持各种特定库的配置选项文件； au-....lnt 作者编程建议的配置文件； Test\. 包含各种测试源文件的目录。 配置 假定我们为Microsoft Visual C++ 6的开发环境进行配置，运行C:\PCLint8\config.exe进行配置。 运行C:\PCLint8\config.exe后出现如下画面，选择下一步； 图 2.2.1 出现命令行使用的说明窗口，选择下一步； 图 2.2.2 说明：LIN.BAT，OPTIONS.LNT，STD.LNT为成功运行完此配置向导后自动生成的文件。LINT-NT实际上就是LINT-NT.EXE命令。LIN.BAT中的命令语句形式还可在IDE或编辑器里使用； 选择是创建或修改已有配置文件STD.LNT的选项，这里我们是第一次配置，故选择上面一个选项Create a new STD.LNT，不修改配置路径，然后选择下一步； 图 2.2.3 说明：界面中配置路径不修改的话就是PC-Lint安装的路径C:\PCLint8，新建的STD.LNT就存放在这个目录下，当然用户也可选择另外的配置路径存放生成的STD.LNT。