Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Note

This page was automatically generated and should not be edited.

Note

The information on this page was provided by outside contributors and has not been verified by SEI CERT.

Tip

The table below can be re-ordered, by clicking column headers.

Tool Version:
Include Page
java:CodeSonar_V
java:CodeSonar_V

Checker

Guideline

FB.BAD_PRACTICE.FI_EMPTY MET12-J. Do not use finalizers
FB.BAD_PRACTICE.FI_EXPLICIT_INVOCATION MET12-J. Do not use finalizers
FB.BAD_PRACTICE.FI_FINALIZER_NULLS_FIELDS MET12-J. Do not use finalizers
FB.BAD_PRACTICE.FI_FINALIZER_ONLY_NULLS_FIELDS MET12-J. Do not use finalizers
FB.BAD_PRACTICE.FI_MISSING_SUPER_CALL MET12-J. Do not use finalizers
FB.BAD_PRACTICE.FI_NULLIFY_SUPER MET12-J. Do not use finalizers
FB.BAD_PRACTICE.FI_USELESS MET12-J. Do not use finalizers
FB.BAD_PRACTICE.NP_BOOLEAN_RETURN_NULL EXP01-J. Do not use a null in a case where an object is required
FB.BAD_PRACTICE.NP_CLONE_COULD_RETURN_NULL EXP01-J. Do not use a null in a case where an object is required
FB.BAD_PRACTICE.NP_EQUALS_SHOULD_HANDLE_NULL_ARGUMENT EXP01-J. Do not use a null in a case where an object is required
FB.BAD_PRACTICE.NP_TOSTRING_COULD_RETURN_NULL EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_ALWAYS_NULL EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_ALWAYS_NULL_EXCEPTION EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_ARGUMENT_MIGHT_BE_NULL EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_CLOSING_NULL EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_GUARANTEED_DEREF EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_GUARANTEED_DEREF_ON_EXCEPTION_PATH EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_NONNULL_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_NONNULL_PARAM_VIOLATION EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_NONNULL_RETURN_VIOLATION EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_NULL_ON_SOME_PATH EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_NULL_ON_SOME_PATH_EXCEPTION EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_NULL_PARAM_DEREF EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_NULL_PARAM_DEREF_ALL_TARGETS_DANGEROUS EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_NULL_PARAM_DEREF_NONVIRTUAL EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_STORE_INTO_NONNULL_FIELD EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.NP_UNWRITTEN_FIELD EXP01-J. Do not use a null in a case where an object is required
FB.CORRECTNESS.RCN_REDUNDANT_NULLCHECK_WOULD_HAVE_BEEN_A_NPE EXP01-J. Do not use a null in a case where an object is required
FB.MALICIOUS_CODE.EI_EXPOSE_REP OBJ04-J. Provide mutable classes with copy functionality to safely allow passing instances to untrusted code
FB.MALICIOUS_CODE.EI_EXPOSE_REP2 OBJ04-J. Provide mutable classes with copy functionality to safely allow passing instances to untrusted code
FB.MALICIOUS_CODE.FI_PUBLIC_SHOULD_BE_PROTECTED MET12-J. Do not use finalizers
FB.MALICIOUS_CODE.MS_SHOULD_BE_FINAL OBJ10-J. Do not use public static nonfinal fields
FB.MALICIOUS_CODE.MS_SHOULD_BE_REFACTORED_TO_BE_FINAL OBJ10-J. Do not use public static nonfinal fields
FB.MT_CORRECTNESS.DC_DOUBLECHECK LCK10-J. Use a correct form of the double-checked locking idiom
FB.MT_CORRECTNESS.IS2_INCONSISTENT_SYNC VNA02-J. Ensure that compound operations on shared variables are atomic
FB.MT_CORRECTNESS.IS2_INCONSISTENT_SYNC VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic
FB.MT_CORRECTNESS.IS_FIELD_NOT_GUARDED VNA02-J. Ensure that compound operations on shared variables are atomic
FB.MT_CORRECTNESS.IS_FIELD_NOT_GUARDED VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic
FB.MT_CORRECTNESS.RU_INVOKE_RUN THI00-J. Do not invoke Thread.run()
FB.MT_CORRECTNESS.STCAL_INVOKE_ON_STATIC_CALENDAR_INSTANCE VNA02-J. Ensure that compound operations on shared variables are atomic
FB.MT_CORRECTNESS.STCAL_INVOKE_ON_STATIC_CALENDAR_INSTANCE VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic
FB.MT_CORRECTNESS.STCAL_INVOKE_ON_STATIC_DATE_FORMAT_INSTANCE VNA02-J. Ensure that compound operations on shared variables are atomic
FB.MT_CORRECTNESS.STCAL_INVOKE_ON_STATIC_DATE_FORMAT_INSTANCE VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic
FB.MT_CORRECTNESS.STCAL_STATIC_CALENDAR_INSTANCE VNA02-J. Ensure that compound operations on shared variables are atomic
FB.MT_CORRECTNESS.STCAL_STATIC_CALENDAR_INSTANCE VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic
FB.MT_CORRECTNESS.STCAL_STATIC_SIMPLE_DATE_FORMAT_INSTANCE VNA02-J. Ensure that compound operations on shared variables are atomic
FB.MT_CORRECTNESS.STCAL_STATIC_SIMPLE_DATE_FORMAT_INSTANCE VNA03-J. Do not assume that a group of calls to independently atomic methods is atomic
FB.SECURITY.DMI_CONSTANT_DB_PASSWORD MSC03-J. Never hard code sensitive information
FB.SECURITY.DMI_EMPTY_DB_PASSWORD MSC03-J. Never hard code sensitive information
FB.STYLE.NP_DEREFERENCE_OF_READLINE_VALUE EXP01-J. Do not use a null in a case where an object is required
FB.STYLE.NP_IMMEDIATE_DEREFERENCE_OF_READLINE EXP01-J. Do not use a null in a case where an object is required
FB.STYLE.NP_LOAD_OF_KNOWN_NULL_VALUE EXP01-J. Do not use a null in a case where an object is required
FB.STYLE.NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE EXP01-J. Do not use a null in a case where an object is required
FB.STYLE.NP_NULL_ON_SOME_PATH_MIGHT_BE_INFEASIBLE EXP01-J. Do not use a null in a case where an object is required
FB.STYLE.NP_PARAMETER_MUST_BE_NONNULL_BUT_MARKED_AS_NULLABLE EXP01-J. Do not use a null in a case where an object is required
FB.STYLE.NP_UNWRITTEN_PUBLIC_OR_PROTECTED_FIELD EXP01-J. Do not use a null in a case where an object is required