diff options
| author | Tomasz Kuchta <t.kuchta@samsung.com> | 2023-11-17 15:54:01 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2024-01-12 14:07:49 +0000 |
| commit | 5ea5d436e4e52709c0f4e02a1b0ed97d944eeb4d (patch) | |
| tree | e430ed64734e6cea5c0e0bf523e9a9f447971d65 /lib/Core/ExecutionState.h | |
| parent | ad0daf5bc3c534f93aff24d196efbfef2ef3e36b (diff) | |
| download | klee-5ea5d436e4e52709c0f4e02a1b0ed97d944eeb4d.tar.gz | |
Follow-up: applied review comments, implemented meta-data cleanup (one more map added to ExecutionState); now storing addresses of MemoryObjects for easier cleanup
Diffstat (limited to 'lib/Core/ExecutionState.h')
| -rw-r--r-- | lib/Core/ExecutionState.h | 5 |
1 files changed, 4 insertions, 1 deletions
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<Expr>, ref<ConstantExpr>> base_addrs_t; + using base_addrs_t = std::map<ref<Expr>, ref<ConstantExpr>>; base_addrs_t base_addrs; + /// @brief Mapping MemoryObject addresses to refs used in the base_addrs map + using base_mo_t = std::map<uint64_t, std::set<ref<Expr>>>; + base_mo_t base_mos; public: #ifdef KLEE_UNITTEST |