基于符号化执行的Fuzzing测试方法

摘要：

设计并实现一种基于符号化执行的Fuzzing测试方法.通过代码插装,在程序执行过程中收集路径约束条件,依据一定的路径遍历算法生成新路径约束条件并进行求解,构造可以引导程序向新路径执行的输入测试数据.提出一种改进的污点分析机制,对路径约束条件进行简化,提高了代码覆盖率和漏洞检测的效率.

关键词：Fuzzing测试、代码插装、符号化执行、污点分析

所属期刊栏目：35

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

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

页数：共3页

页码：33-35