我想在 Soot 中执行数据流分析。但我的分析的本质是它将执行一次前向分析迭代，然后使用前向分析中计算的数据流值执行一次反向分析迭代。这两次迭代变成了我的分析技术的单次迭代。
这在 Soot 中是否可行，因为它仅提供前向、后向和前向分支流量分析？
如果不是，那么我需要在 Soot 框架中进行哪些更改。如果在 JAVA 中还有其他可用于数据流分析的工具，那么有人可以告诉我。
提前致谢，
曼达尔
1 回答
1
是的，这完全有可能。您可能想查看我们关于 Boomerang 的论文，了解如何实施此类分析：http: //www.bodden.de/research/publications/
FlowDroid 也使用类似的实现方法，可在线获取： https ://blogs.uni-paderborn.de/sse/tools/flowdroid/
于 2016-07-06T09:15:30.423 回答