Fix norhh bugs

6 years ago · 32275d07e4
parent 1439bb5666
commit 32275d07e4
2 changed files with 2 additions and 2 deletions
--- a/mythril/analysis/modules/dependence_on_predictable_vars.py
+++ b/mythril/analysis/modules/dependence_on_predictable_vars.py
@ -15,7 +15,7 @@ import traceback
 log = logging.getLogger(__name__)

 predictable_ops = ["COINBASE", "GASLIMIT", "TIMESTAMP", "NUMBER"]
-final_ops = ["CALL", "SUICIDE", "STOP"]
+final_ops = ["CALL", "SUICIDE", "STOP", "RETURN"]


 # One of Bernhard's trademark hacks!
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -898,7 +898,7 @@ class Instruction:
        return [global_state]

    @StateTransition(enable_gas=False)
-    def sha3_(selxf, global_state: GlobalState) -> List[GlobalState]:
+    def sha3_(self, global_state: GlobalState) -> List[GlobalState]:
        """

        :param global_state: