Versions Compared

Key

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

...

ToolVersionCheckerDescription
Coverity
Include Page
Coverity_VCoverity_V

v7.5

 

FORWARD_NULL

NULL_RETURNS

REVERSE_INULL

FB.BC_NULL_INSTANCEOF

FB.NP_ALWAYS_NULL

FB.NP_ALWAYS_NULL_EXCEPTION

FB.NP_ARGUMENT_MIGHT_BE_NULL

FB.NP_BOOLEAN_RETURN_NULL

FB.NP_CLONE_COULD_RETURN_NULL

FB.NP_CLOSING_NULL

FB.NP_DEREFERENCE_OF_ READLINE_VALUE

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_NONNULL_FIELD_NOT_ INITIALIZED_IN_CONSTRUCTOR

FB.NP_NONNULL_PARAM_VIOLATION

FB.NP_NONNULL_RETURN_VIOLATION

FB.NP_NULL_INSTANCEOF

FB.NP_NULL_ON_SOME_PATH

FB.NP_NULL_ON_SOME_PATH_ EXCEPTION

FB.NP_NULL_ON_SOME_PATH_ FROM_RETURN_FB.NP_DEREFERENCE_OF_READLINE_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_PARAMETER_MUST_BE_NON - NULL_BUT_MARKED_AS_NULLABLE

FB.NP_STORE_INTO_NONNULL_FIELD

FB.NP_TOSTRING_COULD_ RETURN_NULL

FORWARD_NULL NULL_RETURNS

FB.NP_DEREFERENCE_OF_READLINE_VALUE

FB.NP_UNWRITTEN_FIELD

FB.NP_UNWRITTEN_PUBLIC_OR_ PROTECTED_FIELD

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

FB.RCN_REDUNDANT_NULLCHECK_ WOULD_HAVE_BEEN_A_NPE

Implemented
Fortify
Include Page
Fortify_V
Fortify_V

Missing_Check_against_Null

Null_Dereference

Redundant_Null_Check

Implemented
Findbugs
Include Page
Findbugs_V
Findbugs_V

NP_DEREFERENCE_OF_READLINE_VALUE

NP_NULL_PARAM_DEREF

NP_TOSTRING_COULD_RETURN_NULL

Implemented

...

...