019b477e-d227-7218-8dda-f816d25ffa5b
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 27895 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27896 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103449 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103450 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103451 | detector.run | complete | 1 / 3 | 1 week ago |
| 103452 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: DUP2 00000005: DUP2 00000006: MSTORE 00000007: PUSH1 0x04 00000009: DUP1 0000000a: CALLDATASIZE 0000000b: LT 0000000c: ISZERO 0000000d: PUSH2 0x002c 00000010: JUMPI 00000011: JUMPDEST 00000012: POP 00000013: POP 00000014: POP 00000015: CALLDATASIZE 00000016: ISZERO 00000017: PUSH2 0x0024 0000001a: JUMPI 0000001b: PUSH2 0x0022 0000001e: PUSH2 0x0f75 00000021: JUMP 00000022: JUMPDEST 00000023: STOP 00000024: JUMPDEST 00000025: PUSH2 0x0022 00000028: PUSH2 0x0f75 0000002b: JUMP 0000002c: JUMPDEST 0000002d: PUSH1 0x00 0000002f: SWAP3 00000030: DUP4 00000031: CALLDATALOAD 00000032: PUSH1 0xe0 00000034: SHR 00000035: SWAP1 00000036: DUP2 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x098a 00000040: JUMPI 00000041: POP 00000042: DUP1 00000043: PUSH4 0x095ea7b3 00000048: EQ 00000049: PUSH2 0x08f0 0000004c: JUMPI 0000004d: DUP1 0000004e: PUSH4 0x18160ddd 00000053: EQ 00000054: PUSH2 0x08b7 00000057: JUMPI 00000058: DUP1 00000059: PUSH4 0x18177497 0000005e: EQ 0000005f: PUSH2 0x0850 00000062: JUMPI 00000063: DUP1 00000064: PUSH4 0x23b872dd 00000069: EQ 0000006a: PUSH2 0x0800 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x2e1a7d4d 00000074: EQ 00000075: PUSH2 0x0750 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x313ce567 0000007f: EQ 00000080: PUSH2 0x0710 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0x70a08231 0000008a: EQ 0000008b: PUSH2 0x06ae 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0x715018a6 00000095: EQ 00000096: PUSH2 0x0610 00000099: JUMPI 0000009a: DUP1 0000009b: PUSH4 0x8da5cb5b 000000a0: EQ 000000a1: PUSH2 0x05bd 000000a4: JUMPI 000000a5: DUP1 000000a6: PUSH4 0x95d89b41 000000ab: EQ 000000ac: PUSH2 0x0469 000000af: JUMPI 000000b0: DUP1 000000b1: PUSH4 0xa9059cbb 000000b6: EQ 000000b7: PUSH2 0x0418 000000ba: JUMPI 000000bb: DUP1 000000bc: PUSH4 0xd0e30db0 000000c1: EQ 000000c2: PUSH2 0x03e0 000000c5: JUMPI 000000c6: DUP1 000000c7: PUSH4 0xdd62ed3e 000000cc: EQ 000000cd: PUSH2 0x036d 000000d0: JUMPI 000000d1: DUP1 000000d2: PUSH4 0xe1904402 000000d7: EQ 000000d8: PUSH2 0x02fe 000000db: JUMPI 000000dc: DUP1 000000dd: PUSH4 0xe9ed9b64 000000e2: EQ 000000e3: PUSH2 0x022b 000000e6: JUMPI 000000e7: PUSH4 0xf2fde38b 000000ec: SUB 000000ed: PUSH2 0x0011 000000f0: JUMPI 000000f1: CALLVALUE 000000f2: PUSH2 0x0227 000000f5: JUMPI 000000f6: PUSH1 0x20 000000f8: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000119: CALLDATASIZE 0000011a: ADD 0000011b: SLT 0000011c: PUSH2 0x0227 0000011f: JUMPI 00000120: PUSH2 0x0127 00000123: PUSH2 0x0b38 00000126: JUMP 00000127: JUMPDEST 00000128: SWAP1 00000129: PUSH2 0x0130 0000012c: PUSH2 0x0b83 0000012f: JUMP 00000130: JUMPDEST 00000131: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000146: DUP1 00000147: SWAP3 00000148: AND 00000149: SWAP3 0000014a: DUP4 0000014b: ISZERO 0000014c: PUSH2 0x01a4 0000014f: JUMPI 00000150: POP 00000151: POP 00000152: PUSH1 0x05 00000154: SLOAD 00000155: DUP3 00000156: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000177: DUP3 00000178: AND 00000179: OR 0000017a: PUSH1 0x05 0000017c: SSTORE 0000017d: AND 0000017e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000019f: DUP4 000001a0: DUP1 000001a1: LOG3 000001a2: DUP1 000001a3: RETURN 000001a4: JUMPDEST 000001a5: SWAP1 000001a6: PUSH1 0x20 000001a8: PUSH1 0x84 000001aa: SWAP3 000001ab: MLOAD 000001ac: SWAP2 000001ad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001ce: DUP4 000001cf: MSTORE 000001d0: DUP3 000001d1: ADD 000001d2: MSTORE 000001d3: PUSH1 0x26 000001d5: PUSH1 0x24 000001d7: DUP3 000001d8: ADD 000001d9: MSTORE 000001da: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000001fb: PUSH1 0x44 000001fd: DUP3 000001fe: ADD 000001ff: MSTORE 00000200: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000221: PUSH1 0x64 00000223: DUP3 00000224: ADD 00000225: MSTORE 00000226: REVERT 00000227: JUMPDEST 00000228: DUP3 00000229: DUP1 0000022a: REVERT 0000022b: JUMPDEST 0000022c: POP 0000022d: POP 0000022e: CALLVALUE 0000022f: PUSH2 0x02fa 00000232: JUMPI 00000233: DUP1 00000234: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000255: CALLDATASIZE 00000256: ADD 00000257: SLT 00000258: PUSH2 0x02fa 0000025b: JUMPI 0000025c: PUSH2 0x0263 0000025f: PUSH2 0x0b38 00000262: JUMP 00000263: JUMPDEST 00000264: SWAP1 00000265: PUSH1 0x24 00000267: CALLDATALOAD 00000268: DUP1 00000269: ISZERO 0000026a: ISZERO 0000026b: DUP1 0000026c: SWAP2 0000026d: SUB 0000026e: PUSH2 0x02f6 00000271: JUMPI 00000272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000287: PUSH32 0x4b2ff56cb8140854564224bc2ac25e8d8af40e193e614c06198454b2c580d961 000002a8: SWAP4 000002a9: PUSH2 0x02b0 000002ac: PUSH2 0x0b83 000002af: JUMP 000002b0: JUMPDEST 000002b1: AND 000002b2: SWAP1 000002b3: DUP2 000002b4: DUP6 000002b5: MSTORE 000002b6: PUSH1 0x06 000002b8: PUSH1 0x20 000002ba: MSTORE 000002bb: DUP3 000002bc: DUP6 000002bd: KECCAK256 000002be: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000002df: DUP2 000002e0: SLOAD 000002e1: AND 000002e2: PUSH1 0xff 000002e4: DUP4 000002e5: AND 000002e6: OR 000002e7: SWAP1 000002e8: SSTORE 000002e9: DUP3 000002ea: MLOAD 000002eb: SWAP2 000002ec: DUP3 000002ed: MSTORE 000002ee: PUSH1 0x20 000002f0: DUP3 000002f1: ADD 000002f2: MSTORE 000002f3: LOG1 000002f4: DUP1 000002f5: RETURN 000002f6: JUMPDEST 000002f7: DUP4 000002f8: DUP1 000002f9: REVERT 000002fa: JUMPDEST 000002fb: POP 000002fc: DUP1 000002fd: REVERT 000002fe: JUMPDEST 000002ff: POP 00000300: POP 00000301: CALLVALUE 00000302: PUSH2 0x02fa 00000305: JUMPI 00000306: DUP2 00000307: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000328: CALLDATASIZE 00000329: ADD 0000032a: SLT 0000032b: PUSH2 0x02fa 0000032e: JUMPI 0000032f: PUSH1 0x20 00000331: SWAP1 00000332: MLOAD 00000333: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000348: PUSH32 0x000000000000000000000000c186fa914353c44b2e33ebe05f21846f1048beda 00000369: AND 0000036a: DUP2 0000036b: MSTORE 0000036c: RETURN 0000036d: JUMPDEST 0000036e: POP 0000036f: CALLVALUE 00000370: PUSH2 0x0227 00000373: JUMPI 00000374: DUP2 00000375: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000396: CALLDATASIZE 00000397: ADD 00000398: SLT 00000399: PUSH2 0x0227 0000039c: JUMPI 0000039d: PUSH1 0x20 0000039f: SWAP3 000003a0: DUP3 000003a1: SWAP2 000003a2: PUSH2 0x03a9 000003a5: PUSH2 0x0b38 000003a8: JUMP 000003a9: JUMPDEST 000003aa: PUSH2 0x03b1 000003ad: PUSH2 0x0b60 000003b0: JUMP 000003b1: JUMPDEST 000003b2: SWAP2 000003b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c8: DUP1 000003c9: SWAP3 000003ca: AND 000003cb: DUP5 000003cc: MSTORE 000003cd: DUP7 000003ce: MSTORE 000003cf: DUP4 000003d0: DUP4 000003d1: KECCAK256 000003d2: SWAP2 000003d3: AND 000003d4: DUP3 000003d5: MSTORE 000003d6: DUP5 000003d7: MSTORE 000003d8: KECCAK256 000003d9: SLOAD 000003da: SWAP1 000003db: MLOAD 000003dc: SWAP1 000003dd: DUP2 000003de: MSTORE 000003df: RETURN 000003e0: JUMPDEST 000003e1: DUP4 000003e2: DUP1 000003e3: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000404: CALLDATASIZE 00000405: ADD 00000406: SLT 00000407: PUSH2 0x0415 0000040a: JUMPI 0000040b: PUSH2 0x0412 0000040e: PUSH2 0x0f75 00000411: JUMP 00000412: JUMPDEST 00000413: DUP1 00000414: RETURN 00000415: JUMPDEST 00000416: DUP1 00000417: REVERT 00000418: JUMPDEST 00000419: POP 0000041a: POP 0000041b: CALLVALUE 0000041c: PUSH2 0x02fa 0000041f: JUMPI 00000420: DUP1 00000421: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000442: CALLDATASIZE 00000443: ADD 00000444: SLT 00000445: PUSH2 0x02fa 00000448: JUMPI 00000449: PUSH1 0x20 0000044b: SWAP1 0000044c: PUSH2 0x0460 0000044f: PUSH2 0x0456 00000452: PUSH2 0x0b38 00000455: JUMP 00000456: JUMPDEST 00000457: PUSH1 0x24 00000459: CALLDATALOAD 0000045a: SWAP1 0000045b: CALLER 0000045c: PUSH2 0x0c02 0000045f: JUMP 00000460: JUMPDEST 00000461: SWAP1 00000462: MLOAD 00000463: SWAP1 00000464: ISZERO 00000465: ISZERO 00000466: DUP2 00000467: MSTORE 00000468: RETURN 00000469: JUMPDEST 0000046a: POP 0000046b: SWAP1 0000046c: CALLVALUE 0000046d: PUSH2 0x0227 00000470: JUMPI 00000471: DUP3 00000472: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000493: CALLDATASIZE 00000494: ADD 00000495: SLT 00000496: PUSH2 0x0227 00000499: JUMPI 0000049a: DUP1 0000049b: MLOAD 0000049c: SWAP2 0000049d: DUP4 0000049e: PUSH1 0x01 000004a0: DUP1 000004a1: SLOAD 000004a2: SWAP2 000004a3: DUP3 000004a4: DUP3 000004a5: SHR 000004a6: SWAP3 000004a7: DUP3 000004a8: DUP2 000004a9: AND 000004aa: DUP1 000004ab: ISZERO 000004ac: PUSH2 0x05b3 000004af: JUMPI 000004b0: JUMPDEST 000004b1: PUSH1 0x20 000004b3: SWAP6 000004b4: DUP7 000004b5: DUP7 000004b6: LT 000004b7: DUP3 000004b8: EQ 000004b9: PUSH2 0x0587 000004bc: JUMPI 000004bd: POP 000004be: DUP5 000004bf: DUP9 000004c0: MSTORE 000004c1: SWAP1 000004c2: DUP2 000004c3: ISZERO 000004c4: PUSH2 0x0547 000004c7: JUMPI 000004c8: POP 000004c9: PUSH1 0x01 000004cb: EQ 000004cc: PUSH2 0x04ef 000004cf: JUMPI 000004d0: JUMPDEST 000004d1: PUSH2 0x04eb 000004d4: DUP7 000004d5: DUP7 000004d6: PUSH2 0x04e1 000004d9: DUP3 000004da: DUP12 000004db: SUB 000004dc: DUP4 000004dd: PUSH2 0x0a62 000004e0: JUMP 000004e1: JUMPDEST 000004e2: MLOAD 000004e3: SWAP2 000004e4: DUP3 000004e5: SWAP2 000004e6: DUP3 000004e7: PUSH2 0x0ad2 000004ea: JUMP 000004eb: JUMPDEST 000004ec: SUB 000004ed: SWAP1 000004ee: RETURN 000004ef: JUMPDEST 000004f0: SWAP3 000004f1: SWAP6 000004f2: POP 000004f3: DUP1 000004f4: DUP4 000004f5: MSTORE 000004f6: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6 00000517: JUMPDEST 00000518: DUP3 00000519: DUP5 0000051a: LT 0000051b: PUSH2 0x0534 0000051e: JUMPI 0000051f: POP 00000520: POP 00000521: POP 00000522: DUP3 00000523: PUSH2 0x04eb 00000526: SWAP5 00000527: PUSH2 0x04e1 0000052a: SWAP3 0000052b: DUP3 0000052c: ADD 0000052d: ADD 0000052e: SWAP5 0000052f: CODESIZE 00000530: PUSH2 0x04d0 00000533: JUMP 00000534: JUMPDEST 00000535: DUP1 00000536: SLOAD 00000537: DUP7 00000538: DUP6 00000539: ADD 0000053a: DUP9 0000053b: ADD 0000053c: MSTORE 0000053d: SWAP3 0000053e: DUP7 0000053f: ADD 00000540: SWAP3 00000541: DUP2 00000542: ADD 00000543: PUSH2 0x0517 00000546: JUMP 00000547: JUMPDEST 00000548: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000569: AND 0000056a: DUP8 0000056b: DUP7 0000056c: ADD 0000056d: MSTORE 0000056e: POP 0000056f: POP 00000570: POP 00000571: ISZERO 00000572: ISZERO 00000573: PUSH1 0x05 00000575: SHL 00000576: DUP4 00000577: ADD 00000578: ADD 00000579: SWAP3 0000057a: POP 0000057b: PUSH2 0x04e1 0000057e: DUP3 0000057f: PUSH2 0x04eb 00000582: CODESIZE 00000583: PUSH2 0x04d0 00000586: JUMP 00000587: JUMPDEST 00000588: DUP4 00000589: PUSH1 0x22 0000058b: PUSH1 0x24 0000058d: SWAP3 0000058e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000005af: DUP4 000005b0: MSTORE 000005b1: MSTORE 000005b2: REVERT 000005b3: JUMPDEST 000005b4: SWAP4 000005b5: PUSH1 0x7f 000005b7: AND 000005b8: SWAP4 000005b9: PUSH2 0x04b0 000005bc: JUMP 000005bd: JUMPDEST 000005be: POP 000005bf: POP 000005c0: CALLVALUE 000005c1: PUSH2 0x02fa 000005c4: JUMPI 000005c5: DUP2 000005c6: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000005e7: CALLDATASIZE 000005e8: ADD 000005e9: SLT 000005ea: PUSH2 0x02fa 000005ed: JUMPI 000005ee: PUSH1 0x20 000005f0: SWAP1 000005f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000606: PUSH1 0x05 00000608: SLOAD 00000609: AND 0000060a: SWAP1 0000060b: MLOAD 0000060c: SWAP1 0000060d: DUP2 0000060e: MSTORE 0000060f: RETURN 00000610: JUMPDEST 00000611: DUP4 00000612: CALLVALUE 00000613: PUSH2 0x0415 00000616: JUMPI 00000617: DUP1 00000618: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000639: CALLDATASIZE 0000063a: ADD 0000063b: SLT 0000063c: PUSH2 0x0415 0000063f: JUMPI 00000640: PUSH2 0x0647 00000643: PUSH2 0x0b83 00000646: JUMP 00000647: JUMPDEST 00000648: DUP1 00000649: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065e: PUSH1 0x05 00000660: SLOAD 00000661: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000682: DUP2 00000683: AND 00000684: PUSH1 0x05 00000686: SSTORE 00000687: AND 00000688: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000006a9: DUP3 000006aa: DUP1 000006ab: LOG3 000006ac: DUP1 000006ad: RETURN 000006ae: JUMPDEST 000006af: POP 000006b0: POP 000006b1: CALLVALUE 000006b2: PUSH2 0x02fa 000006b5: JUMPI 000006b6: PUSH1 0x20 000006b8: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000006d9: CALLDATASIZE 000006da: ADD 000006db: SLT 000006dc: PUSH2 0x02fa 000006df: JUMPI 000006e0: DUP1 000006e1: PUSH1 0x20 000006e3: SWAP3 000006e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f9: PUSH2 0x0700 000006fc: PUSH2 0x0b38 000006ff: JUMP 00000700: JUMPDEST 00000701: AND 00000702: DUP2 00000703: MSTORE 00000704: PUSH1 0x03 00000706: DUP5 00000707: MSTORE 00000708: KECCAK256 00000709: SLOAD 0000070a: SWAP1 0000070b: MLOAD 0000070c: SWAP1 0000070d: DUP2 0000070e: MSTORE 0000070f: RETURN 00000710: JUMPDEST 00000711: POP 00000712: POP 00000713: CALLVALUE 00000714: PUSH2 0x02fa 00000717: JUMPI 00000718: DUP2 00000719: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000073a: CALLDATASIZE 0000073b: ADD 0000073c: SLT 0000073d: PUSH2 0x02fa 00000740: JUMPI 00000741: PUSH1 0x20 00000743: SWAP1 00000744: PUSH1 0xff 00000746: PUSH1 0x02 00000748: SLOAD 00000749: AND 0000074a: SWAP1 0000074b: MLOAD 0000074c: SWAP1 0000074d: DUP2 0000074e: MSTORE 0000074f: RETURN 00000750: JUMPDEST 00000751: POP 00000752: CALLVALUE 00000753: PUSH2 0x0227 00000756: JUMPI 00000757: PUSH1 0x20 00000759: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000077a: CALLDATASIZE 0000077b: ADD 0000077c: SLT 0000077d: PUSH2 0x0227 00000780: JUMPI 00000781: CALLDATALOAD 00000782: SWAP1 00000783: CALLER 00000784: DUP4 00000785: MSTORE 00000786: PUSH1 0x03 00000788: PUSH1 0x20 0000078a: MSTORE 0000078b: DUP1 0000078c: DUP4 0000078d: KECCAK256 0000078e: DUP1 0000078f: SLOAD 00000790: DUP4 00000791: DUP2 00000792: LT 00000793: PUSH2 0x07fc 00000796: JUMPI 00000797: DUP4 00000798: PUSH2 0x07a0 0000079b: SWAP2 0000079c: PUSH2 0x0fbe 0000079f: JUMP 000007a0: JUMPDEST 000007a1: SWAP1 000007a2: SSTORE 000007a3: DUP3 000007a4: DUP1 000007a5: DUP4 000007a6: DUP1 000007a7: ISZERO 000007a8: PUSH2 0x07f2 000007ab: JUMPI 000007ac: JUMPDEST 000007ad: DUP3 000007ae: DUP1 000007af: SWAP3 000007b0: SWAP2 000007b1: DUP2 000007b2: SWAP3 000007b3: CALLER 000007b4: SWAP1 000007b5: CALL 000007b6: ISZERO 000007b7: PUSH2 0x07e7 000007ba: JUMPI 000007bb: MLOAD 000007bc: SWAP1 000007bd: DUP2 000007be: MSTORE 000007bf: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65 000007e0: PUSH1 0x20 000007e2: CALLER 000007e3: SWAP3 000007e4: LOG2 000007e5: DUP1 000007e6: RETURN 000007e7: JUMPDEST 000007e8: MLOAD 000007e9: SWAP2 000007ea: RETURNDATASIZE 000007eb: SWAP2 000007ec: POP 000007ed: DUP3 000007ee: RETURNDATACOPY 000007ef: RETURNDATASIZE 000007f0: SWAP1 000007f1: REVERT 000007f2: JUMPDEST 000007f3: PUSH2 0x08fc 000007f6: SWAP2 000007f7: POP 000007f8: PUSH2 0x07ac 000007fb: JUMP 000007fc: JUMPDEST 000007fd: DUP5 000007fe: DUP1 000007ff: REVERT 00000800: JUMPDEST 00000801: POP 00000802: POP 00000803: CALLVALUE 00000804: PUSH2 0x02fa 00000807: JUMPI 00000808: PUSH1 0x60 0000080a: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000082b: CALLDATASIZE 0000082c: ADD 0000082d: SLT 0000082e: PUSH2 0x02fa 00000831: JUMPI 00000832: PUSH1 0x20 00000834: SWAP1 00000835: PUSH2 0x0460 00000838: PUSH2 0x083f 0000083b: PUSH2 0x0b38 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH2 0x0847 00000843: PUSH2 0x0b60 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH1 0x44 0000084a: CALLDATALOAD 0000084b: SWAP2 0000084c: PUSH2 0x0c02 0000084f: JUMP 00000850: JUMPDEST 00000851: POP 00000852: POP 00000853: CALLVALUE 00000854: PUSH2 0x02fa 00000857: JUMPI 00000858: PUSH1 0x20 0000085a: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000087b: CALLDATASIZE 0000087c: ADD 0000087d: SLT 0000087e: PUSH2 0x02fa 00000881: JUMPI 00000882: PUSH1 0xff 00000884: DUP2 00000885: PUSH1 0x20 00000887: SWAP4 00000888: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089d: PUSH2 0x08a4 000008a0: PUSH2 0x0b38 000008a3: JUMP 000008a4: JUMPDEST 000008a5: AND 000008a6: DUP2 000008a7: MSTORE 000008a8: PUSH1 0x06 000008aa: DUP6 000008ab: MSTORE 000008ac: KECCAK256 000008ad: SLOAD 000008ae: AND 000008af: SWAP1 000008b0: MLOAD 000008b1: SWAP1 000008b2: ISZERO 000008b3: ISZERO 000008b4: DUP2 000008b5: MSTORE 000008b6: RETURN 000008b7: JUMPDEST 000008b8: POP 000008b9: POP 000008ba: CALLVALUE 000008bb: PUSH2 0x02fa 000008be: JUMPI 000008bf: DUP2 000008c0: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000008e1: CALLDATASIZE 000008e2: ADD 000008e3: SLT 000008e4: PUSH2 0x02fa 000008e7: JUMPI 000008e8: MLOAD 000008e9: SELFBALANCE 000008ea: DUP2 000008eb: MSTORE 000008ec: PUSH1 0x20 000008ee: SWAP1 000008ef: RETURN 000008f0: JUMPDEST 000008f1: POP 000008f2: CALLVALUE 000008f3: PUSH2 0x0227 000008f6: JUMPI 000008f7: DUP2 000008f8: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000919: CALLDATASIZE 0000091a: ADD 0000091b: SLT 0000091c: PUSH2 0x0227 0000091f: JUMPI 00000920: PUSH1 0x20 00000922: SWAP3 00000923: PUSH2 0x092a 00000926: PUSH2 0x0b38 00000929: JUMP 0000092a: JUMPDEST 0000092b: SWAP2 0000092c: DUP4 0000092d: PUSH1 0x24 0000092f: CALLDATALOAD 00000930: SWAP3 00000931: DUP4 00000932: SWAP3 00000933: CALLER 00000934: DUP3 00000935: MSTORE 00000936: DUP8 00000937: MSTORE 00000938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094d: DUP3 0000094e: DUP3 0000094f: KECCAK256 00000950: SWAP6 00000951: AND 00000952: SWAP5 00000953: DUP6 00000954: DUP3 00000955: MSTORE 00000956: DUP8 00000957: MSTORE 00000958: KECCAK256 00000959: SSTORE 0000095a: DUP3 0000095b: MLOAD 0000095c: SWAP1 0000095d: DUP2 0000095e: MSTORE 0000095f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000980: DUP5 00000981: CALLER 00000982: SWAP3 00000983: LOG3 00000984: MLOAD 00000985: PUSH1 0x01 00000987: DUP2 00000988: MSTORE 00000989: RETURN 0000098a: JUMPDEST 0000098b: SWAP3 0000098c: SWAP2 0000098d: SWAP1 0000098e: POP 0000098f: CALLVALUE 00000990: PUSH2 0x02f6 00000993: JUMPI 00000994: DUP4 00000995: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000009b6: CALLDATASIZE 000009b7: ADD 000009b8: SLT 000009b9: PUSH2 0x02f6 000009bc: JUMPI 000009bd: DUP4 000009be: SLOAD 000009bf: PUSH1 0x01 000009c1: DUP2 000009c2: DUP2 000009c3: SHR 000009c4: SWAP2 000009c5: DUP7 000009c6: SWAP1 000009c7: DUP3 000009c8: DUP2 000009c9: AND 000009ca: DUP1 000009cb: ISZERO 000009cc: PUSH2 0x0a58 000009cf: JUMPI 000009d0: JUMPDEST 000009d1: PUSH1 0x20 000009d3: SWAP6 000009d4: DUP7 000009d5: DUP7 000009d6: LT 000009d7: DUP3 000009d8: EQ 000009d9: PUSH2 0x0587 000009dc: JUMPI 000009dd: POP 000009de: DUP5 000009df: DUP9 000009e0: MSTORE 000009e1: SWAP1 000009e2: DUP2 000009e3: ISZERO 000009e4: PUSH2 0x0547 000009e7: JUMPI 000009e8: POP 000009e9: PUSH1 0x01 000009eb: EQ 000009ec: PUSH2 0x0a00 000009ef: JUMPI 000009f0: PUSH2 0x04eb 000009f3: DUP7 000009f4: DUP7 000009f5: PUSH2 0x04e1 000009f8: DUP3 000009f9: DUP12 000009fa: SUB 000009fb: DUP4 000009fc: PUSH2 0x0a62 000009ff: JUMP 00000a00: JUMPDEST 00000a01: DUP1 00000a02: DUP1 00000a03: SWAP5 00000a04: SWAP8 00000a05: POP 00000a06: MSTORE 00000a07: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563 00000a28: JUMPDEST 00000a29: DUP3 00000a2a: DUP5 00000a2b: LT 00000a2c: PUSH2 0x0a45 00000a2f: JUMPI 00000a30: POP 00000a31: POP 00000a32: POP 00000a33: DUP3 00000a34: PUSH2 0x04eb 00000a37: SWAP5 00000a38: PUSH2 0x04e1 00000a3b: SWAP3 00000a3c: DUP3 00000a3d: ADD 00000a3e: ADD 00000a3f: SWAP5 00000a40: CODESIZE 00000a41: PUSH2 0x04d0 00000a44: JUMP 00000a45: JUMPDEST 00000a46: DUP1 00000a47: SLOAD 00000a48: DUP7 00000a49: DUP6 00000a4a: ADD 00000a4b: DUP9 00000a4c: ADD 00000a4d: MSTORE 00000a4e: SWAP3 00000a4f: DUP7 00000a50: ADD 00000a51: SWAP3 00000a52: DUP2 00000a53: ADD 00000a54: PUSH2 0x0a28 00000a57: JUMP 00000a58: JUMPDEST 00000a59: SWAP4 00000a5a: PUSH1 0x7f 00000a5c: AND 00000a5d: SWAP4 00000a5e: PUSH2 0x09d0 00000a61: JUMP 00000a62: JUMPDEST 00000a63: SWAP1 00000a64: PUSH1 0x1f 00000a66: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000a87: SWAP2 00000a88: ADD 00000a89: AND 00000a8a: DUP2 00000a8b: ADD 00000a8c: SWAP1 00000a8d: DUP2 00000a8e: LT 00000a8f: PUSH8 0xffffffffffffffff 00000a98: DUP3 00000a99: GT 00000a9a: OR 00000a9b: PUSH2 0x0aa3 00000a9e: JUMPI 00000a9f: PUSH1 0x40 00000aa1: MSTORE 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000ac5: PUSH1 0x00 00000ac7: MSTORE 00000ac8: PUSH1 0x41 00000aca: PUSH1 0x04 00000acc: MSTORE 00000acd: PUSH1 0x24 00000acf: PUSH1 0x00 00000ad1: REVERT 00000ad2: JUMPDEST 00000ad3: PUSH1 0x20 00000ad5: DUP1 00000ad6: DUP3 00000ad7: MSTORE 00000ad8: DUP3 00000ad9: MLOAD 00000ada: DUP2 00000adb: DUP4 00000adc: ADD 00000add: DUP2 00000ade: SWAP1 00000adf: MSTORE 00000ae0: SWAP4 00000ae1: SWAP3 00000ae2: PUSH1 0x00 00000ae4: JUMPDEST 00000ae5: DUP6 00000ae6: DUP2 00000ae7: LT 00000ae8: PUSH2 0x0b24 00000aeb: JUMPI 00000aec: POP 00000aed: POP 00000aee: POP 00000aef: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000b10: PUSH1 0x1f 00000b12: DUP5 00000b13: PUSH1 0x00 00000b15: PUSH1 0x40 00000b17: DUP1 00000b18: SWAP7 00000b19: SWAP8 00000b1a: DUP7 00000b1b: ADD 00000b1c: ADD 00000b1d: MSTORE 00000b1e: ADD 00000b1f: AND 00000b20: ADD 00000b21: ADD 00000b22: SWAP1 00000b23: JUMP 00000b24: JUMPDEST 00000b25: DUP2 00000b26: DUP2 00000b27: ADD 00000b28: DUP4 00000b29: ADD 00000b2a: MLOAD 00000b2b: DUP5 00000b2c: DUP3 00000b2d: ADD 00000b2e: PUSH1 0x40 00000b30: ADD 00000b31: MSTORE 00000b32: DUP3 00000b33: ADD 00000b34: PUSH2 0x0ae4 00000b37: JUMP 00000b38: JUMPDEST 00000b39: PUSH1 0x04 00000b3b: CALLDATALOAD 00000b3c: SWAP1 00000b3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b52: DUP3 00000b53: AND 00000b54: DUP3 00000b55: SUB 00000b56: PUSH2 0x0b5b 00000b59: JUMPI 00000b5a: JUMP 00000b5b: JUMPDEST 00000b5c: PUSH1 0x00 00000b5e: DUP1 00000b5f: REVERT 00000b60: JUMPDEST 00000b61: PUSH1 0x24 00000b63: CALLDATALOAD 00000b64: SWAP1 00000b65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7a: DUP3 00000b7b: AND 00000b7c: DUP3 00000b7d: SUB 00000b7e: PUSH2 0x0b5b 00000b81: JUMPI 00000b82: JUMP 00000b83: JUMPDEST 00000b84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b99: PUSH1 0x05 00000b9b: SLOAD 00000b9c: AND 00000b9d: CALLER 00000b9e: SUB 00000b9f: PUSH2 0x0ba4 00000ba2: JUMPI 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: PUSH1 0x64 00000ba7: PUSH1 0x40 00000ba9: MLOAD 00000baa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bcb: DUP2 00000bcc: MSTORE 00000bcd: PUSH1 0x20 00000bcf: PUSH1 0x04 00000bd1: DUP3 00000bd2: ADD 00000bd3: MSTORE 00000bd4: PUSH1 0x20 00000bd6: PUSH1 0x24 00000bd8: DUP3 00000bd9: ADD 00000bda: MSTORE 00000bdb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000bfc: PUSH1 0x44 00000bfe: DUP3 00000bff: ADD 00000c00: MSTORE 00000c01: REVERT 00000c02: JUMPDEST 00000c03: SWAP3 00000c04: SWAP2 00000c05: SWAP3 00000c06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c1b: SWAP1 00000c1c: DUP2 00000c1d: DUP1 00000c1e: PUSH32 0x000000000000000000000000c186fa914353c44b2e33ebe05f21846f1048beda 00000c3f: AND 00000c40: SWAP4 00000c41: AND 00000c42: SWAP3 00000c43: DUP1 00000c44: DUP5 00000c45: EQ 00000c46: PUSH2 0x0d76 00000c49: JUMPI 00000c4a: JUMPDEST 00000c4b: POP 00000c4c: AND 00000c4d: PUSH1 0x00 00000c4f: SWAP4 00000c50: DUP2 00000c51: DUP6 00000c52: MSTORE 00000c53: PUSH1 0x20 00000c55: SWAP1 00000c56: PUSH1 0x03 00000c58: DUP3 00000c59: MSTORE 00000c5a: PUSH1 0x40 00000c5c: DUP2 00000c5d: DUP2 00000c5e: DUP9 00000c5f: KECCAK256 00000c60: SLOAD 00000c61: LT 00000c62: PUSH2 0x0d39 00000c65: JUMPI 00000c66: CALLER 00000c67: DUP5 00000c68: EQ 00000c69: ISZERO 00000c6a: DUP1 00000c6b: PUSH2 0x0d3d 00000c6e: JUMPI 00000c6f: JUMPDEST 00000c70: PUSH2 0x0cd0 00000c73: JUMPI 00000c74: JUMPDEST 00000c75: DUP1 00000c76: DUP8 00000c77: DUP6 00000c78: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000c99: SWAP7 00000c9a: SWAP8 00000c9b: SWAP9 00000c9c: SWAP10 00000c9d: MSTORE 00000c9e: PUSH1 0x03 00000ca0: DUP6 00000ca1: MSTORE 00000ca2: DUP2 00000ca3: DUP2 00000ca4: KECCAK256 00000ca5: PUSH2 0x0caf 00000ca8: DUP6 00000ca9: DUP3 00000caa: SLOAD 00000cab: PUSH2 0x0fbe 00000cae: JUMP 00000caf: JUMPDEST 00000cb0: SWAP1 00000cb1: SSTORE 00000cb2: DUP8 00000cb3: DUP2 00000cb4: MSTORE 00000cb5: PUSH1 0x03 00000cb7: DUP6 00000cb8: MSTORE 00000cb9: KECCAK256 00000cba: PUSH2 0x0cc4 00000cbd: DUP4 00000cbe: DUP3 00000cbf: SLOAD 00000cc0: PUSH2 0x0f39 00000cc3: JUMP 00000cc4: JUMPDEST 00000cc5: SWAP1 00000cc6: SSTORE 00000cc7: MLOAD 00000cc8: SWAP1 00000cc9: DUP2 00000cca: MSTORE 00000ccb: LOG3 00000ccc: PUSH1 0x01 00000cce: SWAP1 00000ccf: JUMP 00000cd0: JUMPDEST 00000cd1: DUP4 00000cd2: DUP8 00000cd3: MSTORE 00000cd4: PUSH1 0x04 00000cd6: DUP4 00000cd7: MSTORE 00000cd8: DUP1 00000cd9: DUP8 00000cda: KECCAK256 00000cdb: CALLER 00000cdc: DUP9 00000cdd: MSTORE 00000cde: DUP4 00000cdf: MSTORE 00000ce0: DUP2 00000ce1: DUP2 00000ce2: DUP9 00000ce3: KECCAK256 00000ce4: SLOAD 00000ce5: LT 00000ce6: PUSH2 0x0d39 00000ce9: JUMPI 00000cea: DUP1 00000ceb: DUP8 00000cec: DUP6 00000ced: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000d0e: SWAP7 00000d0f: SWAP8 00000d10: SWAP9 00000d11: SWAP10 00000d12: MSTORE 00000d13: PUSH1 0x04 00000d15: DUP6 00000d16: MSTORE 00000d17: DUP2 00000d18: DUP2 00000d19: KECCAK256 00000d1a: CALLER 00000d1b: DUP3 00000d1c: MSTORE 00000d1d: DUP6 00000d1e: MSTORE 00000d1f: DUP2 00000d20: DUP2 00000d21: KECCAK256 00000d22: PUSH2 0x0d2c 00000d25: DUP6 00000d26: DUP3 00000d27: SLOAD 00000d28: PUSH2 0x0fbe 00000d2b: JUMP 00000d2c: JUMPDEST 00000d2d: SWAP1 00000d2e: SSTORE 00000d2f: SWAP8 00000d30: SWAP7 00000d31: SWAP6 00000d32: SWAP5 00000d33: POP 00000d34: POP 00000d35: PUSH2 0x0c74 00000d38: JUMP 00000d39: JUMPDEST 00000d3a: DUP7 00000d3b: DUP1 00000d3c: REVERT 00000d3d: JUMPDEST 00000d3e: POP 00000d3f: PUSH1 0x04 00000d41: DUP4 00000d42: MSTORE 00000d43: DUP1 00000d44: DUP8 00000d45: KECCAK256 00000d46: CALLER 00000d47: DUP9 00000d48: MSTORE 00000d49: DUP4 00000d4a: MSTORE 00000d4b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000d6c: DUP2 00000d6d: DUP9 00000d6e: KECCAK256 00000d6f: SLOAD 00000d70: EQ 00000d71: ISZERO 00000d72: PUSH2 0x0c6f 00000d75: JUMP 00000d76: JUMPDEST 00000d77: DUP3 00000d78: DUP3 00000d79: AND 00000d7a: SWAP1 00000d7b: PUSH1 0x00 00000d7d: SWAP2 00000d7e: DUP1 00000d7f: DUP4 00000d80: MSTORE 00000d81: PUSH1 0x06 00000d83: PUSH1 0x20 00000d85: MSTORE 00000d86: PUSH1 0x40 00000d88: SWAP3 00000d89: PUSH1 0xff 00000d8b: DUP5 00000d8c: DUP3 00000d8d: KECCAK256 00000d8e: SLOAD 00000d8f: AND 00000d90: SWAP3 00000d91: DUP4 00000d92: ISZERO 00000d93: PUSH2 0x0dfb 00000d96: JUMPI 00000d97: JUMPDEST 00000d98: POP 00000d99: POP 00000d9a: POP 00000d9b: PUSH2 0x0c4a 00000d9e: JUMPI 00000d9f: PUSH1 0x64 00000da1: SWAP1 00000da2: MLOAD 00000da3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000dc4: DUP2 00000dc5: MSTORE 00000dc6: PUSH1 0x20 00000dc8: PUSH1 0x04 00000dca: DUP3 00000dcb: ADD 00000dcc: MSTORE 00000dcd: PUSH1 0x16 00000dcf: PUSH1 0x24 00000dd1: DUP3 00000dd2: ADD 00000dd3: MSTORE 00000dd4: PUSH32 0x5472616e73666572206e6f74207065726d697474656400000000000000000000 00000df5: PUSH1 0x44 00000df7: DUP3 00000df8: ADD 00000df9: MSTORE 00000dfa: REVERT 00000dfb: JUMPDEST 00000dfc: PUSH1 0x04 00000dfe: SWAP2 00000dff: SWAP3 00000e00: SWAP4 00000e01: POP 00000e02: PUSH1 0xe0 00000e04: SWAP1 00000e05: DUP6 00000e06: MLOAD 00000e07: SWAP3 00000e08: DUP4 00000e09: DUP1 00000e0a: SWAP3 00000e0b: PUSH32 0x4144fd6100000000000000000000000000000000000000000000000000000000 00000e2c: DUP3 00000e2d: MSTORE 00000e2e: GAS 00000e2f: STATICCALL 00000e30: SWAP2 00000e31: DUP3 00000e32: ISZERO 00000e33: PUSH2 0x0f2e 00000e36: JUMPI 00000e37: SWAP1 00000e38: DUP2 00000e39: DUP8 00000e3a: SWAP4 00000e3b: PUSH2 0x0e50 00000e3e: JUMPI 00000e3f: JUMPDEST 00000e40: POP 00000e41: POP 00000e42: PUSH1 0x80 00000e44: ADD 00000e45: MLOAD 00000e46: AND 00000e47: EQ 00000e48: ISZERO 00000e49: CODESIZE 00000e4a: DUP1 00000e4b: DUP1 00000e4c: PUSH2 0x0d97 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: SWAP2 00000e52: POP 00000e53: SWAP2 00000e54: POP 00000e55: PUSH1 0xe0 00000e57: DUP3 00000e58: RETURNDATASIZE 00000e59: DUP3 00000e5a: GT 00000e5b: PUSH2 0x0f26 00000e5e: JUMPI 00000e5f: JUMPDEST 00000e60: DUP2 00000e61: PUSH2 0x0e6c 00000e64: PUSH1 0xe0 00000e66: SWAP4 00000e67: DUP4 00000e68: PUSH2 0x0a62 00000e6b: JUMP 00000e6c: JUMPDEST 00000e6d: DUP2 00000e6e: ADD 00000e6f: SUB 00000e70: SLT 00000e71: PUSH2 0x0415 00000e74: JUMPI 00000e75: DUP4 00000e76: MLOAD 00000e77: SWAP2 00000e78: PUSH1 0xe0 00000e7a: DUP4 00000e7b: ADD 00000e7c: DUP4 00000e7d: DUP2 00000e7e: LT 00000e7f: PUSH8 0xffffffffffffffff 00000e88: DUP3 00000e89: GT 00000e8a: OR 00000e8b: PUSH2 0x0ef9 00000e8e: JUMPI 00000e8f: DUP6 00000e90: MSTORE 00000e91: DUP1 00000e92: MLOAD 00000e93: DUP4 00000e94: MSTORE 00000e95: PUSH1 0x20 00000e97: DUP2 00000e98: ADD 00000e99: MLOAD 00000e9a: PUSH1 0x20 00000e9c: DUP5 00000e9d: ADD 00000e9e: MSTORE 00000e9f: DUP5 00000ea0: DUP2 00000ea1: ADD 00000ea2: MLOAD 00000ea3: DUP6 00000ea4: DUP5 00000ea5: ADD 00000ea6: MSTORE 00000ea7: PUSH1 0x60 00000ea9: DUP2 00000eaa: ADD 00000eab: MLOAD 00000eac: PUSH1 0x60 00000eae: DUP5 00000eaf: ADD 00000eb0: MSTORE 00000eb1: PUSH1 0x80 00000eb3: DUP2 00000eb4: ADD 00000eb5: MLOAD 00000eb6: DUP8 00000eb7: DUP2 00000eb8: AND 00000eb9: DUP2 00000eba: SUB 00000ebb: PUSH2 0x0227 00000ebe: JUMPI 00000ebf: PUSH1 0x80 00000ec1: DUP5 00000ec2: ADD 00000ec3: MSTORE 00000ec4: PUSH1 0xa0 00000ec6: DUP2 00000ec7: ADD 00000ec8: MLOAD 00000ec9: PUSH1 0xff 00000ecb: DUP2 00000ecc: AND 00000ecd: DUP2 00000ece: SUB 00000ecf: PUSH2 0x0227 00000ed2: JUMPI 00000ed3: PUSH1 0xa0 00000ed5: DUP5 00000ed6: ADD 00000ed7: MSTORE 00000ed8: PUSH1 0xc0 00000eda: ADD 00000edb: MLOAD 00000edc: SWAP1 00000edd: PUSH4 0xffffffff 00000ee2: DUP3 00000ee3: AND 00000ee4: DUP3 00000ee5: SUB 00000ee6: PUSH2 0x0415 00000ee9: JUMPI 00000eea: POP 00000eeb: PUSH1 0xc0 00000eed: DUP3 00000eee: ADD 00000eef: MSTORE 00000ef0: DUP5 00000ef1: SWAP1 00000ef2: PUSH1 0x80 00000ef4: CODESIZE 00000ef5: PUSH2 0x0e3f 00000ef8: JUMP 00000ef9: JUMPDEST 00000efa: PUSH1 0x24 00000efc: DUP4 00000efd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000f1e: DUP2 00000f1f: MSTORE 00000f20: PUSH1 0x41 00000f22: PUSH1 0x04 00000f24: MSTORE 00000f25: REVERT 00000f26: JUMPDEST 00000f27: RETURNDATASIZE 00000f28: SWAP2 00000f29: POP 00000f2a: PUSH2 0x0e5f 00000f2d: JUMP 00000f2e: JUMPDEST 00000f2f: DUP5 00000f30: MLOAD 00000f31: SWAP1 00000f32: RETURNDATASIZE 00000f33: SWAP1 00000f34: DUP3 00000f35: RETURNDATACOPY 00000f36: RETURNDATASIZE 00000f37: SWAP1 00000f38: REVERT 00000f39: JUMPDEST 00000f3a: SWAP2 00000f3b: SWAP1 00000f3c: DUP3 00000f3d: ADD 00000f3e: DUP1 00000f3f: SWAP3 00000f40: GT 00000f41: PUSH2 0x0f46 00000f44: JUMPI 00000f45: JUMP 00000f46: JUMPDEST 00000f47: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000f68: PUSH1 0x00 00000f6a: MSTORE 00000f6b: PUSH1 0x11 00000f6d: PUSH1 0x04 00000f6f: MSTORE 00000f70: PUSH1 0x24 00000f72: PUSH1 0x00 00000f74: REVERT 00000f75: JUMPDEST 00000f76: CALLER 00000f77: PUSH1 0x00 00000f79: MSTORE 00000f7a: PUSH1 0x03 00000f7c: PUSH1 0x20 00000f7e: MSTORE 00000f7f: PUSH1 0x40 00000f81: PUSH1 0x00 00000f83: KECCAK256 00000f84: PUSH2 0x0f8e 00000f87: CALLVALUE 00000f88: DUP3 00000f89: SLOAD 00000f8a: PUSH2 0x0f39 00000f8d: JUMP 00000f8e: JUMPDEST 00000f8f: SWAP1 00000f90: SSTORE 00000f91: PUSH1 0x40 00000f93: MLOAD 00000f94: CALLVALUE 00000f95: DUP2 00000f96: MSTORE 00000f97: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000fb8: PUSH1 0x20 00000fba: CALLER 00000fbb: SWAP3 00000fbc: LOG2 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: SWAP2 00000fc0: SWAP1 00000fc1: DUP3 00000fc2: SUB 00000fc3: SWAP2 00000fc4: DUP3 00000fc5: GT 00000fc6: PUSH2 0x0f46 00000fc9: JUMPI 00000fca: JUMP 00000fcb: INVALID 00000fcc: LOG2 00000fcd: PUSH5 0x6970667358 00000fd3: UNKNOWN(0x22) 00000fd4: SLT 00000fd5: KECCAK256 00000fd6: SMOD 00000fd7: UNKNOWN(0xD7) 00000fd8: UNKNOWN(0xBA) 00000fd9: UNKNOWN(0xB5) 00000fda: UNKNOWN(0xA8) 00000fdb: RETURNDATASIZE 00000fdc: COINBASE 00000fdd: UNKNOWN(0xC7) 00000fde: LOG4 00000fdf: CALLCODE 00000fe0: DIV 00000fe1: PUSH25 0xfd45a734a31dda4d276a575c12c9e979927021de64736f6c63 00000ffb: NUMBER 00000ffc: STOP 00000ffd: ADDMOD 00000ffe: SLT 00000fff: STOP 00001000: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6a52966a9e902a00a8d48e0d9dd6ac2d32ad6e0498ebac7f7f28c59f73130372
call_targets:
0xee1dc6bcf1ee967a350e9ac6caaaa236109002ea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6a52966a9e902a00a8d48e0d9dd6ac2d32ad6e0498ebac7f7f28c59f73130372",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xee1dc6bcf1ee967a350e9ac6caaaa236109002ea"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18177497",
"selector": "0x18177497",
"calldata_variants": [
"0x18177497",
"0x181774970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1973,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4063,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6a52966a9e902a00a8d48e0d9dd6ac2d32ad6e0498ebac7f7f28c59f73130372
call_targets:
0xee1dc6bcf1ee967a350e9ac6caaaa236109002ea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6a52966a9e902a00a8d48e0d9dd6ac2d32ad6e0498ebac7f7f28c59f73130372",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xee1dc6bcf1ee967a350e9ac6caaaa236109002ea"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18177497",
"selector": "0x18177497",
"calldata_variants": [
"0x18177497",
"0x181774970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1973,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4063,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|