Skip to content

test_eof_calls_clear_return_buffer()

Documentation for tests/osaka/eip7692_eof_v1/eip7069_extcall/test_calls.py::test_eof_calls_clear_return_buffer@21fb11c8.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7692_eof_v1/eip7069_extcall/test_calls.py::test_eof_calls_clear_return_buffer --fork Osaka

Test EOF contracts calling clears returndata buffer.

Source code in tests/osaka/eip7692_eof_v1/eip7069_extcall/test_calls.py
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
@pytest.mark.parametrize(
    "opcode",
    [
        Op.EXTCALL,
        Op.EXTDELEGATECALL,
        Op.EXTSTATICCALL,
    ],
)
@pytest.mark.parametrize(
    "target_account_type",
    (
        "empty",
        "EOA",
        "LegacyContract",
        "EOFContract",
        "LegacyContractInvalid",
        "EOFContractInvalid",
    ),
    ids=lambda x: x,
)
@pytest.mark.parametrize("value", [0, 1])
def test_eof_calls_clear_return_buffer(
    state_test: StateTestFiller,
    pre: Alloc,
    sender: EOA,
    opcode: Op,
    target_account_type: str,
    value: int,
):
    """Test EOF contracts calling clears returndata buffer."""
    env = Environment()
    filling_contract_code = Container.Code(
        Op.MSTORE8(0, int.from_bytes(value_returndata_magic, "big")) + Op.RETURN(0, 32),
    )
    filling_callee_address = pre.deploy_contract(filling_contract_code)

    match target_account_type:
        case "empty":
            target_address = b"\x78" * 20
        case "EOA":
            target_address = pre.fund_eoa()
        case "LegacyContract":
            target_address = pre.deploy_contract(
                code=Op.STOP,
            )
        case "EOFContract":
            target_address = pre.deploy_contract(
                code=Container.Code(Op.STOP),
            )
        case "LegacyContractInvalid":
            target_address = pre.deploy_contract(
                code=Op.INVALID,
            )
        case "EOFContractInvalid":
            target_address = pre.deploy_contract(
                code=Container.Code(Op.INVALID),
            )

    caller_contract = Container.Code(
        # First fill the return buffer and sanity check
        Op.EXTCALL(filling_callee_address, 0, 0, 0)
        + Op.SSTORE(slot_returndatasize_before_clear, Op.RETURNDATASIZE)
        # Then call something that doesn't return and check returndata cleared
        + opcode(address=target_address, value=value)
        + Op.SSTORE(slot_returndatasize, Op.RETURNDATASIZE)
        + Op.SSTORE(slot_code_worked, value_code_worked)
        + Op.STOP,
    )

    calling_contract_address = pre.deploy_contract(caller_contract)

    tx = Transaction(
        sender=sender,
        to=Address(calling_contract_address),
        gas_limit=50000000,
    )

    calling_storage = {
        slot_code_worked: value_code_worked,
        # Sanity check
        slot_returndatasize_before_clear: 0x20,
        slot_returndatasize: 0,
    }

    post = {
        calling_contract_address: Account(storage=calling_storage),
        filling_callee_address: Account(storage={}),
    }

    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) value target_account_type opcode
