From 30f11612e89283fcca2e3bb10a47ccf69f0c23f6 Mon Sep 17 00:00:00 2001
From: ivg <ivg@ieee.org>
Date: Mon, 2 Nov 2020 13:28:42 -0500
Subject: [PATCH] stores only code regions in the KB

---
 lib/bap/bap_project.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/lib/bap/bap_project.ml b/lib/bap/bap_project.ml
index 6fa9b3b53..238cfd93a 100644
--- a/lib/bap/bap_project.ml
+++ b/lib/bap/bap_project.ml
@@ -47,8 +47,7 @@ let with_filename spec target code memory path =
   KB.promising Theory.Label.unit ~promise:(fun label ->
       KB.collect Theory.Label.addr label >>=? fun addr ->
       let addr = Word.create addr width in
-      let memory = union_memory code data in
-      if Memmap.contains memory addr then
+      if Memmap.contains code addr then
         Theory.Unit.for_file path >>= fun unit ->
         KB.sequence [
           KB.provide Image.Spec.slot unit spec;