基于静态信息获取面向对象程序的动态信息

论文摘要

在面向对象的逆向工程中,现有设计抽取方法常常把静态分析和动态分析分开进行。本文则先进行静态分析,再在其静态抽取信息的基础上进行了动态分析。基本的步骤是1)用ANTLR 工具分析源代码,得到抽象语法树2)遍历抽象语法树,得到静态信息3)在源代码中加入有助于分析的源代码4)重新编译、运行5)结合静态信息分析输出的输出结果,得到动态信息。其中还对实例变量的别名进行了处理,以得到准确的类间关系和对象间关系。作者用JAVA 语言写了一个针对JAVA 程序的分析工具,并用一个实例说明了它的使用步骤。通过这些方法,说明了结合静态信息进行动态分析来抽取设计信息至少对于小规模的程序是可行的,同时也说明综合了静态分析和动态分析的分析方法可以获得对程序的全面理解。

论文目录

• 引言
• 第一章 介绍
• 1.1 问题的提出
• 1.2 相关工作
• 1.3 本文的工作
• 第二章 Java 程序的静态分析
• 2.1 语言识别工具（ANTLR）
• 2.2 定位机制
• 2.3 由抽象语法树到静态信息
• 第三章 静态信息和动态信息的数据结构
• 3.1 源程序静态分析的结果
• 3.2 挂接点（Anchor Point）
• 3.3 挂接点和动态信息结构
• 3.4 对象的引用与程序理解
• 3.5 与实例变量相关的信息结构
• 3.6 容器对象的处理
• 3.7 程序的分支和循环的控制条件及方法返回语句
• 第四章 Java 程序的源代码扩展及监测结果
• 4.1 环境参数的配置
• 4.2 针对消息的源代码扩展
• 4.3 针对实例变量的源代码扩展
• 4.4 监测代码的执行及结果
• 4.5 一个咖啡加热器程序实例
• 第五章 扩展后代码监测结果的分析方法
• 5.1 消息
• 5.2 与程序分析相关的数据结构
• 5.3 跟踪信息分析算法
• 5.4 消息的发送者和接收者的确认
• 5.5 实例对象的识别
• 5.6 消息的裁剪
• 5.7 动态视图和UML
• 第六章 实例研究
• 6.1 Extractor 工具
• 6.2 实现环境:
• 6.3 待分析软件----咖啡加热器
• 结论
• 参考文献
• 摘要
• Abstract
• 致谢
• 导师及作者简介