声明
摘要
第一章 绪论
第一节 研究背景与意义
第二节 资源泄露静态分析研究现状
第三节 本文的主要工作与创新点
第四节 论文的结构安排
第二章 资源行为精简切片构建方法
第一节 研究意义
第二节 资源泄露故障模式
2.2.1 基本术语
2.2.2 资源管理时序属性
2.2.3 内存泄露和文件句柄丢失实例
2.2.4 资源泄露判定模式
第三节 资源行为切片产生的准则
第四节 资源行为切片产生方法
2.4.1 词法语法分析构建CFG
2.4.2 Definition-use数据流分析获取前向切片
2.4.3 基于CFG符号执行获取值流条件
第五节 本章小结
第三章 基于扩展递推链代数的循环迭代次数估算
第一节 循环分析的意义
第二节 递推链代数
第三节 扩展的递推链代数运算规则
第四节 基于扩展递推链代数的循环迭代次数估算
3.4.1 基本术语
3.4.2 单重while循环分析
3.4.3 循环摘要Loop Summery
3.4.4 多重循环迭代次数估算
第五节 基于故障属性的循环展开策略
第六节 循环次数估算实验结果分析
第七节 本章小结
第四章 基于抽象函数摘要模板的上下文敏感分析
第一节 抽象函数摘要模板的研究意义
第二节 抽象函数摘要模板
4.2.1 函数间名字空间转换关系
4.2.2 抽象函数摘要分类
第三节 基于抽象函数摘要模板的跨函数分析
4.3.1 利用AFST函数间分析实例
4.3.2 抽象函数摘要模板生成算法
4.3.3 抽象函数摘要模板实例化
第四节 抽象函数摘要模板及实例化分析框架
4.4.1 构建函数调用图PCG(Procedure Call Graph)
4.4.2 函数间的映射关系
第五节 本章小结
第五章 资源泄露故障静态检测原型系统和实验结果
第一节 原型系统的设计与实现
5.1.1 系统框架结构及主要模块
5.1.2 系统操作流程
5.1.3 评价标准
第二节 复杂度分析
第三节 实验结果及分析
5.3.1 资源行为精简切片节点统计及对比分析
5.3.2 循环针对性策略对分析精度的提高
5.3.3 基于符号的抽象函数摘要模板对分析精度产生的影响
5.3.4 RL_Detector系统的实验结果及对比分析
第四节 本章小结
第六章 总结与展望
第一节 本文研究工作总结
第二节 未来研究方向
参考文献
致谢
个人简历 在学期间发表的学术论文与研究成果