diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index 612b95c8c..c6b2cc5b2 100644 --- a/infer/man/man1/infer-full.txt +++ b/infer/man/man1/infer-full.txt @@ -484,7 +484,7 @@ OPTIONS MULTIPLE_WEAKSELF (enabled by default), MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE (enabled by default), Missing_fld (enabled by default), - NULLPTR_DEREFERENCE (disabled by default), + NULLPTR_DEREFERENCE (enabled by default), NULL_DEREFERENCE (enabled by default), OPTIONAL_EMPTY_ACCESS (disabled by default), PARAMETER_NOT_NULL_CHECKED (enabled by default), diff --git a/infer/man/man1/infer-report.txt b/infer/man/man1/infer-report.txt index 8fbda9c7c..867289276 100644 --- a/infer/man/man1/infer-report.txt +++ b/infer/man/man1/infer-report.txt @@ -198,7 +198,7 @@ OPTIONS MULTIPLE_WEAKSELF (enabled by default), MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE (enabled by default), Missing_fld (enabled by default), - NULLPTR_DEREFERENCE (disabled by default), + NULLPTR_DEREFERENCE (enabled by default), NULL_DEREFERENCE (enabled by default), OPTIONAL_EMPTY_ACCESS (disabled by default), PARAMETER_NOT_NULL_CHECKED (enabled by default), diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index 886e90cf0..b9e0addff 100644 --- a/infer/man/man1/infer.txt +++ b/infer/man/man1/infer.txt @@ -484,7 +484,7 @@ OPTIONS MULTIPLE_WEAKSELF (enabled by default), MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE (enabled by default), Missing_fld (enabled by default), - NULLPTR_DEREFERENCE (disabled by default), + NULLPTR_DEREFERENCE (enabled by default), NULL_DEREFERENCE (enabled by default), OPTIONAL_EMPTY_ACCESS (disabled by default), PARAMETER_NOT_NULL_CHECKED (enabled by default), diff --git a/infer/src/base/IssueType.ml b/infer/src/base/IssueType.ml index 78fe74de0..b18ac0594 100644 --- a/infer/src/base/IssueType.ml +++ b/infer/src/base/IssueType.ml @@ -751,7 +751,7 @@ let null_dereference = let nullptr_dereference = - register ~enabled:false ~id:"NULLPTR_DEREFERENCE" Error Pulse + register ~id:"NULLPTR_DEREFERENCE" Error Pulse ~user_documentation:"See [NULL_DEREFERENCE](#null_dereference)."