The Checker Framework 1.6.4
チェッカー·フレームワークは、Javaの型システムを強化します。これは、ソフトウェア開発者が検出し、nullポインタ例外が、意図しない副作用が、SQLインジェクション、同時実行エラー、誤った平等·テスト、およびそれらのJavaプログラムでテスト中か、フィールドに表示され、他の実行時エラーのようなエラーを防ぐことができます。チェッカーフレームワークは、コンパイラプラグインのバグを見つけたり、存在しないことを確認する（「チェッカー」）を含む。それはまた、独自のコンパイラプラグインを書くことを許可します。...