| 摘要 | 第1-9页 |
| ABSTRACT | 第9-13页 |
| 目录 | 第13-15页 |
| 第一章 绪论和相关研究 | 第15-31页 |
| ·绪论 | 第15-23页 |
| ·研究背景 | 第15-16页 |
| ·研究目的和意义 | 第16-17页 |
| ·研究内容 | 第17-20页 |
| ·主要创新点 | 第20-23页 |
| ·文章组织结构 | 第23页 |
| ·相关技术和研究 | 第23-31页 |
| ·主流静态分析技术 | 第24-28页 |
| ·静态分析技术研究热点及难点 | 第28-31页 |
| 第二章 C语言静态缺陷检测框架概述 | 第31-48页 |
| ·C语言程序缺陷检测的意义 | 第31-32页 |
| ·缺陷模式描述及检测 | 第32-33页 |
| ·DTSC静态缺陷检测框架 | 第33-36页 |
| ·一种统一的面向不同C语言程序的缺陷检测方法 | 第36-38页 |
| ·提高DTSC缺陷检测精度分析 | 第38-40页 |
| ·提高DTSC缺陷检测效率分析 | 第40-47页 |
| ·多线程并行分析 | 第40-44页 |
| ·中间文件化简方法 | 第44-45页 |
| ·特殊情况时设置阈值 | 第45-47页 |
| ·本章小结 | 第47-48页 |
| 第三章 基于符号化三值逻辑的数据流分析方法 | 第48-75页 |
| ·相关研究 | 第48-49页 |
| ·研究背景及研究动机 | 第49-65页 |
| ·区间抽象域及区间运算 | 第49-52页 |
| ·区间分析：基于区间抽象域的数据流分析框架 | 第52-59页 |
| ·基于符号分析的区间分析方法及其局限性 | 第59-65页 |
| ·基于STVL模型的区间分析技术 | 第65-71页 |
| ·STVL模型 | 第66-67页 |
| ·基于STVL模型的指针及内存建模 | 第67-69页 |
| ·基于STVL模型的区间分析技术 | 第69-71页 |
| ·实验验证 | 第71-73页 |
| ·本章小结 | 第73-75页 |
| 第四章 基于符号化函数摘要模型的函数间分析技术研究 | 第75-95页 |
| ·相关研究 | 第76-77页 |
| ·研究背景及研究动机 | 第77-82页 |
| ·基于摘要的函数间分析技术 | 第77-79页 |
| ·问题描述及研究动机 | 第79-82页 |
| ·符号化函数摘要模型 | 第82-84页 |
| ·基于符号化函数摘要模型的的函数间分析方法 | 第84-89页 |
| ·函数摘要生成 | 第85-86页 |
| ·函数摘要实例化 | 第86-87页 |
| ·函数间缺陷检测 | 第87-88页 |
| ·函数间分析方法示例 | 第88-89页 |
| ·实验验证 | 第89-93页 |
| ·本章小结 | 第93-95页 |
| 第五章 基于程序切片技术的路径敏感缺陷检测方法 | 第95-115页 |
| ·相关研究 | 第96-97页 |
| ·研究背景及研究动机 | 第97-103页 |
| ·基于相同状态合并策略的路径敏感缺陷检测方法 | 第98-100页 |
| ·问题描述及研究动机 | 第100-103页 |
| ·基于缺陷模式的程序切片方法 | 第103-110页 |
| ·切片准则生成 | 第103-106页 |
| ·基于缺陷模式的程序切片方法 | 第106-108页 |
| ·丛于切片程序的缺陷状态合并策略 | 第108-110页 |
| ·实例分析 | 第110页 |
| ·实验验证 | 第110-113页 |
| ·本章小结 | 第113-115页 |
| 第六章 静态缺陷检测中的误报消除技术研究 | 第115-128页 |
| ·相关研究 | 第115-117页 |
| ·研究背景及研究动机 | 第117-119页 |
| ·前向数据流分析在静态缺陷检测中的局限性 | 第117-118页 |
| ·基于约束的误报消除方法 | 第118-119页 |
| ·基于缺陷特征的逆向误报消除方法 | 第119-122页 |
| ·符号化条件约束的表示及转化规则 | 第119页 |
| ·约束搜索算法 | 第119-122页 |
| ·约束搜索实例 | 第122页 |
| ·实验验证 | 第122-126页 |
| ·实验一：基于DTSC的实验对比 | 第123-125页 |
| ·实验二：与同类工具的可扩展性对比 | 第125-126页 |
| ·本章小结 | 第126-128页 |
| 第七章 总结与展望 | 第128-131页 |
| 参考文献 | 第131-137页 |
| 致谢 | 第137-139页 |
| 攻读博士学位期间发表和录用的论文列表 | 第139页 |