| 表目录 | 第1-8页 |
| 图目录 | 第8-10页 |
| 摘要 | 第10-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-18页 |
| ·课题背景 | 第12页 |
| ·课题研究意义 | 第12-13页 |
| ·国内外研究现状 | 第13-15页 |
| ·Fuzzing 测试技术 | 第13-14页 |
| ·符号化执行测试技术 | 第14-15页 |
| ·论文研究内容 | 第15-16页 |
| ·论文结构及章节安排 | 第16-18页 |
| 第二章 基于符号化执行的Fuzzing 测试 | 第18-23页 |
| ·Fuzzing 测试 | 第18-20页 |
| ·Fuzzing 测试概述 | 第18-19页 |
| ·Fuzzing 测试方法及分析 | 第19-20页 |
| ·符号化执行 | 第20-21页 |
| ·符号化执行概述 | 第20-21页 |
| ·基于符号化执行的测试技术 | 第21页 |
| ·基于符号化执行的Fuzzing 测试技术 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 基于符号化执行的Fuzzing 测试方法关键技术 | 第23-54页 |
| ·基于代码插桩的动态二进制分析 | 第23-31页 |
| ·可执行程序分析方法比较 | 第24-25页 |
| ·动态二进制插桩技术 | 第25页 |
| ·动态二进制插桩平台Valgrind | 第25-27页 |
| ·VEX 中间表示 | 第27-30页 |
| ·基于中间表示的代码插桩 | 第30-31页 |
| ·基于动态污点传播的输入依赖分析 | 第31-36页 |
| ·污点传播概述 | 第31-32页 |
| ·基于多重标记的动态污点数据流跟踪 | 第32-36页 |
| ·基于动态污点分析的示例 | 第36页 |
| ·基于精简程序切片的路径约束生成 | 第36-45页 |
| ·程序切片技术概述 | 第37-38页 |
| ·一种基于前向分析的动态程序切片算法 | 第38-41页 |
| ·基于输入依赖的程序切片精简 | 第41-43页 |
| ·基于关键输入的路径约束简化 | 第43-45页 |
| ·基于STP 的路径约束求解 | 第45-51页 |
| ·约束满足问题 | 第45-46页 |
| ·路径约束求解 | 第46-51页 |
| ·路径遍历及选路策略 | 第51-53页 |
| ·基于代的路径遍历算法 | 第51-52页 |
| ·基于最大化代码覆盖的路径选择策略 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第四章 原型系统的设计与实现 | 第54-68页 |
| ·原型系统总体设计 | 第54-55页 |
| ·原型系统工作原理 | 第54页 |
| ·原型系统组成框架 | 第54-55页 |
| ·原型系统工作方式 | 第55页 |
| ·动态二进制分析模块的设计与实现 | 第55-65页 |
| ·基于中间表示的代码插桩实现 | 第56-58页 |
| ·动态污点分析实现 | 第58-64页 |
| ·路径约束动态生成实现 | 第64-65页 |
| ·路径覆盖模块的设计与实现 | 第65-67页 |
| ·基于路径约束求解的输入数据生成 | 第66页 |
| ·输入数据权值计算 | 第66-67页 |
| ·本章小结 | 第67-68页 |
| 第五章 原型系统的测试与分析 | 第68-78页 |
| ·测试概述 | 第68-69页 |
| ·测试环境 | 第68页 |
| ·测试对象及测试用例 | 第68页 |
| ·测试内容及目的 | 第68-69页 |
| ·功能测试 | 第69-72页 |
| ·分支结构程序测试 | 第69-71页 |
| ·循环结构程序测试 | 第71-72页 |
| ·性能测试 | 第72-76页 |
| ·执行效率测试 | 第73-75页 |
| ·优化效果测试 | 第75-76页 |
| ·符号化执行测试 | 第76页 |
| ·比较测试 | 第76-77页 |
| ·本章小结 | 第77-78页 |
| 结束语 | 第78-80页 |
| 参考文献 | 第80-83页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第83-84页 |
| 致谢 | 第84页 |