Java 烟尘的正反向联合分析

我想在烟尘中执行数据流分析。但我的分析的本质是，它将使用在正向分析中计算的数据流值执行一次正向分析迭代，然后执行一次反向分析迭代。这两个迭代变成了我分析技术的单个迭代

这在烟尘中是否可能，因为它仅提供正向、反向和正向分支流量分析

若不是这样，那个么我需要在框架中做什么更改。如果JAVA中还有其他可用的数据流分析工具，那么有人能告诉我吗

提前感谢,

---

曼达是的，这是完全可能的。你可能想看看我们关于回力棒的论文，看看如何实施这样的分析：

FlowDroid也使用类似的实现方法，可在线获取：