C/C++程序资源泄漏的静态检查研究

摘要	第1-4页
Abstract	第4-7页
第一章 绪论	第7-11页
·研究背景	第7-8页
·资源泄漏检查的研究现状	第8页
·论文的主要工作与组织结构	第8-11页
第二章 系统总体概述	第11-15页
·系统的设计思想	第11-12页
·基于 GCC中间表示的分析	第11页
·自下而上分析	第11-12页
·安全分析检查器的总体框架	第12-15页
第三章 资源泄漏检查的分析与设计	第15-31页
·资源泄漏的表现及产生原因分析	第15-17页
·资源泄漏的表现与分类	第15-17页
·资源泄漏的产生原因分析	第17页
·过程内资源泄漏检查的分析与设计	第17-26页
·过程内资源泄漏检查的关注点	第17-18页
·过程内资源泄漏检查的安全模式分析	第18-22页
·属性的设计	第18-19页
·安全漏洞的形式化描述	第19-22页
·核心数据结构的设计	第22-25页
·指针别名的处理	第25页
·过程内资源泄漏检查的核心算法	第25-26页
·跨过程资源泄漏检查的分析与设计	第26-31页
·跨过程资源泄漏检查的关注点	第26-27页
·跨过程资源泄漏检查的安全模式分析	第27页
·核心数据结构的设计	第27-31页
第四章 资源泄漏检查的实现	第31-43页
·控制流语句的处理	第31-34页
·控制流语句的表示	第31-32页
·分支语句的处理	第32-33页
·循环语句的处理	第33-34页
·结构体和多重指针的处理	第34-35页
·全局变量的处理	第35-36页
·关键节点的安全检查算法	第36-43页
·变量声明节点的处理	第36-38页
·赋值语句节点的处理	第38-39页
·函数调用语句节点的处理	第39-40页
·作用域结束时进行的检查	第40-43页
第五章 实例分析	第43-49页
·一个因控制流分支引起的资源泄漏的实例分析	第43-45页
·一个结构体变量资源泄漏的实例分析	第45-46页
·一个全局变量资源泄漏的实例分析	第46-49页
结束语	第49-51页
致谢	第51-53页
参考文献	第53-55页
作者在读期间研究成果	第55页