pc_lint经验.pdf

[本文部分内容和例子都来自于 PC-Lint 用户手册，翻译得时候加上了点自己的 理解] 摘要：C/C++语言的语法拥有其它语言所没有的灵活性，这种灵活性带来了代 码效率的提升，但相应增加了代码中存在隐患的可能性。静态代码检查工具 PC-Lint 则偏重于代码的逻辑分析，它能够发现代码中潜在的错误，比如数组访 问越界、内存泄漏、使用未初始化变量等。本文将介绍如何安装和配置 PC-Lint 代码检查工具以及如何将 PC-Lint 与常见的代码编辑软件集成。 关键词：代码检查 PC-Lint 规则 选项 目 录 摘 要 1 引 言 2 PC-Lint 介绍 3 PC-Lint 的代码检查功能 3.1 强类型检查 3.2 变量值跟踪 3.3 赋值顺序检查 3.4 弱定义检查 3.5 格式检查 3.6 缩进检查 3.7 const 变量检查 3.8 volatile 变量检查 4 PC-Lint 软件使用方法 4.1 安装与配置 4.2 PC-Lint 与常用开发工具的集成（Visual C++,Source Insight,UEdit) 5 总结 参考文献 附录一 PC-Lint 重要文件说明 附录二 错误信息禁止选项说明 附录三 PC-Lint 检测中的常见错误 一 引言 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( kk 0 ) result = 1; 20： else if( kk 0 ) result = -1; 21： 22： if( m == result ) return( temp ); 23： else return( name ); 24：} 这是一段 C