| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-10页 |
| 图目录 | 第10-12页 |
| 表目录 | 第12-13页 |
| 第一章 绪论 | 第13-19页 |
| ·研究背景 | 第13-14页 |
| ·国内外研究现状 | 第14-16页 |
| ·论文的主要工作 | 第16-17页 |
| ·论文的组织结构 | 第17-19页 |
| 第二章 技术背景 | 第19-27页 |
| ·GCC编译器 | 第19-20页 |
| ·GCC插件 | 第20-22页 |
| ·C++的多态机制 | 第22-24页 |
| ·C++类对象的内存分布 | 第24-25页 |
| ·C++异常处理机制 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 函数调用关系静态分析方法CR-CFG的设计 | 第27-35页 |
| ·CR-CFG的框架设计 | 第28页 |
| ·代码信息的静态提取 | 第28-32页 |
| ·程序的模拟仿真 | 第32-33页 |
| ·接口功能设计 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第四章 LINUX平台下CR-CFG的实现 | 第35-59页 |
| ·静态获取可执行文件依赖的文件列表 | 第35-37页 |
| ·信息结构模型的建立 | 第37-46页 |
| ·类型信息的结构模型 | 第37-41页 |
| ·函数信息的结构模型 | 第41-43页 |
| ·异常信息的建立 | 第43-45页 |
| ·信息优化和分析路径的构建 | 第45-46页 |
| ·函数指针的处理 | 第46-50页 |
| ·C程序中的函数指针 | 第46-47页 |
| ·C++程序中的函数指针 | 第47-50页 |
| ·虚函数的处理 | 第50-53页 |
| ·类型转换 | 第50-52页 |
| ·虚函数调用的解析 | 第52-53页 |
| ·模拟仿真算法 | 第53-57页 |
| ·本章小结 | 第57-59页 |
| 第五章 测试与验证 | 第59-69页 |
| ·测试环境 | 第59页 |
| ·测试内容 | 第59-68页 |
| ·C程序测试 | 第59-61页 |
| ·C++程序测试 | 第61-66页 |
| ·C/C++开源代码的测试 | 第66-68页 |
| ·本章小结 | 第68-69页 |
| 第六章 总结和展望 | 第69-73页 |
| ·本文总结 | 第69-70页 |
| ·本文的主要工作 | 第70页 |
| ·下一步工作计划和展望 | 第70-73页 |
| 参考文献 | 第73-77页 |
| 致谢 | 第77-79页 |
| 在读期间发表的学术论文与取得的研究成果 | 第79页 |