Report correct offset in EtherThief module

5 years ago · 8bf8b08bda
parent 35f39fecf4
commit 8bf8b08bda
1 changed files with 2 additions and 1 deletions
--- a/mythril/analysis/module/modules/ether_thief.py
+++ b/mythril/analysis/module/modules/ether_thief.py
@ -78,7 +78,8 @@ class EtherThief(DetectionModule):
            potential_issue = PotentialIssue(
                contract=state.environment.active_account.contract_name,
                function_name=state.environment.active_function_name,
-                address=instruction["address"],
+                address=instruction["address"]
+                - 1,  # In post hook we use offset of previous instruction
                swc_id=UNPROTECTED_ETHER_WITHDRAWAL,
                title="Unprotected Ether Withdrawal",
                severity="High",