基于程序特征谱整数溢出错误定位技术研究

• 作者: 嵇孟雨 惠战伟 黄松
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 整数溢出错误定位 程序特征谱 定义使用对覆盖 分支覆盖
• 年，卷（期）: 2012,（10）
• 页码范围: 2204-2214
• 分类号: TP311
• 字数: 8315字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2012.02204

摘要

随着软件业的飞速发展,人们对软件质量的要求也越来越高.整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一.如何准确定位整数溢出错误是软件安全领域研究的热点.论文改进了现有错误定位模型,构建了整数溢出错误定位模型INTRank.实验结果表明:基于INTRank模型的语句可疑度估计方法可以较为准确地计算语句可疑度,使得程序员能够按照基于语句可疑度的优先级顺序检查源代码,找出导致整数溢出错误的原因,同时本文方法具有较低的漏报率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄松	解放军理工大学指挥自动化学院	45	231	8.0	11.0
5	嵇孟雨	解放军理工大学指挥自动化学院	2	16	1.0	2.0
9	惠战伟	解放军理工大学指挥自动化学院	10	45	3.0	6.0