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

摘要：

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

关键词： 整数溢出错误定位 程序特征谱 定义使用对覆盖 分支覆盖

作者: 惠战伟 黄松 嵇孟雨

作者单位: 解放军理工大学指挥自动化学院 南京 210007 全军军事训练软件测评中心 南京 210007

会议类型: 国内会议

会议名称: 2012中国计算机大会

会议地点: 大连

会议语种:中文

页码: 2204-2214

在线出版日期: 2012-10-01（万方平台首次上网日期，不代表论文的发表时间）