一种基于抽象解释的二进制代码测试方法

• 作者: 周林 孙玉龙 甘水滔 秦晓军
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 值集分析 静态分析 抽象解释 符号执行 脆弱点 控制流程图
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 计算机技术及应用
• 页码范围: 77-82
• 页数: 6页
• 分类号: TN918.1
• 字数: 4968字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2016.01.015

摘要

针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法.首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集.利用节点距离、节点可达性和约束条件集概率静态信息作为符号执行的制导因素,对二进制程序进行动态测试,过滤虚假的脆弱点,并对真实脆弱点生成相应的触发测试用例.实验结果表明文章提出的方法能有效避免执行无效路径,提高二进制代码测试效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	甘水滔		5	19	2.0	4.0
2	秦晓军		4	19	2.0	4.0
3	周林		2	4	2.0	2.0
4	孙玉龙		1	2	1.0	1.0