Update description text

ether_thief
Bernhard Mueller 5 years ago
parent d6fc31ddda
commit 417a42909e
  1. 3
      mythril/analysis/module/modules/ether_thief.py

@ -84,8 +84,7 @@ class EtherThief(DetectionModule):
bytecode=state.environment.code.bytecode,
description_head="Anyone can withdraw ETH from the contract account.",
description_tail="Arbitrary senders other than the contract creator can withdraw ETH from the contract"
+ " account without previously having sent an equivalent amount of ETH to it. This is likely to be"
+ " a vulnerability.",
+ " account. This is likely to be a vulnerability.",
detector=self,
constraints=constraints,
)

Loading…
Cancel
Save