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

【文件属性】：

文件名称：Soot的Java程序控制流分析及图形化输出

文件大小：632KB

文件格式：PDF

更新时间：2013-07-04 14:57:31

java Soot 控制流分析 DOT语言 图形化输出

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