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

Question

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

事实上，广泛的搜索只出现了几个结果：

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

所以我的问题是：那里有没有活的和维护的实现？有人在上述任何一个项目中都有经验吗？你会推荐什么？

已经感谢您的意见，非常感谢！

Answer 1

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

我没有这方面的经验，但看过一些似乎经过深思熟虑的软件工程技术论文，并且显然使用 WALA 作为他们研究的基础。