From faba19ba029121c9bb3074eba0b92658b0afd03b Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Mon, 7 Feb 2022 16:58:15 +0100
Subject: [PATCH] [Security_slicing] Use the new Eva API
---
src/plugins/security_slicing/components.ml | 12 ++++--------
1 file changed, 4 insertions(+), 8 deletions(-)
diff --git a/src/plugins/security_slicing/components.ml b/src/plugins/security_slicing/components.ml
index af605036f17..4db3c3d87d9 100644
--- a/src/plugins/security_slicing/components.ml
+++ b/src/plugins/security_slicing/components.ml
@@ -398,7 +398,7 @@ module Component = struct
todolist
callsites)
todolist
- (!Db.Value.callers kf)
+ (Eva.Results.callsites kf)
let related_nodes_of_nodes kind result nodes =
let initial_nodes =
@@ -460,7 +460,7 @@ module Component = struct
in
List.fold_left do_call todolist callsites
in
- List.fold_left do_caller todolist (!Db.Value.callers kf)
+ List.fold_left do_caller todolist (Eva.Results.callsites kf)
| _ ->
todolist
in
@@ -502,11 +502,7 @@ module Component = struct
todolist
else
let stmt = Key.call_from_id id in
- let called_kfs =
- Kernel_function.Hptset.elements
- (try Db.Value.call_to_kernel_function stmt
- with Db.Value.Not_a_call -> assert false)
- in
+ let called_kfs = Eva.Results.callee stmt in
let todolist =
List.fold_left
(fun todolist called_kf ->
@@ -629,7 +625,7 @@ module Component = struct
~level:3 "computing initial nodes for %d" stmt.sid;
let pdg = !Db.Pdg.get kf in
let nodes =
- if Db.Value.is_reachable_stmt stmt then
+ if Eva.Results.is_reachable stmt then
try !Db.Pdg.find_simple_stmt_nodes pdg stmt
with Not_found -> assert false
else begin
--
GitLab