From 5865a10d52219a11d5218285dfebd09f2e6c4636 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Wed, 23 Oct 2019 14:48:32 +0200 Subject: [PATCH] apply substitution in restoration of previous state --- mythril/laser/ethereum/plugins/implementations/summary/core.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/plugins/implementations/summary/core.py b/mythril/laser/ethereum/plugins/implementations/summary/core.py index abcfee16..4cf30600 100644 --- a/mythril/laser/ethereum/plugins/implementations/summary/core.py +++ b/mythril/laser/ethereum/plugins/implementations/summary/core.py @@ -155,6 +155,6 @@ class SymbolicSummaryPlugin(LaserPlugin): """Restores the previous persistent variables to the global state""" for account in global_state.world_state.accounts: for og_storage, sym_storage in tracking_annotation.storage_pairs: - account.storage.replace(sym_storage, og_storage) + account.storage._standard_storage.substitute(sym_storage, og_storage) for constraint in tracking_annotation.storage_constraints: global_state.mstate.constraints.remove(constraint)