Skip to content

test_opcodes_in_eof_calling_legacy()

Documentation for tests/osaka/eip7692_eof_v1/eip3540_eof_v1/test_opcodes_in_legacy.py::test_opcodes_in_eof_calling_legacy@49a16fac.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7692_eof_v1/eip3540_eof_v1/test_opcodes_in_legacy.py::test_opcodes_in_eof_calling_legacy --fork Osaka

Test all opcodes in eof calling legacy and expects failure.

Source code in tests/osaka/eip7692_eof_v1/eip3540_eof_v1/test_opcodes_in_legacy.py
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
@pytest.mark.parametrize(
    ("ext_call_opcode"),
    [
        pytest.param(Op.EXTCALL, id="EXTCALL"),
        pytest.param(Op.EXTDELEGATECALL, id="EXTDELEGATECALL"),
        pytest.param(Op.EXTSTATICCALL, id="EXTSTATICCALL"),
    ],
)
@pytest.mark.parametrize(
    "code",
    eof_opcode_blocks,
)
def test_opcodes_in_eof_calling_legacy(
    state_test: StateTestFiller,
    pre: Alloc,
    code: Opcodes,
    ext_call_opcode: Op,
):
    """Test all opcodes in eof calling legacy and expects failure."""
    env = Environment()

    address_test_contract = pre.deploy_contract(
        code=code + Op.SSTORE(slot_code_executed, value_code_executed),
        storage={slot_code_executed: value_non_execution_canary},
    )

    address_entry_contract = pre.deploy_contract(
        code=Container(
            sections=[
                Section.Code(
                    ext_call_opcode(address=address_test_contract)
                    + Op.SSTORE(slot_code_worked, value_code_worked)
                    + Op.STOP
                )
            ]
        ),
        storage={slot_code_executed: value_non_execution_canary},
    )

    post = {
        # assert the canary is not over-written. If it was written then the EOF opcode was valid
        address_test_contract: Account(storage={slot_code_executed: value_non_execution_canary}),
        address_entry_contract: Account(
            storage={
                slot_code_executed: value_non_execution_canary,
                slot_code_worked: value_code_worked,
            }
        ),
    }

    sender = pre.fund_eoa()

    tx = Transaction(
        sender=sender,
        to=address_entry_contract,
        gas_limit=5_000_000,
        gas_price=10,
        protected=False,
        data="",
    )

    state_test(
        env=env,
        pre=pre,
        post=post,
        tx=tx,
    )

Parametrized Test Cases

The interactive table below is also available as a standalone page.

