一种防止缓冲区溢出的整数溢出检测方法

• 作者: 张实睿 徐宝文 许蕾
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 整数溢出 缓冲区溢出 路径松弛
• 年，卷（期）: 2009,（2）
• 页码范围: 219-223
• 页数: 5页
• 分类号: TP309.2
• 字数: 952字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2009.02.016

摘要

为了防止由整数溢出引起的缓冲区溢出,提出了一种简化的基于路径松弛的整数溢出检测方法.表示动态分配缓冲区大小的整型变量发生溢出,极有可能引发缓冲区溢出.该检测方法基于这一发现,在动态测试之前先进行轻量级的静态分析,跟踪与动态分配缓冲区大小相关的关键变量,保存追踪的关键变量在不同地方的取值上限和下限,并将维护信息插入源代码中.测试时通过路径松弛,在执行路径上不仅考虑追踪变量的当前测试用例值,判断程序是否出现整数溢出,还根据插入的维护信息进一步考虑追踪变量可能的取值范围,判断程序是否有可能出现整数溢出.实例研究验证了该方法的有效性,并且与同类方法相比,减少了检测量,提高了检测效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许蕾	南京大学计算机软件新技术国家重点实验室	21	186	6.0	13.0
2	徐宝文	南京大学计算机软件新技术国家重点实验室	40	414	12.0	19.0
3	张实睿	东南大学计算机科学与工程学院	1	9	1.0	1.0