动态符号执行在软件漏洞自动化发掘领域的应用研究
| 摘要 | 第5-6页 |
| abstract | 第6页 |
| 第一章 绪论 | 第10-14页 |
| 1.1 研究背景与意义 | 第10页 |
| 1.2 符号执行技术简介 | 第10-11页 |
| 1.3 研究现状 | 第11-12页 |
| 1.4 本文的工作研究 | 第12-13页 |
| 1.5 本文研究内容 | 第13-14页 |
| 第二章 DSE现状研究 | 第14-35页 |
| 2.1 DSE的定义 | 第14-16页 |
| 2.2 DSE过程 | 第16页 |
| 2.3 DSE优点 | 第16-18页 |
| 2.3.1 DSE比静态分析准确率更高 | 第17页 |
| 2.3.2 DSE比黑盒测试代码覆盖率高 | 第17-18页 |
| 2.4 DSE面临的难题 | 第18-26页 |
| 2.4.1 复杂数学函数 | 第18-19页 |
| 2.4.2 浮点数运算 | 第19-21页 |
| 2.4.3 路径爆炸 | 第21-24页 |
| 2.4.4 符号指针操作 | 第24-25页 |
| 2.4.5 环境交互 | 第25-26页 |
| 2.5 DSE软件类比分析 | 第26-34页 |
| 2.6 本章小结 | 第34-35页 |
| 第三章 测试用例自动化生成技术研究 | 第35-43页 |
| 3.1 VunScope创新点 | 第35-36页 |
| 3.2 相关知识 | 第36-38页 |
| 3.2.1 求解器STP | 第36-37页 |
| 3.2.2 插桩软件Pin | 第37-38页 |
| 3.3 VunScope设计架构及运行流程 | 第38-42页 |
| 3.3.1 DSE方式 | 第38-39页 |
| 3.3.2 设计架构及运行流程 | 第39-40页 |
| 3.3.3 VunScope运行示例 | 第40-42页 |
| 3.4 本章总结 | 第42-43页 |
| 第四章 VunScope的实现以及实验分析 | 第43-58页 |
| 4.1 设计与实现 | 第43-52页 |
| 4.1.1 输入符号化 | 第43-46页 |
| 4.1.2 重叠符号处理 | 第46-51页 |
| 4.1.3 约束条件生成 | 第51-52页 |
| 4.1.4 路径搜索算法 | 第52页 |
| 4.2 实验及结果分析 | 第52-55页 |
| 4.2.1 实验设计 | 第52-53页 |
| 4.2.2 实际应用软件分析 | 第53页 |
| 4.2.3 针对基准程序集的测试 | 第53-55页 |
| 4.3 实验产生的分歧及其原因 | 第55-56页 |
| 4.4 VunScope的不足 | 第56-57页 |
| 4.5 本章总结 | 第57-58页 |
| 第五章 基于DSE的漏洞自动化发掘技术研究 | 第58-69页 |
| 5.1 创新点 | 第58页 |
| 5.2 VunDetect设计与实现 | 第58-66页 |
| 5.2.1 主动式漏洞检测 | 第59-60页 |
| 5.2.2 漏洞发掘器 | 第60-62页 |
| 5.2.3 路径搜索优化 | 第62-66页 |
| 5.2.4 外部函数模型 | 第66页 |
| 5.3 实验分析 | 第66-67页 |
| 5.3.1 MS12-011 | 第66-67页 |
| 5.3.2 CVE20110611 | 第67页 |
| 5.4 VunDetect不足之处 | 第67-68页 |
| 5.5 本章小结 | 第68-69页 |
| 第六章 全文总结与展望 | 第69-72页 |
| 6.1 全文总结 | 第69-70页 |
| 6.2 DSE的发展展望 | 第70-71页 |
| 6.2.1 路径爆炸问题的处理 | 第70页 |
| 6.2.2 求解器性能提升 | 第70-71页 |
| 6.2.3 DSE专用化 | 第71页 |
| 6.2.4 DSE技术的并行化 | 第71页 |
| 6.3 研究方向展望 | 第71-72页 |
| 致谢 | 第72-73页 |
| 参考文献 | 第73-77页 |
| 攻硕期间取得的研究成果 | 第77-78页 |
