Coverity_CWE-for-Java_JPN.indd

Transcription

1 Coverity Coverage for Common Weakness Enumeration (CWE): Java Coverity Software Testing Platform version 7.5 および CWE version CONFIG サーブレット 名 が 重 複 低 インパクトセキュリティ 7 CONFIG グローバルな 例 外 ハンドラの 欠 如 低 インパクトセキュリティ 22 JSP_DYNAMIC_INCLUDE JSP の 動 的 な 包 含 中 インパクトセキュリティ PATH_MANIPULATION ファイルパスまたは 名 前 の 改 竄 高 インパクトセキュリティ 23 FB.PT_RELATIVE_PATH_TRAVERSAL PT:パス 検 証 FindBugs:セキュリティ 36 FB.PT_ABSOLUTE_PATH_TRAVERSAL PT:パス 検 証 FindBugs:セキュリティ 73 UNRESTRICTED_DISPATCH 制 限 のないディスパッチ 中 インパクトセキュリティ 77 OS_CMD_INJECTION OS コマンドインジェクション 高 インパクトセキュリティ 78 OS_CMD_INJECTION OS コマンドインジェクション 高 インパクトセキュリティ 79 FB.XSS_REQUEST_PARAMETER_TO_ JSP_WRITER FB.XSS_REQUEST_PARAMETER_TO_ SERVLET_WRITER XSS:クロスサイトスクリプティングの 脆 弱 性 XSS:クロスサイトスクリプティングの 脆 弱 性 FindBugs:セキュリティ XSS クロスサイトスクリプティング 高 インパクトセキュリティ 80 XSS クロスサイトスクリプティング 高 インパクトセキュリティ 81 FB.XSS_REQUEST_PARAMETER_TO_ SEND_ERROR XSS:クロスサイトスクリプティングの 脆 弱 性 FindBugs:セキュリティ 82 XSS クロスサイトスクリプティング 高 インパクトセキュリティ 83 XSS クロスサイトスクリプティング 高 インパクトセキュリティ 84 XSS クロスサイトスクリプティング 高 インパクトセキュリティ 86 XSS クロスサイトスクリプティング 高 インパクトセキュリティ 87 XSS クロスサイトスクリプティング 高 インパクトセキュリティ 88 OS_CMD_INJECTION OS コマンドインジェクション 高 インパクトセキュリティ FB.SQL_NONCONSTANT_STRING_ PASSED_TO_EXECUTE SQL: 潜 在 的 な SQL の 89 FB.SQL_PREPARED_STATEMENT_ GENERATED_FROM_NONCONSTANT_ STRING JSP_SQL_INJECTION SQL: 潜 在 的 な SQL の JSP SQL タグインジェクション FindBugs:セキュリティ 高 インパクトセキュリティ SQLI SQL インジェクション 中 インパクトセキュリティ

2 90 LDAP_INJECTION LDAP インジェクション 高 インパクトセキュリティ JAVA_CODE_INJECTION Java バイトコードの 動 的 インジェクション 高 インパクトセキュリティ JCR_INJECTION NOSQL_QUERY_INJECTION Java コンテントレポジトリインジェクション 非 SQL クエリインジェクション 中 インパクトセキュリティ 94 OGNL_INJECTION OGNL インジェクション 高 インパクトセキュリティ REGEX_INJECTION 正 規 表 現 インジェクション 低 インパクトセキュリティ SCRIPT_CODE_INJECTION スクリプトコードインジェクション 高 インパクトセキュリティ UNKNOWN_LANGUAGE_INJECTION 不 明 な 言 語 のインジェクション 低 インパクトセキュリティ XPATH_INJECTION XML Path (XPath) 言 語 インジェクション 中 インパクトセキュリティ 111 UNSAFE_JNI 安 全 でないダイナミックライブラリのロード 中 インパクトセキュリティ 113 FB.HRS_REQUEST_PARAMETER_TO_ COOKIE FB.HRS_REQUEST_PARAMETER_TO_ HTTP_HEADER HRS:HTTP レスポンス 分 割 の 脆 弱 性 FindBugs:セキュリティ 171 BAD_EQ (Removed in 6.0) 異 なるタイプの 等 価 チェック 不 正 な 記 述 FB.RE_BAD_SYNTAX_FOR_REGULAR_ EXPRESSION 185 FB.RE_CANT_USE_FILE_SEPARATOR_ AS_REGULAR_EXPRESSION FB.RE_POSSIBLE_UNINTENDED_ PATTERN RE: 正 規 表 現 REGEX_CONFUSION 意 図 していない 正 規 表 現 API の 誤 使 用 190 OVERFLOW_BEFORE_WIDEN 意 図 しない 整 数 オーバーフロー 不 適 切 な 整 数 処 理 FB.BX_BOXING_IMMEDIATELY_ UNBOXED_TO_PERFORM_COERCION Bx: 疑 わしいプリミティブ 値 のボクシング FB.ICAST_BAD_SHIFT_AMOUNT BSHIFT: 間 違 ったシフト FB.ICAST_IDIV_CAST_TO_DOUBLE 192 FB.ICAST_INTEGER_MULTIPLY_CAST_ TO_LONG FB.ICAST_INT_2_LONG_AS_INSTANT ICAST: 整 数 値 からのキャスト FB.ICAST_INT_CAST_TO_DOUBLE_ PASSED_TO_CEIL FB.ICAST_INT_CAST_TO_FLOAT_ PASSED_TO_ROUND FB.ICAST_QUESTIONABLE_UNSIGNED_ RIGHT_SHIFT BSHIFT: 間 違 ったシフト 200 CONFIG セッションクッキー 内 の HttpOnly の 欠 如 低 インパクトセキュリティ

3 FB.EI_EXPOSE_STATIC_REP2 FB.MS_CANNOT_BE_FINAL FB.MS_EXPOSE_REP FB.MS_FINAL_PKGPROTECT FB.MS_MUTABLE_ARRAY 218 FB.MS_MUTABLE_HASHTABLE MS: 可 変 static フィールド FindBugs: 悪 意 あるコード 脆 弱 性 FB.MS_OOI_PKGPROTECT FB.MS_PKGPROTECT FB.MS_SHOULD_BE_FINAL FB.MS_SHOULD_BE_REFACTORED_ TO_BE_FINAL 227 FB.AM_CREATES_EMPTY_JAR_ FILE_ENTRY FB.AM_CREATES_EMPTY_ZIP_ FILE_ENTRY AM:API の 誤 用 読 込 みバイト 数 の 無 視 252 CHECKED_RETURN 戻 り 値 が 未 確 認 ライブラリからの 戻 り 値 が 未 確 認 ユーザコードからの 戻 り 値 が 未 確 認 エラーハンドリングの 253 FB.RV_RETURN_VALUE_IGNORED_ BAD_PRACTICE RV: 戻 り 値 の 誤 った 使 用 ORM_LOAD_NULL_CHECK ORM の 誤 った 使 用 API の 誤 使 用 259 FB.DMI_CONSTANT_DB_PASSWORD FB.DMI_EMPTY_DB_PASSWORD Dm: 疑 わしいメソッドの 使 用 FindBugs:セキュリティ HARDCODED_CREDENTIALS ハードコードされたパスワードの 使 用 中 インパクトセキュリティ 274 HARDCODED_CREDENTIALS ハードコードされたパスワードの 使 用 中 インパクトセキュリティ 321 HARDCODED_CREDENTIALS ハードコードされたパスワードの 使 用 中 インパクトセキュリティ 327 RISKY_CRYPTO 危 険 な 暗 号 アルゴリズムの 使 用 中 インパクトセキュリティ 328 RISKY_CRYPTO 危 険 な 暗 号 ハッシュアルゴリズムの 使 用 中 インパクトセキュリティ 352 CSRF クロスサイトリクエストフォージェリ 高 インパクトセキュリティ 中 インパクトセキュリティ FB.IS2_INCONSISTENT_SYNC 366 FB.IS_FIELD_NOT_GUARDED FB.IS_INCONSISTENT_SYNC IS: 一 貫 性 のない 同 期 FB.STCAL_INVOKE_ON_STATIC_ CALENDAR_INSTANCE STCAL:Static な Calendar DataFormat の 使 用

