空指针解引用静态检测方法研究
| 摘要 | 第1-9页 |
| ABSTRACT | 第9-10页 |
| 第一章 绪论 | 第10-18页 |
| ·研究背景 | 第10-11页 |
| ·研究现状 | 第11-15页 |
| ·空指针解引用故障模型分析 | 第11-13页 |
| ·动态内存错误检测方法 | 第13-15页 |
| ·课题研究的主要内容和框架 | 第15-16页 |
| ·课题研究主要内容 | 第15页 |
| ·研究框架 | 第15-16页 |
| ·本文的组织结构 | 第16-18页 |
| 第二章 空指针解引用检测相关研究 | 第18-25页 |
| ·程序静态分析概述 | 第18-21页 |
| ·程序控制流分析术语 | 第18-19页 |
| ·过程调用图和过程间分析 | 第19-21页 |
| ·数据流分析研究 | 第21-24页 |
| ·数据流问题分类 | 第21-22页 |
| ·数据流分析算法 | 第22-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 一种表达式别名分析方法 | 第25-38页 |
| ·指针分析中的关键问题 | 第25-29页 |
| ·指向信息的表示 | 第25-27页 |
| ·指针分析精度 | 第27-28页 |
| ·现有指针分析方法比较 | 第28-29页 |
| ·基于指向图的表达式左值计算 | 第29-33页 |
| ·指向图构成与元素的表示 | 第30-32页 |
| ·表达式左值计算公式 | 第32-33页 |
| ·算法实现 | 第33-36页 |
| ·符号表处理 | 第33-36页 |
| ·指针表达式左值计算 | 第36页 |
| ·本章小结 | 第36-38页 |
| 第四章 需求驱动的空指针解引用静态分析 | 第38-55页 |
| ·基本思想 | 第38-40页 |
| ·分析过程示例 | 第38-39页 |
| ·空指针解引用的类型状态规约 | 第39-40页 |
| ·指针语言抽象 | 第40-41页 |
| ·需求驱动的后向数据流分析 | 第41-50页 |
| ·数据流框架与查询 | 第42-43页 |
| ·空指针解引用数据流传播规则 | 第43-47页 |
| ·基本块映射函数计算 | 第47-48页 |
| ·空指针解引用算法实现 | 第48-50页 |
| ·实验 | 第50-53页 |
| ·试验结果与分析 | 第50-52页 |
| ·相关工作与比较 | 第52-53页 |
| ·本章小结 | 第53-55页 |
| 第五章 结束语 | 第55-57页 |
| 致谢 | 第57-58页 |
| 参考文献 | 第58-62页 |
| 作者在学期间取得的学术成果 | 第62页 |
