Do not ingore offsets when calling BlobSize for memset/memcpy

goblint · Sep 29, 2023 · 2534945 · 2534945
1 parent 655362e
commit 2534945
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -2041,8 +2041,7 @@ struct
       | _ -> false
     in
     if points_to_heap_only then
-      (* Ask for BlobSize from the base address (the second field set to true) in order to avoid BlobSize giving us bot *)
-      ctx.ask (Queries.BlobSize {exp = dest; base_address = true})
+      ctx.ask (Queries.BlobSize {exp = dest; base_address = false})
     else
       match ctx.ask (Queries.MayPointTo dest) with
       | a when not (Queries.AD.is_top a) ->