diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index c5715220..88b3676f 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -2074,6 +2074,12 @@ class Instruction: ) return [global_state] + native_result = native_call( + global_state, callee_address, call_data, memory_out_offset, memory_out_size + ) + if native_result: + return native_result + transaction = MessageCallTransaction( world_state=global_state.world_state, gas_price=environment.gasprice, @@ -2211,6 +2217,12 @@ class Instruction: ) return [global_state] + native_result = native_call( + global_state, callee_address, call_data, memory_out_offset, memory_out_size + ) + if native_result: + return native_result + transaction = MessageCallTransaction( world_state=global_state.world_state, gas_price=environment.gasprice,