我一直在研究程序切片。由于反向切片适用于控制流图 (CFG)，并且有很多工具可以生成 CFG，因此我很容易用 Java 实现了反向切片算法。
但是，在阅读一些文章时，我已经看到前向切片适用于系统依赖图 (SDG)，并且我发现WALA生成 SDG，但也实现了前向切片。
WALA 是一个非常大的项目，我有点迷失在它的代码和文档中。有没有关于如何使用WALA 的Java 正向切片的示例？或者至少我如何以点格式生成给定程序的 SDG，以便我也可以使用 Graphviz 将其可视化。
问问题
316 次
1 回答
-2
WALA 的用户指南可能对您有所帮助。在其示例中，您可以将computeBackwardSlice方法更改computeForwardSlice为实现前向切片的方法。
Wala已经实现了be jars，你可以去下载以下四个jars来调用它们的方法。
com.ibm.wala.core
com.ibm.wala.cast
com.ibm.wala.shrike
com.ibm.wala.util
于 2019-08-20T08:23:14.987 回答