[pulse] Enable NULLPTR_DEREFERENCE by default

Summary: The title

Reviewed By: jvillard

Differential Revision: D24503380

fbshipit-source-id: 4d22e7804

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),

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),

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),

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)."