From 32275d07e4997ff34866e92d00236b5073b66e1b Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Wed, 15 May 2019 15:25:07 +0200 Subject: [PATCH] Fix norhh bugs --- mythril/analysis/modules/dependence_on_predictable_vars.py | 2 +- mythril/laser/ethereum/instructions.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/mythril/analysis/modules/dependence_on_predictable_vars.py b/mythril/analysis/modules/dependence_on_predictable_vars.py index cab8bee3..e97728c8 100644 --- 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! diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index d4f000df..fe0ce2e8 100644 --- 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: