如何从Java中的字节码生成程序依赖图(PDG)

我想从 Java字节码生成程序依赖图(PDG),用于进一步的程序化分析.既然这是旧的( paper是从’87),并且大概是知名的技术,我认为适当的工具将会随时可用 – 但是我无法找到它们.

事实上,广泛的搜索只是几个结果：

> The Bandera project,于2006年被放弃.
> The Indus project,自2007年以来似乎没有收到任何努力,除了在2009年被开发.
> The Moose JEE Project似乎是相当新的,因为基本上没有任何文件.
>而Soot框架提供了一些类(见JavaDoc),但似乎缺少一代的实现.事实上,烟灰是Bandera和Indus的基础.

所以我的问题如下：有没有活着和维护的实施？有人有任何一个上述项目的经验吗？你会推荐什么

感谢您的投入,非常感谢！

解决方法

我建议您查看 WALA,一个从java字节码文件中提取SSA表示的系统.

我没有经验,但已经审查了一些似乎很好的软件工程技术论文,并且将wala作为研究的基础.