ESC/Java2

ESC/Java2 2.0 Beta 5

ESC / Java2のは、Javaの拡張静的チェッカーです。それは自動的に、静的、およびモジュール方式一般的なプログラミングエラーを検出します。 JMLで記述されます(オプション)アノテーションを持つJavaプログラムについてのESC / Java2の上の理由から このリリースの新機能:ます。...