019b477e-c710-7211-9e0f-c6cb5dfb8060
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 |
|---|---|---|---|---|
| 25899 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25900 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69378 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69379 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69380 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69381 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: PUSH2 0x000b 00000009: JUMPI 0000000a: STOP 0000000b: JUMPDEST 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: CALLDATALOAD 00000010: PUSH1 0x01 00000012: PUSH1 0x01 00000014: PUSH1 0xe0 00000016: SHL 00000017: SUB 00000018: NOT 00000019: AND 0000001a: DUP2 0000001b: MSTORE 0000001c: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c131c 0000003d: PUSH1 0x20 0000003f: DUP2 00000040: SWAP1 00000041: MSTORE 00000042: PUSH1 0x40 00000044: SWAP1 00000045: SWAP2 00000046: KECCAK256 00000047: SLOAD 00000048: DUP2 00000049: SWAP1 0000004a: PUSH1 0x60 0000004c: SHR 0000004d: DUP1 0000004e: PUSH2 0x009e 00000051: JUMPI 00000052: PUSH1 0x40 00000054: MLOAD 00000055: PUSH3 0x461bcd 00000059: PUSH1 0xe5 0000005b: SHL 0000005c: DUP2 0000005d: MSTORE 0000005e: PUSH1 0x20 00000060: PUSH1 0x04 00000062: DUP3 00000063: ADD 00000064: DUP2 00000065: SWAP1 00000066: MSTORE 00000067: PUSH1 0x24 00000069: DUP3 0000006a: ADD 0000006b: MSTORE 0000006c: PUSH32 0x4469616d6f6e643a2046756e6374696f6e20646f6573206e6f74206578697374 0000008d: PUSH1 0x44 0000008f: DUP3 00000090: ADD 00000091: MSTORE 00000092: PUSH1 0x64 00000094: ADD 00000095: JUMPDEST 00000096: PUSH1 0x40 00000098: MLOAD 00000099: DUP1 0000009a: SWAP2 0000009b: SUB 0000009c: SWAP1 0000009d: REVERT 0000009e: JUMPDEST 0000009f: CALLDATASIZE 000000a0: PUSH1 0x00 000000a2: DUP1 000000a3: CALLDATACOPY 000000a4: PUSH1 0x00 000000a6: DUP1 000000a7: CALLDATASIZE 000000a8: PUSH1 0x00 000000aa: DUP5 000000ab: GAS 000000ac: DELEGATECALL 000000ad: RETURNDATASIZE 000000ae: PUSH1 0x00 000000b0: DUP1 000000b1: RETURNDATACOPY 000000b2: DUP1 000000b3: DUP1 000000b4: ISZERO 000000b5: PUSH2 0x00bd 000000b8: JUMPI 000000b9: RETURNDATASIZE 000000ba: PUSH1 0x00 000000bc: RETURN 000000bd: JUMPDEST 000000be: RETURNDATASIZE 000000bf: PUSH1 0x00 000000c1: REVERT 000000c2: JUMPDEST 000000c3: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c131e 000000e4: SLOAD 000000e5: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c131c 00000106: SWAP1 00000107: PUSH2 0xffff 0000010a: DUP2 0000010b: AND 0000010c: SWAP1 0000010d: DUP2 0000010e: SWAP1 0000010f: PUSH1 0x00 00000111: SWAP1 00000112: PUSH1 0x07 00000114: AND 00000115: ISZERO 00000116: PUSH2 0x0131 00000119: JUMPI 0000011a: POP 0000011b: PUSH1 0x03 0000011d: DUP2 0000011e: SWAP1 0000011f: SHR 00000120: PUSH1 0x00 00000122: SWAP1 00000123: DUP2 00000124: MSTORE 00000125: PUSH1 0x01 00000127: DUP5 00000128: ADD 00000129: PUSH1 0x20 0000012b: MSTORE 0000012c: PUSH1 0x40 0000012e: SWAP1 0000012f: KECCAK256 00000130: SLOAD 00000131: JUMPDEST 00000132: PUSH1 0x00 00000134: JUMPDEST 00000135: DUP8 00000136: MLOAD 00000137: DUP2 00000138: LT 00000139: ISZERO 0000013a: PUSH2 0x01b8 0000013d: JUMPI 0000013e: PUSH2 0x01a1 00000141: DUP4 00000142: DUP4 00000143: DUP11 00000144: DUP5 00000145: DUP2 00000146: MLOAD 00000147: DUP2 00000148: LT 00000149: PUSH2 0x0154 0000014c: JUMPI 0000014d: PUSH2 0x0154 00000150: PUSH2 0x0c65 00000153: JUMP 00000154: JUMPDEST 00000155: PUSH1 0x20 00000157: MUL 00000158: PUSH1 0x20 0000015a: ADD 0000015b: ADD 0000015c: MLOAD 0000015d: PUSH1 0x00 0000015f: ADD 00000160: MLOAD 00000161: DUP12 00000162: DUP6 00000163: DUP2 00000164: MLOAD 00000165: DUP2 00000166: LT 00000167: PUSH2 0x0172 0000016a: JUMPI 0000016b: PUSH2 0x0172 0000016e: PUSH2 0x0c65 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH1 0x20 00000175: MUL 00000176: PUSH1 0x20 00000178: ADD 00000179: ADD 0000017a: MLOAD 0000017b: PUSH1 0x20 0000017d: ADD 0000017e: MLOAD 0000017f: DUP13 00000180: DUP7 00000181: DUP2 00000182: MLOAD 00000183: DUP2 00000184: LT 00000185: PUSH2 0x0190 00000188: JUMPI 00000189: PUSH2 0x0190 0000018c: PUSH2 0x0c65 0000018f: JUMP 00000190: JUMPDEST 00000191: PUSH1 0x20 00000193: MUL 00000194: PUSH1 0x20 00000196: ADD 00000197: ADD 00000198: MLOAD 00000199: PUSH1 0x40 0000019b: ADD 0000019c: MLOAD 0000019d: PUSH2 0x0244 000001a0: JUMP 000001a1: JUMPDEST 000001a2: SWAP1 000001a3: SWAP4 000001a4: POP 000001a5: SWAP2 000001a6: POP 000001a7: DUP1 000001a8: PUSH2 0x01b0 000001ab: DUP2 000001ac: PUSH2 0x0c91 000001af: JUMP 000001b0: JUMPDEST 000001b1: SWAP2 000001b2: POP 000001b3: POP 000001b4: PUSH2 0x0134 000001b7: JUMP 000001b8: JUMPDEST 000001b9: POP 000001ba: DUP3 000001bb: DUP3 000001bc: EQ 000001bd: PUSH2 0x01d4 000001c0: JUMPI 000001c1: PUSH1 0x02 000001c3: DUP5 000001c4: ADD 000001c5: DUP1 000001c6: SLOAD 000001c7: PUSH2 0xffff 000001ca: NOT 000001cb: AND 000001cc: PUSH2 0xffff 000001cf: DUP5 000001d0: AND 000001d1: OR 000001d2: SWAP1 000001d3: SSTORE 000001d4: JUMPDEST 000001d5: PUSH1 0x07 000001d7: DUP3 000001d8: AND 000001d9: ISZERO 000001da: PUSH2 0x01f6 000001dd: JUMPI 000001de: PUSH1 0x03 000001e0: DUP3 000001e1: SWAP1 000001e2: SHR 000001e3: PUSH1 0x00 000001e5: SWAP1 000001e6: DUP2 000001e7: MSTORE 000001e8: PUSH1 0x01 000001ea: DUP6 000001eb: ADD 000001ec: PUSH1 0x20 000001ee: MSTORE 000001ef: PUSH1 0x40 000001f1: SWAP1 000001f2: KECCAK256 000001f3: DUP2 000001f4: SWAP1 000001f5: SSTORE 000001f6: JUMPDEST 000001f7: PUSH32 0x8faa70878671ccd212d20771b795c50af8fd3ff6cf27f4bde57e5d4de0aeb673 00000218: DUP8 00000219: DUP8 0000021a: DUP8 0000021b: PUSH1 0x40 0000021d: MLOAD 0000021e: PUSH2 0x0229 00000221: SWAP4 00000222: SWAP3 00000223: SWAP2 00000224: SWAP1 00000225: PUSH2 0x0d1a 00000228: JUMP 00000229: JUMPDEST 0000022a: PUSH1 0x40 0000022c: MLOAD 0000022d: DUP1 0000022e: SWAP2 0000022f: SUB 00000230: SWAP1 00000231: LOG1 00000232: PUSH2 0x023b 00000235: DUP7 00000236: DUP7 00000237: PUSH2 0x0a31 0000023a: JUMP 0000023b: JUMPDEST 0000023c: POP 0000023d: POP 0000023e: POP 0000023f: POP 00000240: POP 00000241: POP 00000242: POP 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH1 0x00 00000247: DUP1 00000248: DUP1 00000249: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c131c 0000026a: SWAP1 0000026b: POP 0000026c: PUSH1 0x00 0000026e: DUP5 0000026f: MLOAD 00000270: GT 00000271: PUSH2 0x02d0 00000274: JUMPI 00000275: PUSH1 0x40 00000277: MLOAD 00000278: PUSH3 0x461bcd 0000027c: PUSH1 0xe5 0000027e: SHL 0000027f: DUP2 00000280: MSTORE 00000281: PUSH1 0x20 00000283: PUSH1 0x04 00000285: DUP3 00000286: ADD 00000287: MSTORE 00000288: PUSH1 0x2b 0000028a: PUSH1 0x24 0000028c: DUP3 0000028d: ADD 0000028e: MSTORE 0000028f: PUSH32 0x4c69624469616d6f6e644375743a204e6f2073656c6563746f727320696e2066 000002b0: PUSH1 0x44 000002b2: DUP3 000002b3: ADD 000002b4: MSTORE 000002b5: PUSH11 0x1858d95d081d1bc818dd5d 000002c1: PUSH1 0xaa 000002c3: SHL 000002c4: PUSH1 0x64 000002c6: DUP3 000002c7: ADD 000002c8: MSTORE 000002c9: PUSH1 0x84 000002cb: ADD 000002cc: PUSH2 0x0095 000002cf: JUMP 000002d0: JUMPDEST 000002d1: PUSH1 0x00 000002d3: DUP6 000002d4: PUSH1 0x02 000002d6: DUP2 000002d7: GT 000002d8: ISZERO 000002d9: PUSH2 0x02e4 000002dc: JUMPI 000002dd: PUSH2 0x02e4 000002e0: PUSH2 0x0cac 000002e3: JUMP 000002e4: JUMPDEST 000002e5: EQ 000002e6: ISZERO 000002e7: PUSH2 0x0452 000002ea: JUMPI 000002eb: PUSH2 0x030c 000002ee: DUP7 000002ef: PUSH1 0x40 000002f1: MLOAD 000002f2: DUP1 000002f3: PUSH1 0x60 000002f5: ADD 000002f6: PUSH1 0x40 000002f8: MSTORE 000002f9: DUP1 000002fa: PUSH1 0x24 000002fc: DUP2 000002fd: MSTORE 000002fe: PUSH1 0x20 00000300: ADD 00000301: PUSH2 0x0e9f 00000304: PUSH1 0x24 00000306: SWAP2 00000307: CODECOPY 00000308: PUSH2 0x0c44 0000030b: JUMP 0000030c: JUMPDEST 0000030d: PUSH1 0x00 0000030f: JUMPDEST 00000310: DUP5 00000311: MLOAD 00000312: DUP2 00000313: LT 00000314: ISZERO 00000315: PUSH2 0x044c 00000318: JUMPI 00000319: PUSH1 0x00 0000031b: DUP6 0000031c: DUP3 0000031d: DUP2 0000031e: MLOAD 0000031f: DUP2 00000320: LT 00000321: PUSH2 0x032c 00000324: JUMPI 00000325: PUSH2 0x032c 00000328: PUSH2 0x0c65 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH1 0x20 0000032f: SWAP1 00000330: DUP2 00000331: MUL 00000332: SWAP2 00000333: SWAP1 00000334: SWAP2 00000335: ADD 00000336: DUP2 00000337: ADD 00000338: MLOAD 00000339: PUSH1 0x01 0000033b: PUSH1 0x01 0000033d: PUSH1 0xe0 0000033f: SHL 00000340: SUB 00000341: NOT 00000342: DUP2 00000343: AND 00000344: PUSH1 0x00 00000346: SWAP1 00000347: DUP2 00000348: MSTORE 00000349: SWAP2 0000034a: DUP6 0000034b: SWAP1 0000034c: MSTORE 0000034d: PUSH1 0x40 0000034f: SWAP1 00000350: SWAP2 00000351: KECCAK256 00000352: SLOAD 00000353: SWAP1 00000354: SWAP2 00000355: POP 00000356: PUSH1 0x60 00000358: DUP2 00000359: SWAP1 0000035a: SHR 0000035b: ISZERO 0000035c: PUSH2 0x03c5 0000035f: JUMPI 00000360: PUSH1 0x40 00000362: MLOAD 00000363: PUSH3 0x461bcd 00000367: PUSH1 0xe5 00000369: SHL 0000036a: DUP2 0000036b: MSTORE 0000036c: PUSH1 0x20 0000036e: PUSH1 0x04 00000370: DUP3 00000371: ADD 00000372: MSTORE 00000373: PUSH1 0x35 00000375: PUSH1 0x24 00000377: DUP3 00000378: ADD 00000379: MSTORE 0000037a: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774206164642066756e6374696f 0000039b: PUSH1 0x44 0000039d: DUP3 0000039e: ADD 0000039f: MSTORE 000003a0: PUSH21 0x6e207468617420616c726561647920657869737473 000003b6: PUSH1 0x58 000003b8: SHL 000003b9: PUSH1 0x64 000003bb: DUP3 000003bc: ADD 000003bd: MSTORE 000003be: PUSH1 0x84 000003c0: ADD 000003c1: PUSH2 0x0095 000003c4: JUMP 000003c5: JUMPDEST 000003c6: PUSH1 0x01 000003c8: PUSH1 0x01 000003ca: PUSH1 0xe0 000003cc: SHL 000003cd: SUB 000003ce: NOT 000003cf: DUP1 000003d0: DUP4 000003d1: AND 000003d2: PUSH1 0x00 000003d4: DUP2 000003d5: DUP2 000003d6: MSTORE 000003d7: PUSH1 0x20 000003d9: DUP8 000003da: SWAP1 000003db: MSTORE 000003dc: PUSH1 0x40 000003de: SWAP1 000003df: KECCAK256 000003e0: PUSH1 0x01 000003e2: PUSH1 0x01 000003e4: PUSH1 0x60 000003e6: SHL 000003e7: SUB 000003e8: NOT 000003e9: PUSH1 0x60 000003eb: DUP14 000003ec: SWAP1 000003ed: SHL 000003ee: AND 000003ef: DUP15 000003f0: OR 000003f1: SWAP1 000003f2: SSTORE 000003f3: PUSH1 0xe0 000003f5: PUSH1 0x05 000003f7: DUP15 000003f8: SWAP1 000003f9: SHL 000003fa: DUP2 000003fb: AND 000003fc: SWAP3 000003fd: DUP4 000003fe: SHR 000003ff: NOT 00000400: SWAP13 00000401: SWAP1 00000402: SWAP13 00000403: AND 00000404: SWAP1 00000405: DUP3 00000406: SHR 00000407: OR 00000408: SWAP11 00000409: DUP2 0000040a: EQ 0000040b: ISZERO 0000040c: PUSH2 0x0429 0000040f: JUMPI 00000410: PUSH1 0x03 00000412: DUP13 00000413: SWAP1 00000414: SHR 00000415: PUSH1 0x00 00000417: SWAP1 00000418: DUP2 00000419: MSTORE 0000041a: PUSH1 0x01 0000041c: DUP7 0000041d: ADD 0000041e: PUSH1 0x20 00000420: MSTORE 00000421: PUSH1 0x40 00000423: DUP2 00000424: KECCAK256 00000425: SWAP12 00000426: SWAP1 00000427: SWAP12 00000428: SSTORE 00000429: JUMPDEST 0000042a: DUP12 0000042b: PUSH2 0x0433 0000042e: DUP2 0000042f: PUSH2 0x0c91 00000432: JUMP 00000433: JUMPDEST 00000434: SWAP13 00000435: POP 00000436: POP 00000437: POP 00000438: POP 00000439: POP 0000043a: DUP1 0000043b: DUP1 0000043c: PUSH2 0x0444 0000043f: SWAP1 00000440: PUSH2 0x0c91 00000443: JUMP 00000444: JUMPDEST 00000445: SWAP2 00000446: POP 00000447: POP 00000448: PUSH2 0x030f 0000044b: JUMP 0000044c: JUMPDEST 0000044d: POP 0000044e: PUSH2 0x0a25 00000451: JUMP 00000452: JUMPDEST 00000453: PUSH1 0x01 00000455: DUP6 00000456: PUSH1 0x02 00000458: DUP2 00000459: GT 0000045a: ISZERO 0000045b: PUSH2 0x0466 0000045e: JUMPI 0000045f: PUSH2 0x0466 00000462: PUSH2 0x0cac 00000465: JUMP 00000466: JUMPDEST 00000467: EQ 00000468: ISZERO 00000469: PUSH2 0x0698 0000046c: JUMPI 0000046d: PUSH2 0x048e 00000470: DUP7 00000471: PUSH1 0x40 00000473: MLOAD 00000474: DUP1 00000475: PUSH1 0x60 00000477: ADD 00000478: PUSH1 0x40 0000047a: MSTORE 0000047b: DUP1 0000047c: PUSH1 0x28 0000047e: DUP2 0000047f: MSTORE 00000480: PUSH1 0x20 00000482: ADD 00000483: PUSH2 0x0eeb 00000486: PUSH1 0x28 00000488: SWAP2 00000489: CODECOPY 0000048a: PUSH2 0x0c44 0000048d: JUMP 0000048e: JUMPDEST 0000048f: PUSH1 0x00 00000491: JUMPDEST 00000492: DUP5 00000493: MLOAD 00000494: DUP2 00000495: LT 00000496: ISZERO 00000497: PUSH2 0x044c 0000049a: JUMPI 0000049b: PUSH1 0x00 0000049d: DUP6 0000049e: DUP3 0000049f: DUP2 000004a0: MLOAD 000004a1: DUP2 000004a2: LT 000004a3: PUSH2 0x04ae 000004a6: JUMPI 000004a7: PUSH2 0x04ae 000004aa: PUSH2 0x0c65 000004ad: JUMP 000004ae: JUMPDEST 000004af: PUSH1 0x20 000004b1: SWAP1 000004b2: DUP2 000004b3: MUL 000004b4: SWAP2 000004b5: SWAP1 000004b6: SWAP2 000004b7: ADD 000004b8: DUP2 000004b9: ADD 000004ba: MLOAD 000004bb: PUSH1 0x01 000004bd: PUSH1 0x01 000004bf: PUSH1 0xe0 000004c1: SHL 000004c2: SUB 000004c3: NOT 000004c4: DUP2 000004c5: AND 000004c6: PUSH1 0x00 000004c8: SWAP1 000004c9: DUP2 000004ca: MSTORE 000004cb: SWAP2 000004cc: DUP6 000004cd: SWAP1 000004ce: MSTORE 000004cf: PUSH1 0x40 000004d1: SWAP1 000004d2: SWAP2 000004d3: KECCAK256 000004d4: SLOAD 000004d5: SWAP1 000004d6: SWAP2 000004d7: POP 000004d8: PUSH1 0x60 000004da: DUP2 000004db: SWAP1 000004dc: SHR 000004dd: ADDRESS 000004de: DUP2 000004df: EQ 000004e0: ISZERO 000004e1: PUSH2 0x0544 000004e4: JUMPI 000004e5: PUSH1 0x40 000004e7: MLOAD 000004e8: PUSH3 0x461bcd 000004ec: PUSH1 0xe5 000004ee: SHL 000004ef: DUP2 000004f0: MSTORE 000004f1: PUSH1 0x20 000004f3: PUSH1 0x04 000004f5: DUP3 000004f6: ADD 000004f7: MSTORE 000004f8: PUSH1 0x2f 000004fa: PUSH1 0x24 000004fc: DUP3 000004fd: ADD 000004fe: MSTORE 000004ff: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774207265706c61636520696d6d 00000520: PUSH1 0x44 00000522: DUP3 00000523: ADD 00000524: MSTORE 00000525: PUSH15 0x3aba30b1363290333ab731ba34b7b7 00000535: PUSH1 0x89 00000537: SHL 00000538: PUSH1 0x64 0000053a: DUP3 0000053b: ADD 0000053c: MSTORE 0000053d: PUSH1 0x84 0000053f: ADD 00000540: PUSH2 0x0095 00000543: JUMP 00000544: JUMPDEST 00000545: DUP10 00000546: PUSH1 0x01 00000548: PUSH1 0x01 0000054a: PUSH1 0xa0 0000054c: SHL 0000054d: SUB 0000054e: AND 0000054f: DUP2 00000550: PUSH1 0x01 00000552: PUSH1 0x01 00000554: PUSH1 0xa0 00000556: SHL 00000557: SUB 00000558: AND 00000559: EQ 0000055a: ISZERO 0000055b: PUSH2 0x05cc 0000055e: JUMPI 0000055f: PUSH1 0x40 00000561: MLOAD 00000562: PUSH3 0x461bcd 00000566: PUSH1 0xe5 00000568: SHL 00000569: DUP2 0000056a: MSTORE 0000056b: PUSH1 0x20 0000056d: PUSH1 0x04 0000056f: DUP3 00000570: ADD 00000571: MSTORE 00000572: PUSH1 0x38 00000574: PUSH1 0x24 00000576: DUP3 00000577: ADD 00000578: MSTORE 00000579: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774207265706c6163652066756e 0000059a: PUSH1 0x44 0000059c: DUP3 0000059d: ADD 0000059e: MSTORE 0000059f: PUSH32 0x6374696f6e20776974682073616d652066756e6374696f6e0000000000000000 000005c0: PUSH1 0x64 000005c2: DUP3 000005c3: ADD 000005c4: MSTORE 000005c5: PUSH1 0x84 000005c7: ADD 000005c8: PUSH2 0x0095 000005cb: JUMP 000005cc: JUMPDEST 000005cd: PUSH1 0x01 000005cf: PUSH1 0x01 000005d1: PUSH1 0xa0 000005d3: SHL 000005d4: SUB 000005d5: DUP2 000005d6: AND 000005d7: PUSH2 0x0648 000005da: JUMPI 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: PUSH3 0x461bcd 000005e2: PUSH1 0xe5 000005e4: SHL 000005e5: DUP2 000005e6: MSTORE 000005e7: PUSH1 0x20 000005e9: PUSH1 0x04 000005eb: DUP3 000005ec: ADD 000005ed: MSTORE 000005ee: PUSH1 0x38 000005f0: PUSH1 0x24 000005f2: DUP3 000005f3: ADD 000005f4: MSTORE 000005f5: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774207265706c6163652066756e 00000616: PUSH1 0x44 00000618: DUP3 00000619: ADD 0000061a: MSTORE 0000061b: PUSH32 0x6374696f6e207468617420646f65736e27742065786973740000000000000000 0000063c: PUSH1 0x64 0000063e: DUP3 0000063f: ADD 00000640: MSTORE 00000641: PUSH1 0x84 00000643: ADD 00000644: PUSH2 0x0095 00000647: JUMP 00000648: JUMPDEST 00000649: POP 0000064a: PUSH1 0x01 0000064c: PUSH1 0x01 0000064e: PUSH1 0xe0 00000650: SHL 00000651: SUB 00000652: NOT 00000653: SWAP1 00000654: SWAP2 00000655: AND 00000656: PUSH1 0x00 00000658: SWAP1 00000659: DUP2 0000065a: MSTORE 0000065b: PUSH1 0x20 0000065d: DUP5 0000065e: SWAP1 0000065f: MSTORE 00000660: PUSH1 0x40 00000662: SWAP1 00000663: KECCAK256 00000664: PUSH12 0xffffffffffffffffffffffff 00000671: SWAP2 00000672: SWAP1 00000673: SWAP2 00000674: AND 00000675: PUSH1 0x01 00000677: PUSH1 0x01 00000679: PUSH1 0x60 0000067b: SHL 0000067c: SUB 0000067d: NOT 0000067e: PUSH1 0x60 00000680: DUP11 00000681: SWAP1 00000682: SHL 00000683: AND 00000684: OR 00000685: SWAP1 00000686: SSTORE 00000687: DUP1 00000688: PUSH2 0x0690 0000068b: DUP2 0000068c: PUSH2 0x0c91 0000068f: JUMP 00000690: JUMPDEST 00000691: SWAP2 00000692: POP 00000693: POP 00000694: PUSH2 0x0491 00000697: JUMP 00000698: JUMPDEST 00000699: PUSH1 0x02 0000069b: DUP6 0000069c: PUSH1 0x02 0000069e: DUP2 0000069f: GT 000006a0: ISZERO 000006a1: PUSH2 0x06ac 000006a4: JUMPI 000006a5: PUSH2 0x06ac 000006a8: PUSH2 0x0cac 000006ab: JUMP 000006ac: JUMPDEST 000006ad: EQ 000006ae: ISZERO 000006af: PUSH2 0x09cd 000006b2: JUMPI 000006b3: PUSH1 0x01 000006b5: PUSH1 0x01 000006b7: PUSH1 0xa0 000006b9: SHL 000006ba: SUB 000006bb: DUP7 000006bc: AND 000006bd: ISZERO 000006be: PUSH2 0x0728 000006c1: JUMPI 000006c2: PUSH1 0x40 000006c4: MLOAD 000006c5: PUSH3 0x461bcd 000006c9: PUSH1 0xe5 000006cb: SHL 000006cc: DUP2 000006cd: MSTORE 000006ce: PUSH1 0x20 000006d0: PUSH1 0x04 000006d2: DUP3 000006d3: ADD 000006d4: MSTORE 000006d5: PUSH1 0x36 000006d7: PUSH1 0x24 000006d9: DUP3 000006da: ADD 000006db: MSTORE 000006dc: PUSH32 0x4c69624469616d6f6e644375743a2052656d6f76652066616365742061646472 000006fd: PUSH1 0x44 000006ff: DUP3 00000700: ADD 00000701: MSTORE 00000702: PUSH22 0x657373206d7573742062652061646472657373283029 00000719: PUSH1 0x50 0000071b: SHL 0000071c: PUSH1 0x64 0000071e: DUP3 0000071f: ADD 00000720: MSTORE 00000721: PUSH1 0x84 00000723: ADD 00000724: PUSH2 0x0095 00000727: JUMP 00000728: JUMPDEST 00000729: PUSH1 0x03 0000072b: DUP9 0000072c: SWAP1 0000072d: SHR 0000072e: PUSH1 0x07 00000730: DUP10 00000731: AND 00000732: PUSH1 0x00 00000734: JUMPDEST 00000735: DUP7 00000736: MLOAD 00000737: DUP2 00000738: LT 00000739: ISZERO 0000073a: PUSH2 0x09ad 0000073d: JUMPI 0000073e: DUP10 0000073f: PUSH2 0x076c 00000742: JUMPI 00000743: DUP3 00000744: PUSH2 0x074c 00000747: DUP2 00000748: PUSH2 0x0e1a 0000074b: JUMP 0000074c: JUMPDEST 0000074d: PUSH1 0x00 0000074f: DUP2 00000750: DUP2 00000751: MSTORE 00000752: PUSH1 0x01 00000754: DUP8 00000755: ADD 00000756: PUSH1 0x20 00000758: MSTORE 00000759: PUSH1 0x40 0000075b: SWAP1 0000075c: KECCAK256 0000075d: SLOAD 0000075e: SWAP12 0000075f: POP 00000760: SWAP4 00000761: POP 00000762: PUSH1 0x07 00000764: SWAP3 00000765: POP 00000766: PUSH2 0x077a 00000769: SWAP1 0000076a: POP 0000076b: JUMP 0000076c: JUMPDEST 0000076d: DUP2 0000076e: PUSH2 0x0776 00000771: DUP2 00000772: PUSH2 0x0e1a 00000775: JUMP 00000776: JUMPDEST 00000777: SWAP3 00000778: POP 00000779: POP 0000077a: JUMPDEST 0000077b: PUSH1 0x00 0000077d: DUP1 0000077e: PUSH1 0x00 00000780: DUP1 00000781: DUP11 00000782: DUP6 00000783: DUP2 00000784: MLOAD 00000785: DUP2 00000786: LT 00000787: PUSH2 0x0792 0000078a: JUMPI 0000078b: PUSH2 0x0792 0000078e: PUSH2 0x0c65 00000791: JUMP 00000792: JUMPDEST 00000793: PUSH1 0x20 00000795: SWAP1 00000796: DUP2 00000797: MUL 00000798: SWAP2 00000799: SWAP1 0000079a: SWAP2 0000079b: ADD 0000079c: DUP2 0000079d: ADD 0000079e: MLOAD 0000079f: PUSH1 0x01 000007a1: PUSH1 0x01 000007a3: PUSH1 0xe0 000007a5: SHL 000007a6: SUB 000007a7: NOT 000007a8: DUP2 000007a9: AND 000007aa: PUSH1 0x00 000007ac: SWAP1 000007ad: DUP2 000007ae: MSTORE 000007af: SWAP2 000007b0: DUP11 000007b1: SWAP1 000007b2: MSTORE 000007b3: PUSH1 0x40 000007b5: SWAP1 000007b6: SWAP2 000007b7: KECCAK256 000007b8: SLOAD 000007b9: SWAP1 000007ba: SWAP2 000007bb: POP 000007bc: PUSH1 0x60 000007be: DUP2 000007bf: SWAP1 000007c0: SHR 000007c1: PUSH2 0x0832 000007c4: JUMPI 000007c5: PUSH1 0x40 000007c7: MLOAD 000007c8: PUSH3 0x461bcd 000007cc: PUSH1 0xe5 000007ce: SHL 000007cf: DUP2 000007d0: MSTORE 000007d1: PUSH1 0x20 000007d3: PUSH1 0x04 000007d5: DUP3 000007d6: ADD 000007d7: MSTORE 000007d8: PUSH1 0x37 000007da: PUSH1 0x24 000007dc: DUP3 000007dd: ADD 000007de: MSTORE 000007df: PUSH32 0x4c69624469616d6f6e644375743a2043616e27742072656d6f76652066756e63 00000800: PUSH1 0x44 00000802: DUP3 00000803: ADD 00000804: MSTORE 00000805: PUSH32 0x74696f6e207468617420646f65736e2774206578697374000000000000000000 00000826: PUSH1 0x64 00000828: DUP3 00000829: ADD 0000082a: MSTORE 0000082b: PUSH1 0x84 0000082d: ADD 0000082e: PUSH2 0x0095 00000831: JUMP 00000832: JUMPDEST 00000833: PUSH1 0x60 00000835: DUP2 00000836: SWAP1 00000837: SHR 00000838: ADDRESS 00000839: EQ 0000083a: ISZERO 0000083b: PUSH2 0x089d 0000083e: JUMPI 0000083f: PUSH1 0x40 00000841: MLOAD 00000842: PUSH3 0x461bcd 00000846: PUSH1 0xe5 00000848: SHL 00000849: DUP2 0000084a: MSTORE 0000084b: PUSH1 0x20 0000084d: PUSH1 0x04 0000084f: DUP3 00000850: ADD 00000851: MSTORE 00000852: PUSH1 0x2e 00000854: PUSH1 0x24 00000856: DUP3 00000857: ADD 00000858: MSTORE 00000859: PUSH32 0x4c69624469616d6f6e644375743a2043616e27742072656d6f766520696d6d75 0000087a: PUSH1 0x44 0000087c: DUP3 0000087d: ADD 0000087e: MSTORE 0000087f: PUSH14 0x3a30b1363290333ab731ba34b7b7 0000088e: PUSH1 0x91 00000890: SHL 00000891: PUSH1 0x64 00000893: DUP3 00000894: ADD 00000895: MSTORE 00000896: PUSH1 0x84 00000898: ADD 00000899: PUSH2 0x0095 0000089c: JUMP 0000089d: JUMPDEST 0000089e: PUSH1 0x05 000008a0: DUP8 000008a1: SWAP1 000008a2: SHL 000008a3: DUP16 000008a4: SWAP1 000008a5: SHL 000008a6: SWAP5 000008a7: POP 000008a8: PUSH1 0x01 000008aa: PUSH1 0x01 000008ac: PUSH1 0xe0 000008ae: SHL 000008af: SUB 000008b0: NOT 000008b1: DUP1 000008b2: DUP7 000008b3: AND 000008b4: SWAP1 000008b5: DUP4 000008b6: AND 000008b7: EQ 000008b8: PUSH2 0x08f3 000008bb: JUMPI 000008bc: PUSH1 0x01 000008be: PUSH1 0x01 000008c0: PUSH1 0xe0 000008c2: SHL 000008c3: SUB 000008c4: NOT 000008c5: DUP6 000008c6: AND 000008c7: PUSH1 0x00 000008c9: SWAP1 000008ca: DUP2 000008cb: MSTORE 000008cc: PUSH1 0x20 000008ce: DUP11 000008cf: SWAP1 000008d0: MSTORE 000008d1: PUSH1 0x40 000008d3: SWAP1 000008d4: KECCAK256 000008d5: DUP1 000008d6: SLOAD 000008d7: PUSH1 0x01 000008d9: PUSH1 0x01 000008db: PUSH1 0x60 000008dd: SHL 000008de: SUB 000008df: NOT 000008e0: AND 000008e1: PUSH12 0xffffffffffffffffffffffff 000008ee: DUP4 000008ef: AND 000008f0: OR 000008f1: SWAP1 000008f2: SSTORE 000008f3: JUMPDEST 000008f4: PUSH1 0x01 000008f6: PUSH1 0x01 000008f8: PUSH1 0xe0 000008fa: SHL 000008fb: SUB 000008fc: NOT 000008fd: SWAP2 000008fe: SWAP1 000008ff: SWAP2 00000900: AND 00000901: PUSH1 0x00 00000903: SWAP1 00000904: DUP2 00000905: MSTORE 00000906: PUSH1 0x20 00000908: DUP10 00000909: SWAP1 0000090a: MSTORE 0000090b: PUSH1 0x40 0000090d: DUP2 0000090e: KECCAK256 0000090f: SSTORE 00000910: PUSH1 0x03 00000912: DUP2 00000913: SWAP1 00000914: SHR 00000915: PUSH2 0x1fff 00000918: AND 00000919: SWAP3 0000091a: POP 0000091b: PUSH1 0x05 0000091d: SHL 0000091e: PUSH1 0xe0 00000920: AND 00000921: SWAP1 00000922: POP 00000923: DUP6 00000924: DUP3 00000925: EQ 00000926: PUSH2 0x0958 00000929: JUMPI 0000092a: PUSH1 0x00 0000092c: DUP3 0000092d: DUP2 0000092e: MSTORE 0000092f: PUSH1 0x01 00000931: DUP9 00000932: ADD 00000933: PUSH1 0x20 00000935: MSTORE 00000936: PUSH1 0x40 00000938: SWAP1 00000939: KECCAK256 0000093a: DUP1 0000093b: SLOAD 0000093c: PUSH1 0x01 0000093e: PUSH1 0x01 00000940: PUSH1 0xe0 00000942: SHL 00000943: SUB 00000944: NOT 00000945: DUP1 00000946: DUP5 00000947: SHR 00000948: NOT 00000949: SWAP1 0000094a: SWAP2 0000094b: AND 0000094c: SWAP1 0000094d: DUP6 0000094e: AND 0000094f: DUP4 00000950: SHR 00000951: OR 00000952: SWAP1 00000953: SSTORE 00000954: PUSH2 0x097c 00000957: JUMP 00000958: JUMPDEST 00000959: DUP1 0000095a: DUP4 0000095b: PUSH1 0x01 0000095d: PUSH1 0x01 0000095f: PUSH1 0xe0 00000961: SHL 00000962: SUB 00000963: NOT 00000964: AND 00000965: SWAP1 00000966: SHR 00000967: DUP2 00000968: PUSH1 0x01 0000096a: PUSH1 0x01 0000096c: PUSH1 0xe0 0000096e: SHL 0000096f: SUB 00000970: NOT 00000971: PUSH1 0x00 00000973: SHL 00000974: SWAP1 00000975: SHR 00000976: NOT 00000977: DUP15 00000978: AND 00000979: OR 0000097a: SWAP13 0000097b: POP 0000097c: JUMPDEST 0000097d: DUP5 0000097e: PUSH2 0x0997 00000981: JUMPI 00000982: PUSH1 0x00 00000984: DUP7 00000985: DUP2 00000986: MSTORE 00000987: PUSH1 0x01 00000989: DUP9 0000098a: ADD 0000098b: PUSH1 0x20 0000098d: MSTORE 0000098e: PUSH1 0x40 00000990: DUP2 00000991: KECCAK256 00000992: DUP2 00000993: SWAP1 00000994: SSTORE 00000995: SWAP13 00000996: POP 00000997: JUMPDEST 00000998: POP 00000999: POP 0000099a: POP 0000099b: DUP1 0000099c: DUP1 0000099d: PUSH2 0x09a5 000009a0: SWAP1 000009a1: PUSH2 0x0c91 000009a4: JUMP 000009a5: JUMPDEST 000009a6: SWAP2 000009a7: POP 000009a8: POP 000009a9: PUSH2 0x0734 000009ac: JUMP 000009ad: JUMPDEST 000009ae: POP 000009af: DUP1 000009b0: PUSH2 0x09ba 000009b3: DUP4 000009b4: PUSH1 0x08 000009b6: PUSH2 0x0e31 000009b9: JUMP 000009ba: JUMPDEST 000009bb: PUSH2 0x09c4 000009be: SWAP2 000009bf: SWAP1 000009c0: PUSH2 0x0e50 000009c3: JUMP 000009c4: JUMPDEST 000009c5: SWAP10 000009c6: POP 000009c7: POP 000009c8: POP 000009c9: PUSH2 0x0a25 000009cc: JUMP 000009cd: JUMPDEST 000009ce: PUSH1 0x40 000009d0: MLOAD 000009d1: PUSH3 0x461bcd 000009d5: PUSH1 0xe5 000009d7: SHL 000009d8: DUP2 000009d9: MSTORE 000009da: PUSH1 0x20 000009dc: PUSH1 0x04 000009de: DUP3 000009df: ADD 000009e0: MSTORE 000009e1: PUSH1 0x27 000009e3: PUSH1 0x24 000009e5: DUP3 000009e6: ADD 000009e7: MSTORE 000009e8: PUSH32 0x4c69624469616d6f6e644375743a20496e636f72726563742046616365744375 00000a09: PUSH1 0x44 00000a0b: DUP3 00000a0c: ADD 00000a0d: MSTORE 00000a0e: PUSH7 0x3a20b1ba34b7b7 00000a16: PUSH1 0xc9 00000a18: SHL 00000a19: PUSH1 0x64 00000a1b: DUP3 00000a1c: ADD 00000a1d: MSTORE 00000a1e: PUSH1 0x84 00000a20: ADD 00000a21: PUSH2 0x0095 00000a24: JUMP 00000a25: JUMPDEST 00000a26: POP 00000a27: SWAP6 00000a28: SWAP7 00000a29: SWAP5 00000a2a: SWAP6 00000a2b: POP 00000a2c: POP 00000a2d: POP 00000a2e: POP 00000a2f: POP 00000a30: JUMP 00000a31: JUMPDEST 00000a32: PUSH1 0x01 00000a34: PUSH1 0x01 00000a36: PUSH1 0xa0 00000a38: SHL 00000a39: SUB 00000a3a: DUP3 00000a3b: AND 00000a3c: PUSH2 0x0ab8 00000a3f: JUMPI 00000a40: DUP1 00000a41: MLOAD 00000a42: ISZERO 00000a43: PUSH2 0x0ab4 00000a46: JUMPI 00000a47: PUSH1 0x40 00000a49: MLOAD 00000a4a: PUSH3 0x461bcd 00000a4e: PUSH1 0xe5 00000a50: SHL 00000a51: DUP2 00000a52: MSTORE 00000a53: PUSH1 0x20 00000a55: PUSH1 0x04 00000a57: DUP3 00000a58: ADD 00000a59: MSTORE 00000a5a: PUSH1 0x3c 00000a5c: PUSH1 0x24 00000a5e: DUP3 00000a5f: ADD 00000a60: MSTORE 00000a61: PUSH32 0x4c69624469616d6f6e644375743a205f696e6974206973206164647265737328 00000a82: PUSH1 0x44 00000a84: DUP3 00000a85: ADD 00000a86: MSTORE 00000a87: PUSH32 0x3029206275745f63616c6c64617461206973206e6f7420656d70747900000000 00000aa8: PUSH1 0x64 00000aaa: DUP3 00000aab: ADD 00000aac: MSTORE 00000aad: PUSH1 0x84 00000aaf: ADD 00000ab0: PUSH2 0x0095 00000ab3: JUMP 00000ab4: JUMPDEST 00000ab5: POP 00000ab6: POP 00000ab7: JUMP 00000ab8: JUMPDEST 00000ab9: PUSH1 0x00 00000abb: DUP2 00000abc: MLOAD 00000abd: GT 00000abe: PUSH2 0x0b2f 00000ac1: JUMPI 00000ac2: PUSH1 0x40 00000ac4: MLOAD 00000ac5: PUSH3 0x461bcd 00000ac9: PUSH1 0xe5 00000acb: SHL 00000acc: DUP2 00000acd: MSTORE 00000ace: PUSH1 0x20 00000ad0: PUSH1 0x04 00000ad2: DUP3 00000ad3: ADD 00000ad4: MSTORE 00000ad5: PUSH1 0x3d 00000ad7: PUSH1 0x24 00000ad9: DUP3 00000ada: ADD 00000adb: MSTORE 00000adc: PUSH32 0x4c69624469616d6f6e644375743a205f63616c6c6461746120697320656d7074 00000afd: PUSH1 0x44 00000aff: DUP3 00000b00: ADD 00000b01: MSTORE 00000b02: PUSH32 0x7920627574205f696e6974206973206e6f742061646472657373283029000000 00000b23: PUSH1 0x64 00000b25: DUP3 00000b26: ADD 00000b27: MSTORE 00000b28: PUSH1 0x84 00000b2a: ADD 00000b2b: PUSH2 0x0095 00000b2e: JUMP 00000b2f: JUMPDEST 00000b30: PUSH1 0x01 00000b32: PUSH1 0x01 00000b34: PUSH1 0xa0 00000b36: SHL 00000b37: SUB 00000b38: DUP3 00000b39: AND 00000b3a: ADDRESS 00000b3b: EQ 00000b3c: PUSH2 0x0b61 00000b3f: JUMPI 00000b40: PUSH2 0x0b61 00000b43: DUP3 00000b44: PUSH1 0x40 00000b46: MLOAD 00000b47: DUP1 00000b48: PUSH1 0x60 00000b4a: ADD 00000b4b: PUSH1 0x40 00000b4d: MSTORE 00000b4e: DUP1 00000b4f: PUSH1 0x28 00000b51: DUP2 00000b52: MSTORE 00000b53: PUSH1 0x20 00000b55: ADD 00000b56: PUSH2 0x0ec3 00000b59: PUSH1 0x28 00000b5b: SWAP2 00000b5c: CODECOPY 00000b5d: PUSH2 0x0c44 00000b60: JUMP 00000b61: JUMPDEST 00000b62: PUSH1 0x00 00000b64: DUP1 00000b65: DUP4 00000b66: PUSH1 0x01 00000b68: PUSH1 0x01 00000b6a: PUSH1 0xa0 00000b6c: SHL 00000b6d: SUB 00000b6e: AND 00000b6f: DUP4 00000b70: PUSH1 0x40 00000b72: MLOAD 00000b73: PUSH2 0x0b7c 00000b76: SWAP2 00000b77: SWAP1 00000b78: PUSH2 0x0e68 00000b7b: JUMP 00000b7c: JUMPDEST 00000b7d: PUSH1 0x00 00000b7f: PUSH1 0x40 00000b81: MLOAD 00000b82: DUP1 00000b83: DUP4 00000b84: SUB 00000b85: DUP2 00000b86: DUP6 00000b87: GAS 00000b88: DELEGATECALL 00000b89: SWAP2 00000b8a: POP 00000b8b: POP 00000b8c: RETURNDATASIZE 00000b8d: DUP1 00000b8e: PUSH1 0x00 00000b90: DUP2 00000b91: EQ 00000b92: PUSH2 0x0bb7 00000b95: JUMPI 00000b96: PUSH1 0x40 00000b98: MLOAD 00000b99: SWAP2 00000b9a: POP 00000b9b: PUSH1 0x1f 00000b9d: NOT 00000b9e: PUSH1 0x3f 00000ba0: RETURNDATASIZE 00000ba1: ADD 00000ba2: AND 00000ba3: DUP3 00000ba4: ADD 00000ba5: PUSH1 0x40 00000ba7: MSTORE 00000ba8: RETURNDATASIZE 00000ba9: DUP3 00000baa: MSTORE 00000bab: RETURNDATASIZE 00000bac: PUSH1 0x00 00000bae: PUSH1 0x20 00000bb0: DUP5 00000bb1: ADD 00000bb2: RETURNDATACOPY 00000bb3: PUSH2 0x0bbc 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH1 0x60 00000bba: SWAP2 00000bbb: POP 00000bbc: JUMPDEST 00000bbd: POP 00000bbe: SWAP2 00000bbf: POP 00000bc0: SWAP2 00000bc1: POP 00000bc2: DUP2 00000bc3: PUSH2 0x0c3e 00000bc6: JUMPI 00000bc7: DUP1 00000bc8: MLOAD 00000bc9: ISZERO 00000bca: PUSH2 0x0be7 00000bcd: JUMPI 00000bce: DUP1 00000bcf: PUSH1 0x40 00000bd1: MLOAD 00000bd2: PUSH3 0x461bcd 00000bd6: PUSH1 0xe5 00000bd8: SHL 00000bd9: DUP2 00000bda: MSTORE 00000bdb: PUSH1 0x04 00000bdd: ADD 00000bde: PUSH2 0x0095 00000be1: SWAP2 00000be2: SWAP1 00000be3: PUSH2 0x0e84 00000be6: JUMP 00000be7: JUMPDEST 00000be8: PUSH1 0x40 00000bea: MLOAD 00000beb: PUSH3 0x461bcd 00000bef: PUSH1 0xe5 00000bf1: SHL 00000bf2: DUP2 00000bf3: MSTORE 00000bf4: PUSH1 0x20 00000bf6: PUSH1 0x04 00000bf8: DUP3 00000bf9: ADD 00000bfa: MSTORE 00000bfb: PUSH1 0x26 00000bfd: PUSH1 0x24 00000bff: DUP3 00000c00: ADD 00000c01: MSTORE 00000c02: PUSH32 0x4c69624469616d6f6e644375743a205f696e69742066756e6374696f6e207265 00000c23: PUSH1 0x44 00000c25: DUP3 00000c26: ADD 00000c27: MSTORE 00000c28: PUSH6 0x1d995c9d1959 00000c2f: PUSH1 0xd2 00000c31: SHL 00000c32: PUSH1 0x64 00000c34: DUP3 00000c35: ADD 00000c36: MSTORE 00000c37: PUSH1 0x84 00000c39: ADD 00000c3a: PUSH2 0x0095 00000c3d: JUMP 00000c3e: JUMPDEST 00000c3f: POP 00000c40: POP 00000c41: POP 00000c42: POP 00000c43: JUMP 00000c44: JUMPDEST 00000c45: DUP2 00000c46: EXTCODESIZE 00000c47: DUP2 00000c48: DUP2 00000c49: PUSH2 0x0c3e 00000c4c: JUMPI 00000c4d: PUSH1 0x40 00000c4f: MLOAD 00000c50: PUSH3 0x461bcd 00000c54: PUSH1 0xe5 00000c56: SHL 00000c57: DUP2 00000c58: MSTORE 00000c59: PUSH1 0x04 00000c5b: ADD 00000c5c: PUSH2 0x0095 00000c5f: SWAP2 00000c60: SWAP1 00000c61: PUSH2 0x0e84 00000c64: JUMP 00000c65: JUMPDEST 00000c66: PUSH4 0x4e487b71 00000c6b: PUSH1 0xe0 00000c6d: SHL 00000c6e: PUSH1 0x00 00000c70: MSTORE 00000c71: PUSH1 0x32 00000c73: PUSH1 0x04 00000c75: MSTORE 00000c76: PUSH1 0x24 00000c78: PUSH1 0x00 00000c7a: REVERT 00000c7b: JUMPDEST 00000c7c: PUSH4 0x4e487b71 00000c81: PUSH1 0xe0 00000c83: SHL 00000c84: PUSH1 0x00 00000c86: MSTORE 00000c87: PUSH1 0x11 00000c89: PUSH1 0x04 00000c8b: MSTORE 00000c8c: PUSH1 0x24 00000c8e: PUSH1 0x00 00000c90: REVERT 00000c91: JUMPDEST 00000c92: PUSH1 0x00 00000c94: PUSH1 0x00 00000c96: NOT 00000c97: DUP3 00000c98: EQ 00000c99: ISZERO 00000c9a: PUSH2 0x0ca5 00000c9d: JUMPI 00000c9e: PUSH2 0x0ca5 00000ca1: PUSH2 0x0c7b 00000ca4: JUMP 00000ca5: JUMPDEST 00000ca6: POP 00000ca7: PUSH1 0x01 00000ca9: ADD 00000caa: SWAP1 00000cab: JUMP 00000cac: JUMPDEST 00000cad: PUSH4 0x4e487b71 00000cb2: PUSH1 0xe0 00000cb4: SHL 00000cb5: PUSH1 0x00 00000cb7: MSTORE 00000cb8: PUSH1 0x21 00000cba: PUSH1 0x04 00000cbc: MSTORE 00000cbd: PUSH1 0x24 00000cbf: PUSH1 0x00 00000cc1: REVERT 00000cc2: JUMPDEST 00000cc3: PUSH1 0x00 00000cc5: JUMPDEST 00000cc6: DUP4 00000cc7: DUP2 00000cc8: LT 00000cc9: ISZERO 00000cca: PUSH2 0x0cdd 00000ccd: JUMPI 00000cce: DUP2 00000ccf: DUP2 00000cd0: ADD 00000cd1: MLOAD 00000cd2: DUP4 00000cd3: DUP3 00000cd4: ADD 00000cd5: MSTORE 00000cd6: PUSH1 0x20 00000cd8: ADD 00000cd9: PUSH2 0x0cc5 00000cdc: JUMP 00000cdd: JUMPDEST 00000cde: DUP4 00000cdf: DUP2 00000ce0: GT 00000ce1: ISZERO 00000ce2: PUSH2 0x0c3e 00000ce5: JUMPI 00000ce6: POP 00000ce7: POP 00000ce8: PUSH1 0x00 00000cea: SWAP2 00000ceb: ADD 00000cec: MSTORE 00000ced: JUMP 00000cee: JUMPDEST 00000cef: PUSH1 0x00 00000cf1: DUP2 00000cf2: MLOAD 00000cf3: DUP1 00000cf4: DUP5 00000cf5: MSTORE 00000cf6: PUSH2 0x0d06 00000cf9: DUP2 00000cfa: PUSH1 0x20 00000cfc: DUP7 00000cfd: ADD 00000cfe: PUSH1 0x20 00000d00: DUP7 00000d01: ADD 00000d02: PUSH2 0x0cc2 00000d05: JUMP 00000d06: JUMPDEST 00000d07: PUSH1 0x1f 00000d09: ADD 00000d0a: PUSH1 0x1f 00000d0c: NOT 00000d0d: AND 00000d0e: SWAP3 00000d0f: SWAP1 00000d10: SWAP3 00000d11: ADD 00000d12: PUSH1 0x20 00000d14: ADD 00000d15: SWAP3 00000d16: SWAP2 00000d17: POP 00000d18: POP 00000d19: JUMP 00000d1a: JUMPDEST 00000d1b: PUSH1 0x00 00000d1d: PUSH1 0x60 00000d1f: DUP1 00000d20: DUP4 00000d21: ADD 00000d22: DUP2 00000d23: DUP5 00000d24: MSTORE 00000d25: DUP1 00000d26: DUP8 00000d27: MLOAD 00000d28: DUP1 00000d29: DUP4 00000d2a: MSTORE 00000d2b: PUSH1 0x80 00000d2d: SWAP3 00000d2e: POP 00000d2f: DUP3 00000d30: DUP7 00000d31: ADD 00000d32: SWAP2 00000d33: POP 00000d34: DUP3 00000d35: DUP2 00000d36: PUSH1 0x05 00000d38: SHL 00000d39: DUP8 00000d3a: ADD 00000d3b: ADD 00000d3c: PUSH1 0x20 00000d3e: DUP1 00000d3f: DUP12 00000d40: ADD 00000d41: PUSH1 0x00 00000d43: JUMPDEST 00000d44: DUP5 00000d45: DUP2 00000d46: LT 00000d47: ISZERO 00000d48: PUSH2 0x0dea 00000d4b: JUMPI 00000d4c: DUP10 00000d4d: DUP5 00000d4e: SUB 00000d4f: PUSH1 0x7f 00000d51: NOT 00000d52: ADD 00000d53: DUP7 00000d54: MSTORE 00000d55: DUP2 00000d56: MLOAD 00000d57: DUP1 00000d58: MLOAD 00000d59: PUSH1 0x01 00000d5b: PUSH1 0x01 00000d5d: PUSH1 0xa0 00000d5f: SHL 00000d60: SUB 00000d61: AND 00000d62: DUP6 00000d63: MSTORE 00000d64: DUP4 00000d65: DUP2 00000d66: ADD 00000d67: MLOAD 00000d68: DUP10 00000d69: DUP7 00000d6a: ADD 00000d6b: SWAP1 00000d6c: PUSH1 0x03 00000d6e: DUP2 00000d6f: LT 00000d70: PUSH2 0x0d89 00000d73: JUMPI 00000d74: PUSH4 0x4e487b71 00000d79: PUSH1 0xe0 00000d7b: SHL 00000d7c: PUSH1 0x00 00000d7e: MSTORE 00000d7f: PUSH1 0x21 00000d81: PUSH1 0x04 00000d83: MSTORE 00000d84: PUSH1 0x24 00000d86: PUSH1 0x00 00000d88: REVERT 00000d89: JUMPDEST 00000d8a: DUP7 00000d8b: DUP7 00000d8c: ADD 00000d8d: MSTORE 00000d8e: PUSH1 0x40 00000d90: SWAP2 00000d91: DUP3 00000d92: ADD 00000d93: MLOAD 00000d94: SWAP2 00000d95: DUP7 00000d96: ADD 00000d97: DUP11 00000d98: SWAP1 00000d99: MSTORE 00000d9a: DUP2 00000d9b: MLOAD 00000d9c: SWAP1 00000d9d: DUP2 00000d9e: SWAP1 00000d9f: MSTORE 00000da0: SWAP1 00000da1: DUP5 00000da2: ADD 00000da3: SWAP1 00000da4: PUSH1 0x00 00000da6: SWAP1 00000da7: DUP10 00000da8: DUP8 00000da9: ADD 00000daa: SWAP1 00000dab: JUMPDEST 00000dac: DUP1 00000dad: DUP4 00000dae: LT 00000daf: ISZERO 00000db0: PUSH2 0x0dd5 00000db3: JUMPI 00000db4: DUP4 00000db5: MLOAD 00000db6: PUSH1 0x01 00000db8: PUSH1 0x01 00000dba: PUSH1 0xe0 00000dbc: SHL 00000dbd: SUB 00000dbe: NOT 00000dbf: AND 00000dc0: DUP3 00000dc1: MSTORE 00000dc2: SWAP3 00000dc3: DUP7 00000dc4: ADD 00000dc5: SWAP3 00000dc6: PUSH1 0x01 00000dc8: SWAP3 00000dc9: SWAP1 00000dca: SWAP3 00000dcb: ADD 00000dcc: SWAP2 00000dcd: SWAP1 00000dce: DUP7 00000dcf: ADD 00000dd0: SWAP1 00000dd1: PUSH2 0x0dab 00000dd4: JUMP 00000dd5: JUMPDEST 00000dd6: POP 00000dd7: SWAP8 00000dd8: DUP6 00000dd9: ADD 00000dda: SWAP8 00000ddb: SWAP6 00000ddc: POP 00000ddd: POP 00000dde: POP 00000ddf: SWAP1 00000de0: DUP3 00000de1: ADD 00000de2: SWAP1 00000de3: PUSH1 0x01 00000de5: ADD 00000de6: PUSH2 0x0d43 00000de9: JUMP 00000dea: JUMPDEST 00000deb: POP 00000dec: POP 00000ded: PUSH1 0x01 00000def: PUSH1 0x01 00000df1: PUSH1 0xa0 00000df3: SHL 00000df4: SUB 00000df5: DUP11 00000df6: AND 00000df7: SWAP1 00000df8: DUP9 00000df9: ADD 00000dfa: MSTORE 00000dfb: DUP7 00000dfc: DUP2 00000dfd: SUB 00000dfe: PUSH1 0x40 00000e00: DUP9 00000e01: ADD 00000e02: MSTORE 00000e03: PUSH2 0x0e0c 00000e06: DUP2 00000e07: DUP10 00000e08: PUSH2 0x0cee 00000e0b: JUMP 00000e0c: JUMPDEST 00000e0d: SWAP11 00000e0e: SWAP10 00000e0f: POP 00000e10: POP 00000e11: POP 00000e12: POP 00000e13: POP 00000e14: POP 00000e15: POP 00000e16: POP 00000e17: POP 00000e18: POP 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: PUSH1 0x00 00000e1d: DUP2 00000e1e: PUSH2 0x0e29 00000e21: JUMPI 00000e22: PUSH2 0x0e29 00000e25: PUSH2 0x0c7b 00000e28: JUMP 00000e29: JUMPDEST 00000e2a: POP 00000e2b: PUSH1 0x00 00000e2d: NOT 00000e2e: ADD 00000e2f: SWAP1 00000e30: JUMP 00000e31: JUMPDEST 00000e32: PUSH1 0x00 00000e34: DUP2 00000e35: PUSH1 0x00 00000e37: NOT 00000e38: DIV 00000e39: DUP4 00000e3a: GT 00000e3b: DUP3 00000e3c: ISZERO 00000e3d: ISZERO 00000e3e: AND 00000e3f: ISZERO 00000e40: PUSH2 0x0e4b 00000e43: JUMPI 00000e44: PUSH2 0x0e4b 00000e47: PUSH2 0x0c7b 00000e4a: JUMP 00000e4b: JUMPDEST 00000e4c: POP 00000e4d: MUL 00000e4e: SWAP1 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: PUSH1 0x00 00000e53: DUP3 00000e54: NOT 00000e55: DUP3 00000e56: GT 00000e57: ISZERO 00000e58: PUSH2 0x0e63 00000e5b: JUMPI 00000e5c: PUSH2 0x0e63 00000e5f: PUSH2 0x0c7b 00000e62: JUMP 00000e63: JUMPDEST 00000e64: POP 00000e65: ADD 00000e66: SWAP1 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH1 0x00 00000e6b: DUP3 00000e6c: MLOAD 00000e6d: PUSH2 0x0e7a 00000e70: DUP2 00000e71: DUP5 00000e72: PUSH1 0x20 00000e74: DUP8 00000e75: ADD 00000e76: PUSH2 0x0cc2 00000e79: JUMP 00000e7a: JUMPDEST 00000e7b: SWAP2 00000e7c: SWAP1 00000e7d: SWAP2 00000e7e: ADD 00000e7f: SWAP3 00000e80: SWAP2 00000e81: POP 00000e82: POP 00000e83: JUMP 00000e84: JUMPDEST 00000e85: PUSH1 0x20 00000e87: DUP2 00000e88: MSTORE 00000e89: PUSH1 0x00 00000e8b: PUSH2 0x0e97 00000e8e: PUSH1 0x20 00000e90: DUP4 00000e91: ADD 00000e92: DUP5 00000e93: PUSH2 0x0cee 00000e96: JUMP 00000e97: JUMPDEST 00000e98: SWAP4 00000e99: SWAP3 00000e9a: POP 00000e9b: POP 00000e9c: POP 00000e9d: JUMP 00000e9e: INVALID 00000e9f: UNKNOWN(0x4C) 00000ea0: PUSH10 0x624469616d6f6e644375 00000eab: PUSH21 0x3a2041646420666163657420686173206e6f20636f 00000ec1: PUSH5 0x654c696244 00000ec7: PUSH10 0x616d6f6e644375743a20 00000ed2: PUSH0 00000ed3: PUSH10 0x6e697420616464726573 00000ede: PUSH20 0x20686173206e6f20636f64654c69624469616d6f 00000ef3: PUSH15 0x644375743a205265706c6163652066 00000f03: PUSH2 0x6365 00000f06: PUSH21 0x20686173206e6f20636f6465a26469706673582212 00000f1c: KECCAK256 00000f1d: PUSH21 0x38d8b1de8ac21fae435b99377128b321fadd9e52b7 00000f33: SGT 00000f34: PUSH1 0x30 00000f36: GAS 00000f37: SWAP10 00000f38: UNKNOWN(0x22) 00000f39: UNKNOWN(0xD8) 00000f3a: UNKNOWN(0xB7) 00000f3b: ORIGIN 00000f3c: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewvalidation_json{
"sink": "DELEGATECALL",
"errors": 10,
"status": "unknown",
"attempts": 11,
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 172,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 2952,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 3899,
"type": "tx_origin_used"
}
],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3899,
"type": "tx_origin_used"
}
]
}
|