Fix

Author: mamaria-k

lib/Core/Executor.cpp

@@ -5037,8 +5037,9 @@ void Executor::terminateStateOnTargetTaintError(ExecutionState &state,
   reportStateOnTargetError(
       state, ReachWithError(ReachWithErrorType::MaybeTaint, ruleStr));
 
-  terminateStateOnProgramError(state, ruleStr + " taint error",
-                               StateTerminationType::Taint);
+  terminateStateOnProgramError(
+      state, new ErrorEvent(locationOf(state), StateTerminationType::Taint,
+                            ruleStr + " taint error"));
 }
 
 void Executor::terminateStateOnError(ExecutionState &state,
@@ -5569,9 +5570,10 @@ void Executor::executeChangeTaintSource(ExecutionState &state,
 
       ObjectState *wos = it->second->addressSpace.getWriteable(mo, os.get());
       if (wos->readOnly) {
-        terminateStateOnProgramError(*(it->second),
-                                     "memory error: object read only",
-                                     StateTerminationType::ReadOnly);
+        terminateStateOnProgramError(
+            *(it->second), new ErrorEvent(locationOf(*(it->second)),
+                                          StateTerminationType::ReadOnly,
+                                          "memory error: object read only"));
       } else {
         wos->updateTaint(Expr::createTaintBySource(source), isAdd);
         errs() << "source was: " << source << " ";

lib/Core/Memory.cpp

@@ -254,8 +254,7 @@ ref<Expr> ObjectState::readTaint8(ref<Expr> offset) const {
             dyn_cast<ConstantExpr>(object->getSizeExpr())) {
       auto moSize = sizeExpr->getZExtValue();
       if (object && moSize > 4096) {
-        std::string allocInfo;
-        object->getAllocInfo(allocInfo);
+        std::string allocInfo =  object->getAllocInfo();
         klee_warning_once(nullptr,
                           "Symbolic memory access will send the following "
                           "array of %lu bytes to "