| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 图目录 | 第13-15页 |
| 表目录 | 第15-16页 |
| 第一章 绪论 | 第16-32页 |
| 第一节 研究背景与意义 | 第16-22页 |
| 第二节 资源泄露静态分析研究现状 | 第22-27页 |
| 第三节 本文的主要工作与创新点 | 第27-29页 |
| 第四节 论文的结构安排 | 第29-32页 |
| 第二章 资源行为精简切片构建方法 | 第32-51页 |
| 第一节 研究意义 | 第32-34页 |
| 第二节 资源泄露故障模式 | 第34-42页 |
| ·基本术语 | 第35-36页 |
| ·资源管理时序属性 | 第36-37页 |
| ·内存泄露和文件句柄丢失实例 | 第37-41页 |
| ·资源泄露判定模式 | 第41-42页 |
| 第三节 资源行为切片产生的准则 | 第42-43页 |
| 第四节 资源行为切片产生方法 | 第43-49页 |
| ·词法语法分析构建CFG | 第43-44页 |
| ·Definition-use数据流分析获取前向切片 | 第44-45页 |
| ·基于CFG符号执行获取值流条件 | 第45-49页 |
| 第五节 本章小结 | 第49-51页 |
| 第三章 基于扩展递推链代数的循环迭代次数估算 | 第51-68页 |
| 第一节 循环分析的意义 | 第51-53页 |
| 第二节 递推链代数 | 第53-57页 |
| 第三节 扩展的递推链代数运算规则 | 第57页 |
| 第四节 基于扩展递推链代数的循环迭代次数估算 | 第57-62页 |
| ·基本术语 | 第58页 |
| ·单重while循环分析 | 第58-59页 |
| ·循环摘要Loop Summery | 第59-61页 |
| ·多重循环迭代次数估算 | 第61-62页 |
| 第五节 基于故障属性的循环展开策略 | 第62-63页 |
| 第六节 循环次数估算实验结果分析 | 第63-67页 |
| 第七节 本章小结 | 第67-68页 |
| 第四章 基于抽象函数摘要模板的上下文敏感分析 | 第68-87页 |
| 第一节 抽象函数摘要模板的研究意义 | 第68-70页 |
| 第二节 抽象函数摘要模板 | 第70-80页 |
| ·函数间名字空间转换关系 | 第71-74页 |
| ·抽象函数摘要分类 | 第74-80页 |
| 第三节 基于抽象函数摘要模板的跨函数分析 | 第80-83页 |
| ·利用AFST函数间分析实例 | 第80-81页 |
| ·抽象函数摘要模板生成算法 | 第81-82页 |
| ·抽象函数摘要模板实例化 | 第82-83页 |
| 第四节 抽象函数摘要模板及实例化分析框架 | 第83-86页 |
| ·构建函数调用图PCG(Procedure Call Graph) | 第83-84页 |
| ·函数间的映射关系 | 第84-86页 |
| 第五节 本章小结 | 第86-87页 |
| 第五章 资源泄露故障静态检测原型系统和实验结果 | 第87-108页 |
| 第一节 原型系统的设计与实现 | 第87-92页 |
| ·系统框架结构及主要模块 | 第87-91页 |
| ·系统操作流程 | 第91页 |
| ·评价标准 | 第91-92页 |
| 第二节 复杂度分析 | 第92页 |
| 第三节 实验结果及分析 | 第92-105页 |
| ·资源行为精简切片节点统计及对比分析 | 第93-98页 |
| ·循环针对性策略对分析精度的提高 | 第98-99页 |
| ·基于符号的抽象函数摘要模板对分析精度产生的影响 | 第99-101页 |
| ·RL-Detector系统的实验结果及对比分析 | 第101-105页 |
| 第四节 本章小结 | 第105-108页 |
| 第六章 总结与展望 | 第108-112页 |
| 第一节 本文研究工作总结 | 第108-110页 |
| 第二节 未来研究方向 | 第110-112页 |
| 参考文献 | 第112-121页 |
| 致谢 | 第121-122页 |
| 个人简历 在学期间发表的学术论文与研究成果 | 第122页 |