Jlint

Jlintは、Javaコードをチェックし、データフロー解析を行うと、ロックグラフを構築することにより、バグ、矛盾や同期の問題があります。 Jlintは、Javaクラスファイルから情報を抽出し、Cコンパイラによって検出されない危険なプログラマのバグを引き起こす可能性があり、文法、およびセマンティック検証Jlint、との問題を修正、首をかしげたくなるで構成されています。 Jlintは、ローカル変数の可能な値を計算し、冗長性と不審な計算を引く、ローカルおよびグローバルデータフロー解析を実行します。デッドロックを除き、Jlintは異なるスレッドが同時に同じ変数にアクセスできる場合、可能な競合状態の問題を検出することができます。

Jlintは、メッセージレポートへのスマートなアプローチを使用しています。すべてのメッセージは、カテゴリに分類され、それが報告特定のカテゴリのメッセージだけでなく、具体的なメッセージを有効または無効にすることが可能です。 Jlintは、報告されたメッセージを覚えていることができますし、Jlint二回目の実行時に再びそれらを報告しません。