一个Java 编译优化框架,可以利用它实现Java 字节码程序的数据流分析和控制流分析。