From 8bec949fc84d8fe8dacbf38ff123b404f1eb4737 Mon Sep 17 00:00:00 2001
From: Timotej Kapus <timotej.kapus13@imperial.ac.uk>
Date: Wed, 13 Dec 2017 17:37:16 +0000
Subject: Add support for concretizing symbolic objects passed to external
 functions

---
 lib/Core/Executor.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'lib/Core/Executor.cpp')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 4fd94dd4..1e1a142b 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -3024,6 +3024,12 @@ void Executor::callExternalFunction(ExecutionState &state,
       assert(success && "FIXME: Unhandled solver failure");
       (void) success;
       ce->toMemory(&args[wordIndex]);
+      ObjectPair op;
+      // Checking to see if the argument is a pointer to something
+      if (ce->getWidth() == Context::get().getPointerWidth() &&
+          state.addressSpace.resolveOne(ce, op)) {
+        op.second->flushToConcreteStore(solver, state);
+      }
       wordIndex += (ce->getWidth()+63)/64;
     } else {
       ref<Expr> arg = toUnique(state, *ai);
-- 
cgit 1.4.1