<分区>
我正在寻找一个库/API,它具有一些针对 Java 程序的开箱即用数据和控制依赖性分析。这将是对给定程序的控制流图 (CFG) 的静态分析,以计算数据依赖性和控制依赖性。如果已经完成,我想避免重新实现这些技术/算法。过程间分析会很棒,但我也可以使用进行过程内分析的库。
如有任何建议,我们将不胜感激。
编辑: 我发现的一件事是 jChord ,但我还不能确定它是否真的具有我正在寻找的任何开箱即用的功能,或者我是否必须自己实现它。
另一种可能性是 joeq 库似乎至少具有执行此操作所需的基础结构,但文档(或缺少文档)让我很难说出它实际能够做什么。
我确信 Eclipse 在后台进行了大量的数据流分析,但我还没有看到任何面向公众的东西。有人知道 Eclipse API 有这样的东西吗?