From 2ada89028bddad692730019fdb17d989613f4913 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 7 Aug 2024 15:09:54 +0200
Subject: [PATCH] [Eva] Taint domain: fixes the registration of the \tainted
predicate.
---
src/plugins/eva/domains/taint_domain.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/plugins/eva/domains/taint_domain.ml b/src/plugins/eva/domains/taint_domain.ml
index e434f1c04cb..a6a9f9c33f1 100644
--- a/src/plugins/eva/domains/taint_domain.ml
+++ b/src/plugins/eva/domains/taint_domain.ml
@@ -404,8 +404,7 @@ let () =
bl_profile = ["p", a_type];
}
in
- Logic_env.add_builtin_logic_function_gen
- Logic_utils.is_same_builtin_profile builtin_logic_info
+ Logic_env.Builtins.extend (fun () -> Logic_builtin.add builtin_logic_info)
(* Registers ACSL extension "taint" (statement annotation)
and "taints" (behavior extension). *)
--
GitLab