From e0c8e812f1ce710cfc74e247e9cd8c417d28213b Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Sun, 8 Mar 2020 09:12:29 +0100 Subject: [PATCH] Remove prehook --- mythril/analysis/module/modules/ether_thief.py | 3 +-- mythril/laser/ethereum/transaction/symbolic.py | 1 + 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/mythril/analysis/module/modules/ether_thief.py b/mythril/analysis/module/modules/ether_thief.py index 70231a7c..c79accf8 100644 --- a/mythril/analysis/module/modules/ether_thief.py +++ b/mythril/analysis/module/modules/ether_thief.py @@ -34,7 +34,6 @@ class EtherThief(DetectionModule): swc_id = UNPROTECTED_ETHER_WITHDRAWAL description = DESCRIPTION entry_point = EntryPoint.CALLBACK - pre_hooks = ["CALL", "STATICCALL"] post_hooks = ["CALL", "STATICCALL"] def reset_module(self): @@ -67,7 +66,7 @@ class EtherThief(DetectionModule): constraints = copy(state.world_state.constraints) """ - Fixme: Potential issue should only be created it call target is the attacker. + FIXME: Potential issue should only be created it call target is the attacker. This requires a prehook in addition to the posthook """ diff --git a/mythril/laser/ethereum/transaction/symbolic.py b/mythril/laser/ethereum/transaction/symbolic.py index a5ee883d..505b6f9e 100644 --- a/mythril/laser/ethereum/transaction/symbolic.py +++ b/mythril/laser/ethereum/transaction/symbolic.py @@ -145,6 +145,7 @@ def execute_contract_creation( ) _setup_global_state_for_execution(laser_evm, transaction) new_account = new_account or transaction.callee_account + laser_evm.exec(True) return new_account