Test ID (Abbreviated) code ext_call_opcode
...fork_Osaka-blockchain_test-DUPN-EXTCALL EXTCALL
...fork_Osaka-blockchain_test-DUPN-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-blockchain_test-DUPN-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-blockchain_test-SWAPN-EXTCALL EXTCALL
...fork_Osaka-blockchain_test-SWAPN-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-blockchain_test-SWAPN-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-blockchain_test-EXCHANGE-EXTCALL EXTCALL
...fork_Osaka-blockchain_test-EXCHANGE-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-blockchain_test-EXCHANGE-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-blockchain_test-RJUMP-EXTCALL RJUMP_0x0000 EXTCALL
...fork_Osaka-blockchain_test-RJUMP-EXTDELEGATECALL RJUMP_0x0000 EXTDELEGATECALL
...fork_Osaka-blockchain_test-RJUMP-EXTSTATICCALL RJUMP_0x0000 EXTSTATICCALL
...fork_Osaka-blockchain_test-RJUMPI0-EXTCALL EXTCALL
...fork_Osaka-blockchain_test-RJUMPI0-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-blockchain_test-RJUMPI0-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-blockchain_test-RJUMPI1-EXTCALL EXTCALL
...fork_Osaka-blockchain_test-RJUMPI1-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-blockchain_test-RJUMPI1-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-blockchain_test-CALLF-EXTCALL CALLF_0x0001 EXTCALL
...fork_Osaka-blockchain_test-CALLF-EXTDELEGATECALL CALLF_0x0001 EXTDELEGATECALL
...fork_Osaka-blockchain_test-CALLF-EXTSTATICCALL CALLF_0x0001 EXTSTATICCALL
...fork_Osaka-blockchain_test-RETF-EXTCALL RETF EXTCALL
...fork_Osaka-blockchain_test-RETF-EXTDELEGATECALL RETF EXTDELEGATECALL
...fork_Osaka-blockchain_test-RETF-EXTSTATICCALL RETF EXTSTATICCALL
...fork_Osaka-blockchain_test-JUMPF-EXTCALL JUMPF_0x0000 EXTCALL
...fork_Osaka-blockchain_test-JUMPF-EXTDELEGATECALL JUMPF_0x0000 EXTDELEGATECALL
...fork_Osaka-blockchain_test-JUMPF-EXTSTATICCALL JUMPF_0x0000 EXTSTATICCALL
...fork_Osaka-blockchain_test-EXTCALL-EXTCALL EXTCALL
...fork_Osaka-blockchain_test-EXTCALL-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-blockchain_test-EXTCALL-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-blockchain_test-EXTDELEGATECALL-EXTCALL EXTCALL
...fork_Osaka-blockchain_test-EXTDELEGATECALL-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-blockchain_test-EXTDELEGATECALL-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-blockchain_test-EXTSTATICCALL-EXTCALL EXTCALL
...fork_Osaka-blockchain_test-EXTSTATICCALL-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-blockchain_test-EXTSTATICCALL-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-blockchain_test-DATALOAD-EXTCALL EXTCALL
...fork_Osaka-blockchain_test-DATALOAD-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-blockchain_test-DATALOAD-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-blockchain_test-DATALOADN-EXTCALL DATALOADN_0x0000 EXTCALL
...fork_Osaka-blockchain_test-DATALOADN-EXTDELEGATECALL DATALOADN_0x0000 EXTDELEGATECALL
...fork_Osaka-blockchain_test-DATALOADN-EXTSTATICCALL DATALOADN_0x0000 EXTSTATICCALL
...fork_Osaka-blockchain_test-DATASIZE-EXTCALL DATASIZE EXTCALL
...fork_Osaka-blockchain_test-DATASIZE-EXTDELEGATECALL DATASIZE EXTDELEGATECALL
...fork_Osaka-blockchain_test-DATASIZE-EXTSTATICCALL DATASIZE EXTSTATICCALL
...fork_Osaka-blockchain_test-DATACOPY-EXTCALL EXTCALL
...fork_Osaka-blockchain_test-DATACOPY-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-blockchain_test-DATACOPY-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-blockchain_test-EOFCREATE-EXTCALL EXTCALL
...fork_Osaka-blockchain_test-EOFCREATE-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-blockchain_test-EOFCREATE-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-blockchain_test-RETURNCONTRACT-EXTCALL RETURNCONTRACT_0x00 EXTCALL
...fork_Osaka-blockchain_test-RETURNCONTRACT-EXTDELEGATECALL RETURNCONTRACT_0x00 EXTDELEGATECALL
...fork_Osaka-blockchain_test-RETURNCONTRACT-EXTSTATICCALL RETURNCONTRACT_0x00 EXTSTATICCALL
...fork_Osaka-state_test-DUPN-EXTCALL EXTCALL
...fork_Osaka-state_test-DUPN-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-state_test-DUPN-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-state_test-SWAPN-EXTCALL EXTCALL
...fork_Osaka-state_test-SWAPN-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-state_test-SWAPN-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-state_test-EXCHANGE-EXTCALL EXTCALL
...fork_Osaka-state_test-EXCHANGE-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-state_test-EXCHANGE-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-state_test-RJUMP-EXTCALL RJUMP_0x0000 EXTCALL
...fork_Osaka-state_test-RJUMP-EXTDELEGATECALL RJUMP_0x0000 EXTDELEGATECALL
...fork_Osaka-state_test-RJUMP-EXTSTATICCALL RJUMP_0x0000 EXTSTATICCALL
...fork_Osaka-state_test-RJUMPI0-EXTCALL EXTCALL
...fork_Osaka-state_test-RJUMPI0-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-state_test-RJUMPI0-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-state_test-RJUMPI1-EXTCALL EXTCALL
...fork_Osaka-state_test-RJUMPI1-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-state_test-RJUMPI1-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-state_test-CALLF-EXTCALL CALLF_0x0001 EXTCALL
...fork_Osaka-state_test-CALLF-EXTDELEGATECALL CALLF_0x0001 EXTDELEGATECALL
...fork_Osaka-state_test-CALLF-EXTSTATICCALL CALLF_0x0001 EXTSTATICCALL
...fork_Osaka-state_test-RETF-EXTCALL RETF EXTCALL
...fork_Osaka-state_test-RETF-EXTDELEGATECALL RETF EXTDELEGATECALL
...fork_Osaka-state_test-RETF-EXTSTATICCALL RETF EXTSTATICCALL
...fork_Osaka-state_test-JUMPF-EXTCALL JUMPF_0x0000 EXTCALL
...fork_Osaka-state_test-JUMPF-EXTDELEGATECALL JUMPF_0x0000 EXTDELEGATECALL
...fork_Osaka-state_test-JUMPF-EXTSTATICCALL JUMPF_0x0000 EXTSTATICCALL
...fork_Osaka-state_test-EXTCALL-EXTCALL EXTCALL
...fork_Osaka-state_test-EXTCALL-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-state_test-EXTCALL-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-state_test-EXTDELEGATECALL-EXTCALL EXTCALL
...fork_Osaka-state_test-EXTDELEGATECALL-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-state_test-EXTDELEGATECALL-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-state_test-EXTSTATICCALL-EXTCALL EXTCALL
...fork_Osaka-state_test-EXTSTATICCALL-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-state_test-EXTSTATICCALL-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-state_test-DATALOAD-EXTCALL EXTCALL
...fork_Osaka-state_test-DATALOAD-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-state_test-DATALOAD-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-state_test-DATALOADN-EXTCALL DATALOADN_0x0000 EXTCALL
...fork_Osaka-state_test-DATALOADN-EXTDELEGATECALL DATALOADN_0x0000 EXTDELEGATECALL
...fork_Osaka-state_test-DATALOADN-EXTSTATICCALL DATALOADN_0x0000 EXTSTATICCALL
...fork_Osaka-state_test-DATASIZE-EXTCALL DATASIZE EXTCALL
...fork_Osaka-state_test-DATASIZE-EXTDELEGATECALL DATASIZE EXTDELEGATECALL
...fork_Osaka-state_test-DATASIZE-EXTSTATICCALL DATASIZE EXTSTATICCALL
...fork_Osaka-state_test-DATACOPY-EXTCALL EXTCALL
...fork_Osaka-state_test-DATACOPY-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-state_test-DATACOPY-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-state_test-EOFCREATE-EXTCALL EXTCALL
...fork_Osaka-state_test-EOFCREATE-EXTDELEGATECALL EXTDELEGATECALL
...fork_Osaka-state_test-EOFCREATE-EXTSTATICCALL EXTSTATICCALL
...fork_Osaka-state_test-RETURNCONTRACT-EXTCALL RETURNCONTRACT_0x00 EXTCALL
...fork_Osaka-state_test-RETURNCONTRACT-EXTDELEGATECALL RETURNCONTRACT_0x00 EXTDELEGATECALL
...fork_Osaka-state_test-RETURNCONTRACT-EXTSTATICCALL RETURNCONTRACT_0x00 EXTSTATICCALL