一种应用于动态污点分析的路径自动生成方法

• 作者: 李航 甘露 臧洌 董国良
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 动态污点分析 路径自动生成 约束求解 代码覆盖率
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 软件工程
• 页码范围: 32-37,41
• 页数: 7页
• 分类号: TP311.5
• 字数: 6359字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2017.07.006

摘要

在对现有动态污点分析平台研究和分析的基础上,提出一种路径自动生成技术.借助二进制静态分析技术获取目标程序的指令序列,以基本块为粒度计算执行覆盖率,在目标程序动态执行中抓取其运行轨迹,由收集到的路径约束条件构造新的路径约束条件,经约束求解生成覆盖其它路径的新的测试用例.借助虚拟化技术实现动态污点分析各用例的并行执行,较大幅度提高污点分析的路径覆盖率和执行效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董国良	南京航空航天大学计算机科学与技术学院	4	18	2.0	4.0
5	臧洌	南京航空航天大学计算机科学与技术学院	18	108	6.0	9.0
6	李航	南京航空航天大学计算机科学与技术学院	8	29	4.0	5.0
7	甘露	南京航空航天大学计算机科学与技术学院	13	23	4.0	4.0