是否存在任何用于数据/控制依赖的开源Java分析库?
发布时间:2020-12-14 04:52:15 所属栏目:百科 来源:网络整理
导读:我正在寻找一个库/ API,它有一些开箱即用的数据和 Java程序的控制依赖性分析.这将是给定程序的控制流图(CFG)的静态分析,以计算数据依赖性和控制依赖性.我想避免重新实现这些技术/算法,如果它们已经完成的话.程序间分析会很棒,但我也可以使用一个程序内部的程
我正在寻找一个库/ API,它有一些开箱即用的数据和
Java程序的控制依赖性分析.这将是给定程序的控制流图(CFG)的静态分析,以计算数据依赖性和控制依赖性.我想避免重新实现这些技术/算法,如果它们已经完成的话.程序间分析会很棒,但我也可以使用一个程序内部的程序库.
任何建议将不胜感激. 编辑:我发现的一件事是jChord,但我还没能确定它是否真的具有我正在寻找的任何开箱即用的功能,或者我是否必须自己实现它. 另一种可能性是joeq库似乎至少具有执行此操作所必需的基础结构,但是文档(或缺少文档)使我难以分辨它实际上能够实现的功能. 我确信Eclipse会在幕后进行大量的数据流分析,但我还没有看到任何面向公众的内容.有人知道Eclipse API有这样的东西吗? 解决方法
试试
http://www.sable.mcgill.ca/soot/
(编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |