PClint安装与使用总结.doc

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公司的产品，是C/C++软件代码静态分析工具，你可以把它看作是一种更加严格的编译器。它除了可以检查出一般的语法错误外，还可以检查出那些虽然符合语法要求，但很可能是潜在的、不易发现的错误。 C语言的灵活性带来了代码效率的提升，但相应带来了代码编写的随意性，另外C编译器不进行强制类型检查，也带来了代码编写的隐患。PC-Lint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析，能识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针，冗余的代码，等等。软件除错是软件项目开发成本和延误的主要因素。PC-lint能够帮你在程序动态测试之前发现编码错误。这样消除错误的成本更低。 PC-lint全球拥有广泛的客户群，因为它性价比高，易于学习，容易推广和固化到软件开发测试流程中去。使用方法很简单，可以用命令行方式进行，例如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 出现命令行使用的说明窗口，选