TD类漏洞及死锁检测系统的设计与实现
| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-13页 |
| ·背景 | 第9-10页 |
| ·研究内容 | 第10页 |
| ·论文结构 | 第10-13页 |
| 第二章 相关研究 | 第13-23页 |
| ·软件分析技术概述 | 第13-14页 |
| ·静态分析技术概述 | 第14-18页 |
| ·基本分析技术 | 第14-17页 |
| ·基于形式化的分析技术 | 第17页 |
| ·指向分析技术 | 第17-18页 |
| ·其他辅助分析技术 | 第18页 |
| ·静态检测方法的组成 | 第18页 |
| ·TD类安全漏洞静态检测方法的研究现状 | 第18-21页 |
| ·污染传播分析算法 | 第18-20页 |
| ·基于污染传播分析算法的TD类安全漏洞检测方法 | 第20-21页 |
| ·死锁静态检测方法的研究现状 | 第21-23页 |
| ·基于类型系统的死锁静态检测方法 | 第22页 |
| ·基于数据流分析的死锁静态检测方法 | 第22-23页 |
| 第三章 TD类安全漏洞检测系统的设计与实现 | 第23-45页 |
| ·TD类安全漏洞概述 | 第23-24页 |
| ·TD类安全漏洞例子及分析 | 第23-24页 |
| ·TD类安全漏洞建模 | 第24页 |
| ·TD类安全漏洞检测系统的概要设计 | 第24-27页 |
| ·总体流程图 | 第24-26页 |
| ·总体架构图 | 第26-27页 |
| ·TD类安全漏洞检测系统的详细设计 | 第27-45页 |
| ·规则的语法 | 第27-30页 |
| ·函数语义特征生成模块 | 第30-34页 |
| ·安全漏洞状态机分析模块 | 第34-39页 |
| ·TD类安全漏洞定义模块 | 第39-45页 |
| 第四章 死锁检测系统的设计与实现 | 第45-69页 |
| ·死锁概述 | 第45-47页 |
| ·死锁例子及分析 | 第45-46页 |
| ·死锁建模 | 第46-47页 |
| ·死锁检测系统的概要设计 | 第47-50页 |
| ·总体流程图 | 第47-49页 |
| ·总体架构图 | 第49-50页 |
| ·死锁检测系统的详细设计 | 第50-69页 |
| ·并发特征分析模块详细设计 | 第50-54页 |
| ·可达集分析模块详细设计 | 第54-56页 |
| ·别名集分析模块详细设计 | 第56-60页 |
| ·并发集分析模块详细设计 | 第60-64页 |
| ·GateLock集分析模块详细设计 | 第64-69页 |
| 第五章 TD类安全漏洞检测系统的实验数据及分析 | 第69-73页 |
| ·实验环境 | 第69页 |
| ·实验结果比较 | 第69-70页 |
| ·漏报率 | 第70-71页 |
| ·误报率 | 第71-72页 |
| ·结果分析 | 第72-73页 |
| 第六章 总结与展望 | 第73-75页 |
| ·工作总结 | 第73页 |
| ·下一步研究工作 | 第73-75页 |
| 参考文献 | 第75-78页 |
| 附录缩略语 | 第78-79页 |
| 致谢 | 第79-80页 |
| 作者攻读学位期间发表的学术论文目录 | 第80页 |
