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

摘要：

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

关键词：动态污点分析、路径自动生成、约束求解、代码覆盖率

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2017-09-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：32-37,41