...fork_Osaka-state_test-value_0-empty-opcode_EXTCALL 0 empty EXTCALL
...fork_Osaka-state_test-value_0-empty-opcode_EXTDELEGATECALL 0 empty EXTDELEGATECALL
...fork_Osaka-state_test-value_0-empty-opcode_EXTSTATICCALL 0 empty EXTSTATICCALL
...fork_Osaka-state_test-value_0-EOA-opcode_EXTCALL 0 EOA EXTCALL
...fork_Osaka-state_test-value_0-EOA-opcode_EXTDELEGATECALL 0 EOA EXTDELEGATECALL
...fork_Osaka-state_test-value_0-EOA-opcode_EXTSTATICCALL 0 EOA EXTSTATICCALL
...fork_Osaka-state_test-value_0-LegacyContract-opcode_EXTCALL 0 LegacyContract EXTCALL
...fork_Osaka-state_test-value_0-LegacyContract-opcode_EXTDELEGATECALL 0 LegacyContract EXTDELEGATECALL
...fork_Osaka-state_test-value_0-LegacyContract-opcode_EXTSTATICCALL 0 LegacyContract EXTSTATICCALL
...fork_Osaka-state_test-value_0-EOFContract-opcode_EXTCALL 0 EOFContract EXTCALL
...fork_Osaka-state_test-value_0-EOFContract-opcode_EXTDELEGATECALL 0 EOFContract EXTDELEGATECALL
...fork_Osaka-state_test-value_0-EOFContract-opcode_EXTSTATICCALL 0 EOFContract EXTSTATICCALL
...fork_Osaka-state_test-value_0-LegacyContractInvalid-opcode_EXTCALL 0 LegacyContractInvalid EXTCALL
...fork_Osaka-state_test-value_0-LegacyContractInvalid-opcode_EXTDELEGATECALL 0 LegacyContractInvalid EXTDELEGATECALL
...fork_Osaka-state_test-value_0-LegacyContractInvalid-opcode_EXTSTATICCALL 0 LegacyContractInvalid EXTSTATICCALL
...fork_Osaka-state_test-value_0-EOFContractInvalid-opcode_EXTCALL 0 EOFContractInvalid EXTCALL
...fork_Osaka-state_test-value_0-EOFContractInvalid-opcode_EXTDELEGATECALL 0 EOFContractInvalid EXTDELEGATECALL
...fork_Osaka-state_test-value_0-EOFContractInvalid-opcode_EXTSTATICCALL 0 EOFContractInvalid EXTSTATICCALL
...fork_Osaka-state_test-value_1-empty-opcode_EXTCALL 1 empty EXTCALL
...fork_Osaka-state_test-value_1-empty-opcode_EXTDELEGATECALL 1 empty EXTDELEGATECALL
...fork_Osaka-state_test-value_1-empty-opcode_EXTSTATICCALL 1 empty EXTSTATICCALL
...fork_Osaka-state_test-value_1-EOA-opcode_EXTCALL 1 EOA EXTCALL
...fork_Osaka-state_test-value_1-EOA-opcode_EXTDELEGATECALL 1 EOA EXTDELEGATECALL
...fork_Osaka-state_test-value_1-EOA-opcode_EXTSTATICCALL 1 EOA EXTSTATICCALL
...fork_Osaka-state_test-value_1-LegacyContract-opcode_EXTCALL 1 LegacyContract EXTCALL
...fork_Osaka-state_test-value_1-LegacyContract-opcode_EXTDELEGATECALL 1 LegacyContract EXTDELEGATECALL
...fork_Osaka-state_test-value_1-LegacyContract-opcode_EXTSTATICCALL 1 LegacyContract EXTSTATICCALL
...fork_Osaka-state_test-value_1-EOFContract-opcode_EXTCALL 1 EOFContract EXTCALL
...fork_Osaka-state_test-value_1-EOFContract-opcode_EXTDELEGATECALL 1 EOFContract EXTDELEGATECALL
...fork_Osaka-state_test-value_1-EOFContract-opcode_EXTSTATICCALL 1 EOFContract EXTSTATICCALL
...fork_Osaka-state_test-value_1-LegacyContractInvalid-opcode_EXTCALL 1 LegacyContractInvalid EXTCALL
...fork_Osaka-state_test-value_1-LegacyContractInvalid-opcode_EXTDELEGATECALL 1 LegacyContractInvalid EXTDELEGATECALL
...fork_Osaka-state_test-value_1-LegacyContractInvalid-opcode_EXTSTATICCALL 1 LegacyContractInvalid EXTSTATICCALL
...fork_Osaka-state_test-value_1-EOFContractInvalid-opcode_EXTCALL 1 EOFContractInvalid EXTCALL
...fork_Osaka-state_test-value_1-EOFContractInvalid-opcode_EXTDELEGATECALL 1 EOFContractInvalid EXTDELEGATECALL
...fork_Osaka-state_test-value_1-EOFContractInvalid-opcode_EXTSTATICCALL 1 EOFContractInvalid EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-empty-opcode_EXTCALL 0 empty EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-empty-opcode_EXTDELEGATECALL 0 empty EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_0-empty-opcode_EXTSTATICCALL 0 empty EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-EOA-opcode_EXTCALL 0 EOA EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-EOA-opcode_EXTDELEGATECALL 0 EOA EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_0-EOA-opcode_EXTSTATICCALL 0 EOA EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-LegacyContract-opcode_EXTCALL 0 LegacyContract EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-LegacyContract-opcode_EXTDELEGATECALL 0 LegacyContract EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_0-LegacyContract-opcode_EXTSTATICCALL 0 LegacyContract EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-EOFContract-opcode_EXTCALL 0 EOFContract EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-EOFContract-opcode_EXTDELEGATECALL 0 EOFContract EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_0-EOFContract-opcode_EXTSTATICCALL 0 EOFContract EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-LegacyContractInvalid-opcode_EXTCALL 0 LegacyContractInvalid EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-LegacyContractInvalid-opcode_EXTDELEGATECALL 0 LegacyContractInvalid EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_0-LegacyContractInvalid-opcode_EXTSTATICCALL 0 LegacyContractInvalid EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-EOFContractInvalid-opcode_EXTCALL 0 EOFContractInvalid EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_0-EOFContractInvalid-opcode_EXTDELEGATECALL 0 EOFContractInvalid EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_0-EOFContractInvalid-opcode_EXTSTATICCALL 0 EOFContractInvalid EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-empty-opcode_EXTCALL 1 empty EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-empty-opcode_EXTDELEGATECALL 1 empty EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_1-empty-opcode_EXTSTATICCALL 1 empty EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-EOA-opcode_EXTCALL 1 EOA EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-EOA-opcode_EXTDELEGATECALL 1 EOA EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_1-EOA-opcode_EXTSTATICCALL 1 EOA EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-LegacyContract-opcode_EXTCALL 1 LegacyContract EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-LegacyContract-opcode_EXTDELEGATECALL 1 LegacyContract EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_1-LegacyContract-opcode_EXTSTATICCALL 1 LegacyContract EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-EOFContract-opcode_EXTCALL 1 EOFContract EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-EOFContract-opcode_EXTDELEGATECALL 1 EOFContract EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_1-EOFContract-opcode_EXTSTATICCALL 1 EOFContract EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-LegacyContractInvalid-opcode_EXTCALL 1 LegacyContractInvalid EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-LegacyContractInvalid-opcode_EXTDELEGATECALL 1 LegacyContractInvalid EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_1-LegacyContractInvalid-opcode_EXTSTATICCALL 1 LegacyContractInvalid EXTSTATICCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-EOFContractInvalid-opcode_EXTCALL 1 EOFContractInvalid EXTCALL
...fork_Osaka-blockchain_test_from_state_test-value_1-EOFContractInvalid-opcode_EXTDELEGATECALL 1 EOFContractInvalid EXTDELEGATECALL
...fork_Osaka-blockchain_test_from_state_test-value_1-EOFContractInvalid-opcode_EXTSTATICCALL 1 EOFContractInvalid EXTSTATICCALL