PC-Lint静态代码检查工具.doc

TOC \o 1-3 \h \z \u 一 引言 1 二 PC-Lint介绍 2 三 PC-Lint的代码检查功能 3 3.1 强类型检查 5 3.2 变量值跟踪 9 3.2.1 变量值初始化跟踪 9 3.2.2 变量值跟踪 10 3.2.3 使用assert（断言） 13 3.2.4 函数内变量跟踪 14 3.3 赋值顺序检查 16 3.4 弱定义检查 17 3.5 格式检查 17 3.6 缩进检查 18 3.7 const变量检查 18 3.8 volatile变量检查 19 3.9强化越界检查 19 3.10强化内存泄漏检查 21 四 PC-Lint常见选项说明 22 4.1错误信息选项 22 4.2变量类型大小选项 23 4.3冗长信息选项 23 4.4标记选项 24 4.5消息显示选项 24 五 PC-Lint软件使用方法 25 5.1 PC-Lint配置 25 5.1.1 手工配置PC-Lint 25 5.1.2 使用Config工具配置PC-Lint 27 5.2 PC-Lint与常用开发工具的集成 37 5.2.1 使用命令行方式 37 5.2.2 PC-Lint与Visual C++集成 37 5.2.3 PC-Lint与source insight集成 41 5.2.4 PC-Lint与UltraEdit集成 42 5.3.LINT一个工程下的多个C文件 43 5.3.1为何要LINT多个C文件 43 5.3.2如何LINT一个工程下的多个C文件 44 5.3.3简单的LINT多个文件 46 五 总结 46 附录一? PC-Lint 重要文件说明 46 附录二? PC-Lint检测中的常见错误 47 一 引言 C/C++语言的语法拥有其它语言所没有的灵活性，这种灵活性带来了代码效率的提升，但相应也使得代码编写具有很大的随意性，另外C/C++编译器不进行强制类型检查，也不做任何边界检查，这就增加了代码中存在隐患的可能性。如果能够在代码提交测试之前发现这些潜在的错误，就能够极大地减轻测试人员的压力，减少软件项目的除错成本，可是传统的C/C++编译器对此已经无能为力，这个任务只能由专用的代码检查工具完成。目前有很多C/C++静态代码检查工具，其中Logiscope RuleChecker和PC-Lint是目前应用比较广泛的两个工具。这两个检查工具各有特色，Logiscope RuleChecker倾向于代码编码规范的检查，比如代码缩进格式、case语句书写规范、函数声明和布尔表达式的编写规则等，而PC-Lint则偏重于代码的逻辑分析，它能够发现代码中潜在的错误，比如数组访问越界、内存泄漏、使用未初始化变量等。本文将介绍如何安装和配置PC-Lint代码检查工具以及将PC-Lint与常见的代码编辑软件，如Visual C++，Source Insight集成的方法，同时还将简要介绍一些PC-Lint常用的代码检查选项。 二 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： 2：char *report( int m, int n, char *p ) 3：{ 4： int result; 5： char *temp; 6： long nm; 7： int i, k, kk; 8： char name[11] = Joe Jakeson; 9： 10： nm = n * m; 11： temp = p == ? null : p; 12： for( i = 0; im; I++ ) { 14： k++; 15： kk = i; 16： } 17： 18： if( k== 1 ) result = nm; 19： else if