面向高可信软件的整数溢出错误的自动化测试

• 作者: 卢凯 卢锡城 张英 李根
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 整数溢出 高危整数溢出错误 动态自动测试用例生成 污点分析 符号化执行
• 年，卷（期）: 2010,（2）
• 页码范围: 179-193
• 页数: 15页
• 分类号: TP311
• 字数: 14267字
• 语种: 中文

摘要

面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法(dynamic automatic integer-overflow detection and testing,简称DAIDT).该方法无需任何源码甚至是符号表支持,即可对二进制应用程序进行全面测试,并自动发现高危整数溢出错误.在理论上形式化证明了该技术对高危整数溢出错误测试与发掘的无漏报性、零误报性与错误可重现特性.为了验证该方法的有效性,实现了IntHunter原型系统.IntHunter对3个最新版本的高可信应用程序(微软公司Windows 2003和2000 Server的WINS服务、百度公司的即时通讯软件BaiDu Hi)分别进行了24小时测试,共发现了4个高危整数溢出错误.其中3个错误可导致任意代码执行,其中两个由微软安全响应中心分配漏洞编号CVE-2009-1923,CVE-2009-1924,另一个由百度公司分配漏洞编号CVE-2008-6444.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢锡城	国防科学技术大学计算机学院	70	1620	21.0	38.0
2	卢凯	国防科学技术大学计算机学院	29	173	7.0	12.0
3	李根	国防科学技术大学计算机学院	8	38	4.0	6.0
4	张英	国防科学技术大学计算机学院	5	31	2.0	5.0