jbr*_*aud 5 java static-analysis
我正在寻找一个包含一些开箱即用的数据和Java程序的控件依赖分析的库/ API。这将是对给定程序的控制流图（CFG）的静态分析，以计算数据依赖性和控制依赖性。我想避免重新实现这些技术/算法（如果已经完成的话）。跨过程分析将是很棒的，但是我也可以使用同时进行跨过程分析的库。
任何建议将不胜感激。
编辑：我发现的一件事是jChord，但我还无法确定它是否确实具有我正在寻找的任何即用型功能，或者是否必须自己实现。
另一个可能性是joeq库，它似乎至少具有执行此操作所需的基础结构，但是文档（或缺少文档）使我很难说出它的实际功能。
我确信Eclipse在后台进行了大量数据流分析，但是我还没有看到任何公开的信息。任何人都知道Eclipse API有这样的东西吗？
| 归档时间： |
|
| 查看次数： |
1839 次 |
| 最近记录： |