[kernel] Removes unused Security module from Db.

src/kernel_services/plugin_entry_points/db.ml

@@ -51,13 +51,6 @@ end
 (** {2 Others plugins} *)
 (* ************************************************************************* *)
 
-module Security = struct
-  let run_whole_analysis = mk_fun "Security.run_whole_analysis"
-  let run_ai_analysis = mk_fun "Security.run_ai_analysis"
-  let run_slicing_analysis = mk_fun "Security.run_slicing_analysis"
-  let self = ref State.dummy
-end
-
 module PostdominatorsTypes = struct
   exception Top
 

src/kernel_services/plugin_entry_points/db.mli

@@ -130,21 +130,6 @@ module Postdominators: PostdominatorsTypes.Sig
 
 module PostdominatorsValue: PostdominatorsTypes.Sig
 
-module Security : sig
-
-  val run_whole_analysis: (unit -> unit) ref
-  (** Run all the security analysis. *)
-
-  val run_ai_analysis: (unit -> unit) ref
-  (** Only run the analysis by abstract interpretation. *)
-
-  val run_slicing_analysis: (unit -> Project.t) ref
-  (** Only run the security slicing pre-analysis. *)
-
-  val self: State.t ref
-
-end
-
 (** {3 GUI} *)
 
 (** Registered daemon on progress. *)