Support native calls for delegatecall and callcode (#1534)

3 years ago · 82d2fa8196
parent 2212e565a4
commit 82d2fa8196
1 changed files with 12 additions and 0 deletions
--- 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,