静态分析工具效率优化的设计与实现
| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 符号对照表 | 第11-12页 |
| 缩略语对照表 | 第12-15页 |
| 第一章 绪论 | 第15-21页 |
| 1.1 课题背景 | 第15页 |
| 1.2 项目概述 | 第15-18页 |
| 1.2.1 静态检测简介 | 第15-16页 |
| 1.2.2 项目框架概述 | 第16-18页 |
| 1.3 选题意义 | 第18-19页 |
| 1.4 论文主要工作 | 第19-20页 |
| 1.5 论文组织结构 | 第20-21页 |
| 第二章 相关技术 | 第21-29页 |
| 2.1 抽象语法树 | 第21-22页 |
| 2.2 控制流图 | 第22-24页 |
| 2.3 数据的存储 | 第24-29页 |
| 2.3.1 二叉决策图 | 第24-25页 |
| 2.3.2 数据存储方式 | 第25-29页 |
| 第三章 需求分析与设计 | 第29-37页 |
| 3.1 需求分析 | 第29-30页 |
| 3.2 详细需求与设计 | 第30-35页 |
| 3.2.1 深度优先遍历 | 第30-31页 |
| 3.2.2 预遍历模块 | 第31-33页 |
| 3.2.3 跨过程模式匹配模块 | 第33-35页 |
| 3.3 本章小结 | 第35-37页 |
| 第四章 控制流图剪枝的设计与实现 | 第37-57页 |
| 4.1 深度优先遍历框架 | 第37-43页 |
| 4.1.1 深度优先遍历 | 第37-40页 |
| 4.1.2 新鲜度记录法 | 第40-43页 |
| 4.2 函数调用关系的拓扑排序 | 第43-47页 |
| 4.3 预遍历设计与实现 | 第47-56页 |
| 4.3.1 节点标记 | 第48-51页 |
| 4.3.2 迭代算法 | 第51-55页 |
| 4.3.3 路径截断与回退 | 第55-56页 |
| 4.4 本章小结 | 第56-57页 |
| 第五章 跨过程模式匹配的设计与实现 | 第57-75页 |
| 5.1 记忆式分析方法 | 第57-58页 |
| 5.2 调用模式与兼容判定 | 第58-70页 |
| 5.2.1 调用模式简介 | 第58-61页 |
| 5.2.2 扩充名预分配策略 | 第61-66页 |
| 5.2.3 模式计算与映射 | 第66-69页 |
| 5.2.4 模式兼容性判定 | 第69-70页 |
| 5.3 函数调用实现与实例分析 | 第70-73页 |
| 5.4 本章小结 | 第73-75页 |
| 第六章 效率测试 | 第75-85页 |
| 6.1 效率测试 | 第75-84页 |
| 6.2 测试总结 | 第84-85页 |
| 第七章 总结与展望 | 第85-87页 |
| 参考文献 | 第87-89页 |
| 致谢 | 第89-91页 |
| 作者简介 | 第91-92页 |
