java - オープンソースの汚染ツールはありますか？

Question

オープンソースの汚染ツールはありますか？私はJavaプロジェクトを分析しようとしていますが、それはJavaソースコードです。したがって、パラメータがどこでどの目的に使用されているかがわかります。たとえば、ifステートメントで使用されているのか、それとも別の変数に割り当てられているのかなどです。

ありがとう

Answer 1

CheckerFrameworkを使用してみることができます。

Answer 2

最新のJavaIDEは、そのような情報を提供します。IMHO、最高のものはIntelliJ IDEAですが、商用ライセンスの費用は約130ドルです（ソースコードが公開されているため、機能が何らかの形で削減された無料のコミュニティエディション、またはフルバージョンの30日間の無料トライアルがあります）

Eclipseとnetbeanも同様の機能を提供しますが、それほど優れていません。（もちろん私見）

Answer 3

任意の変数がどのように使用されているか、または変数にフィードされる値のソースを追跡する汎用ツールが必要な場合は、プログラムスライサーが必要です。（汚染は特殊なケースであり、通常はプログラム外のソースからの特定の入力のみをスライスしたい場合です）。

インダスと呼ばれるものがあります。私はそれを使ったことがなく、その状態もわかりません。