问题标签 [wala]

我一直在研究程序切片。由于反向切片适用于控制流图 (CFG)，并且有很多工具可以生成 CFG，因此我很容易用 Java 实现了反向切片算法。

但是，在阅读一些文章时，我已经看到前向切片适用于系统依赖图 (SDG)，并且我发现WALA生成 SDG，但也实现了前向切片。

WALA 是一个非常大的项目，我有点迷失在它的代码和文档中。有没有关于如何使用WALA 的Java 正向切片的示例？或者至少我如何以点格式生成给定程序的 SDG，以便我也可以使用 Graphviz 将其可视化。

我需要为 Java 中的以下任务选择一个框架：

• 提取控制流图
• 过程间和过程内分析
• 数据流分析
• PDG
• 不同的源代码分析任务（如方法体提取、测试代码提取）

哪个框架适合我的任务？

我遇到了很多不同的工具，除了 wala、soot 以及 JavaParser、Spoon 等等。

我应该选择哪个框架？理想情况下，我想采用一种更易于使用的工具。此外，我的期望是，Java 工具的普及应该已经存在于所有这些任务中。还是我的理解有误？

如果有人请指点我不同的资源等，我将不胜感激。

当我使用 wala 构建调用图时。我发现invokeinterface 在调用图中没有任何成功节点。但是接口的Impl在分析范围内。我想要一个完整的调用图，包括调用接口的 impl。我怎么能做到这一点？

这是我构建调用图的代码：

如下图，invokeinterface没有succ节点 在此输入图片描述

我的理解是Soot对 ByteCode 进行程序分析。

但是，我有不完整或有点错误的代码，如下所示，其中方法的返回类型不正确：

Soot 是否能够对部分完整的代码或稍微有缺陷的代码进行程序分析？

我是 WALA 的新手。我正在尝试为 hdfs 切片一个 jar，但它与 hadoop 的其他部分相关，例如 hadoop commom。所以我想知道是否有任何方法可以切片几个罐子或切片一个以及切片语句，包括来自其他罐子的调用。

如果您对此有任何想法，非常感谢！