| 摘要 | 第1-8页 |
| ABSTRACT | 第8-12页 |
| 第1章 绪论 | 第12-24页 |
| ·研究背景及意义 | 第12-21页 |
| ·研究原因 | 第12-13页 |
| ·相关技术及现状 | 第13-20页 |
| ·研究工作背景 | 第20-21页 |
| ·论文的主要贡献 | 第21-22页 |
| ·论文内容和结构 | 第22-24页 |
| 第2章 基于抽象解释的缺陷检测 | 第24-45页 |
| ·格与不动点理论 | 第24-31页 |
| ·格 | 第24-28页 |
| ·不动点 | 第28-31页 |
| ·抽象解释理论 | 第31-41页 |
| ·伽罗瓦连接 | 第31-35页 |
| ·Widening/Narrowing算子 | 第35-37页 |
| ·抽象解释中的语义层次体系 | 第37-41页 |
| ·静态缺陷检测 | 第41-43页 |
| ·缺陷模式 | 第41页 |
| ·基于抽象解释的静态缺陷检测 | 第41-43页 |
| ·本章小结 | 第43-45页 |
| 第3章 面向缺陷检测的抽象域 | 第45-65页 |
| ·经典单区间抽象 | 第45-49页 |
| ·单区间抽象表示 | 第45-47页 |
| ·单区间抽象操作 | 第47-49页 |
| ·区间集抽象 | 第49-53页 |
| ·区间集抽象表示 | 第50-51页 |
| ·区间集抽象操作 | 第51-53页 |
| ·符号表达式抽象 | 第53-57页 |
| ·变量间关联关系分类 | 第53-55页 |
| ·符号表达式抽象表示 | 第55-56页 |
| ·符号表达式抽象操作 | 第56-57页 |
| ·程序中变量抽象取值计算算法 | 第57-60页 |
| ·算法实验与分析 | 第60-63页 |
| ·本章小结 | 第63-65页 |
| 第4章 路径敏感的过程内缺陷检测 | 第65-80页 |
| ·路径不敏感缺陷检测算法 | 第65-71页 |
| ·缺陷模式状态机 | 第65-66页 |
| ·数据流分析框架 | 第66-69页 |
| ·基于传统数据流的缺陷检测 | 第69-71页 |
| ·路径敏感缺陷检测算法 | 第71-76页 |
| ·一个误报的例子 | 第71-72页 |
| ·路径信息抽象 | 第72-73页 |
| ·检测算法 | 第73-76页 |
| ·算法实验与分析 | 第76-79页 |
| ·本章小结 | 第79-80页 |
| 第5章 基于函数摘要的过程间缺陷检测 | 第80-94页 |
| ·函数摘要表示 | 第80-85页 |
| ·前置约束信息 | 第80-82页 |
| ·后置副作用信息 | 第82-83页 |
| ·状态特征信息 | 第83页 |
| ·函数摘要定义 | 第83-85页 |
| ·函数摘要生成 | 第85-89页 |
| ·前置约束信息计算 | 第85-86页 |
| ·后置副作用信息计算 | 第86页 |
| ·状态特征信息计算 | 第86-87页 |
| ·函数摘要应用 | 第87-89页 |
| ·过程间静态缺陷检测算法 | 第89-90页 |
| ·算法实验与分析 | 第90-92页 |
| ·本章小结 | 第92-94页 |
| 第6章 DTS：一个基于抽象解释的静态缺陷检测工具 | 第94-107页 |
| ·DTS简介 | 第94页 |
| ·DTS实现 | 第94-101页 |
| ·输入部分 | 第94-96页 |
| ·基本处理部分 | 第96-99页 |
| ·提高精度部分 | 第99-100页 |
| ·自动检测部分 | 第100-101页 |
| ·结果确认部分 | 第101页 |
| ·DTS复杂度分析 | 第101-104页 |
| ·实验与分析 | 第104-106页 |
| ·本章小结 | 第106-107页 |
| 第7章 结束语 | 第107-110页 |
| ·论文总结 | 第107-108页 |
| ·进一步的研究工作及问题思考 | 第108-110页 |
| 参考文献 | 第110-120页 |
| 附录 致谢 | 第120-121页 |
| 附录 攻读博士学位期间的研究成果 | 第121-122页 |