From 10650d919184deb6081d453cb6a60b18fb0fe2c4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 24 Jan 2024 13:43:22 +0100
Subject: [PATCH] [kernel] Removes unused Security module from Db.
---
src/kernel_services/plugin_entry_points/db.ml | 7 -------
src/kernel_services/plugin_entry_points/db.mli | 15 ---------------
2 files changed, 22 deletions(-)
diff --git a/src/kernel_services/plugin_entry_points/db.ml b/src/kernel_services/plugin_entry_points/db.ml
index 76e276df124..5f121fb7049 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 bd5c3f53352..ad0274cc422 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. *)
--
GitLab