基于混合执行的二进制代码测试系统的设计与实现
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·引言 | 第9-10页 |
| ·研究的现状、目的和意义 | 第10-12页 |
| ·本文的主要研究工作 | 第12页 |
| ·论文组织结构 | 第12-14页 |
| 第二章 相关的理论知识和工具介绍 | 第14-35页 |
| ·混合执行技术的原理 | 第14-19页 |
| ·混合执行技术的基本知识 | 第14-17页 |
| ·混合执行的优点 | 第17-19页 |
| ·二进制代码插装技术和工具 | 第19-23页 |
| ·二进制代码插装技术 | 第19-20页 |
| ·二进制代码插装工具 | 第20-23页 |
| ·求解器 | 第23-28页 |
| ·求解器简介 | 第23-25页 |
| ·STP 求解器 | 第25-28页 |
| ·漏洞知识 | 第28-34页 |
| ·漏洞定义 | 第28-30页 |
| ·缓冲区溢出漏洞 | 第30-34页 |
| ·小结 | 第34-35页 |
| 第三章 基于混合执行的二进制代码测试系统设计 | 第35-50页 |
| ·CBCTS 整体设计 | 第35-36页 |
| ·CBCTS 功能模块设计 | 第36-49页 |
| ·控制模块 | 第36-39页 |
| ·插装模块 | 第39-43页 |
| ·路径选择模块 | 第43-47页 |
| ·求解器模块 | 第47-49页 |
| ·小结 | 第49-50页 |
| 第四章 基于混合执行的二进制代码测试系统实现 | 第50-68页 |
| ·控制模块实现 | 第50-54页 |
| ·目标程序运行时错误状态捕获 | 第50-54页 |
| ·目标程序运行时错误状态记录 | 第54页 |
| ·插装模块实现 | 第54-65页 |
| ·二进制插装 | 第54-58页 |
| ·库函数和系统函数识别 | 第58-60页 |
| ·输入符号化 | 第60-63页 |
| ·约束路径收集 | 第63-65页 |
| ·路径选择模块实现 | 第65-67页 |
| ·求解器模块实现 | 第67页 |
| ·小结 | 第67-68页 |
| 第五章 基于混合执行的二进制代码测试系统测试 | 第68-74页 |
| ·测试一：MS09-032 | 第68-71页 |
| ·测试二：CVE-2009-0927 | 第71-72页 |
| ·小结 | 第72-74页 |
| 第六章 总结与展望 | 第74-76页 |
| ·论文工作总结 | 第74页 |
| ·未来的研究工作 | 第74-76页 |
| 致谢 | 第76-77页 |
| 参考文献 | 第77-81页 |
| 攻硕期间取得的成果 | 第81-82页 |