4 FB.STCAL_INVOKE_ON_STATIC_DATE_ FORMAT_INSTANCE FB.STCAL_STATIC_CALENDAR_ INSTANCE FB.STCAL_STATIC_SIMPLE_DATE_ FORMAT_INSTANCE STCAL:Static な Calendar DataFormat の 使 用 366 GUARDED_BY_VIOLATION データに 対 する 競 合 状 態 ガードされていない 参 照 ガードなしの 参 照 データへの 同 時 アクセス 違 反 INDIRECT_GUARDED_BY_VIOLATION NON_STATIC_GUARDING_STATIC VOLATILE_ATOMICITY 369 DIVIDE_BY_ZERO データに 対 する 競 合 状 態 アトミックではない 揮 発 性 フィールドの 更 新 浮 動 小 数 点 のゼロによる 除 算 または 剰 余 算 ゼロによる 除 算 または 剰 余 算 不 適 切 な 記 述 Integer handling issues 374 FB.EI_EXPOSE_REP FB.EI_EXPOSE_REP2 EI: 内 部 表 現 の 暴 露 EI2: 可 変 オブジェクトへの 参 照 の 格 納 FindBugs: 悪 意 あるコード 脆 弱 性 382 DC.CODING_STYLE (バージョン 6.0 で Findbugs に 置 き 換 え) System.exit() または 類 似 メソッドの 使 用 API の 誤 使 用 FB.DM_EXIT Dm: 疑 わしいメソッドの 使 用 384 CONFIG SESSION_FIXATION Spring Security セッション 固 定 攻 撃 セッション 固 定 攻 撃 中 インパクトセキュリティ 390 MISSING_THROW Exception not thrown API usage errors 391 FB.DE_MIGHT_DROP FB.DE_MIGHT_IGNORE DE: 捨 てられたか 無 視 された 例 外 396 FB.REC_CATCH_EXCEPTION REC:RuntimeException のキャッチ BAD_OVERRIDE メソッドのオーバーライド 失 敗 クラス 階 層 の 一 貫 性 欠 如 COPY_PASTE_ERROR コピーペーストエラー 不 適 切 な 記 述 DC.EXPLICIT_DEPRECATION DC.GC 非 推 奨 メソッドの 呼 び 出 し 明 示 的 なガベージコレクション コードメンテナンス 性 の 劣 化 異 なる 分 岐 に 対 する 同 一 コード 398 IDENTICAL_BRANCHES 異 なる else-if 分 岐 に 対 する 同 一 コード 異 なる case に 対 する 同 一 コード 不 適 切 な 記 述 MUTABLE_COMPARISON MUTABLE_HASHCODE 不 確 定 な 比 較 不 確 定 な GetHashCode コードメンテナンス 性 の 劣 化 PW.* 構 文 解 析 時 の 警 告 構 文 解 析 時 の 警 告 STRAY_SEMICOLON 彷 徨 うセミコロン 不 適 切 な 制 御 フロー STRING_CONCAT ループ 内 の 文 字 凍 結 パフォーマンスの 劣 化

5 398 UNCALLED コールされないメソッド コードメンテナンス 性 の 劣 化 UNMODIFIABLE_COLLECTION 変 更 不 可 のコレクションエラー API の 誤 使 用 403 RESOURCE_LEAK ソケットのリーク リソースリーク ITERATOR 範 囲 外 のイテレータ API の 誤 使 用 404 RESOURCE_LEAK 例 外 パス 上 のリソースリーク リソースリーク Stream のリーク 例 外 時 のリソースリーク リソースリーク 425 CONFIG Facelet セキュリティ 制 約 の 欠 如 低 インパクトセキュリティ 427 UNSAFE_JNI 安 全 でない 動 的 ライブラリのロード 中 インパクトセキュリティ FB.DMI_ANNOTATION_IS_NOT_VISIBLE_ TO_REFLECTION FB.DMI_ARGUMENTS_WRONG_ORDER Dm: 疑 わしいメソッドの 使 用 FB.DMI_BAD_MONTH FB.DMI_BIGDECIMAL_CONSTRUCTED_ FROM_DOUBLE DMI: 疑 わしいメソッドの 呼 び 出 し FB.DMI_BLOCKING_METHODS_ON_URL Dm: 疑 わしいメソッドの 使 用 FB.DMI_CALLING_NEXT_FROM_ HASNEXT FB.DMI_COLLECTIONS_SHOULD_NOT_ CONTAIN_THEMSELVES DMI: 疑 わしいメソッドの 呼 び 出 し FB.DMI_COLLECTION_OF_URLS Dm: 疑 わしいメソッドの 使 用 FB.DMI_DOH FB.DMI_ENTRY_SETS_MAY_REUSE_ ENTRY_OBJECTS DMI: 疑 わしいメソッドの 呼 び 出 し 440 FB.DMI_FUTILE_ATTEMPT_TO_CHANGE_ MAXPOOL_SIZE_OF_SCHEDULED_ THREAD_POOL_EXECUTOR Dm: 疑 わしいメソッドの 使 用 FB.DMI_HARDCODED_ABSOLUTE_ FILENAME FB.DMI_INVOKING_HASHCODE_ON_ ARRAY DMI: 疑 わしいメソッドの 呼 び 出 し FB.DMI_INVOKING_TOSTRING_ON_ ANONYMOUS_ARRAY FB.DMI_INVOKING_TOSTRING_ON_ ARRAY USELESS_STRING: 役 に 立 たない/ 無 益 な 文 字 列 生 成 FB.DMI_LONG_BITS_TO_DOUBLE_ INVOKED_ON_INT FB.DMI_NONSERIALIZABLE_OBJECT_ WRITTEN DMI: 疑 わしいメソッドの 呼 び 出 し FB.DMI_RANDOM_USED_ONLY_ONCE FB.DMI_SCHEDULED_THREAD_POOL_ EXECUTOR_WITH_ZERO_CORE_ THREADS Dm: 疑 わしいメソッドの 使 用

