ソフトウェアのスクリーンショット:
ESC / Java2のフロントエンドプロジェクトには、Java 1.4のソースコードと拡張静的チェックのために使用することができる抽象構文木へのJava 1.5のバイトコードを解析します。
Javaバージョン2の拡張静的チェッカー（ESC / Java2の）は、プログラムコードの静的解析とその正式な注釈によってJML-注釈付きJavaプログラムで一般的な実行時エラーを発見しようとするプログラミングツールです。ユーザーは、ESC / Java2のは、プラグマと呼ばれる特別な形式のコメントで自分のプログラムに注釈を付けることによって行うことを確認の量と種類を制御することができます。
ESC / Java2のは、2つの形式で提供されています：
コメントが見つかりません