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

摘要：

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

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

所属期刊栏目：35

分类号：TP311(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划项目基金2009AA01Z402;江苏省自然科学基金BK2012059,BK2012060

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

页数：共11页

页码：2204-2214