我想在Soot中执行数据流分析。但我的分析的本质是，它将执行前向分析的一次迭代，然后使用前向分析中计算的数据流值进行一次向后分析迭代。这两次迭代变成了我的分析技术的单次迭代。
这是否可以在Soot中进行，因为它只提供前向，后向和前向分支流量分析？
如果不是那么我需要在Soot框架中做些什么改变。如果在JAVA中有其他可用于数据流分析的工具，那么有人可以告诉我。
提前致谢，
Mandar
答案 0 :(得分：0)
是的，完全有可能。您可能想看看我们关于Boomerang的论文，看看如何实现这样的分析： http://www.bodden.de/research/publications/
FlowDroid也使用类似的实现方法，它可以在线获得： https://blogs.uni-paderborn.de/sse/tools/flowdroid/