diff --git a/src/kernel_services/plugin_entry_points/kernel.ml b/src/kernel_services/plugin_entry_points/kernel.ml
index a7ffdfeb73030844ef69826fe1814b3bdced74c7..d437277a6da46c91e6edf8c6f882e1809331945f 100644
--- a/src/kernel_services/plugin_entry_points/kernel.ml
+++ b/src/kernel_services/plugin_entry_points/kernel.ml
@@ -1479,6 +1479,15 @@ module InvalidBool =
                   _Bool lvalues."
     end)
 
+let () = Parameter_customize.set_group analysis_options
+let () = Parameter_customize.do_not_reset_on_copy ()
+module InvalidPointer =
+  False
+    (struct
+      let module_name = "InvalidPointer"
+      let option_name = "-warn-invalid-pointer"
+      let help = "generate alarms when invalid pointers are created."
+    end)
 
 (* ************************************************************************* *)
 (** {2 Sequencing options} *)
diff --git a/src/kernel_services/plugin_entry_points/kernel.mli b/src/kernel_services/plugin_entry_points/kernel.mli
index 04ef6317f0c2e63a44f15a244e79a31947ae9b1c..b641349af400fa143333b0491f449b498b1b5b0a 100644
--- a/src/kernel_services/plugin_entry_points/kernel.mli
+++ b/src/kernel_services/plugin_entry_points/kernel.mli
@@ -549,6 +549,9 @@ module SpecialFloat: Parameter_sig.String
 module InvalidBool: Parameter_sig.Bool
 (** Behavior of option "-warn-invalid-bool" *)
 
+module InvalidPointer: Parameter_sig.Bool
+(** Behavior of option "-warn-invalid-pointer" *)
+
 module AbsoluteValidRange: Parameter_sig.String
 (** Behavior of option "-absolute-valid-range" *)