| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第1章 前言 | 第9-15页 |
| ·研究背景 | 第9-10页 |
| ·国内外现状 | 第10-14页 |
| ·本文的主要工作和成果 | 第14页 |
| ·小结 | 第14-15页 |
| 第2章 程序静态分析相关技术 | 第15-23页 |
| ·语法树、相关技术及工具 | 第15-19页 |
| ·JavaCC工具简介 | 第15页 |
| ·JavaCC工作原理 | 第15-19页 |
| ·抽象语法树 | 第19-20页 |
| ·符号表 | 第20-23页 |
| 第3章 区间运算理论基础和调研 | 第23-29页 |
| ·区间运算定义 | 第23-25页 |
| ·区间运算开发包 | 第25-27页 |
| ·Gaol | 第25页 |
| ·Fi_lib | 第25-26页 |
| ·FILIB++ | 第26页 |
| ·Interval Arithmetic Libs | 第26页 |
| ·性能比较 | 第26-27页 |
| ·区间运算在程序静态分析中的应用 | 第27-29页 |
| 第4章 DTSCPP系统介绍 | 第29-36页 |
| ·系统概述 | 第29页 |
| ·体系结构设计 | 第29-36页 |
| ·系统部件组成 | 第29-31页 |
| ·系统执行流程 | 第31页 |
| ·接口设计 | 第31-32页 |
| ·内部接口设计 | 第32-36页 |
| 第5章 DTSCPP语法树生成单元 | 第36-38页 |
| ·概述 | 第36页 |
| ·程序描述 | 第36-38页 |
| ·抽象语法树节点类定义 | 第36-38页 |
| 第6章 DTSCPP控制流图生成单元 | 第38-46页 |
| ·概述 | 第38页 |
| ·结构组成 | 第38-39页 |
| ·处理流程 | 第39页 |
| ·程序描述 | 第39-45页 |
| ·控制流图数据结构 | 第39-41页 |
| ·控制流图生成辅助数据结构 | 第41-43页 |
| ·控制流图生成 | 第43-44页 |
| ·控制流图打印 | 第44-45页 |
| ·结果展示 | 第45-46页 |
| 第7章 DTSCPP符号表生成单元 | 第46-55页 |
| ·概述 | 第46页 |
| ·结构组成 | 第46-47页 |
| ·处理流程 | 第47页 |
| ·程序描述 | 第47-54页 |
| ·符号表数据结构 | 第47-52页 |
| ·符号表生成 | 第52-54页 |
| ·结果展示 | 第54-55页 |
| 第8章 DTSCPP区间运算单元 | 第55-72页 |
| ·概述 | 第55-56页 |
| ·结构组成 | 第56页 |
| ·处理流程 | 第56-57页 |
| ·程序描述 | 第57-70页 |
| ·区间数据结构 | 第57-60页 |
| ·区间转换 | 第60页 |
| ·相关变量区间表 | 第60-61页 |
| ·表达式区间分析 | 第61页 |
| ·条件判断区间分析 | 第61-69页 |
| ·控制流图区间分析 | 第69-70页 |
| ·结果展示 | 第70-72页 |
| 第9章 DTSCPP缺陷模式状态机计算单元 | 第72-87页 |
| ·概述 | 第72页 |
| ·结构组成 | 第72-73页 |
| ·处理流程 | 第73页 |
| ·程序描述 | 第73-85页 |
| ·缺陷模式状态机数据结构 | 第73-75页 |
| ·缺陷模式描述文件格式及其解析 | 第75-83页 |
| ·缺陷模式状态机实例数据结构 | 第83-85页 |
| ·缺陷状态机分析 | 第85页 |
| ·FSMRelatedCalculation类说明 | 第85页 |
| ·结果展示 | 第85-87页 |
| 第10章 DTSCPP缺陷分析单元 | 第87-88页 |
| ·概述 | 第87页 |
| ·示例程序描述 | 第87-88页 |
| 第11章 系统效果 | 第88-89页 |
| 第12章 结束语 | 第89-90页 |
| ·本文的工作总结 | 第89页 |
| ·进一步工作 | 第89-90页 |
| 参考文献 | 第90-91页 |
| 致谢 | 第91-92页 |
| 攻读学位期间发表的学术论文目录 | 第92页 |