| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 符号对照表 | 第9-10页 |
| 第一章 绪论 | 第10-18页 |
| 1.1 研究现状 | 第11-14页 |
| 1.1.1 动态污点分析 | 第11-12页 |
| 1.1.2 程序数据交换格式逆向工程 | 第12-13页 |
| 1.1.3 函数内存模糊测试 | 第13-14页 |
| 1.2 研究工作与意义 | 第14-15页 |
| 参考文献 | 第15-18页 |
| 第二章 高效离线动态污点分析架构研究与设计 | 第18-40页 |
| 2.1 研究背景与综述 | 第18-21页 |
| 2.1.1 DTA基本原理 | 第18-19页 |
| 2.1.2 相关研究 | 第19-20页 |
| 2.1.3 FlowWalker：基础与优势 | 第20-21页 |
| 2.2 离线污点分析结构设计 | 第21-34页 |
| 2.2.1 多标签污点传播策略 | 第21-24页 |
| 2.2.2 Recorder | 第24-27页 |
| 2.2.3 Replayer | 第27-30页 |
| 2.2.4 污点归纳表示 | 第30-34页 |
| 2.3 实验评价 | 第34-37页 |
| 2.3.1 FlowWalker不同模式性能比较 | 第34-36页 |
| 2.3.2 与dft-win对照试验 | 第36-37页 |
| 参考文献 | 第37-40页 |
| 第三章 基于污点分析的灰盒文件格式自动逆向解析方法 | 第40-66页 |
| 3.1 问题描述、背景与方法 | 第40-43页 |
| 3.1.1 问题描述 | 第40-41页 |
| 3.1.2 相关研究 | 第41-42页 |
| 3.1.3 实现方法 | 第42-43页 |
| 3.2 文件格式逆向算法 | 第43-55页 |
| 3.2.1 格式片段识别 | 第43-50页 |
| 3.2.2 片段间关联推导 | 第50-55页 |
| 3.3 实验评价 | 第55-63页 |
| 3.3.1 一般性评价 | 第56-60页 |
| 3.3.2 伪模糊测试实验 | 第60-63页 |
| 参考文献 | 第63-66页 |
| 第四章 基于污点信息的函数内存Fuzzing技术研究 | 第66-88页 |
| 4.1 污点函数内存模糊测试探究 | 第66-72页 |
| 4.1.1 概念原理 | 第66-67页 |
| 4.1.2 相关研究 | 第67-68页 |
| 4.1.3 基于虚拟化的测试方法 | 第68-70页 |
| 4.1.4 基于调试API的测试方法 | 第70-71页 |
| 4.1.5 可实现性探讨 | 第71-72页 |
| 4.2 WhirlingFuzzwork：设计与实现 | 第72-77页 |
| 4.2.1 循环控制 | 第73-75页 |
| 4.2.2 内部与外部控制 | 第75-76页 |
| 4.2.3 数据变异 | 第76-77页 |
| 4.3 测试评价 | 第77-86页 |
| 4.3.1 正确性验证 | 第77-81页 |
| 4.3.2 有效性测试 | 第81-82页 |
| 4.3.3 效率测试 | 第82-86页 |
| 参考文献 | 第86-88页 |
| 第五章 总结 | 第88-90页 |
| 致谢 | 第90-92页 |
| 攻读学位期间发表的学术论文目录 | 第92页 |
