From 2675168486c738d9ec60c728d6a14789cddd0d17 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Thu, 5 Apr 2018 19:52:52 +0100
Subject: klee_int: allow NULL as name

---
 lib/Core/SpecialFunctionHandler.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp
index d85c5e93..11a73da3 100644
--- a/lib/Core/SpecialFunctionHandler.cpp
+++ b/lib/Core/SpecialFunctionHandler.cpp
@@ -762,7 +762,7 @@ void SpecialFunctionHandler::handleMakeSymbolic(ExecutionState &state,
       klee_warning("klee_make_symbolic: deprecated number of arguments (2 instead of 3)");
       break;
     case 3:
-      name = readStringAtAddress(state, arguments[2]);
+      name = arguments[2]->isZero() ? "" : readStringAtAddress(state, arguments[2]);
       break;
     default:
       executor.terminateStateOnError(state, "illegal number of arguments to klee_make_symbolic(void*, size_t, char*)", Executor::User);
-- 
cgit 1.4.1