stores only code regions in the KB

BinaryAnalysisPlatform · Nov 2, 2020 · 30f1161 · 30f1161
1 parent e7ad5f1
commit 30f1161
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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;