有开源污染工具吗？

Question

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

由于

Answer 1

您可以尝试使用Checker Framework。

Answer 2

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

Eclipse和netbean也提供类似的功能，但效果不佳。 （当然是恕我直言）

Answer 3

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

有一个叫Indus。我从未使用它，我不知道它的状态。