| 摘要 | 第8-9页 |
| ABSTRACT | 第9页 |
| 第一章 绪论 | 第10-17页 |
| 1.1 程序静态分析技术与工具概述 | 第10-12页 |
| 1.1.1 程序静态分析技术 | 第10-11页 |
| 1.1.2 程序静态分析工具 | 第11-12页 |
| 1.2 程序静态分析工具评价方法 | 第12-15页 |
| 1.2.1 研究背景 | 第12页 |
| 1.2.2 国内外研究现状 | 第12-14页 |
| 1.2.3 发展趋势 | 第14-15页 |
| 1.3 课题目标与研究内容 | 第15-16页 |
| 1.3.1 课题目标 | 第15页 |
| 1.3.2 研究内容 | 第15-16页 |
| 1.4 论文结构 | 第16-17页 |
| 第二章 程序静态分析工具评测方法研究 | 第17-34页 |
| 2.1 Benchmark database的选取原则 | 第17-19页 |
| 2.1.1 测试代码的一般特点 | 第17-18页 |
| 2.1.2 测试代码的构成 | 第18-19页 |
| 2.2 评价指标的确定 | 第19-20页 |
| 2.3 Benchmark suite的总体设计 | 第20-24页 |
| 2.3.1 总体架构和流程 | 第20-22页 |
| 2.3.2 中间文件格式 | 第22-24页 |
| 2.4 分析工具与bug类型的确定 | 第24-34页 |
| 2.4.1 静态分析工具的选取 | 第25-31页 |
| 2.4.2 bug类型的确定 | 第31-34页 |
| 第三章 Benchmark database的构建 | 第34-37页 |
| 3.1 小型用例的选取 | 第34-35页 |
| 3.2 大型用例的选取 | 第35-37页 |
| 第四章 Suite组件的设计与实现 | 第37-53页 |
| 4.1 实现平台的选择 | 第37页 |
| 4.2 控制器的设计与实现 | 第37-43页 |
| 4.2.1 监视器的设计与实现 | 第37-40页 |
| 4.2.2 标准化工具的设计 | 第40-41页 |
| 4.2.3 报告生成器的设计与实现 | 第41页 |
| 4.2.4 实现效果 | 第41-43页 |
| 4.3 分析器的设计与实现 | 第43-53页 |
| 4.3.1 初始化模块的设计 | 第43-45页 |
| 4.3.2 分析模块的设计 | 第45-46页 |
| 4.3.3 显示模块的设计 | 第46-53页 |
| 第五章 结果分析与讨论 | 第53-69页 |
| 5.1 小型样例测试结果与分析 | 第53-62页 |
| 5.2 小型样例对比测试结果与分析 | 第62-64页 |
| 5.3 大型样例测试结果与分析 | 第64-68页 |
| 5.4 大型样例对比测试结果与分析 | 第68-69页 |
| 第六章 结论 | 第69-70页 |
| 6.1 结论 | 第69页 |
| 6.2 未来工作 | 第69-70页 |
| 参考文献 | 第70-72页 |
| 致谢 | 第72-73页 |
| 附件 | 第73页 |