张仕金

作品数：2被引量：12H指数：2
导出分析报告
供职机构：重庆大学计算机学院更多>>
发文主题：数组越界数组源代码分析更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与应用》《计算机应用》更多>>
所获基金：重庆市自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Cppcheck的软件缺陷模式分析与定位被引量：8
《计算机工程与应用》2015年第3期69-73,共5页张仕金 尚赵伟 
国家自然科学重点基金(No.91118005);国家自然科学基金(No.61173130);重庆市自然科学基金(CSTC-2010BB2217)
能通过编译的C/C++程序代码可能依然隐含安全、设计或风格上缺陷,从而导致运行时出现内存泄露、运行异常等现象,难以完成软件需求所预期的目标。针对开源软件缺陷检测工具Cppcheck软件存在的不足,主要分析了Cppcheck架构、缺陷模式表示...
关键词：软件缺陷 缺陷模式 Cppcheck 
基于区间集的Cppcheck数组边界缺陷检测被引量：5
《计算机应用》2013年第11期3257-3261,共5页张仕金 尚赵伟 
国家自然科学重点基金资助项目(91118005);国家自然科学基金资助项目(61173130);重庆市自然科学基金资助项目(CSTC-2010BB2217)
针对开源软件Cppcheck误报率和漏报率过高,且不能检测出运行时程序缺陷等问题,基于Cppcheck程序,提出了抽象区间集算法,并将其应用于数组边界缺陷检测。在Cppcheck框架内,通过引入区间集概念,建立每个程序点变量和表达式的整型区间集和...
关键词：Cppcheck 抽象区间集 数组越界 变量 表达式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部