C程序形状的并行化分析
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-18页 |
| ·研究背景 | 第10-14页 |
| ·C程序的安全性 | 第11-12页 |
| ·静态分析技术 | 第12-13页 |
| ·性能影响静态分析工具的实用性 | 第13-14页 |
| ·本文概述 | 第14-18页 |
| ·研究工作 | 第14-15页 |
| ·章节安排 | 第15-18页 |
| 第2章 SHAPECHECKER原型简介 | 第18-26页 |
| ·ShapeChecker总体介绍 | 第18-19页 |
| ·编译器框架LLVM | 第19-22页 |
| ·符号执行技术 | 第22-25页 |
| ·过程内分析与过程间分析 | 第23页 |
| ·符号执行技术面临的问题 | 第23-24页 |
| ·工具的符号执行算法 | 第24-25页 |
| ·本章小结 | 第25-26页 |
| 第3章 并行化分析技术的设计 | 第26-38页 |
| ·工具的分析层次 | 第26-31页 |
| ·函数分析过程 | 第26-28页 |
| ·路径分析过程 | 第28-31页 |
| ·并行化调度算法 | 第31-33页 |
| ·函数等待队列 | 第31-32页 |
| ·状态与路径约束队列 | 第32页 |
| ·任务等待队列 | 第32页 |
| ·调度算法 | 第32-33页 |
| ·函数层次并行化分析算法 | 第33-35页 |
| ·路径层次并行化分析算法 | 第35-36页 |
| ·本章小结 | 第36-38页 |
| 第4章 并行化分析技术的实现 | 第38-52页 |
| ·调度模块的实现 | 第38-40页 |
| ·线程池的实现 | 第38-39页 |
| ·调度算法的实现 | 第39-40页 |
| ·函数层次并行化的实现 | 第40-46页 |
| ·函数调用图 | 第40-44页 |
| ·函数层次并行化算法的实现 | 第44-45页 |
| ·实例分析 | 第45-46页 |
| ·路径层次并行化的实现 | 第46-50页 |
| ·路径层次并行化算法的实现 | 第46-48页 |
| ·约束查询操作的优化 | 第48-49页 |
| ·实例分析 | 第49-50页 |
| ·本章小结 | 第50-52页 |
| 第5章 实验数据与结果 | 第52-58页 |
| ·工具整体情况介绍 | 第52-54页 |
| ·工具可检测的错误的类型 | 第52-53页 |
| ·工具的内存消耗 | 第53页 |
| ·工具的误报与漏报 | 第53-54页 |
| ·性能分析实验 | 第54-56页 |
| ·本章小结 | 第56-58页 |
| 第6章 总结及进一步工作 | 第58-62页 |
| 参考文献 | 第62-66页 |
| 致谢 | 第66-68页 |
| 在读期间发表的学术论文与取得的研究成果 | 第68页 |
