形状分析符号执行引擎中的状态合并
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-13页 |
| 第一章 绪论 | 第13-21页 |
| ·研究背景 | 第13-16页 |
| ·相关工作 | 第16-18页 |
| ·本文概述 | 第18-19页 |
| ·章节安排 | 第19-21页 |
| 第二章 工具框架 | 第21-29页 |
| ·LLVM简介 | 第21-24页 |
| ·符号执行 | 第24-26页 |
| ·ShapeChecker的实现 | 第26-28页 |
| ·本章总结 | 第28-29页 |
| 第三章 程序状态和状态合并 | 第29-49页 |
| ·程序状态和状态爆炸问题 | 第29-32页 |
| ·状态合并 | 第32-45页 |
| ·路径约束和具体内存的合并 | 第33-34页 |
| ·抽象内存空间的合并 | 第34-45页 |
| ·符号执行算法的改进和合并点 | 第45-47页 |
| ·本章总结 | 第47-49页 |
| 第四章 状态合并的优化 | 第49-57页 |
| ·查询热值 | 第49-52页 |
| ·求解代价驱动的优化 | 第52-55页 |
| ·本章总结 | 第55-57页 |
| 第五章 实现及实验结果 | 第57-65页 |
| ·实现工作 | 第57-59页 |
| ·状态合并算法的实现 | 第57-58页 |
| ·求解代价驱动优化的实现 | 第58-59页 |
| ·实验结果 | 第59-64页 |
| ·本章总结 | 第64-65页 |
| 第六章 总结 | 第65-67页 |
| ·本文总结 | 第65页 |
| ·后续工作 | 第65-67页 |
| 参考文献 | 第67-69页 |
| 致谢 | 第69-71页 |
| 在读期间发表的学术论文与取得的研究成果 | 第71页 |
