{ "generatedUTC": "2026-10-31T18:00:02.940491+00:00", "selector": "0x8a6a1e85", "runtimeSHA256": "4fb37d24e1c1a787a48b7fa6857fe7f331bb050e439af038f023b982fd7d12c6", "byteRanges": [ { "label": "selector dispatch", "start": 336, "end": 347, "startPC": "0x150", "exclusiveEndPC": "0x15b", "hex": "80638a6a1e851461033757", "instructions": [ { "pc": 336, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 337, "opcode": "0x63", "name": "PUSH4", "argument": "0x8a6a1e85" }, { "pc": 342, "opcode": "0x14", "name": "EQ", "argument": null }, { "pc": 343, "opcode": "0x61", "name": "PUSH2", "argument": "0x0337" }, { "pc": 346, "opcode": "0x57", "name": "JUMPI", "argument": null } ] }, { "label": "nonpayable handler and decode/body jumps", "start": 823, "end": 855, "startPC": "0x337", "exclusiveEndPC": "0x357", "hex": "5b34801561034357600080fd5b50610255610352366004614b22565b610f0d56", "instructions": [ { "pc": 823, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 824, "opcode": "0x34", "name": "CALLVALUE", "argument": null }, { "pc": 825, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 826, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 827, "opcode": "0x61", "name": "PUSH2", "argument": "0x0343" }, { "pc": 830, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 831, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 833, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 834, "opcode": "0xfd", "name": "REVERT", "argument": null }, { "pc": 835, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 836, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 837, "opcode": "0x61", "name": "PUSH2", "argument": "0x0255" }, { "pc": 840, "opcode": "0x61", "name": "PUSH2", "argument": "0x0352" }, { "pc": 843, "opcode": "0x36", "name": "CALLDATASIZE", "argument": null }, { "pc": 844, "opcode": "0x60", "name": "PUSH1", "argument": "0x04" }, { "pc": 846, "opcode": "0x61", "name": "PUSH2", "argument": "0x4b22" }, { "pc": 849, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 850, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 851, "opcode": "0x61", "name": "PUSH2", "argument": "0x0f0d" }, { "pc": 854, "opcode": "0x56", "name": "JUMP", "argument": null } ] }, { "label": "three word decoder", "start": 19234, "end": 19299, "startPC": "0x4b22", "exclusiveEndPC": "0x4b63", "hex": "5b600080600060608486031215614b3757600080fd5b8335614b42816147ed565b92506020840135614b52816147ed565b92959294505050604091909101359056", "instructions": [ { "pc": 19234, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 19235, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 19237, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 19238, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 19240, "opcode": "0x60", "name": "PUSH1", "argument": "0x60" }, { "pc": 19242, "opcode": "0x84", "name": "DUP5", "argument": null }, { "pc": 19243, "opcode": "0x86", "name": "DUP7", "argument": null }, { "pc": 19244, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 19245, "opcode": "0x12", "name": "SLT", "argument": null }, { "pc": 19246, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 19247, "opcode": "0x61", "name": "PUSH2", "argument": "0x4b37" }, { "pc": 19250, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 19251, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 19253, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 19254, "opcode": "0xfd", "name": "REVERT", "argument": null }, { "pc": 19255, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 19256, "opcode": "0x83", "name": "DUP4", "argument": null }, { "pc": 19257, "opcode": "0x35", "name": "CALLDATALOAD", "argument": null }, { "pc": 19258, "opcode": "0x61", "name": "PUSH2", "argument": "0x4b42" }, { "pc": 19261, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 19262, "opcode": "0x61", "name": "PUSH2", "argument": "0x47ed" }, { "pc": 19265, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 19266, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 19267, "opcode": "0x92", "name": "SWAP3", "argument": null }, { "pc": 19268, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 19269, "opcode": "0x60", "name": "PUSH1", "argument": "0x20" }, { "pc": 19271, "opcode": "0x84", "name": "DUP5", "argument": null }, { "pc": 19272, "opcode": "0x1", "name": "ADD", "argument": null }, { "pc": 19273, "opcode": "0x35", "name": "CALLDATALOAD", "argument": null }, { "pc": 19274, "opcode": "0x61", "name": "PUSH2", "argument": "0x4b52" }, { "pc": 19277, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 19278, "opcode": "0x61", "name": "PUSH2", "argument": "0x47ed" }, { "pc": 19281, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 19282, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 19283, "opcode": "0x92", "name": "SWAP3", "argument": null }, { "pc": 19284, "opcode": "0x95", "name": "SWAP6", "argument": null }, { "pc": 19285, "opcode": "0x92", "name": "SWAP3", "argument": null }, { "pc": 19286, "opcode": "0x94", "name": "SWAP5", "argument": null }, { "pc": 19287, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 19288, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 19289, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 19290, "opcode": "0x60", "name": "PUSH1", "argument": "0x40" }, { "pc": 19292, "opcode": "0x91", "name": "SWAP2", "argument": null }, { "pc": 19293, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 19294, "opcode": "0x91", "name": "SWAP2", "argument": null }, { "pc": 19295, "opcode": "0x1", "name": "ADD", "argument": null }, { "pc": 19296, "opcode": "0x35", "name": "CALLDATALOAD", "argument": null }, { "pc": 19297, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 19298, "opcode": "0x56", "name": "JUMP", "argument": null } ] }, { "label": "canonical address validation", "start": 18413, "end": 18437, "startPC": "0x47ed", "exclusiveEndPC": "0x4805", "hex": "5b6001600160a01b038116811461480257600080fd5b5056", "instructions": [ { "pc": 18413, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 18414, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 18416, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 18418, "opcode": "0x60", "name": "PUSH1", "argument": "0xa0" }, { "pc": 18420, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 18421, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 18422, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 18423, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 18424, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 18425, "opcode": "0x14", "name": "EQ", "argument": null }, { "pc": 18426, "opcode": "0x61", "name": "PUSH2", "argument": "0x4802" }, { "pc": 18429, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 18430, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 18432, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 18433, "opcode": "0xfd", "name": "REVERT", "argument": null }, { "pc": 18434, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 18435, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 18436, "opcode": "0x56", "name": "JUMP", "argument": null } ] }, { "label": "selected function body", "start": 3853, "end": 3999, "startPC": "0xf0d", "exclusiveEndPC": "0xf9f", "hex": "5b6000610f226001600160a01b0385163061285a565b90508160006001600160f01b038216831115610f5a57610f4b836001600160f01b03841661262f565b9050816001600160f01b031692505b60f084901c8015610f8257610f7f610f786127106109cd878561292f565b8390612a30565b91505b610f966001600160a01b0388168784612a3c565b5050505050505056", "instructions": [ { "pc": 3853, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 3854, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 3856, "opcode": "0x61", "name": "PUSH2", "argument": "0x0f22" }, { "pc": 3859, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 3861, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 3863, "opcode": "0x60", "name": "PUSH1", "argument": "0xa0" }, { "pc": 3865, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 3866, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 3867, "opcode": "0x85", "name": "DUP6", "argument": null }, { "pc": 3868, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 3869, "opcode": "0x30", "name": "ADDRESS", "argument": null }, { "pc": 3870, "opcode": "0x61", "name": "PUSH2", "argument": "0x285a" }, { "pc": 3873, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 3874, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 3875, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 3876, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 3877, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 3878, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 3880, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 3882, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 3884, "opcode": "0x60", "name": "PUSH1", "argument": "0xf0" }, { "pc": 3886, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 3887, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 3888, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 3889, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 3890, "opcode": "0x83", "name": "DUP4", "argument": null }, { "pc": 3891, "opcode": "0x11", "name": "GT", "argument": null }, { "pc": 3892, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 3893, "opcode": "0x61", "name": "PUSH2", "argument": "0x0f5a" }, { "pc": 3896, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 3897, "opcode": "0x61", "name": "PUSH2", "argument": "0x0f4b" }, { "pc": 3900, "opcode": "0x83", "name": "DUP4", "argument": null }, { "pc": 3901, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 3903, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 3905, "opcode": "0x60", "name": "PUSH1", "argument": "0xf0" }, { "pc": 3907, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 3908, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 3909, "opcode": "0x84", "name": "DUP5", "argument": null }, { "pc": 3910, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 3911, "opcode": "0x61", "name": "PUSH2", "argument": "0x262f" }, { "pc": 3914, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 3915, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 3916, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 3917, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 3918, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 3919, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 3921, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 3923, "opcode": "0x60", "name": "PUSH1", "argument": "0xf0" }, { "pc": 3925, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 3926, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 3927, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 3928, "opcode": "0x92", "name": "SWAP3", "argument": null }, { "pc": 3929, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 3930, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 3931, "opcode": "0x60", "name": "PUSH1", "argument": "0xf0" }, { "pc": 3933, "opcode": "0x84", "name": "DUP5", "argument": null }, { "pc": 3934, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 3935, "opcode": "0x1c", "name": "SHR", "argument": null }, { "pc": 3936, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 3937, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 3938, "opcode": "0x61", "name": "PUSH2", "argument": "0x0f82" }, { "pc": 3941, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 3942, "opcode": "0x61", "name": "PUSH2", "argument": "0x0f7f" }, { "pc": 3945, "opcode": "0x61", "name": "PUSH2", "argument": "0x0f78" }, { "pc": 3948, "opcode": "0x61", "name": "PUSH2", "argument": "0x2710" }, { "pc": 3951, "opcode": "0x61", "name": "PUSH2", "argument": "0x09cd" }, { "pc": 3954, "opcode": "0x87", "name": "DUP8", "argument": null }, { "pc": 3955, "opcode": "0x85", "name": "DUP6", "argument": null }, { "pc": 3956, "opcode": "0x61", "name": "PUSH2", "argument": "0x292f" }, { "pc": 3959, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 3960, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 3961, "opcode": "0x83", "name": "DUP4", "argument": null }, { "pc": 3962, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 3963, "opcode": "0x61", "name": "PUSH2", "argument": "0x2a30" }, { "pc": 3966, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 3967, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 3968, "opcode": "0x91", "name": "SWAP2", "argument": null }, { "pc": 3969, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 3970, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 3971, "opcode": "0x61", "name": "PUSH2", "argument": "0x0f96" }, { "pc": 3974, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 3976, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 3978, "opcode": "0x60", "name": "PUSH1", "argument": "0xa0" }, { "pc": 3980, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 3981, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 3982, "opcode": "0x88", "name": "DUP9", "argument": null }, { "pc": 3983, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 3984, "opcode": "0x87", "name": "DUP8", "argument": null }, { "pc": 3985, "opcode": "0x84", "name": "DUP5", "argument": null }, { "pc": 3986, "opcode": "0x61", "name": "PUSH2", "argument": "0x2a3c" }, { "pc": 3989, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 3990, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 3991, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 3992, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 3993, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 3994, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 3995, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 3996, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 3997, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 3998, "opcode": "0x56", "name": "JUMP", "argument": null } ] }, { "label": "balance helper", "start": 10330, "end": 10491, "startPC": "0x285a", "exclusiveEndPC": "0x28fb", "hex": "5b600061286583612947565b1561287b57506001600160a01b0381163161263e565b6040516370a0823160e01b81526001600160a01b0383811660048301528416906370a082319060240160206040518083038186803b1580156128bc57600080fd5b505afa1580156128d0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906128f49190614e34565b905061263e56", "instructions": [ { "pc": 10330, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10331, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 10333, "opcode": "0x61", "name": "PUSH2", "argument": "0x2865" }, { "pc": 10336, "opcode": "0x83", "name": "DUP4", "argument": null }, { "pc": 10337, "opcode": "0x61", "name": "PUSH2", "argument": "0x2947" }, { "pc": 10340, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 10341, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10342, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 10343, "opcode": "0x61", "name": "PUSH2", "argument": "0x287b" }, { "pc": 10346, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 10347, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10348, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10350, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10352, "opcode": "0x60", "name": "PUSH1", "argument": "0xa0" }, { "pc": 10354, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 10355, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 10356, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 10357, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 10358, "opcode": "0x31", "name": "BALANCE", "argument": null }, { "pc": 10359, "opcode": "0x61", "name": "PUSH2", "argument": "0x263e" }, { "pc": 10362, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 10363, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10364, "opcode": "0x60", "name": "PUSH1", "argument": "0x40" }, { "pc": 10366, "opcode": "0x51", "name": "MLOAD", "argument": null }, { "pc": 10367, "opcode": "0x63", "name": "PUSH4", "argument": "0x70a08231" }, { "pc": 10372, "opcode": "0x60", "name": "PUSH1", "argument": "0xe0" }, { "pc": 10374, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 10375, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 10376, "opcode": "0x52", "name": "MSTORE", "argument": null }, { "pc": 10377, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10379, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10381, "opcode": "0x60", "name": "PUSH1", "argument": "0xa0" }, { "pc": 10383, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 10384, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 10385, "opcode": "0x83", "name": "DUP4", "argument": null }, { "pc": 10386, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 10387, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 10388, "opcode": "0x60", "name": "PUSH1", "argument": "0x04" }, { "pc": 10390, "opcode": "0x83", "name": "DUP4", "argument": null }, { "pc": 10391, "opcode": "0x1", "name": "ADD", "argument": null }, { "pc": 10392, "opcode": "0x52", "name": "MSTORE", "argument": null }, { "pc": 10393, "opcode": "0x84", "name": "DUP5", "argument": null }, { "pc": 10394, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 10395, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 10396, "opcode": "0x63", "name": "PUSH4", "argument": "0x70a08231" }, { "pc": 10401, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 10402, "opcode": "0x60", "name": "PUSH1", "argument": "0x24" }, { "pc": 10404, "opcode": "0x1", "name": "ADD", "argument": null }, { "pc": 10405, "opcode": "0x60", "name": "PUSH1", "argument": "0x20" }, { "pc": 10407, "opcode": "0x60", "name": "PUSH1", "argument": "0x40" }, { "pc": 10409, "opcode": "0x51", "name": "MLOAD", "argument": null }, { "pc": 10410, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10411, "opcode": "0x83", "name": "DUP4", "argument": null }, { "pc": 10412, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 10413, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 10414, "opcode": "0x86", "name": "DUP7", "argument": null }, { "pc": 10415, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10416, "opcode": "0x3b", "name": "EXTCODESIZE", "argument": null }, { "pc": 10417, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 10418, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10419, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 10420, "opcode": "0x61", "name": "PUSH2", "argument": "0x28bc" }, { "pc": 10423, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 10424, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 10426, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10427, "opcode": "0xfd", "name": "REVERT", "argument": null }, { "pc": 10428, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10429, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10430, "opcode": "0x5a", "name": "GAS", "argument": null }, { "pc": 10431, "opcode": "0xfa", "name": "STATICCALL", "argument": null }, { "pc": 10432, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 10433, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10434, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 10435, "opcode": "0x61", "name": "PUSH2", "argument": "0x28d0" }, { "pc": 10438, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 10439, "opcode": "0x3d", "name": "RETURNDATASIZE", "argument": null }, { "pc": 10440, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 10442, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10443, "opcode": "0x3e", "name": "RETURNDATACOPY", "argument": null }, { "pc": 10444, "opcode": "0x3d", "name": "RETURNDATASIZE", "argument": null }, { "pc": 10445, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 10447, "opcode": "0xfd", "name": "REVERT", "argument": null }, { "pc": 10448, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10449, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10450, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10451, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10452, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10453, "opcode": "0x60", "name": "PUSH1", "argument": "0x40" }, { "pc": 10455, "opcode": "0x51", "name": "MLOAD", "argument": null }, { "pc": 10456, "opcode": "0x3d", "name": "RETURNDATASIZE", "argument": null }, { "pc": 10457, "opcode": "0x60", "name": "PUSH1", "argument": "0x1f" }, { "pc": 10459, "opcode": "0x19", "name": "NOT", "argument": null }, { "pc": 10460, "opcode": "0x60", "name": "PUSH1", "argument": "0x1f" }, { "pc": 10462, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 10463, "opcode": "0x1", "name": "ADD", "argument": null }, { "pc": 10464, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 10465, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 10466, "opcode": "0x1", "name": "ADD", "argument": null }, { "pc": 10467, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10468, "opcode": "0x60", "name": "PUSH1", "argument": "0x40" }, { "pc": 10470, "opcode": "0x52", "name": "MSTORE", "argument": null }, { "pc": 10471, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10472, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 10473, "opcode": "0x1", "name": "ADD", "argument": null }, { "pc": 10474, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 10475, "opcode": "0x61", "name": "PUSH2", "argument": "0x28f4" }, { "pc": 10478, "opcode": "0x91", "name": "SWAP2", "argument": null }, { "pc": 10479, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 10480, "opcode": "0x61", "name": "PUSH2", "argument": "0x4e34" }, { "pc": 10483, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 10484, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10485, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 10486, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10487, "opcode": "0x61", "name": "PUSH2", "argument": "0x263e" }, { "pc": 10490, "opcode": "0x56", "name": "JUMP", "argument": null } ] }, { "label": "native token predicate", "start": 10567, "end": 10642, "startPC": "0x2947", "exclusiveEndPC": "0x2992", "hex": "5b60006001600160a01b03821673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee148061297e57506001600160a01b038216611010145b8061263e5750506001600160a01b0316159056", "instructions": [ { "pc": 10567, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10568, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 10570, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10572, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10574, "opcode": "0x60", "name": "PUSH1", "argument": "0xa0" }, { "pc": 10576, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 10577, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 10578, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 10579, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 10580, "opcode": "0x73", "name": "PUSH20", "argument": "0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee" }, { "pc": 10601, "opcode": "0x14", "name": "EQ", "argument": null }, { "pc": 10602, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10603, "opcode": "0x61", "name": "PUSH2", "argument": "0x297e" }, { "pc": 10606, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 10607, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10608, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10610, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10612, "opcode": "0x60", "name": "PUSH1", "argument": "0xa0" }, { "pc": 10614, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 10615, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 10616, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 10617, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 10618, "opcode": "0x61", "name": "PUSH2", "argument": "0x1010" }, { "pc": 10621, "opcode": "0x14", "name": "EQ", "argument": null }, { "pc": 10622, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10623, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10624, "opcode": "0x61", "name": "PUSH2", "argument": "0x263e" }, { "pc": 10627, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 10628, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10629, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10630, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10632, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10634, "opcode": "0x60", "name": "PUSH1", "argument": "0xa0" }, { "pc": 10636, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 10637, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 10638, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 10639, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 10640, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 10641, "opcode": "0x56", "name": "JUMP", "argument": null } ] }, { "label": "subtraction wrapper", "start": 9775, "end": 9796, "startPC": "0x262f", "exclusiveEndPC": "0x2644", "hex": "5b600061263b82846150c5565b90505b9291505056", "instructions": [ { "pc": 9775, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 9776, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 9778, "opcode": "0x61", "name": "PUSH2", "argument": "0x263b" }, { "pc": 9781, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 9782, "opcode": "0x84", "name": "DUP5", "argument": null }, { "pc": 9783, "opcode": "0x61", "name": "PUSH2", "argument": "0x50c5" }, { "pc": 9786, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 9787, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 9788, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 9789, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 9790, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 9791, "opcode": "0x92", "name": "SWAP3", "argument": null }, { "pc": 9792, "opcode": "0x91", "name": "SWAP2", "argument": null }, { "pc": 9793, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 9794, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 9795, "opcode": "0x56", "name": "JUMP", "argument": null } ] }, { "label": "checked subtraction", "start": 20677, "end": 20700, "startPC": "0x50c5", "exclusiveEndPC": "0x50dc", "hex": "5b6000828210156150d7576150d7614e9a565b50039056", "instructions": [ { "pc": 20677, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 20678, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 20680, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 20681, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 20682, "opcode": "0x10", "name": "LT", "argument": null }, { "pc": 20683, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 20684, "opcode": "0x61", "name": "PUSH2", "argument": "0x50d7" }, { "pc": 20687, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 20688, "opcode": "0x61", "name": "PUSH2", "argument": "0x50d7" }, { "pc": 20691, "opcode": "0x61", "name": "PUSH2", "argument": "0x4e9a" }, { "pc": 20694, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 20695, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 20696, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 20697, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 20698, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 20699, "opcode": "0x56", "name": "JUMP", "argument": null } ] }, { "label": "native payment path", "start": 10812, "end": 10928, "startPC": "0x2a3c", "exclusiveEndPC": "0x2ab0", "hex": "5b801561051457612a4b83612947565b15612ab0576000826001600160a01b03168260405160006040518083038185875af1925050503d8060008114612a9d576040519150601f19603f3d011682016040523d82523d6000602084013e612aa2565b606091505b50509050806104d657600080fd", "instructions": [ { "pc": 10812, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10813, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10814, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 10815, "opcode": "0x61", "name": "PUSH2", "argument": "0x0514" }, { "pc": 10818, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 10819, "opcode": "0x61", "name": "PUSH2", "argument": "0x2a4b" }, { "pc": 10822, "opcode": "0x83", "name": "DUP4", "argument": null }, { "pc": 10823, "opcode": "0x61", "name": "PUSH2", "argument": "0x2947" }, { "pc": 10826, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 10827, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10828, "opcode": "0x15", "name": "ISZERO", "argument": null }, { "pc": 10829, "opcode": "0x61", "name": "PUSH2", "argument": "0x2ab0" }, { "pc": 10832, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 10833, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 10835, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 10836, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10838, "opcode": "0x60", "name": "PUSH1", "argument": "0x01" }, { "pc": 10840, "opcode": "0x60", "name": "PUSH1", "argument": "0xa0" }, { "pc": 10842, "opcode": "0x1b", "name": "SHL", "argument": null }, { "pc": 10843, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 10844, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 10845, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 10846, "opcode": "0x60", "name": "PUSH1", "argument": "0x40" }, { "pc": 10848, "opcode": "0x51", "name": "MLOAD", "argument": null }, { "pc": 10849, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 10851, "opcode": "0x60", "name": "PUSH1", "argument": "0x40" }, { "pc": 10853, "opcode": "0x51", "name": "MLOAD", "argument": null }, { "pc": 10854, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10855, "opcode": "0x83", "name": "DUP4", "argument": null }, { "pc": 10856, "opcode": "0x3", "name": "SUB", "argument": null }, { "pc": 10857, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 10858, "opcode": "0x85", "name": "DUP6", "argument": null }, { "pc": 10859, "opcode": "0x87", "name": "DUP8", "argument": null }, { "pc": 10860, "opcode": "0x5a", "name": "GAS", "argument": null }, { "pc": 10861, "opcode": "0xf1", "name": "CALL", "argument": null }, { "pc": 10862, "opcode": "0x92", "name": "SWAP3", "argument": null }, { "pc": 10863, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10864, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10865, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10866, "opcode": "0x3d", "name": "RETURNDATASIZE", "argument": null }, { "pc": 10867, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10868, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 10870, "opcode": "0x81", "name": "DUP2", "argument": null }, { "pc": 10871, "opcode": "0x14", "name": "EQ", "argument": null }, { "pc": 10872, "opcode": "0x61", "name": "PUSH2", "argument": "0x2a9d" }, { "pc": 10875, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 10876, "opcode": "0x60", "name": "PUSH1", "argument": "0x40" }, { "pc": 10878, "opcode": "0x51", "name": "MLOAD", "argument": null }, { "pc": 10879, "opcode": "0x91", "name": "SWAP2", "argument": null }, { "pc": 10880, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10881, "opcode": "0x60", "name": "PUSH1", "argument": "0x1f" }, { "pc": 10883, "opcode": "0x19", "name": "NOT", "argument": null }, { "pc": 10884, "opcode": "0x60", "name": "PUSH1", "argument": "0x3f" }, { "pc": 10886, "opcode": "0x3d", "name": "RETURNDATASIZE", "argument": null }, { "pc": 10887, "opcode": "0x1", "name": "ADD", "argument": null }, { "pc": 10888, "opcode": "0x16", "name": "AND", "argument": null }, { "pc": 10889, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 10890, "opcode": "0x1", "name": "ADD", "argument": null }, { "pc": 10891, "opcode": "0x60", "name": "PUSH1", "argument": "0x40" }, { "pc": 10893, "opcode": "0x52", "name": "MSTORE", "argument": null }, { "pc": 10894, "opcode": "0x3d", "name": "RETURNDATASIZE", "argument": null }, { "pc": 10895, "opcode": "0x82", "name": "DUP3", "argument": null }, { "pc": 10896, "opcode": "0x52", "name": "MSTORE", "argument": null }, { "pc": 10897, "opcode": "0x3d", "name": "RETURNDATASIZE", "argument": null }, { "pc": 10898, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 10900, "opcode": "0x60", "name": "PUSH1", "argument": "0x20" }, { "pc": 10902, "opcode": "0x84", "name": "DUP5", "argument": null }, { "pc": 10903, "opcode": "0x1", "name": "ADD", "argument": null }, { "pc": 10904, "opcode": "0x3e", "name": "RETURNDATACOPY", "argument": null }, { "pc": 10905, "opcode": "0x61", "name": "PUSH2", "argument": "0x2aa2" }, { "pc": 10908, "opcode": "0x56", "name": "JUMP", "argument": null }, { "pc": 10909, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10910, "opcode": "0x60", "name": "PUSH1", "argument": "0x60" }, { "pc": 10912, "opcode": "0x91", "name": "SWAP2", "argument": null }, { "pc": 10913, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10914, "opcode": "0x5b", "name": "JUMPDEST", "argument": null }, { "pc": 10915, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10916, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10917, "opcode": "0x90", "name": "SWAP1", "argument": null }, { "pc": 10918, "opcode": "0x50", "name": "POP", "argument": null }, { "pc": 10919, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10920, "opcode": "0x61", "name": "PUSH2", "argument": "0x04d6" }, { "pc": 10923, "opcode": "0x57", "name": "JUMPI", "argument": null }, { "pc": 10924, "opcode": "0x60", "name": "PUSH1", "argument": "0x00" }, { "pc": 10926, "opcode": "0x80", "name": "DUP1", "argument": null }, { "pc": 10927, "opcode": "0xfd", "name": "REVERT", "argument": null } ] } ], "staticInterpretation": { "dispatcher": "Selector comparison at0x151 jumps to0x337, decoder0x4b22, then body0xf0d.", "arguments": "Decoder reads words at calldata offsets4,36,68; first2 checked as canonical160-bit addresses by47ed.", "balance": "Body0xf0d passes arg1 token and ADDRESS into285a. Predicate2947 recognizes0x1010; native branch uses BALANCE at2876.", "excess": "Atf2c the third argument is masked to240 bits. f33 compares the executor token balance to that floor. A positive difference is produced through262f and checked SUB50d9. Otherwise payment amount remains0.", "upperBits": "f5b\u2013f65 checks third argument shifted right240. The signed incident argument has upper16bits0, skippingf66\u2013f81; no semantics inferred for the nonzero branch.", "destination": "f83\u2013f95 forwards token, second calldata address and computed excess to2a3c. The native branch performs a value CALL at2a6d.", "name": "No exact ABI function name recovered; behavior is described from instructions.", "historicalScope": "Root independently recovered byte-identical code at96394389. The prior blocked publicnode archive request remains unchanged." }, "method": "Static byte/instruction and manual stack-role analysis only. No EVM, fork, eth_call or transaction simulation executed." }