Soot的Java程序控制流分析及图形化输出

Soot是一个Java编译优化框架,可以利用它实现Java字节码程序的数据流分析和控制流分析。在深入分析Soot控制流生成机制的基础上,详细叙述了利用Soot分析Java类的控制流并生成其控制流图的方法和过程,同时提出了将Soot生成的抽象的控制流图进行图形化输出的方法。

基于线索抽象语法树的程序依赖图自动生成算法

提出了一种基于线索抽象语法树的程序依赖图自动生成算法,将代码的抽象语法树自动转换成为DOT语言表征的标准程序依赖图.该算法一方面通过在抽象语法树上自动标注表示程序语句流向的线索边,构建线索抽象语法树;另一方面将线索抽象语法树转换为标准程序依赖图.实验结果表明:中间模型线索抽象语法树的建立,可以减少转换过程中遍历树的次数,有效降低自动生成程序依赖图的时间复杂度.