静态代码检查工具PC-Lint的使用方法

上传人:cl****1 文档编号:507285581 上传时间:2022-10-27 格式:DOCX 页数:38 大小:1.06MB
返回 下载 相关 举报
静态代码检查工具PC-Lint的使用方法_第1页
第1页 / 共38页
静态代码检查工具PC-Lint的使用方法_第2页
第2页 / 共38页
静态代码检查工具PC-Lint的使用方法_第3页
第3页 / 共38页
静态代码检查工具PC-Lint的使用方法_第4页
第4页 / 共38页
静态代码检查工具PC-Lint的使用方法_第5页
第5页 / 共38页
点击查看更多>>
资源描述

《静态代码检查工具PC-Lint的使用方法》由会员分享,可在线阅读,更多相关《静态代码检查工具PC-Lint的使用方法(38页珍藏版)》请在金锄头文库上搜索。

1、精选优质文档-倾情为你奉上静态代码检查工具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

2、.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+编译器不进行强制类型检查,也不做任何边界检查,这就增加了代码中存在隐患的

3、可能性。如果能够在代码提交测试之前发现这些潜在的错误,就能够极大地减轻测试人员的压力,减少软件项目的除错成本,可是传统的C/C+编译器对此已经无能为力,这个任务只能由专用的代码检查工具完成。目前有很多C/C+静态代码检查工具,其中Logiscope RuleChecker和PC-Lint是目前应用比较广泛的两个工具。这两个检查工具各有特色,Logiscope RuleChecker倾向于代码编码规范的检查,比如代码缩进格式、case语句书写规范、函数声明和布尔表达式的编写规则等,而PC-Lint则偏重于代码的逻辑分析,它能够发现代码中潜在的错误,比如数组访问越界、内存泄漏、使用未初始化变量等。

4、本文将介绍如何安装和配置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在全球拥有广泛的客户群,许多大型的软件开发组织

5、都把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 name11 = Joe Jakeson; 9: 10: nm = n * m; 11: temp = p = ? null : p; 12: for( i = 0; i 0 ) result = 1; 20: else if( kk 、=、和=o 忽略+、-、*、/、%、|、&和c 忽略该强类型与常量进行以上操作时的检查z 忽略该强类型与Zero进行以上操作时的检查使用忽略意味着不会产生告警信息。举个例子,如果Meters是个强类型,那么它只在判断相等和其他关系操作时才会被正确地检查,其它情况则不检查,在这个例子中使用J选项是正确的。BB选项有两个

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 办公文档 > 教学/培训

电脑版 |金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号