空指针引用缺陷充分性检测技术研究
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第9-12页 |
| 第一章 绪论 | 第12-18页 |
| 1.1 研究背景 | 第12-14页 |
| 1.2 课题来源 | 第14页 |
| 1.3 主要研究工作 | 第14-15页 |
| 1.4 论文组织结构 | 第15-18页 |
| 第二章 空指针引用缺陷检测概述 | 第18-35页 |
| 2.1 静态分析技术 | 第18-21页 |
| 2.2 数据流分析技术 | 第21-25页 |
| 2.3 指针分析技术 | 第25-28页 |
| 2.4 空指针引用缺陷检测 | 第28-31页 |
| 2.5 静态缺陷检测工具DTSC | 第31-33页 |
| 2.6 缺陷漏报因素分析 | 第33-34页 |
| 2.7 本章小结 | 第34-35页 |
| 第三章 可寻址表达式的充分识别 | 第35-46页 |
| 3.1 引言 | 第35-36页 |
| 3.2 可寻址表达式识别 | 第36-43页 |
| 3.2.1 可寻址表达式相关概念 | 第36-39页 |
| 3.2.2 可寻址表达式识别 | 第39-42页 |
| 3.2.3 识别充分性证明 | 第42-43页 |
| 3.3 实验验证 | 第43-45页 |
| 3.4 本章小结 | 第45-46页 |
| 第四章 基于区域的符号化三值逻辑 | 第46-58页 |
| 4.1 引言 | 第46-48页 |
| 4.2 基于区域的符号化三值逻辑 | 第48-54页 |
| 4.2.1 RSTVL模型 | 第48-52页 |
| 4.2.2 RSTVL相关操作 | 第52-54页 |
| 4.3 RSTVL可靠性证明 | 第54-56页 |
| 4.4 实验验证 | 第56-57页 |
| 4.5 本章小结 | 第57-58页 |
| 第五章 基于RSTVL的过程内数据流分析 | 第58-76页 |
| 5.1 引言 | 第58-60页 |
| 5.2 基于RSTVL的过程内数据流分析 | 第60-70页 |
| 5.2.1 赋值语句的迁移操作 | 第61-63页 |
| 5.2.2 分支语句与合并语句的迁移操作 | 第63-67页 |
| 5.2.3 循环语句的迁移操作 | 第67-69页 |
| 5.2.4 时间复杂度分析 | 第69-70页 |
| 5.3 可靠性证明 | 第70-73页 |
| 5.4 实验验证 | 第73-75页 |
| 5.5 本章小结 | 第75-76页 |
| 第六章 基于符号化函数摘要的过程间数据流分析 | 第76-90页 |
| 6.1 引言 | 第76-78页 |
| 6.2 符号化函数摘要 | 第78-87页 |
| 6.2.1 符号化函数摘要模型 | 第79-80页 |
| 6.2.2 符号化函数摘要生成 | 第80-82页 |
| 6.2.3 符号化函数摘要实例化 | 第82-87页 |
| 6.3 可靠性证明 | 第87-88页 |
| 6.4 实验验证 | 第88-89页 |
| 6.5 本章小结 | 第89-90页 |
| 第七章 空指针引用缺陷充分性检测 | 第90-108页 |
| 7.1 引言 | 第90-93页 |
| 7.2 过程内空指针引用缺陷检测 | 第93-95页 |
| 7.2.1 指针引用识别 | 第93-94页 |
| 7.2.2 指针指向属性 | 第94-95页 |
| 7.2.3 指针引用判定规则 | 第95页 |
| 7.3 过程间空指针引用缺陷检测 | 第95-97页 |
| 7.3.1 函数摘要前置约束 | 第95-96页 |
| 7.3.2 前置约束生成 | 第96-97页 |
| 7.3.3 前置约束实例化 | 第97页 |
| 7.4 空指针引用缺陷检测算法 | 第97-98页 |
| 7.5 检测充分性证明 | 第98-99页 |
| 7.6 实验验证 | 第99-106页 |
| 7.6.1 空指针引用缺陷检测对象识别 | 第99-100页 |
| 7.6.2 空指针引用缺陷检测对比实验一 | 第100-104页 |
| 7.6.3 空指针引用缺陷检测对比实验二 | 第104-106页 |
| 7.6.4 植入缺陷检测 | 第106页 |
| 7.7 本章小结 | 第106-108页 |
| 第八章 结束语 | 第108-112页 |
| 8.1 论文总结 | 第108-109页 |
| 8.2 进一步工作 | 第109-112页 |
| 参考文献 | 第112-121页 |
| 致谢 | 第121-122页 |
| 攻读学位期间发表的学术论文目录 | 第122页 |
