问如何使用WALA进行前向切片
EN

Stack Overflow用户

提问于 2019-01-31 11:52:26

回答 1查看 358关注 0票数 3

我做程序切片已经有一段时间了。由于这种后向切片工作在控制流图(CFG)上，并且有很多生成CFG的工具，所以我很容易地用Java实现了反向切片算法。

然而，正如读过一些文章一样，我看到了前向切片在系统依赖图上的工作，我发现瓦拉生成SDG，但也实现了转发切片。

WALA是一个非常大的项目，我有点迷失在它的代码和文档中。有任何例子说明我如何使用瓦拉前切法 for Java吗？或者至少我可以用点格式生成给定程序的SDG，这样我也可以用Graphviz来可视化它。

发布于 2019-08-20 08:23:14

WALA用户指南可能对你有帮助。在其示例中，可以将computeBackwardSlice方法更改为computeForwardSlice方法以实现前向切片。

Wala已经实现为jars，您可以下载以下四个jars来调用它们的方法。com.ibm.wala.core com.ibm.wala.cast com.ibm.wala.shrike com.ibm.wala.util

票数 -2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/54459998

复制

相似问题

问如何使用WALA进行前向切片EN