我想在Soot中执行数据流分析。但我的分析的本质是,它将执行一次正向分析迭代,然后使用在正向分析中计算的数据流值执行一次反向分析迭代。这两次迭代变成了我的分析技术的一次迭代。
这在Soot中是可能的吗,因为它只提供前向、后向和前向分支流分析?
如果不是,那么我需要在Soot框架中做哪些更改。如果在JAVA中有其他可用于数据流分析的工具,那么有人可以告诉我吗?
提前谢谢你,
曼达尔
https://stackoverflow.com/questions/38202724
相似问题