From 5ea5d436e4e52709c0f4e02a1b0ed97d944eeb4d Mon Sep 17 00:00:00 2001 From: Tomasz Kuchta Date: Fri, 17 Nov 2023 15:54:01 +0100 Subject: Follow-up: applied review comments, implemented meta-data cleanup (one more map added to ExecutionState); now storing addresses of MemoryObjects for easier cleanup --- lib/Core/ExecutionState.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'lib/Core/ExecutionState.h') diff --git a/lib/Core/ExecutionState.h b/lib/Core/ExecutionState.h index 833537f2..0e28e04f 100644 --- a/lib/Core/ExecutionState.h +++ b/lib/Core/ExecutionState.h @@ -249,8 +249,11 @@ public: bool forkDisabled = false; /// @brief Mapping symbolic address expressions to concrete base addresses - typedef std::map, ref> base_addrs_t; + using base_addrs_t = std::map, ref>; base_addrs_t base_addrs; + /// @brief Mapping MemoryObject addresses to refs used in the base_addrs map + using base_mo_t = std::map>>; + base_mo_t base_mos; public: #ifdef KLEE_UNITTEST -- cgit 1.4.1