From 2bfb1fc1249bf793b77b38c6149eca96b184dcf2 Mon Sep 17 00:00:00 2001 From: Vitaly Chipounov Date: Sat, 21 Sep 2024 21:57:51 +0200 Subject: [PATCH] core/memory: fixed crash in single-path mode The abort was unnecessary. The memory contains concrete data at all times and can be returned as an expression. Signed-off-by: Vitaly Chipounov --- libs2ecore/src/S2EExecutionStateMemory.cpp | 4 ---- 1 file changed, 4 deletions(-) diff --git a/libs2ecore/src/S2EExecutionStateMemory.cpp b/libs2ecore/src/S2EExecutionStateMemory.cpp index 813623192..8492f31f5 100644 --- a/libs2ecore/src/S2EExecutionStateMemory.cpp +++ b/libs2ecore/src/S2EExecutionStateMemory.cpp @@ -102,16 +102,12 @@ uint64_t S2EExecutionStateMemory::getHostAddress(uint64_t address, AddressType a /***/ ref S2EExecutionStateMemory::read(uint64_t address, Expr::Width width, AddressType addressType) { -#ifdef CONFIG_SYMBEX_MP auto translate = [&](uint64_t addressToTranslate, uint64_t &hostAddress) -> bool { hostAddress = getHostAddress(addressToTranslate, addressType); return hostAddress != (uint64_t) -1; }; return m_addressSpace->read(address, width, translate); -#else - pabort("Not implemented"); -#endif } ref S2EExecutionStateMemory::readMemory8(uint64_t address, AddressType addressType) {