基于开放编译的C++程序静态分析机制

论文摘要

随着软件系统的日益复杂,软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上。逆向工程是一种辅助程序理解的重要手段,是软件工程的一个重要分支,它通过抽取程序的静态信息和动态信息来抽象其高层表示,辅助程序理解。本文介绍了软件逆向工程的基本原理及研究现状,深入分析了基于反射技术的开放编译器OpenC++。通过修改源代码、扩充MOP接口,成功地把OpenC++改造成为程序分析工具。通过该工具对目标系统进行深入的静态分析获得的信息不仅可以用来恢复系统的静态模型,也可以用来直接恢复出符合UML2.0标准的序列图和辅助对目标系统的植入。论文中提出的所有方法、算法均已在XDRE（XiDian Reverse Engineering,西电逆向工程）工具中实现。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 逆向工程
• 1.1.1 逆向工程的重要性
• 1.1.2 逆向工程研究方法和目标
• 1.1.3 国内外逆向工具现状
• 1.2 项目背景
• 1.3 项目工作介绍
• 1.3.1 项目工作简介
• 1.3.2 项目工作进展
• 1.4 本文工作及论文结构
• 第二章 相关理论与技术
• 2.1 反射技术
• 2.1.1 反射概念
• 2.1.2 反射原理
• 2.1.3 反射模型
• 2.2 开放编译器OpenC++
• 2.2.1 OpenC++简介
• 2.2.2 OpenC++的工作原理
• 2.2.3 OpenC++对静态解析的支持
• 2.2.4 OpenC++ MOP分析
• 2.3 UML 2.0
• 2.3.1 UML概述
• 2.3.2 UML2.0 中序列图的改进
• 第三章 类信息的抽取方法
• 3.1 对OpenC++的扩展策略
• 3.2 类信息的抽取
• 3.2.1 正确的区分结构、联合、类和模板
• 3.2.2 OpenC++中与类信息提取相关的接口
• 3.2.3 获取属性和方法返回值的类型
• 3.2.4 为类信息的分层抽象提供支持
• 3.3 类信息的存储
• 3.4 实例分析
• 3.4.1 测试用例
• 3.4.2 结果分析
• 3.5 本章小结
• 第四章 序列图信息的抽取方法
• 4.1 传统序列图恢复方法
• 4.2 UML2.0 序列图相关概念
• 4.2.1 序列图的主要构成要素
• 4.2.2 框架元件（Frame Element）
• 4.2.3 组合碎片（Combined Fragment）
• 4.3 对OpenC++的扩展策略
• 4.4 静态分析抽取序列图信息
• 4.4.1 抽取序列图信息的算法
• 4.4.2 对动态方式的支持
• 4.4.3 静态程序依赖图的定义
• 4.4.4 静态程序依赖图信息的获取
• 4.5 实例分析
• 4.5.1 测试用例
• 4.5.2 结果分析
• 4.6 本章小结
• 第五章 总结与展望
• 致谢
• 参考文献
• 在读期间发表论文