基于抽象解释理论的程序循环边界分析
| 摘要 | 第4-5页 |
| abstract | 第5页 |
| 第一章 绪论 | 第11-20页 |
| 1.1 课题研究背景 | 第11-12页 |
| 1.2 研究现状及选题依据 | 第12-18页 |
| 1.2.1 研究现状 | 第12-16页 |
| 1.2.2 选题依据及本文主要工作 | 第16-18页 |
| 1.3 论文组织结构 | 第18-20页 |
| 第二章 循环边界理论分析方法 | 第20-31页 |
| 2.1 程序的循环边界分析 | 第20-22页 |
| 2.1.1 程序的循环边界 | 第20页 |
| 2.1.2 循环边界的分析方法 | 第20-22页 |
| 2.2 程序切片 | 第22-24页 |
| 2.2.1 控制依赖 | 第23页 |
| 2.2.2 数据依赖 | 第23-24页 |
| 2.3 抽象解释理论 | 第24-29页 |
| 2.3.1 基于格的抽象解释理论 | 第24-27页 |
| 2.3.2 抽象执行 | 第27-28页 |
| 2.3.3 抽象域 | 第28-29页 |
| 2.4 本章小结 | 第29-31页 |
| 第三章 基于依赖的程序切片 | 第31-42页 |
| 3.1 程序依赖关系分析 | 第31-37页 |
| 3.1.1 程序控制依赖 | 第31-36页 |
| 3.1.2 程序数据依赖 | 第36-37页 |
| 3.2 程序依赖指导程序切片 | 第37-41页 |
| 3.3 本章小结 | 第41-42页 |
| 第四章 程序循环边界计算 | 第42-50页 |
| 4.1 循环边界的计算 | 第42-49页 |
| 4.1.1 程序的抽象描述 | 第42-43页 |
| 4.1.2 边界值计算 | 第43-45页 |
| 4.1.3 边界值改进 | 第45-49页 |
| 4.2 本章小结 | 第49-50页 |
| 第五章 分析框架及案例分析 | 第50-57页 |
| 5.1 分析框架 | 第50-51页 |
| 5.2 边界分析与验证 | 第51-56页 |
| 5.2.1 程序依赖指导切片 | 第51-54页 |
| 5.2.2 循环边界分析与验证 | 第54-56页 |
| 5.3 本章小结 | 第56-57页 |
| 第六章 总结与展望 | 第57-59页 |
| 6.1 工作总结 | 第57-58页 |
| 6.2 工作展望 | 第58-59页 |
| 参考文献 | 第59-63页 |
| 致谢 | 第63-64页 |
| 在学期间的研究成果及发表的学术论文 | 第64页 |
