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

Question

我想从Java字节码生成程序依赖图（PDG）以进行进一步的程序分析。由于这是旧的（paper来自'87）并且可能是众所周知的技术，我认为适当的工具很容易获得 - 但是我无法找到它们。

事实上，广泛的搜索仅出现了一些结果：

• The Bandera project于2006年被废弃。
• The Indus project自2007年以来似乎没有得到任何努力，除了它在2009年成为开源。
• The Moose JEE Project这似乎很新，因为基本上没有任何文档。
• Soot框架，它提供了一些类（参见JavaDoc），但似乎缺少一代的实现。事实上，Soot是Bandera和Indus的基础。

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

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

Answer 1

我建议您查看WALA，这是一个从java字节代码文件中提取SSA表示的系统。

我没有这方面的经验，但已经审查了许多似乎经过深思熟虑的软件工程技术论文，并且使用WALA作为他们研究的基础。