...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| The Checker Framework |
| Nullness Checker | Null pointer errors (see Chapter 3) | ||||||
| CodeSonar | 4.2 | FB.CORRECTNESS.NP_ALWAYS_NULL FB.CORRECTNESS.NP_ALWAYS_NULL_EXCEPTION FB.CORRECTNESS.NP_ARGUMENT_MIGHT_BE_NULL FB.BAD_PRACTICE.NP_BOOLEAN_RETURN_NULL FB.BAD_PRACTICE.NP_CLONE_COULD_RETURN_NULL FB.CORRECTNESS.NP_CLOSING_NULL FB.STYLE.NP_DEREFERENCE_OF_READLINE_VALUE FB.BAD_PRACTICE.NP_EQUALS_SHOULD_HANDLE_NULL_ARGUMENT FB.CORRECTNESS.NP_GUARANTEED_DEREF FB.CORRECTNESS.NP_GUARANTEED_DEREF_ON_EXCEPTION_PATH FB.STYLE.NP_IMMEDIATE_DEREFERENCE_OF_READLINE FB.STYLE.NP_LOAD_OF_KNOWN_NULL_VALUE FB.CORRECTNESS.NP_NONNULL_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR FB.CORRECTNESS.NP_NONNULL_PARAM_VIOLATION FB.CORRECTNESS.NP_NONNULL_RETURN_VIOLATION FB.STYLE.NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE FB.CORRECTNESS.NP_NULL_ON_SOME_PATH_EXCEPTION FB.STYLE.NP_NULL_ON_SOME_PATH_MIGHT_BE_INFEASIBLE FB.CORRECTNESS.NP_NULL_ON_SOME_PATH FB.CORRECTNESS.NP_NULL_PARAM_DEREF FB.CORRECTNESS.NP_NULL_PARAM_DEREF_NONVIRTUAL FB.CORRECTNESS.NP_NULL_PARAM_DEREF_ALL_TARGETS_DANGEROUS FB.STYLE.NP_PARAMETER_MUST_BE_NONNULL_BUT_MARKED_AS_NULLABLE FB.CORRECTNESS.NP_STORE_INTO_NONNULL_FIELD FB.CORRECTNESS.NP_UNWRITTEN_FIELD FB.STYLE.NP_UNWRITTEN_PUBLIC_OR_PROTECTED_FIELD FB.CORRECTNESS.RCN_REDUNDANT_NULLCHECK_WOULD_HAVE_BEEN_A_NPE FB.BAD_PRACTICE.NP_TOSTRING_COULD_RETURN_NULL | Null pointer dereference Null pointer dereference in method on exception path Method does not check for null argument Method with Boolean return type returns explicit null Clone method may return null close() invoked on a value that is always null Dereference of the result of readLine() without nullcheck equals() method does not check for null argument Null value is guaranteed to be dereferenced Value is null and guaranteed to be dereferenced on exception path Immediate dereference of the result of readLine() Load of known null value Non-null field is not initialized Method call passes null to a non-null parameter Method may return null, but is declared @Nonnull Possible null pointer dereference due to return value of called method Possible null pointer dereference in method on exception path Possible null pointer dereference on branch that might be infeasible Possible null pointer dereference Method call passes null for non-null parameter (deref) Non-virtual method call passes null for non-null parameter Method call passes null for non-null parameter (deref all) Parameter must be non-null but is marked as nullable Store of null value into field annotated @Nonnull Read of unwritten field Read of unwritten public or protected field Nullcheck of value previously dereferenced toString method may return null | ||||||
| Coverity | v7.5
| FORWARD_NULL | Implemented | ||||||
| Fortify |
| Missing_Check_against_Null | Implemented | ||||||
| Findbugs |
| NP_DEREFERENCE_OF_READLINE_VALUE | Implemented | ||||||
| Parasoft Jtest | 9.5
| BD.EXCEPT.NP, PB-RE-NMCD | |||||||
| SonarQube Java Plugin |
|
...