面向C/C++程序函数调用关系的静态分析方法研究

声明

摘要

第一章 绪论

1．1 研究背景

1．2 国内外研究现状

1．3 论文的主要工作

1．4 论文的组织结构

第二章 技术背景

2．1 GCC编译器

2．2 GCC插件

2．3 C++的多态机制

2．4 C++类对象的内存分布

2．5 C++异常处理机制

2．6 本章小结

第三章 函数调用关系静态分析方法CR-CFG的设计

3．1 CR-CFG的框架设计

3．2 代码信息的静态提取

3．3 程序的模拟仿真

3．4 接口功能设计

3．5 本章小结

第四章 Linux平台下CR-CFG的实现

4．1 静态获取可执行文件依赖的文件列表

4．2 信息结构模型的建立

4．2．1 类型信息的结构模型

4．2．2 函数信息的结构模型

4．2．3 异常信息的建立

4．2．4 信息优化和分析路径的构建

4．3 函数指针的处理

4．3．1 C程序中的函数指针

4．3．2 C++程序中的函数指针

4．4 虚函数的处理

4．4．1 类型转换

4．4．2 虚函数调用的解析

4．5 模拟仿真算法

4．6 本章小结

第五章 测试与验证

5．1 测试环境

5．2 测试内容

5．2．1 C程序测试

5．2．2 C++程序测试

5．2．3 C／C++开源代码的测试

5．3 本章小结

第六章 总结和展望

6．1 本文总结

6．2 本文的主要工作

6．3 下一步工作计划和展望

参考文献

致谢

在读期间发表的学术论文与取得的研究成果