diff --git a/src/kernel_services/plugin_entry_points/db.ml b/src/kernel_services/plugin_entry_points/db.ml index 76e276df1248309ee211af152114ef11409d228e..5f121fb7049f236ae1c9814867bff5c05ea01312 100644 --- a/src/kernel_services/plugin_entry_points/db.ml +++ b/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 diff --git a/src/kernel_services/plugin_entry_points/db.mli b/src/kernel_services/plugin_entry_points/db.mli index bd5c3f533520ca08101f51ece57e337c88596a0a..ad0274cc422ec1a3401ffd9dc3f2a48437bffde0 100644 --- a/src/kernel_services/plugin_entry_points/db.mli +++ b/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. *)