一种多重循环程序内存访问越界检测方法

• 作者: 张涛 王嘉捷 蒋凡
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: 软件缺陷检测 静态分析 符号执行 循环分析 递推链扩展代数
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 论文
• 页码范围: 117-126
• 页数: 10页
• 分类号: TP311
• 字数: 9975字
• 语种: 中文

摘要

提出一种内存访问越界检测方法,以克服现有方法遇到的多重循环难题.先识别疑似缺陷点及其依赖区域,再实施多重循环的递推链分析,并推断缺陷触发可能性和路径指导信患,从而实现基于符号执行的缺陷定向检测,最终查出越界缺陷及其触发路径与程序输入.已实现原型工具,检测了多个开源软件,找到了真实的代码缺陷.实验结果表明,该方法既避免了盲目路径遍历,又保持了路径敏感和位级跟踪的检测精度,提高了缺陷检测效率和准确度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋凡	中国科学技术大学计算机科学技术系	97	867	16.0	25.0
2	王嘉捷	中国科学技术大学计算机科学技术系	3	11	2.0	3.0
3	张涛		7	17	2.0	4.0