动态符号执行的性能优化
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-17页 |
| ·研究背景与意义 | 第10-12页 |
| ·动态符号执行技术简介 | 第12-13页 |
| ·研究现状 | 第13-15页 |
| ·本文主要研究工作 | 第15-16页 |
| ·论文的组织结构 | 第16-17页 |
| 第二章 动态符号执行技术概述 | 第17-39页 |
| ·系统概述 | 第17-20页 |
| ·使用的关键技术 | 第20-34页 |
| ·符号化 | 第20页 |
| ·动态二进制插桩 | 第20-25页 |
| ·约束条件求解 | 第25-28页 |
| ·动态漏洞检测 | 第28-31页 |
| ·符号执行驱动算法 | 第31-34页 |
| ·应用领域 | 第34-36页 |
| ·自动化测试用例生成 | 第34页 |
| ·自动过滤生成 | 第34-35页 |
| ·恶意代码分析 | 第35页 |
| ·程序分析 | 第35页 |
| ·漏洞检测 | 第35-36页 |
| ·回归测试 | 第36页 |
| ·尚未解决的技术问题 | 第36-38页 |
| ·路径爆炸问题 | 第36-37页 |
| ·约束求解问题 | 第37页 |
| ·外部函数跟踪问题 | 第37-38页 |
| ·浮点指针计算问题 | 第38页 |
| ·环境交互问题 | 第38页 |
| ·本章小结 | 第38-39页 |
| 第三章 基于全局超级块支配图的驱动算法设计 | 第39-52页 |
| ·图论基础知识 | 第39-44页 |
| ·基本块控制流图 | 第39-41页 |
| ·基本块支配图 | 第41-43页 |
| ·超级块支配图 | 第43-44页 |
| ·全局超级块支配图 | 第44-49页 |
| ·符号执行驱动算法设计 | 第49-51页 |
| ·算法思想 | 第49-50页 |
| ·算法实现步骤 | 第50-51页 |
| ·算法总结 | 第51页 |
| ·本章小结 | 第51-52页 |
| 第四章 原型系统设计与实现 | 第52-68页 |
| ·原型系统框架描述 | 第52-53页 |
| ·系统模块功能实现 | 第53-66页 |
| ·用 IDA 插件获取控制流图和函数调用关系图 | 第53-55页 |
| ·基于 Boost 图形库实现全局超级块支配图 | 第55-60页 |
| ·插桩和路径约束条件搜集 | 第60-64页 |
| ·基于全局超级块支配图的路径选择 | 第64-65页 |
| ·求解器求解模块 | 第65-66页 |
| ·本章小结 | 第66-68页 |
| 第五章 实验与分析 | 第68-76页 |
| ·实验环境搭建 | 第68-69页 |
| ·实验测试 | 第69-73页 |
| ·实验总结 | 第73-75页 |
| ·测试效果 | 第73页 |
| ·数据比较 | 第73-74页 |
| ·性能分析 | 第74-75页 |
| ·本章小结 | 第75-76页 |
| 第六章 结论 | 第76-78页 |
| ·论文的主要成果、创新与不足 | 第76-77页 |
| ·未来的研究工作 | 第77-78页 |
| 致谢 | 第78-79页 |
| 参考文献 | 第79-82页 |
| 攻硕期间取得的研究成果 | 第82-83页 |
