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

Question

我想从Java Bytecode生成程序依赖图(PDG)以进行进一步的程序分析.由于这是旧的(论文来自'87)和可能是众所周知的技术,我认为适当的工具将很容易获得 - 但我无法找到它们.

事实上,广泛的搜索只出现了一些结果:

• Bandera项目于2006年被废弃.
• 印度河项目自2007年以来似乎没有得到任何努力,除了它在2009年成为开放源代码.
• Moose JEE项目似乎很新,因为基本上没有任何文档.
• 还有Soot框架,它提供了一些类(参见JavaDoc),但似乎缺少一代的实现.事实上,Soot是Bandera和Indus的基础.

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

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

Answer 1

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

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