6 FB.DMI_THREAD_PASSED_WHERE_ RUNNABLE_EXPECTED FB.DMI_UNSUPPORTED_METHOD FB.DMI_USELESS_SUBSTRING FB.DMI_USING_REMOVEALL_TO_CLEAR_ COLLECTION FB.DMI_VACUOUS_CALL_TO_ EASYMOCK_METHOD FB.DMI_VACUOUS_SELF_COLLECTION_ CALL FB.RV_01_TO_INT FB.RV_ABSOLUTE_VALUE_OF_ HASHCODE FB.RV_ABSOLUTE_VALUE_OF_RANDOM_ INT Dm: 疑 わしいメソッドの 使 用 DMI: 疑 わしいメソッドの 呼 び 出 し Dm: 疑 わしいメソッドの 使 用 DMI: 疑 わしいメソッドの 呼 び 出 し 440 FB.RV_CHECK_COMPARETO_FOR_ SPECIFIC_RETURN_VALUE FB.RV_CHECK_FOR_POSITIVE_INDEXOF FB.RV_DONT_JUST_NULL_CHECK_ READLINE FB.RV_EXCEPTION_NOT_THROWN FB.RV_NEGATING_RESULT_OF_ COMPARETO FB.RV_REM_OF_HASHCODE FB.RV_REM_OF_RANDOM_INT FB.RV_RETURN_VALUE_IGNORED FB.RV_RETURN_VALUE_IGNORED2 FB.RV_RETURN_VALUE_IGNORED_ INFERRED FB.RV_RETURN_VALUE_OF_ PUTIFABSENT_IGNORED RV: 戻 り 値 の 誤 った 使 用 470 UNSAFE_REFLECTION 安 全 でないリフレクション 低 インパクトセキュリティ FB.BC_NULL_INSTANCEOF FB.NP_ALWAYS_NULL FB.NP_ALWAYS_NULL_EXCEPTION FB.NP_ARGUMENT_MIGHT_BE_NULL 476 FB.NP_BOOLEAN_RETURN_NULL FB.NP_CLONE_COULD_RETURN_NULL NP:null ポインタの 間 接 参 照 FB.NP_CLOSING_NULL FB.NP_DEREFERENCE_OF_ READLINE_VALUE

7 FB.NP_DOES_NOT_HANDLE_NULL FB.NP_EQUALS_SHOULD_HANDLE_ NULL_ARGUMENT FB.NP_FIELD_NOT_INITIALIZED_IN_ CONSTRUCTOR FB.NP_GUARANTEED_DEREF FB.NP_GUARANTEED_DEREF_ON_ EXCEPTION_PATH FB.NP_IMMEDIATE_DEREFERENCE_OF_ READLINE FB.NP_LOAD_OF_KNOWN_NULL_VALUE FB.NP_METHOD_PARAMETER_ RELAXING_ANNOTATION FB.NP_METHOD_PARAMETER_ TIGHTENS_ANNOTATION FB.NP_METHOD_RETURN_ RELAXING_ANNOTATION FB.NP_NONNULL_FIELD_NOT_ INITIALIZED_IN_CONSTRUCTOR FB.NP_NONNULL_PARAM_VIOLATION 476 FB.NP_NONNULL_RETURN_VIOLATION FB.NP_NULL_INSTANCEOF FB.NP_NULL_ON_SOME_PATH NP:null ポインタの 間 接 参 照 FB.NP_NULL_ON_SOME_PATH_ EXCEPTION FB.NP_NULL_ON_SOME_PATH_FROM_ RETURN_VALUE FB.NP_NULL_ON_SOME_PATH_MIGHT_ BE_INFEASIBLE FB.NP_NULL_PARAM_DEREF FB.NP_NULL_PARAM_DEREF_ALL_ TARGETS_DANGEROUS FB.NP_NULL_PARAM_DEREF_ NONVIRTUAL FB.NP_OPTIONAL_RETURN_NULL FB.NP_UNWRITTEN_PUBLIC_OR_ PROTECTED_FIELD FB.NP_PARAMETER_MUST_BE_ NONNULL_BUT_MARKED_AS_NULLABLE FB.NP_STORE_INTO_NONNULL_FIELD FB.NP_TOSTRING_COULD_RETURN_ NULL FB.NP_UNWRITTEN_FIELD FB.NP_UNWRITTEN_PUBLIC_OR_ PROTECTED_FIELD

8 FB.RCN_REDUNDANT_COMPARISON_ OF_NULL_AND_NONNULL_VALUE FB.RCN_REDUNDANT_COMPARISON_ TWO_NULL_VALUES FB.RCN_REDUNDANT_NULLCHECK_OF_ NONNULL_VALUE FB.RCN_REDUNDANT_NULLCHECK_OF_ NULL_VALUE RCN:null に 対 する 冗 長 な 比 較 476 FB.RCN_REDUNDANT_NULLCHECK_ WOULD_HAVE_BEEN_A_NPE null ポインタの 間 接 参 照 FORWARD_NULL NULL_RETURNS REVERSE_INULL 480 CONSTANT_EXPRESSION_RESULT NULL チェック 後 の 間 接 参 照 null 引 数 の 間 接 参 照 明 示 的 な NULL の 間 接 参 照 NULL 戻 り 値 の 間 接 参 照 NULL チェック 以 前 の 間 接 参 照 論 理 演 算 子 とビット 演 算 子 の 誤 使 用 疑 わしい &= or = の 利 用 誤 ったオペレータの 使 用 NULL ポインタの 間 接 参 照 不 適 切 な 整 数 処 理 481 FB.QBA_QUESTIONABLE_BOOLEAN_ ASSIGNMENT QBA: 疑 わしい Boolean の 代 入 PW.ASSIGNMENT_IN_CONDITIONAL 比 較 を 意 図 した 代 入 不 正 な 記 述 483 NESTING_INDENT_MISMATCH インデントがネストレベルに 不 一 致 ネストレベルがインデントとミスマッチ コードメンテナンス 性 の 劣 化 不 適 切 な 制 御 フロー 484 FB.SF_DEAD_STORE_DUE_TO_SWITCH_ FALLTHROUGH FB.SF_DEAD_STORE_DUE_TO_SWITCH_ FALLTHROUGH_TO_THROW FB.SF_SWITCH_FALLTHROUGH SF:switch 文 のフォールスルー MISSING_BREAK PW.FALLTHROUGH switch ステートメント 内 の break が 欠 如 不 適 切 な 制 御 フロー 502 UNSAFE_DESERIALIZATION 安 全 でないデシリアライズ 高 インパクトセキュリティ BAD_LOCK_OBJECT ロックオブジェクトの 誤 選 択 データへの 同 時 アクセス 違 反 信 頼 できないロックの 挙 動 543 FB.LI_LAZY_INIT_STATIC FB.LI_LAZY_INIT_UPDATE_STATIC LI: 非 同 期 な 遅 延 初 期 化 LOCK_EVASION スレッド 共 有 フィールドのチェックによるロッ ク 獲 得 の 回 避 データ 競 合 によるロックの 侵 食

