我需要一个用于生成Java控制流的工具,但不是视觉绘图,类似于路径条件一样可以使用的东西。有人能提供吗?
为了备忘录,我发现最适合我的需求的是Soot。
http://www.sable.mcgill.ca/soot/
ASM库可以在JVM字节码级别上实现这一点。请参阅http://download.forge.objectweb.org/asm/asm4-guide.pdf中的方法分析和控制流分析(第121页)。
Atlas 是一款 Eclipse 插件,可实现程序分析。它具有可查询的图形数据库,其中包括控制流图(以及数据流和其他关系)。
也许这就是你正在寻找的 http://www.jboss.org/jbpm