java - 有开源污染工具吗？

Question

有开源污染工具吗？我正在尝试分析一个 Java 项目，它是 Java 源代码。因此，我可以看到参数的用途和用途。例如，它是在 if 语句中使用还是分配给另一个变量等。

谢谢

Answer 1

您可以尝试使用Checker Framework。

Answer 2

现代 java IDE 提供了这样的信息。恕我直言，最好的是 IntelliJ IDEA，但商业许可证将花费您大约 130 美元（有免费的社区版，在发布源代码时会以某种方式减少功能，或 30 天免费试用完整版）

Eclipse 和 netbean 也提供类似的功能，但没有那么好。（当然恕我直言）

Answer 3

如果您想要一个通用工具来跟踪任意变量的使用方式，或者输入变量的值的来源，您需要的是程序切片器。（污染是一种特殊情况，人们只想对某些输入进行切片，通常来自程序外部的源）。

有一种叫梧桐。我没用过，也不知道它的状态。