Reintroduce constraint on tx.origin in EtherThief

ether_refactor_2
Bernhard Mueller 5 years ago
parent 92c9972e57
commit 8dc8b97621
  1. 1
      mythril/analysis/module/modules/ether_thief.py

@ -69,6 +69,7 @@ class EtherThief(DetectionModule):
state.world_state.starting_balances[ACTORS.attacker], state.world_state.starting_balances[ACTORS.attacker],
), ),
state.environment.sender == ACTORS.attacker, state.environment.sender == ACTORS.attacker,
state.current_transaction.caller == state.current_transaction.origin,
] ]
try: try:

Loading…
Cancel
Save