9 543 SINGLETON_RACE UNSAFE_LAZY_INIT シングルトンのスレッドアンセーフな 変 更 危 険 なレイジーイニシャライゼーション データへの 同 時 アクセス 違 反 論 理 的 に 到 達 できないコード 不 適 切 な 制 御 フロー 定 数 値 によるデッドコードのガード 561 DEADCODE switch 文 の case に 未 到 達 switch 文 の default に 未 到 達 不 適 切 な 制 御 フローの 可 能 性 冗 長 テスト UNREACHABLE 構 造 的 に 到 達 できないコード 不 適 切 な 制 御 フロー FB.DLS_DEAD_LOCAL_INCREMENT_ IN_RETURN FB.DLS_DEAD_LOCAL_STORE FB.DLS_DEAD_LOCAL_STORE_IN_ RETURN FB.DLS_DEAD_LOCAL_STORE_OF_NULL DLS:ローカル 変 数 への 意 味 の 無 い 代 入 563 FB.DLS_DEAD_LOCAL_STORE_ SHADOWS_FIELD FB.DLS_DEAD_STORE_OF_CLASS_ LITERAL FB.DLS_OVERWRITTEN_INCREMENT FB.IP_PARAMETER_IS_DEAD_BUT_ OVERWRITTEN IP: 無 視 されたパラメータ UNUSED_VALUE 使 用 されていない 戻 り 値 コードメンテナンスの 564 SQLI 使 用 されない 値 コードメンテナンス 性 の 劣 化 567 SERVLET_ATOMICITY アトミックでない 値 の 更 新 データへの 同 時 アクセス 違 反 568 CALL_SUPER super.finalize() 呼 び 出 しの 失 敗 クラス 階 層 への 一 貫 性 欠 如 両 側 とも 同 じです 不 正 な 記 述 569 CONSTANT_EXPRESSION_RESULT BAD_EQ (バージョン 6.0 で Findbugs に 置 き 換 え) FB.BC_IMPOSSIBLE_CAST 0 とビット 単 位 の AND 演 算 式 の 値 が 一 定 上 位 ビットが 範 囲 外 結 果 に 反 映 されないオペランド 異 なるタイプの 等 価 チェック 不 適 切 な 整 数 処 理 不 正 な 記 述 570 FB.BC_IMPOSSIBLE_DOWNCAST FB.BC_IMPOSSIBLE_DOWNCAST_OF_ TOARRAY BC:オブジェクト 参 照 の 間 違 ったキャスト FB.BC_IMPOSSIBLE_INSTANCEOF

10 571 FB.BC_VACUOUS_INSTANCEOF BC:オブジェクト 参 照 の 間 違 ったキャスト 572 DC.THREADING.thread_run (バージョン 6.0 で Findbugs に 置 き 換 え) FB.RU_INVOKE_RUN Thread.run の 直 接 呼 出 し Ru:メソッドの run() 呼 出 し API の 誤 使 用 CALL_SUPER スーパークラス 呼 び 出 しの 欠 如 クラス 階 層 の 一 貫 性 欠 如 573 INVALIDATE_ITERATOR 不 正 なイテレータの 使 用 API の 誤 使 用 パフォーマンスの 劣 化 MISSING_RESTORE 非 ローカル 値 のリストア 失 敗 非 ローカル 値 のリストア 失 敗 の 可 能 性 不 適 切 な 制 御 フロー 制 御 フローの の 可 能 性 579 FB.J2EE_STORE_OF_NON_ SERIALIZABLE_OBJECT_INTO_SESSION J2EE:J2EE のエラー CALL_SUPER super.clone() 呼 び 出 しの 失 敗 クラス 階 層 の 一 貫 性 欠 如 FB.CN_IDIOM 580 FB.CN_IDIOM_NO_SUPER_CALL CN:Cloneable イディオムの 良 くない 実 装 FB.CN_IMPLEMENTS_CLONE_BUT_NOT_ CLONEABLE 583 FB.FI_PUBLIC_SHOULD_BE_PROTECTED FI:ファイナライザの 間 違 った 使 用 FindBugs: 悪 意 あるコード 脆 弱 性 584 PW.ABNORMAL_TERMINATION_OF_ FINALLY_BLOCK Finally ブロック 内 での 終 了 不 適 切 な 制 御 フロー 585 FB.ESYNC_EMPTY_SYNC FB.NP_SYNC_AND_NULL_CHECK_FIELD ESync: 空 の synchronized ブロック NP:null ポインタの 間 接 参 照 DC.THREADING ファイナライザに 依 存 コードメンテナンスの FB.FI_EMPTY FB.FI_EXPLICIT_INVOCATION 586 FB.FI_FINALIZER_NULLS_FIELDS FB.FI_FINALIZER_ONLY_NULLS_FIELDS FI:ファイナライザの 間 違 った 使 用 FB.FI_MISSING_SUPER_CALL FB.FI_NULLIFY_SUPER FB.FI_USELESS BAD_EQ (バージョン 6.0 で Findbugs に 置 き 換 え) 不 適 切 な 等 価 チェック( 参 照 での 等 価 ) 不 正 な 記 述 FB.EQ_ABSTRACT_SELF 595 FB.EQ_ALWAYS_FALSE FB.EQ_ALWAYS_TRUE FB.EQ_CHECK_FOR_OPERAND_NOT_ COMPATIBLE_WITH_THIS FB.EQ_COMPARETO_USE_OBJECT_ EQUALS Eq:equals() の 実 装 に 関 する

11 FB.EQ_COMPARING_CLASS_NAMES FB.EQ_DOESNT_OVERRIDE_EQUALS FB.EQ_DONT_DEFINE_EQUALS_FOR_ ENUM FB.EQ_GETCLASS_AND_CLASS_ CONSTANT 595 FB.EQ_OTHER_NO_OBJECT Eq:equals() の 実 装 に 関 する FB.EQ_OTHER_USE_OBJECT FB.EQ_OVERRIDING_EQUALS_NOT_ SYMMETRIC FB.EQ_SELF_NO_OBJECT FB.EQ_SELF_USE_OBJECT FB.EQ_UNUSUAL 596 HIBERNATE_BAD_HASHCODE データベースキーへの 危 険 な 依 存 API の 誤 使 用 597 FB.ES_COMPARING_PARAMETER_ STRING_WITH_EQ FB.ES_COMPARING_STRINGS_WITH_EQ ES:== or!= を 使 用 している 文 字 列 の 等 価 性 チェック 609 DOUBLE_CHECK_LOCK 2 重 チェックされたロック データへの 同 時 アクセス 違 反 FB.DC_DOUBLECHECK DC:フィールドのダブルチェックの 可 能 性 610 HEADER_INJECTION HTTP ヘッダーインジェクション 中 インパクトセキュリティ 615 CONFIG HTML コメント 内 の 動 的 データ 低 インパクトセキュリティ 643 XPATH_INJECTION XPath 言 語 インジェクション 中 インパクトセキュリティ 650 CONFIG HTTP Verb の 不 正 書 き 換 え 中 インパクトセキュリティ 662 ATOMICITY アトミックでない 値 の 更 新 データへの 同 時 アクセス 違 反 665 VIRTUAL_IN_CTOR コンストラクタ 内 の 仮 想 関 数 クラス 階 層 の 一 貫 性 欠 如 672 USE_AFTER_FREE 閉 じた 後 に 使 用 されました API の 誤 使 用 674 FB.IL_INFINITE_RECURSIVE_LOOP IL: 無 限 ループ 683 SWAPPED_ARGUMENTS 引 数 の 順 序 が 間 違 ってます API の 誤 使 用 704 CLASSCAST FORWARD_CLASSCAST ダウンキャスト 時 の 例 外 クラス 階 層 の 一 貫 性 欠 如 731 CONFIG Spring Security authorise JSP タグが 無 効 低 インパクトセキュリティ 783 CONSTANT_EXPRESSION_RESULT 括 弧 の 欠 如 不 正 な 記 述 798 CONFIG Spring Security ハードコードされた 認 証 情 報 Spring Security ハードコードされた remember-me キー 低 インパクトセキュリティ

12 798 HARDCODED_CREDENTIALS ハードコードされた 認 証 情 報 の 使 用 ハードコードされたセキュリティトークンの 使 用 中 インパクトセキュリティ DC.DEADLOCK デッドロックの 傾 向 がある 関 数 呼 出 し 低 インパクトセキュリティ 833 LOCK_INVERSION LOCK_ORDERING スレッドのデッドロック プログラムのハングアップ 835 INFINITE_LOOP 無 限 のループ プログラムのハングアップ 862 CONFIG Struts2 コンフィグブラウザプラグイン 低 インパクトセキュリティ DWR デバッグモードが 有 効 863 CONFIG 916 CONFIG Spring Security デバッグモードが 有 効 Struts2 DynamicMethodInvocation が 許 可 Struts2 DevMode が 有 効 脆 弱 なハッシュ 関 数 によるパスワードの ハッシュ 低 インパクトセキュリティ 中 インパクトセキュリティ 中 インパクトセキュリティ 917 EL_INJECTION 式 言 語 インジェクション 高 インパクトセキュリティ 938 UNRESTRICTED_DISPATCH 制 限 なしのディスパッチ 中 インパクトセキュリティ BAD_CHECK_OF_WAIT_COND wait() 呼 出 し 前 の 適 切 でないチェック データへの 同 時 アクセス 違 反 BAD_SHIFT 不 正 なビットシフト 演 算 不 適 切 な 整 数 処 理 DC.JRE14COMPATIBLE DC.JRE15COMPATIBLE DC.LOCALIZATION JRE 1.4 でサポートされないメソッド JRE 1.5 でサポートされないメソッド エンコーディングに 依 存 するメソッド コードメンテナンス 性 の 劣 化 DC.PERFORMANCE 不 適 切 なメソッドの 使 用 パフォーマンスの 劣 化 DC.THREADING ファイナライザに 依 存 コードメンテナンス 性 の 劣 化 FB.AT_OPERATION_SEQUENCE_ON_ CONCURRENT_ABSTRACTION AT: アトミック 性 違 反 の 可 能 性 None FB.BAC_BAD_APPLET_CONSTRUCTOR BAC: 間 違 ったアプレットのコンストラクタ FB.BC_BAD_CAST_TO_ABSTRACT_ COLLECTION FB.BC_BAD_CAST_TO_CONCRETE_ COLLECTION FB.BC_EQUALS_METHOD_SHOULD_ WORK_FOR_ALL_OBJECTS FB.BC_IMPOSSIBLE_CAST_PRIMITIVE_ ARRAY FB.BC_UNCONFIRMED_CAST FB.BC_UNCONFIRMED_CAST_OF_ RETURN_VALUE FB.BIT_ADD_OF_SIGNED_BYTE FB.BIT_AND BC:オブジェクト 参 照 の 間 違 ったキャスト BIT: 疑 わしいビット 演 算 式

13 FB.BIT_AND_ZZ FB.BIT_IOR FB.BIT_IOR_OF_SIGNED_BYTE BIT: 疑 わしいビット 演 算 式 FB.BIT_SIGNED_CHECK FB.BIT_SIGNED_CHECK_HIGH_BIT FB.BOA_BADLY_OVERRIDDEN_ADAPTER FB.BRSA_BAD_RESULTSET_ACCESS FB.BX_BOXING_IMMEDIATELY_ UNBOXED FB.BX_UNBOXED_AND_COERCED_FOR_ TERNARY_OPERATOR FB.BX_UNBOXING_IMMEDIATELY_ REBOXED FB.CD_CIRCULAR_DEPENDENCY FB.CI_CONFUSED_INHERITANCE BOA: 不 適 切 にオーバライドされたアダプタ SQL: 潜 在 的 な SQL の Bx: 疑 わしいプリミティブ 値 のボクシング CD: 循 環 依 存 関 係 CI: 紛 らわしい 継 承 FB.CO_ABSTRACT_SELF FB.CO_COMPARETO_RESULTS_MIN_ VALUE Co:compareTo() メソッドの 実 装 に 関 する None FB.CO_SELF_NO_OBJECT FB.DB_DUPLICATE_BRANCHES FB.DB_DUPLICATE_SWITCH_CLAUSES FB.DL_SYNCHRONIZATION_ON_ BOOLEAN FB.DL_SYNCHRONIZATION_ON_BOXED_ PRIMITIVE FB.DL_SYNCHRONIZATION_ON_ SHARED_CONSTANT FB.DL_SYNCHRONIZATION_ON_ UNSHARED_BOXED_PRIMITIVE FB.DM_BOOLEAN_CTOR FB.DM_BOXED_PRIMITIVE_FOR_ PARSING FB.DM_BOXED_PRIMITIVE_TOSTRING FB.DM_CONVERT_CASE FB.DM_DEFAULT_ENCODING FB.DM_FP_NUMBER_CTOR FB.DM_GC FB.DM_MONITOR_WAIT_ON_CONDITION DB: 複 製 された 分 岐 DL: 共 有 オブジェクトのロックによる 意 図 しない 競 合 または 潜 在 的 デッドロック Dm: 疑 わしいメソッドの 使 用 Bx: 疑 わしいプリミティブ 値 のボクシング Dm: 疑 わしいメソッドの 使 用 Bx: 疑 わしいプリミティブ 値 のボクシング Dm: 疑 わしいメソッドの 使 用 FindBugs: 国 際 化

14 FB.DM_NEW_FOR_GETCLASS FB.DM_NEXTINT_VIA_NEXTDOUBLE FB.DM_NUMBER_CTOR Dm: 疑 わしいメソッドの 使 用 Bx: 疑 わしいプリミティブ 値 のボクシング FB.DM_RUN_FINALIZERS_ON_EXIT FB.DM_STRING_CTOR FB.DM_STRING_TOSTRING Dm: 疑 わしいメソッドの 使 用 FB.DM_STRING_VOID_CTOR FB.DM_USELESS_THREAD FB.DP_CREATE_CLASSLOADER_INSIDE_ DO_PRIVILEDGED FB.DP_CREATE_CLASSLOADER_INSIDE_ DO_PRIVILEGED FB.DP_DO_INSIDE_DO_PRIVILEDGED FB.DP_DO_INSIDE_DO_PRIVILEGED FB.EC_ARRAY_AND_NONARRAY DP:doPrivileged の 使 用 FindBugs: 悪 意 あるコード 脆 弱 性 FindBugs: 悪 意 あるコード 脆 弱 性 FB.EC_BAD_ARRAY_COMPARE None FB.EC_INCOMPATIBLE_ARRAY_ COMPARE FB.EC_NULL_ARG FB.EC_UNRELATED_CLASS_AND_ INTERFACE FB.EC_UNRELATED_INTERFACES FB.EC_UNRELATED_TYPES FB.EC_UNRELATED_TYPES_USING_ POINTER_EQUALITY FB.FB_MISSING_EXPECTED_WARNING EC: 互 換 性 のない 型 による 等 価 性 比 較 FB.FB_UNEXPECTED_WARNING FB.FE_FLOATING_POINT_EQUALITY FB:FindBugs はメソッドで 期 待 された 警 告 を 出 しませんでした FB.FE_TEST_IF_EQUAL_TO_NOT_A_ NUMBER FB.FL_MATH_USING_FLOAT_PRECISION FB.GC_UNCHECKED_TYPE_IN_ GENERIC_CALL FB.GC_UNRELATED_TYPES FE: 浮 動 小 数 点 の 等 価 性 テスト GC: 疑 わしい 総 称 型 コレクションメソッドの 呼 び 出 し FB.HE_EQUALS_NO_HASHCODE FB.HE_EQUALS_USE_HASHCODE HE: 等 価 なオブジェクトは 等 価 なハッシュ コードを 持 たなければならない

15 FB.HE_HASHCODE_NO_EQUALS FB.HE_HASHCODE_USE_OBJECT_ EQUALS FB.HE_INHERITS_EQUALS_USE_ HASHCODE HE: 等 価 なオブジェクトは 等 価 なハッシュ コードを 持 たなければならない FB.HE_SIGNATURE_DECLARES_ HASHING_OF_UNHASHABLE_CLASS FB.HE_USE_OF_UNHASHABLE_CLASS FB.HSC_HUGE_SHARED_STRING_ CONSTANT FB.IA_AMBIGUOUS_INVOCATION_ OF_ INHERITED_OR_OUTER_METHOD FB.IC_INIT_CIRCULARITY FB.IC_SUPERCLASS_USES_SUBCLASS_ DURING_INITIALIZATION FB.IJU_ASSERT_METHOD_INVOKED_ FROM_RUN_METHOD FB.IJU_BAD_SUITE_METHOD HSC: 巨 大 な 文 字 列 定 数 IA:あいまいな 呼 び 出 し IC: 初 期 化 の 循 環 None FB.IJU_NO_TESTS FB.IJU_SETUP_NO_SUPER FB.IJU_SUITE_NOT_STATIC FB.IJU_TEARDOWN_NO_SUPER IJU: 誤 って 実 装 された JUnit TestCase FB.IL_CONTAINER_ADDED_TO_ITSELF FB.IL_INFINITE_LOOP IL: 無 限 ループ FB.IMA_INEFFICIENT_MEMBER_ACCESS IMA: 効 率 が 悪 いメンバーアクセス FB.IMSE_DONT_CATCH_IMSE FB.IM_AVERAGE_COMPUTATION_ COULD_OVERFLOW FB.IM_BAD_CHECK_FOR_ODD FB.IM_MULTIPLYING_RESULT_OF_IREM FB.INT_BAD_COMPARISON_WITH_INT_ VALUE FB.INT_BAD_COMPARISON_WITH_ NONNEGATIVE_VALUE FB.INT_BAD_COMPARISON_WITH_ SIGNED_BYTE FB.INT_BAD_REM_BY_1 FB.INT_VACUOUS_BIT_OPERATION FB.INT_VACUOUS_COMPARISON IMSE: 疑 わしい IllegalMonitorStateException のキャッチ IM: 疑 わしい 整 数 計 算 INT: 疑 わしい 整 数 式

16 FB.IO_APPENDING_TO_OBJECT_ OUTPUT_STREAM IO: 入 出 力 の FB.ISC_INSTANTIATE_STATIC_CLASS ISC:インスタンス 化 された static クラス FB.ITA_INEFFICIENT_TO_ARRAY FB.IT_NO_SUCH_ELEMENT FB.JCIP_FIELD_ISNT_FINAL_IN_ IMMUTABLE_CLASS ITA: 効 率 が 悪 い collection.toarray(new Foo[0]) の 使 用 It:イテレータの 間 違 った 定 義 JCIP:net.jcip アノテーションの 定 義 FB.JLM_JSR166_LOCK_MONITORENTER FB.JLM_JSR166_UTILCONCURRENT_ MONITORENTER FB.JML_JSR166_CALLING_WAIT_ RATHER_THAN_AWAIT FB.LG_LOST_LOGGER_DUE_TO_WEAK_ REFERENCE FB.LI_LAZY_INIT_INSTANCE FB.MF_CLASS_MASKS_FIELD FB.MF_METHOD_MASKS_FIELD JLM:java.util.concurrent オブジェクトの 同 期 化 LG:Logger の LI: 非 同 期 な 遅 延 初 期 化 MF: 隠 されたフィールド FindBugs:マルチスレッドの 正 確 性 FindBugs:エクスペリメンタル None FB.ML_SYNC_ON_FIELD_TO_GUARD_ CHANGING_THAT_FIELD FB.ML_SYNC_ON_UPDATED_FIELD FB.MSF_MUTABLE_SERVLET_FIELD ML: 更 新 されるフィールドで 同 期 化 ( 可 変 ロック) MSF:サーブレットの 可 変 フィールド FB.MTIA_SUSPECT_SERVLET_ INSTANCE_FIELD FB.MTIA_SUSPECT_STRUTS_INSTANCE_ FIELD FB.MWN_MISMATCHED_NOTIFY FB.MWN_MISMATCHED_WAIT FB.NM_BAD_EQUAL FB.NM_CLASS_NAMING_CONVENTION MTIA:マルチスレッドでのインスタンスの アクセス MWN:ミスマッチの wait() or notify() FB.NM_CLASS_NOT_EXCEPTION FB.NM_CONFUSING FB.NM_FIELD_NAMING_CONVENTION FB.NM_FUTURE_KEYWORD_USED_AS_ IDENTIFIER FB.NM_FUTURE_KEYWORD_USED_AS_ MEMBER_IDENTIFIER FB.NM_LCASE_HASHCODE Nm: 紛 らわしい 名 前 FB.NM_LCASE_TOSTRING FB.NM_METHOD_CONSTRUCTOR_ CONFUSION

17 FB.NM_METHOD_NAMING_CONVENTION FB.NM_SAME_SIMPLE_NAME_AS_ INTERFACE FB.NM_SAME_SIMPLE_NAME_AS_ SUPERCLASS FB.NM_VERY_CONFUSING Nm: 紛 らわしい 名 前 FB.NM_VERY_CONFUSING_INTENTIONAL FB.NM_WRONG_PACKAGE FB.NM_WRONG_PACKAGE_ INTENTIONAL FB.NN_NAKED_NOTIFY NN: 裸 の notify FB.NOISE_FIELD_REFERENCE FB.NOISE_METHOD_CALL FB.NOISE_NULL_DEREFERENCE NOISE:さまざまな 誤 警 告 FindBugs: 不 正 なランダムノイズ FB.NOISE_OPERATION FB.NO_NOTIFY_NOT_NOTIFYALL No:notifyAll() ではなく notify() を 使 用 している FB.NS_DANGEROUS_NON_SHORT_ CIRCUIT FB.NS_NON_SHORT_CIRCUIT NS: 疑 わしい 非 短 絡 論 理 演 算 子 の 使 用 None FB.OBL_UNSATISFIED_OBLIGATION FB.OBL_UNSATISFIED_OBLIGATION_ EXCEPTION_EDGE OBL:ストリームまたはリソースの クリーンアップの 欠 落 FindBugs:エクスペリメンタル FB.ODR_OPEN_DATABASE_RESOURCE FB.ODR_OPEN_DATABASE_RESOURCE_ EXCEPTION_PATH ODR: 全 てのパスにおいてクローズされない データベースリソース FB.OS_OPEN_STREAM FB.OS_OPEN_STREAM_EXCEPTION_ PATH OS: 全 てのパスにおいてクローズされない ストリーム FB.PS_PUBLIC_SEMAPHORES PS: 公 開 セマフォ FB.PZLA_PREFER_ZERO_LENGTH_ ARRAYS PZLA: 効 果 がないことを 示 すためには null より 長 さ0の 配 列 の 方 が 良 い FB.PZ_DONT_REUSE_ENTRY_OBJECTS_ IN_ITERATORS PZ:ジョシュア ブロックとニール ガフター のプログラミングパズラーを 起 因 とする 警 告 FB.QF_QUESTIONABLE_FOR_LOOP QF: 疑 わしい for ループ FB.RC_REF_COMPARISON FB.RC_REF_COMPARISON_BAD_ PRACTICE FB.RC_REF_COMPARISON_BAD_ PRACTICE_BOOLEAN RC:equals をコールしていない 疑 わしい 参 照 等 価 の 使 用 FB.RI_REDUNDANT_INTERFACES RI: 冗 長 なインターフェース

18 FB.RPC_REPEATED_CONDITIONAL_TEST RpC: 繰 り 返 しの 条 件 判 定 FB.RR_NOT_CHECKED RR:InputStream.read() の 戻 り 値 の 無 視 FB.RS_READOBJECT_SYNC FB.SA_FIELD_DOUBLE_ASSIGNMENT FB.SA_FIELD_SELF_ASSIGNMENT FB.SA_FIELD_SELF_COMPARISON FB.SA_FIELD_SELF_COMPUTATION RS:クラスの readobject() メソッドの 同 期 化 問 題 FB.SA_LOCAL_DOUBLE_ASSIGNMENT FB.SA_LOCAL_SELF_ASSIGNMENT FB.SA_LOCAL_SELF_ASSIGNMENT_ INSTEAD_OF_FIELD FB.SA_LOCAL_SELF_COMPARISON SA: 無 用 な 自 己 演 算 FB.SA_LOCAL_SELF_COMPUTATION FB.SBSC_USE_STRINGBUFFER_ CONCATENATION SBSC:ループ 内 で+ 演 算 子 を 使 用 した 文 字 列 の 連 結 FB.SC_START_IN_CTOR SC:Thread.start() を 呼 び 出 すコンストラクタ None FB.SE_BAD_FIELD FB.SE_BAD_FIELD_INNER_CLASS FB.SE_BAD_FIELD_STORE FB.SE_COMPARATOR_SHOULD_BE_ SERIALIZABLE FB.SE_INNER_CLASS Se: 直 列 化 可 能 クラスの 間 違 った 定 義 FB.SE_METHOD_MUST_BE_PRIVATE FB.SE_NONFINAL_SERIALVERSIONID FB.SE_NONLONG_SERIALVERSIONID FB.SE_NONSTATIC_SERIALVERSIONID FB.SE_NO_SERIALVERSIONID FB.SE_NO_SUITABLE_CONSTRUCTOR FB.SE_NO_SUITABLE_CONSTRUCTOR_ FOR_EXTERNALIZATION FB.SE_PRIVATE_READ_RESOLVE_NOT_ INHERITED FB.SE_READ_RESOLVE_IS_STATIC FB.SE_READ_RESOLVE_MUST_RETURN_ OBJECT FB.SE_TRANSIENT_FIELD_NOT_ RESTORED SnVI:Version ID のない 直 列 可 能 クラス Se: 直 列 化 可 能 クラスの 間 違 った 定 義

19 FB.SE_TRANSIENT_FIELD_OF_ NONSERIALIZABLE_CLASS FB.SF_SWITCH_NO_DEFAULT FB.SIC_INNER_SHOULD_BE_STATIC FB.SIC_INNER_SHOULD_BE_STATIC_ ANON FB.SIC_INNER_SHOULD_BE_STATIC_ NEEDS_THIS FB.SIC_THREADLOCAL_DEADLY_ EMBRACE FB.SIO_SUPERFLUOUS_INSTANCEOF FB.SI_INSTANCE_BEFORE_FINALS_ ASSIGNED Se: 直 列 化 可 能 クラスの 間 違 った 定 義 SF:switch 文 のフォールスル SIC:static にできる 内 部 クラス SIO: 不 必 要 な instanceof SI: 疑 わしいスタティック イニシャライザ FB.SKIPPED_CLASS_TOO_BIG SKIPPED:スキップした 解 析 FindBugs:エクスペリメンタル FB.SP_SPIN_ON_FIELD FB.SQL_BAD_PREPARED_STATEMENT_ ACCESS FB.SQL_BAD_RESULTSET_ACCESS SP:スピンロック SQL: 潜 在 的 な SQL の FB.SR_NOT_CHECKED RR:InputStream.read() の 戻 り 値 の 無 視 None FB.SS_SHOULD_BE_STATIC FB.STI_INTERRUPTED_ON_ CURRENTTHREAD FB.STI_INTERRUPTED_ON_ UNKNOWNTHREAD SS: 読 み 出 されないフィールドは static に すべき STI: 疑 わしい Thread Interrupted FB.ST_WRITE_TO_STATIC_FROM_ INSTANCE_METHOD ST:static フィールドの 誤 用 FB.SWL_SLEEP_WITH_LOCK_HELD SWL:ロックを 保 持 する Sleep FB.SW_SWING_METHODS_INVOKED_IN_ SWING_THREAD SW:Swing のコーディング 規 約 FB.TESTING FB.TESTING1 FB.TESTING2 TEST:プロトタイプと 未 完 成 のバグパターン のテスト FindBugs:エクスペリメンタル FB.TESTING3 FB.TLW_TWO_LOCK_NOTIFY FB.TLW_TWO_LOCK_WAIT TLW:2 つのロックを 保 持 した wait FB.TQ_ALWAYS_VALUE_USED_WHERE_ NEVER_REQUIRED FB.TQ_COMPARING_VALUES_WITH_ INCOMPATIBLE_TYPE_QUALIFIERS TQ: 型 限 定 子 アノテーションの 一 貫 性 の ない 使 用 FB.TQ_EXPLICIT_UNKNOWN_SOURCE_ VALUE_REACHES_ALWAYS_SINK

