【问题标题】:Combined Forward and Backward analysis in soot煤烟中的组合前向和后向分析
【发布时间】:2016-07-05 11:50:00
【问题描述】:

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

这在 Soot 中是否可行,因为它仅提供前向、后向和前向分支流分析?

如果不是,那么我需要在 Soot 框架中进行哪些更改。如果还有其他工具可用于 JAVA 中的数据流分析,那么有人可以告诉我。

提前致谢,

曼达

【问题讨论】:

    标签: java compiler-construction soot


    【解决方案1】:

    是的,这完全有可能。你可能想看看我们关于 Boomerang 的论文,看看如何实现这样的分析: http://www.bodden.de/research/publications/

    FlowDroid 也使用类似的实现方法,并且可以在线获得: https://blogs.uni-paderborn.de/sse/tools/flowdroid/

    【讨论】:

      猜你喜欢
      • 1970-01-01
      • 2017-08-25
      • 2023-03-25
      • 2019-08-10
      • 2019-03-05
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      相关资源
      最近更新 更多