文摘
英文文摘
声明
第1章前言
1.1 研究背景
1.2 国内外现状
1.3 本文的主要工作和成果
1.4 小结
第2章 程序静态分析相关技术
2.1 语法树、相关技术及工具
2.1.1 JavaCC工具简介
2.1.2 JavaCC工作原理
2.2 抽象语法树
2.3 符号表
第3章 区间运算理论基础和调研
3.1. 区间运算定义
3.2 区间运算开发包
3.2.1 Gaol
3.2.2 Fi_lib
3.2.3 FILIB++
3.2.4 Interval Arithmetic Libs
3.2.5性能比较
3.3 区间运算在程序静态分析中的应用
第4章DTSCPP系统介绍
4.1 系统概述
4.2 体系结构设计
4.2.1 系统部件组成
4.2.2 系统执行流程
4.2.3 接口设计
4.2.4 内部接口设计
第5章DTSCpp语法树生成单元
5.1 概述
5.2 程序描述
5.2.1描象语法树节点类定义
第6章DTSCpp控制流图生成单元
6.1 概述
6.2 结构组成
6.3 处理流程
6.4 程序描述
6.4.1控制流图数据结构
6.4.2 控制流图生成辅助数据结构
6.4.3控制流图生成
6.4.4控制流图打印
6.5 结果展示
第7章DTSCpp符号表生成单元
7.1 概述
7.2 结构组成
7.3 处理流程
7.4 程序描述
7.4.1 符号表数据结构
7.4.2 符号表生成
7.5 结果展示
第8章DTSCpp区间运算单元
8.1 概述
8.2 结构组成
8.3 处理流程
8.4 程序描述
8.4.1区间数据结构
8.4.2区间转换
8.4.3相关变量区间表
8.4.4 表达式区间分析
8.4.5 条件判断区间分析
8.4.6 控制流图区间分析
8.5 结果展示
第9章DTSCpp缺陷模式状态机计算单元
9.1 概述
9.2 结构组成
9.3 处理流程
9.4 程序描述
9.4.1 缺陷模式状态机数据结构
9.4.2 缺蹈模式摇述文件格式及其解析
9.4.3 缺陷模式状态机实例数据结构
9.4.4缺陷状态机分析
9.4.5 FSMRelatedCalculation类说明
9.5 结果展示
第10章DTSCpp缺陷分析单元
10.1 概述
10.2 示例程序描述
第11章 系统效果
第12章 结束语
12.1 本文的工作总结
12.2 进一步工作
参考文献
致谢
攻读学位期间发表的学术论文目录