分段符号执行模型及其环境交互问题研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-14页 |
| 第一章 绪论 | 第14-38页 |
| ·课题选题背景与原因 | 第14-17页 |
| ·自动测试技术的重要性 | 第14-16页 |
| ·现有自动测试技术 | 第16-17页 |
| ·符号执行技术 | 第17-25页 |
| ·符号执行原理 | 第17-23页 |
| ·符号执行技术的研究现状 | 第23-25页 |
| ·论文拟解决的主要问题 | 第25-29页 |
| ·路径爆炸问题 | 第25-26页 |
| ·环境交互问题 | 第26-28页 |
| ·现有理论及方法的不足 | 第28-29页 |
| ·论文的主要工作与贡献 | 第29-30页 |
| ·论文的章节安排 | 第30-31页 |
| 本章参考文献 | 第31-38页 |
| 第二章 分段符号执行模型研究 | 第38-60页 |
| ·引言 | 第38页 |
| ·相关研究现状 | 第38-40页 |
| ·函数摘要技术 | 第38-39页 |
| ·环境建模 | 第39页 |
| ·Concolic执行 | 第39-40页 |
| ·分段符号执行与环境交互问题 | 第40-41页 |
| ·路径爆炸问题及解决思路 | 第40-41页 |
| ·环境交互问题是解决路径爆炸问题的关键 | 第41页 |
| ·分段符号执行模型 | 第41-49页 |
| ·程序的抽象表示 | 第41-46页 |
| ·分段符号执行的定义 | 第46-48页 |
| ·分段符号执行的基本过程 | 第48-49页 |
| ·单元内过程调用分析方法 | 第49-54页 |
| ·单元内调用与单元问过程调用 | 第49-50页 |
| ·过程内分析 | 第50-51页 |
| ·过程间调用分析 | 第51-52页 |
| ·实例分析 | 第52-54页 |
| ·单元间过程调用分析模型的关键问题 | 第54-57页 |
| ·概要 | 第54页 |
| ·函数调用方式与参数的输入输出属性 | 第54-56页 |
| ·系统调用分析模型及对象建模 | 第56-57页 |
| ·本章小节 | 第57-58页 |
| 本章参考文献 | 第58-60页 |
| 第三章 外部调用的数据输入及符号化研究 | 第60-77页 |
| ·引言 | 第60页 |
| ·相关研究现状 | 第60-65页 |
| ·程序的数据复杂性与通用符号执行 | 第60-62页 |
| ·数据流分析原理及最新进展 | 第62-65页 |
| ·基于数据流分析的参数属性判断模型 | 第65-71页 |
| ·参数属性判断的基本概念与过程 | 第65-67页 |
| ·基于支配结点的CFG拆分 | 第67-68页 |
| ·参数属性判断算法 | 第68-71页 |
| ·分段符号执行中的内存模型 | 第71-74页 |
| ·堆块数据类型 | 第71-73页 |
| ·指针与别名分析对参数属性判断的影响 | 第73-74页 |
| ·本章小节 | 第74-75页 |
| 本章参考文献 | 第75-77页 |
| 第四章 分段符号执行系统架构及外部调用行为分析 | 第77-96页 |
| ·引言 | 第77页 |
| ·相关研究现状 | 第77-79页 |
| ·中间语言PYTE | 第79-83页 |
| ·SSA表示 | 第79-80页 |
| ·主流中间语言 | 第80-81页 |
| ·PYTE中间语言的主要特点 | 第81-83页 |
| ·分段符号执行器系统架构 | 第83-86页 |
| ·分段符号执行的虚拟执行架构 | 第83-85页 |
| ·内置符号化对象 | 第85-86页 |
| ·程序实际运行分析的外部环境建模 | 第86-92页 |
| ·环境交互与程序行为 | 第86页 |
| ·实际系统对象监视与操作系统架构 | 第86-88页 |
| ·基于调用序列的程序行为描述方法 | 第88-89页 |
| ·函数调用栈、行为描述及的操作对象符号化 | 第89-92页 |
| ·本章小节 | 第92页 |
| 本章参考文献 | 第92-96页 |
| 第五章 分段符号执行的应用与缺陷检测模型研究 | 第96-108页 |
| ·引言 | 第96页 |
| ·相关研究现状 | 第96-97页 |
| ·软件安全缺陷的产生原因 | 第97-98页 |
| ·缓冲区溢出漏洞的产生原因 | 第97-98页 |
| ·软件测试的代码覆盖率与安全漏洞 | 第98页 |
| ·基于约束求解的安全缺陷检测 | 第98-101页 |
| ·内存属性及访问约束条件 | 第98-99页 |
| ·实例分析 | 第99-101页 |
| ·基于程序属性抽象与推导的安全缺陷检测 | 第101-105页 |
| ·符号执行与程序推理 | 第101-102页 |
| ·分离逻辑的原理 | 第102-105页 |
| ·基于分离逻辑的检测规则 | 第105页 |
| ·本章小节 | 第105页 |
| 本章参考文献 | 第105-108页 |
| 第六章 原型系统及实验 | 第108-117页 |
| ·引言 | 第108页 |
| ·NTF-PSET实验系统 | 第108-110页 |
| ·系统架构 | 第108页 |
| ·程序表示与翻译 | 第108-109页 |
| ·符号执行器 | 第109-110页 |
| ·实验方法与结果 | 第110-114页 |
| ·参数属性判断模型的有效性 | 第110-111页 |
| ·单元内过程间分析模型对符号执行效率的提高 | 第111页 |
| ·分段符号执行的有效性 | 第111-112页 |
| ·处理环境交互问题对符号执行性能的提升 | 第112-114页 |
| ·本章小节 | 第114页 |
| 本章参考文献 | 第114-117页 |
| 第七章 总结与展望 | 第117-119页 |
| ·论文工作总结 | 第117-118页 |
| ·下一步工作 | 第118-119页 |
| 致谢 | 第119-120页 |
| 附录:攻读博士学位期间发表的论文 | 第120-121页 |
| 附录:攻读博士学位期间参加的科研工作 | 第121页 |
