11

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

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

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

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

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

4

1 回答 1

6

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

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

于 2011-02-24T22:27:43.787 回答