<分区>
我想从 Java 字节码生成程序依赖图 (PDG) 以进行进一步的程序分析。由于这是旧技术(paper 来自 87 年)并且可能是众所周知的技术,我认为合适的工具很容易获得——但是我找不到它们。
事实上,广泛的搜索只找到了几个结果:
- The Bandera project 2006 年被废弃。
- The Indus project自 2007 年以来似乎没有得到任何努力,除了它在 2009 年被开源。
- The Moose JEE Project这似乎很新,因为基本上没有任何文档。
- 和 Soot框架,它提供了一些类(参见 JavaDoc )但似乎缺少生成的实现。事实上,Soot 是 Bandera 和 Indus 的基础。
所以我的问题如下:是否有任何有效的和维护的实现?有没有人有上述项目之一的经验?你会推荐什么?
非常感谢您的输入,非常感谢!