张仕金
- 作品数：3 被引量：13H指数：2
- 供职机构：重庆大学计算机学院更多>>
- 发文基金：重庆市自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Cppcheck的软件缺陷模式分析与定位被引量：8
- 2015年
- 能通过编译的C/C++程序代码可能依然隐含安全、设计或风格上缺陷,从而导致运行时出现内存泄露、运行异常等现象,难以完成软件需求所预期的目标。针对开源软件缺陷检测工具Cppcheck软件存在的不足,主要分析了Cppcheck架构、缺陷模式表示与实现,在对已收集350个缺陷模式分析总结基础上,对其完善,提高缺陷检测能力。通过两组实验验证改进Cppcheck工作的有效性。
- 张仕金尚赵伟
- 基于Cppcheck软件缺陷模式的研究与定位
- 随着科学技术日新月异的发展和软件规模的不断扩大,软件在各个行业得到了广泛的运用,已经成为生活中不可分割的组成部分。虽然软件经过严格的测试,但是每千行代码中平均仍然有10-20个软件缺陷,所以如何提高软件质量,排除更多的软...
- 张仕金
- 关键词：数组越界源代码分析
- 文献传递
- 基于区间集的Cppcheck数组边界缺陷检测被引量：5
- 2013年
- 针对开源软件Cppcheck误报率和漏报率过高,且不能检测出运行时程序缺陷等问题,基于Cppcheck程序,提出了抽象区间集算法,并将其应用于数组边界缺陷检测。在Cppcheck框架内,通过引入区间集概念,建立每个程序点变量和表达式的整型区间集和数组区间集,并由此定位出程序中的矛盾点,最终检测出程序缺陷。与Cppcheck相比较,所提算法的查准率提高18.5%,漏报率降低22.5%,误报率提高3.5%。实验结果表明,该方法能有效地检测出运行程序缺陷,并提高Cppcheck缺陷检测性能。
- 张仕金尚赵伟
- 关键词：数组越界
