| 摘要 | 第1-9页 |
| ABSTRACT | 第9-10页 |
| 第1章 引言 | 第10-12页 |
| 第2章 数据流分析问题的理论知识 | 第12-26页 |
| ·基本概念 | 第12-16页 |
| ·基本块与控制流程图 | 第12-13页 |
| ·流图结点的查找和遍历 | 第13-14页 |
| ·必经结点与后必经结点 | 第14-15页 |
| ·格和流函数 | 第15-16页 |
| ·数据流方程与常见数据流问题 | 第16-21页 |
| ·数据流方程 | 第17页 |
| ·常见数据流问题 | 第17-21页 |
| ·数据流分析使用的方法 | 第21-24页 |
| ·迭代数据流分析 | 第21-22页 |
| ·基于控制树的数据流分析 | 第22-23页 |
| ·结构分析 | 第23-24页 |
| ·区间分析 | 第24页 |
| ·数据流分析方法的简单比较 | 第24-26页 |
| 第3章 数据流分析实例研究—GCC数据流分析实现解析 | 第26-58页 |
| ·GCC的基本结构 | 第26-29页 |
| ·GCC的组成部分 | 第26-28页 |
| ·数据流分析在其中的位置 | 第28-29页 |
| ·GCC与数据流分析有关的优化 | 第29页 |
| ·GCC数据流分析概述 | 第29页 |
| ·数据流分析相关的全局数据结构 | 第29-39页 |
| ·表示基本块的数据结构 | 第29-34页 |
| ·表示边的数据结构 | 第34-37页 |
| ·表示集合的数据结构 | 第37-39页 |
| ·活跃变量分析 | 第39-48页 |
| ·活跃变量分析方法概述 | 第39页 |
| ·对flow.c文件的解读 | 第39-40页 |
| ·对life_analysis函数的分析 | 第40-42页 |
| ·对其它函数的分析 | 第42-48页 |
| ·DU链与UD链的建立 | 第48-58页 |
| ·对df.c文件的解读 | 第48-51页 |
| ·对df_analyse函数的分析 | 第51-52页 |
| ·对其它函数的分析 | 第52-58页 |
| 第4章 GCC数据流分析方法的优劣与改进 | 第58-65页 |
| ·GCC数据流分析方法的优点 | 第58页 |
| ·GCC数据流分析中的不足和有待改进的地方 | 第58-62页 |
| ·实验结果与分析 | 第62-65页 |
| 第5章 结束语 | 第65-66页 |
| 致谢 | 第66-67页 |
| 参考文献 | 第67-69页 |
| 附录A:攻读硕士期间发表的论文 | 第69-70页 |
| 附录B:攻读硕士期间参加的科研项目 | 第70页 |