20 FB.TQ_EXPLICIT_UNKNOWN_SOURCE_ VALUE_REACHES_NEVER_SINK FB.TQ_MAYBE_SOURCE_VALUE_ REACHES_ALWAYS_SINK FB.TQ_MAYBE_SOURCE_VALUE_ REACHES_NEVER_SINK FB.TQ_NEVER_VALUE_USED_WHERE_ ALWAYS_REQUIRED FB.TQ_UNKNOWN_VALUE_USED_ WHERE_ALWAYS_STRICTLY_REQUIRED FB.UCF_USELESS_CONTROL_FLOW FB.UCF_USELESS_CONTROL_FLOW_ NEXT_LINE TQ: 型 限 定 子 アノテーションの 一 貫 性 の ない 使 用 UCF: 役 に 立 たない 制 御 フロー FB.UG_SYNC_SET_UNSYNC_GET UG: 同 期 化 していない get メソッド 同 期 している set メソッド FB.UI_INHERITANCE_UNSAFE_ GETRESOURCE FB.UL_UNRELEASED_LOCK FB.UL_UNRELEASED_LOCK_ EXCEPTION_PATH FB.UMAC_UNCALLABLE_METHOD_OF_ ANONYMOUS_CLASS UI: 安 全 ではない 継 承 UL: 全 てのパスにおいて 開 放 されないロック UMAC: 匿 名 クラスの 呼 び 出 し 不 可 能 な メソッド FB.UM_UNNECESSARY_MATH UM: 定 数 に 対 する 不 必 要 な Math None FB.UNKNOWN TEST:プロトタイプと 未 完 成 のバグパターン のテスト FindBugs:エクスペリメンタル FB.UOE_USE_OBJECT_EQUALS UOE:Object Equals を 使 用 する FB.UPM_UNCALLED_PRIVATE_METHOD FB.URF_UNREAD_FIELD FB.URF_UNREAD_PUBLIC_OR_ PROTECTED_FIELD UPM: 一 度 も 呼 ばれない private メソッド UrF: 読 み 出 されないフィールド FB.UR_UNINIT_READ FB.UR_UNINIT_READ_CALLED_FROM_ SUPER_CONSTRUCTOR FB.USM_USELESS_ABSTRACT_METHOD FB.USM_USELESS_SUBCLASS_METHOD FB.UUF_UNUSED_FIELD FB.UUF_UNUSED_PUBLIC_OR_ PROTECTED_FIELD FB.UWF_FIELD_NOT_INITIALIZED_IN_ CONSTRUCTOR FB.UWF_NULL_FIELD FB.UWF_UNWRITTEN_FIELD FB.UWF_UNWRITTEN_PUBLIC_OR_ PROTECTED_FIELD UR:コンストラクタでの 未 初 期 化 フィールド の 読 み 出 し USM: 無 用 なメソッド UuF: 読 み 出 されないフィールド UwF: 書 き 込 まれないフィールド

21 FB.UW_UNCOND_WAIT UW: 無 条 件 の wait FindBugs:マルチレッドの 正 確 性 の FB.VA_FORMAT_STRING_ARG_ MISMATCH FB.VA_FORMAT_STRING_BAD_ ARGUMENT FB.VA_FORMAT_STRING_BAD_ CONVERSION FS: 書 式 文 字 列 の FB.VA_FORMAT_STRING_BAD_ CONVERSION_FROM_ARRAY USELESS_STRING: 役 に 立 たない / 無 益 な 文 字 列 生 成 FB.VA_FORMAT_STRING_BAD_ CONVERSION_TO_BOOLEAN FB.VA_FORMAT_STRING_EXPECTED_ MESSAGE_FORMAT_SUPPLIED FB.VA_FORMAT_STRING_EXTRA_ ARGUMENTS_PASSED FB.VA_FORMAT_STRING_ILLEGAL FS: 書 式 文 字 列 の FB.VA_FORMAT_STRING_MISSING_ ARGUMENT FB.VA_FORMAT_STRING_NO_PREVIOUS_ ARGUMENT FB.VA_FORMAT_STRING_USES_ NEWLINE None FB.VA_PRIMITIVE_ARRAY_PASSED_TO_ OBJECT_VARARG FB.VO_VOLATILE_INCREMENT FB.VO_VOLATILE_REFERENCE_TO_ ARRAY VA: 可 変 長 引 数 の VO:volatile の 使 用 FB.VR_UNRESOLVABLE_REFERENCE VR:バージョンの 互 換 性 の FB.WA_AWAIT_NOT_IN_LOOP FB.WA_NOT_IN_LOOP FB.WL_USING_GETCLASS_RATHER_ THAN_CLASS_LITERAL Wa:ループの 中 にない wait WL: 間 違 ったオブジェクトでロックしている 可 能 性 がある FB.WMI_WRONG_MAP_ITERATOR WMI: 非 効 率 な Map イテレータ FB.WS_WRITEOBJECT_SYNC WS:クラスの writeobject() メソッドは 同 期 化 されているが その 他 のメソッドは 同 期 化 していない FB.XFB_XML_FACTORY_BYPASS XFB:XML ファクトリのバイパス HIBERNATE_BAD_HASHCODE データベースキーへの 危 険 な 依 存 API の 誤 使 用 HIBERNATE_UNNECESSARY_GET ORM_ABANDONED_TRANSIENT ORM_LOST_UPDATE ORM_UNNECESSARY_GET org.hibernate.session.get メソッドの 不 要 な 呼 び 出 し ORM 永 続 化 エラー org.hibernate.session.get メソッドの 不 要 な 呼 び 出 し パフォーマンスの 劣 化 API の 誤 使 用 パフォーマンスの 劣 化 RISKY_CRYPTO ユーザ 指 定 の RISKY_CRYPTO ポリシー 違 反 中 インパクトセキュリティ

22 SET_STATIC_IN_NON_STATIC 非 静 的 メソッドによる 静 的 フィールド 更 新 コードメンテナンスの 不 十 分 なファイルカバレッジ 不 十 分 な 関 数 カバレッジ TA テストポリシー 違 反 テストアドバイザの None 呼 ばれていない 関 数 カバーされていない 関 数 TAINT_ASSERT 汚 染 されていないアサーション 違 反 です 高 インパクトセキュリティ UNEXPECTED_SYNC 不 要 な 同 期 パフォーマンスの 劣 化 UNINTENDED_INTEGER_DIVISION 浮 動 小 数 点 でない 結 果 不 正 な 記 述 WRONG_METHOD 誤 ったメソッドの 呼 び 出 し API の 誤 使 用 TEL: Website: Synopsys, Inc. All rights reserved. Coverity Coverity Coverity SAVE