The Checker Framework

説明

Checker Framework は、Java の型システムを拡張します。これにより、ソフトウェア開発者は、null ポインター例外、意図しない副作用、SQL インジェクション、並行性エラー、誤った等価性テスト、およびテスト中または Java プログラムのフィールドで発生するその他の実行時エラーなどのエラーを検出して防止できます。チェッカー フレームワークには、バグを検出したり、バグがないことを確認したりするコンパイラ プラグイン (「チェッカー」) が含まれています。また、独自のコンパイラ プラグインを作成することもできます。