二进制程序整型符号转换缺陷的动态检测方法

• 作者: 方景龙 朱雪梅 王兴起 王大全
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 整数符号转换缺陷 类型推断 冲突类型 二进制程序 中间代码
• 年，卷（期）: 2015,（18）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 56-61
• 页数: 6页
• 分类号: TP391
• 字数: 6063字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1309-0328

摘要

针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础，利用类型推断方法识别整型变量的符号类型信息，得到内存相关库函数中为冲突类型的参数的集合，并将其作为潜在的整型符号转换缺陷候选集。在中间代码层面插入检测代码做运行时检测，最终确定真正的整型符号转换缺陷。原型系统Sconvcheck的实验结果表明：该方法可以有效地检测出程序中的整型符号转换缺陷，并准确地定位错误发生的位置，而且误报率较低。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方景龙	杭州电子科技大学计算机学院	34	157	6.0	10.0
2	王大全	杭州电子科技大学计算机学院	17	69	5.0	7.0
3	王兴起	杭州电子科技大学计算机学院	19	62	5.0	6.0
4	朱雪梅	杭州电子科技大学计算机学院	2	2	1.0	1.0