本日がJavaOne Day Two（通算3日目）となります。 TUT2161: Preventing Errors Before They Happen 8:30-10:30 本セッションのスライド 型検査を強化するためCheker Frameworkを使うお話です。 Javaの型システムは弱いので、NullPointerException、UnsupportedOperationExceptionなどの実行時例外の発生、SQLインジェクションに対する脆弱性などのエラーを型チェックシステム（コンパ ...
↧