Cppcheck的软件缺陷模式分析与定位.docxVIP

Cppcheck 的软件缺陷模式分析与定位张仕金，尚赵伟Z Cppcheck 的软件缺陷模式分析与定位 张仕金，尚赵伟 ZHANG Shijin, SHANG Zhaowei 重庆大学 计算机学院，重庆 400030 Computer School of Chongqing University, Chongqing 400030, China ZHANG Shijin, SHANG Zhaowei. Software defect pattern analysis and location based on Cppcheck. Computer Engi- neering and Applications, 2015, 51（3）：69-73. Abstract：The C/C ++ program which is compiled well does not always guarantee that there are no defects in the code. There may still contain defects relativing to securities, design and code style, therefore it may result in memory leak or misuse of pointers so that it is difficult to accomplish the expected goal of software requirements. Aiming to software defection tool of Cppcheck’s insufficiency for open software defect, this paper mainly analyses the Cppcheck architecture, defect pattern representation and implementation, as well as on the basis of summarizing 350 defect patterns to improve Cppcheck. It makes two relevant experiments to verify the effectiveness of improved Cppcheck. Key words：software defect; defect pattern; Cppcheck 摘 要：能通过编译的 C/C++程序代码可能依然隐含安全、设计或风格上缺陷，从而导致运行时出现内存泄露、运行 异常等现象，难以完成软件需求所预期的目标。针对开源软件缺陷检测工具 Cppcheck 软件存在的不足，主要分析了 Cppcheck 架 构 、缺 陷 模 式 表 示 与 实 现 ，在 对 已 收 集 350 个 缺 陷 模 式 分 析 总 结 基 础 上 ，对 其 完 善 ，提 高 缺 陷 检 测 能 力 。 通过两组实验验证改进 Cppcheck 工作的有效性。 关键词：软件缺陷；缺陷模式；Cppcheck 文献标志码：A 中图分类号：TP391 doi：10.3778/j.issn.1002-8331.1304-0138 1 引言 软件缺陷是存在于软件中、不期望或不可接受的偏 差，以静态形式存在于软件的内部，是软件开发过程中 人为错误的结果，当软件运行于某一特定条件时将出现 软件故障（即软件缺陷被激活）[1]。所以软件缺陷检测一 直是软件测试技术发展的瓶颈。随着软件测试项目不 断增多，积累的软件缺陷数据越来越多，如何利用缺陷 数据，抽象通用的缺陷模式，并用于静态缺陷自动检测 工具，对排除软件缺陷具有重要意义[2]。 无论是商业软件领域还是开源社区，都有 C/C++代 码缺陷自动检测工具的开发。在商业领域，具有代表性 的工具有 PC-Lint 和 Parasoft C/C++Test 工具包，其采用 的技术相对成熟，属于非开源软件，技术内幕没有公开， 且配置规则和规则扩展方面需要用户编写脚本程序，造 成软件的使用相对繁琐。在开源领域，具有代表的工具 有 ITS4，Splint，Cppcheck 等等。ITS4 仅基于词法分析， 无法分析代码的语义，即无法分析一个标识符代表何种 意义，相比之下，Splint 基于模糊静态分析 ，加上用户添 加的扩展标记，检测准确率比 ITS4 要好，但目前只针对 于 C 语 言 ，无 法 检 测 出 C ++中 缺 陷 ，并 且 依 赖 用 户 添 加 的扩展标记，给用户带来了严重负担[3-5]。Cppcheck（http：// C/）是 针 对 C/C ++