From 802ec0d30fedfb9fcdb8293109994a056984a31b Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Sun, 31 Mar 2019 13:14:57 +0530 Subject: [PATCH] Remove node from usage in state_change module --- mythril/analysis/modules/state_change_external_calls.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/mythril/analysis/modules/state_change_external_calls.py b/mythril/analysis/modules/state_change_external_calls.py index 046a8c1b..31c68afc 100644 --- a/mythril/analysis/modules/state_change_external_calls.py +++ b/mythril/analysis/modules/state_change_external_calls.py @@ -82,7 +82,7 @@ class StateChange(DetectionModule): if call is None: return try: - constraints = copy(state.node.constraints) + constraints = copy(state.mstate.constraints) solver.get_model( constraints + [UGT(gas, symbol_factory.BitVecVal(2300, 256))] ) @@ -167,8 +167,8 @@ class StateChange(DetectionModule): ) issue = Issue( - contract=call.node.contract_name, - function_name=call.node.function_name, + contract=call.state.environment.active_account.contract_name, + function_name=call.state.environment.active_function_name, address=address, title="State change after external call", severity=severity,