物联网操作系统中性能及安全缺陷检测工具的研究和实现
| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 第一章 绪论 | 第9-18页 |
| 1.1 研究背景 | 第9-11页 |
| 1.2 研究现状 | 第11-15页 |
| 1.2.1 软件性能缺陷检测现状 | 第12-14页 |
| 1.2.2 软件安全缺陷检测现状 | 第14-15页 |
| 1.3 研究内容 | 第15-16页 |
| 1.4 论文结构 | 第16-18页 |
| 第二章 相关技术研究 | 第18-28页 |
| 2.1 软件缺陷检测技术概述 | 第18页 |
| 2.2 基于源代码的程序分析技术 | 第18-26页 |
| 2.2.1 数据流分析 | 第19-20页 |
| 2.2.2 污点分析 | 第20-21页 |
| 2.2.3 符号执行 | 第21-23页 |
| 2.2.4 模型检查 | 第23-24页 |
| 2.2.5 定理证明 | 第24-26页 |
| 2.3. LLVM编译框架介绍 | 第26-28页 |
| 第三章 物联网操作系统中的缺陷研究 | 第28-37页 |
| 3.1 研究目标程序的选取 | 第28-29页 |
| 3.2 物联网操作系统中缺陷分类 | 第29-30页 |
| 3.3 物联网操作系统中缺陷分析 | 第30-32页 |
| 3.4 物联网操作系统中缺陷出现原因 | 第32页 |
| 3.5 物联网操作系统中缺陷规避方法 | 第32-33页 |
| 3.6 物联网操作系统中缺陷检测规则总结 | 第33-37页 |
| 3.6.1 缺陷检测规则一 | 第33-34页 |
| 3.6.2 缺陷检测规则二 | 第34-35页 |
| 3.6.3 缺陷检测规则三 | 第35-36页 |
| 3.6.4 缺陷检测规则四 | 第36-37页 |
| 第四章 物联网操作系统中缺陷检测工具的设计和实现 | 第37-45页 |
| 4.1 检测工具工作流和架构设计 | 第37-38页 |
| 4.2 高级语言处理模块 | 第38-40页 |
| 4.3 规则检测模块 | 第40-44页 |
| 4.3.1 检测器一 | 第42页 |
| 4.3.2 检测器二 | 第42-43页 |
| 4.3.3 检测器三 | 第43页 |
| 4.3.4 检测器四 | 第43-44页 |
| 4.4 人工验证 | 第44-45页 |
| 第五章 实验 | 第45-50页 |
| 5.1 实验设计 | 第45页 |
| 5.2 实验过程 | 第45-47页 |
| 5.2.1 RuleDe初始化 | 第45-46页 |
| 5.2.2 LLVM IR转换 | 第46页 |
| 5.2.3 RuleDe检测过程 | 第46-47页 |
| 5.3 RULEDE检测结果及分析 | 第47-48页 |
| 5.4 RULEDE工具评估 | 第48-50页 |
| 5.4.1 RuleDe检测能力分析 | 第48-49页 |
| 5.4.2 RuleDe检测性能分析 | 第49-50页 |
| 第六章 总结与展望 | 第50-51页 |
| 参考文献 | 第51-53页 |
| 致谢 | 第53-54页 |
| 攻读学位期间发表的学术论文 | 第54页 |
