From f9d74f26cd4a8483af92bcc3f222a3b895eb9308 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 19 Jun 2024 15:24:52 +0200
Subject: [PATCH] [Eva] Fixes possible crash in memcpy/memset builtins.

---
 src/plugins/eva/domains/cvalue/builtins_memory.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/eva/domains/cvalue/builtins_memory.ml b/src/plugins/eva/domains/cvalue/builtins_memory.ml
index dc8645d225f..9815b35bd4f 100644
--- a/src/plugins/eva/domains/cvalue/builtins_memory.ml
+++ b/src/plugins/eva/domains/cvalue/builtins_memory.ml
@@ -34,7 +34,7 @@ let dkey = Self.register_category "imprecision"
 let rec lval_of_address exp =
   match exp.node with
   | AddrOf lval -> lval
-  | CastE (_typ, exp) -> lval_of_address exp
+  | CastE (_typ, exp) when Cil.isPointerType exp.typ -> lval_of_address exp
   | _ -> Eva_ast.Build.mem exp
 
 let plevel = Parameters.ArrayPrecisionLevel.get
-- 
GitLab