From 8dc8b976216e3d86355bdf5507b82b14549a364d Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Tue, 17 Mar 2020 08:30:15 +0100 Subject: [PATCH] Reintroduce constraint on tx.origin in EtherThief --- mythril/analysis/module/modules/ether_thief.py | 1 + 1 file changed, 1 insertion(+) diff --git a/mythril/analysis/module/modules/ether_thief.py b/mythril/analysis/module/modules/ether_thief.py index c28880a1..650536f7 100644 --- a/mythril/analysis/module/modules/ether_thief.py +++ b/mythril/analysis/module/modules/ether_thief.py @@ -69,6 +69,7 @@ class EtherThief(DetectionModule): state.world_state.starting_balances[ACTORS.attacker], ), state.environment.sender == ACTORS.attacker, + state.current_transaction.caller == state.current_transaction.origin, ] try: