019b477e-cf3d-70db-81b9-142370d737d2
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 |
|---|---|---|---|---|
| 27341 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27342 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70787 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 70788 | capability.graph | complete | 1 / 3 | 1 week ago |
| 70789 | detector.run | complete | 1 / 3 | 1 week ago |
| 70790 | 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: 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 0x01ae 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 0x0c3f 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 0x0c3f 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 0x0c3f 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 0x023a 000001a0: JUMP 000001a1: JUMPDEST 000001a2: SWAP1 000001a3: SWAP4 000001a4: POP 000001a5: SWAP2 000001a6: POP 000001a7: PUSH1 0x01 000001a9: ADD 000001aa: PUSH2 0x0134 000001ad: JUMP 000001ae: JUMPDEST 000001af: POP 000001b0: DUP3 000001b1: DUP3 000001b2: EQ 000001b3: PUSH2 0x01ca 000001b6: JUMPI 000001b7: PUSH1 0x02 000001b9: DUP5 000001ba: ADD 000001bb: DUP1 000001bc: SLOAD 000001bd: PUSH2 0xffff 000001c0: NOT 000001c1: AND 000001c2: PUSH2 0xffff 000001c5: DUP5 000001c6: AND 000001c7: OR 000001c8: SWAP1 000001c9: SSTORE 000001ca: JUMPDEST 000001cb: PUSH1 0x07 000001cd: DUP3 000001ce: AND 000001cf: ISZERO 000001d0: PUSH2 0x01ec 000001d3: JUMPI 000001d4: PUSH1 0x03 000001d6: DUP3 000001d7: SWAP1 000001d8: SHR 000001d9: PUSH1 0x00 000001db: SWAP1 000001dc: DUP2 000001dd: MSTORE 000001de: PUSH1 0x01 000001e0: DUP6 000001e1: ADD 000001e2: PUSH1 0x20 000001e4: MSTORE 000001e5: PUSH1 0x40 000001e7: SWAP1 000001e8: KECCAK256 000001e9: DUP2 000001ea: SWAP1 000001eb: SSTORE 000001ec: JUMPDEST 000001ed: PUSH32 0x8faa70878671ccd212d20771b795c50af8fd3ff6cf27f4bde57e5d4de0aeb673 0000020e: DUP8 0000020f: DUP8 00000210: DUP8 00000211: PUSH1 0x40 00000213: MLOAD 00000214: PUSH2 0x021f 00000217: SWAP4 00000218: SWAP3 00000219: SWAP2 0000021a: SWAP1 0000021b: PUSH2 0x0cc3 0000021e: JUMP 0000021f: JUMPDEST 00000220: PUSH1 0x40 00000222: MLOAD 00000223: DUP1 00000224: SWAP2 00000225: SUB 00000226: SWAP1 00000227: LOG1 00000228: PUSH2 0x0231 0000022b: DUP7 0000022c: DUP7 0000022d: PUSH2 0x0a0b 00000230: JUMP 00000231: JUMPDEST 00000232: POP 00000233: POP 00000234: POP 00000235: POP 00000236: POP 00000237: POP 00000238: POP 00000239: JUMP 0000023a: JUMPDEST 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: DUP1 0000023f: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c131c 00000260: SWAP1 00000261: POP 00000262: PUSH1 0x00 00000264: DUP5 00000265: MLOAD 00000266: GT 00000267: PUSH2 0x02c6 0000026a: JUMPI 0000026b: PUSH1 0x40 0000026d: MLOAD 0000026e: PUSH3 0x461bcd 00000272: PUSH1 0xe5 00000274: SHL 00000275: DUP2 00000276: MSTORE 00000277: PUSH1 0x20 00000279: PUSH1 0x04 0000027b: DUP3 0000027c: ADD 0000027d: MSTORE 0000027e: PUSH1 0x2b 00000280: PUSH1 0x24 00000282: DUP3 00000283: ADD 00000284: MSTORE 00000285: PUSH32 0x4c69624469616d6f6e644375743a204e6f2073656c6563746f727320696e2066 000002a6: PUSH1 0x44 000002a8: DUP3 000002a9: ADD 000002aa: MSTORE 000002ab: PUSH11 0x1858d95d081d1bc818dd5d 000002b7: PUSH1 0xaa 000002b9: SHL 000002ba: PUSH1 0x64 000002bc: DUP3 000002bd: ADD 000002be: MSTORE 000002bf: PUSH1 0x84 000002c1: ADD 000002c2: PUSH2 0x0095 000002c5: JUMP 000002c6: JUMPDEST 000002c7: PUSH1 0x00 000002c9: DUP6 000002ca: PUSH1 0x02 000002cc: DUP2 000002cd: GT 000002ce: ISZERO 000002cf: PUSH2 0x02da 000002d2: JUMPI 000002d3: PUSH2 0x02da 000002d6: PUSH2 0x0c55 000002d9: JUMP 000002da: JUMPDEST 000002db: SUB 000002dc: PUSH2 0x043f 000002df: JUMPI 000002e0: PUSH2 0x0301 000002e3: DUP7 000002e4: PUSH1 0x40 000002e6: MLOAD 000002e7: DUP1 000002e8: PUSH1 0x60 000002ea: ADD 000002eb: PUSH1 0x40 000002ed: MSTORE 000002ee: DUP1 000002ef: PUSH1 0x24 000002f1: DUP2 000002f2: MSTORE 000002f3: PUSH1 0x20 000002f5: ADD 000002f6: PUSH2 0x0e77 000002f9: PUSH1 0x24 000002fb: SWAP2 000002fc: CODECOPY 000002fd: PUSH2 0x0c1e 00000300: JUMP 00000301: JUMPDEST 00000302: PUSH1 0x00 00000304: JUMPDEST 00000305: DUP5 00000306: MLOAD 00000307: DUP2 00000308: LT 00000309: ISZERO 0000030a: PUSH2 0x0439 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP6 00000311: DUP3 00000312: DUP2 00000313: MLOAD 00000314: DUP2 00000315: LT 00000316: PUSH2 0x0321 00000319: JUMPI 0000031a: PUSH2 0x0321 0000031d: PUSH2 0x0c3f 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH1 0x20 00000324: SWAP1 00000325: DUP2 00000326: MUL 00000327: SWAP2 00000328: SWAP1 00000329: SWAP2 0000032a: ADD 0000032b: DUP2 0000032c: ADD 0000032d: MLOAD 0000032e: PUSH1 0x01 00000330: PUSH1 0x01 00000332: PUSH1 0xe0 00000334: SHL 00000335: SUB 00000336: NOT 00000337: DUP2 00000338: AND 00000339: PUSH1 0x00 0000033b: SWAP1 0000033c: DUP2 0000033d: MSTORE 0000033e: SWAP2 0000033f: DUP6 00000340: SWAP1 00000341: MSTORE 00000342: PUSH1 0x40 00000344: SWAP1 00000345: SWAP2 00000346: KECCAK256 00000347: SLOAD 00000348: SWAP1 00000349: SWAP2 0000034a: POP 0000034b: PUSH1 0x60 0000034d: DUP2 0000034e: SWAP1 0000034f: SHR 00000350: ISZERO 00000351: PUSH2 0x03ba 00000354: JUMPI 00000355: PUSH1 0x40 00000357: MLOAD 00000358: PUSH3 0x461bcd 0000035c: PUSH1 0xe5 0000035e: SHL 0000035f: DUP2 00000360: MSTORE 00000361: PUSH1 0x20 00000363: PUSH1 0x04 00000365: DUP3 00000366: ADD 00000367: MSTORE 00000368: PUSH1 0x35 0000036a: PUSH1 0x24 0000036c: DUP3 0000036d: ADD 0000036e: MSTORE 0000036f: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774206164642066756e6374696f 00000390: PUSH1 0x44 00000392: DUP3 00000393: ADD 00000394: MSTORE 00000395: PUSH21 0x6e207468617420616c726561647920657869737473 000003ab: PUSH1 0x58 000003ad: SHL 000003ae: PUSH1 0x64 000003b0: DUP3 000003b1: ADD 000003b2: MSTORE 000003b3: PUSH1 0x84 000003b5: ADD 000003b6: PUSH2 0x0095 000003b9: JUMP 000003ba: JUMPDEST 000003bb: PUSH1 0x01 000003bd: PUSH1 0x01 000003bf: PUSH1 0xe0 000003c1: SHL 000003c2: SUB 000003c3: NOT 000003c4: DUP1 000003c5: DUP4 000003c6: AND 000003c7: PUSH1 0x00 000003c9: DUP2 000003ca: DUP2 000003cb: MSTORE 000003cc: PUSH1 0x20 000003ce: DUP8 000003cf: SWAP1 000003d0: MSTORE 000003d1: PUSH1 0x40 000003d3: SWAP1 000003d4: KECCAK256 000003d5: PUSH1 0x01 000003d7: PUSH1 0x01 000003d9: PUSH1 0x60 000003db: SHL 000003dc: SUB 000003dd: NOT 000003de: PUSH1 0x60 000003e0: DUP14 000003e1: SWAP1 000003e2: SHL 000003e3: AND 000003e4: DUP15 000003e5: OR 000003e6: SWAP1 000003e7: SSTORE 000003e8: PUSH1 0xe0 000003ea: PUSH1 0x05 000003ec: DUP15 000003ed: SWAP1 000003ee: SHL 000003ef: DUP2 000003f0: AND 000003f1: SWAP3 000003f2: DUP4 000003f3: SHR 000003f4: NOT 000003f5: SWAP13 000003f6: SWAP1 000003f7: SWAP13 000003f8: AND 000003f9: SWAP1 000003fa: DUP3 000003fb: SHR 000003fc: OR 000003fd: SWAP11 000003fe: DUP2 000003ff: SWAP1 00000400: SUB 00000401: PUSH2 0x041e 00000404: JUMPI 00000405: PUSH1 0x03 00000407: DUP13 00000408: SWAP1 00000409: SHR 0000040a: PUSH1 0x00 0000040c: SWAP1 0000040d: DUP2 0000040e: MSTORE 0000040f: PUSH1 0x01 00000411: DUP7 00000412: ADD 00000413: PUSH1 0x20 00000415: MSTORE 00000416: PUSH1 0x40 00000418: DUP2 00000419: KECCAK256 0000041a: SWAP12 0000041b: SWAP1 0000041c: SWAP12 0000041d: SSTORE 0000041e: JUMPDEST 0000041f: DUP12 00000420: PUSH2 0x0428 00000423: DUP2 00000424: PUSH2 0x0dd9 00000427: JUMP 00000428: JUMPDEST 00000429: SWAP13 0000042a: POP 0000042b: POP 0000042c: PUSH1 0x01 0000042e: DUP5 0000042f: ADD 00000430: SWAP4 00000431: POP 00000432: POP 00000433: POP 00000434: POP 00000435: PUSH2 0x0304 00000438: JUMP 00000439: JUMPDEST 0000043a: POP 0000043b: PUSH2 0x09ff 0000043e: JUMP 0000043f: JUMPDEST 00000440: PUSH1 0x01 00000442: DUP6 00000443: PUSH1 0x02 00000445: DUP2 00000446: GT 00000447: ISZERO 00000448: PUSH2 0x0453 0000044b: JUMPI 0000044c: PUSH2 0x0453 0000044f: PUSH2 0x0c55 00000452: JUMP 00000453: JUMPDEST 00000454: SUB 00000455: PUSH2 0x0678 00000458: JUMPI 00000459: PUSH2 0x047a 0000045c: DUP7 0000045d: PUSH1 0x40 0000045f: MLOAD 00000460: DUP1 00000461: PUSH1 0x60 00000463: ADD 00000464: PUSH1 0x40 00000466: MSTORE 00000467: DUP1 00000468: PUSH1 0x28 0000046a: DUP2 0000046b: MSTORE 0000046c: PUSH1 0x20 0000046e: ADD 0000046f: PUSH2 0x0ec3 00000472: PUSH1 0x28 00000474: SWAP2 00000475: CODECOPY 00000476: PUSH2 0x0c1e 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH1 0x00 0000047d: JUMPDEST 0000047e: DUP5 0000047f: MLOAD 00000480: DUP2 00000481: LT 00000482: ISZERO 00000483: PUSH2 0x0439 00000486: JUMPI 00000487: PUSH1 0x00 00000489: DUP6 0000048a: DUP3 0000048b: DUP2 0000048c: MLOAD 0000048d: DUP2 0000048e: LT 0000048f: PUSH2 0x049a 00000492: JUMPI 00000493: PUSH2 0x049a 00000496: PUSH2 0x0c3f 00000499: JUMP 0000049a: JUMPDEST 0000049b: PUSH1 0x20 0000049d: SWAP1 0000049e: DUP2 0000049f: MUL 000004a0: SWAP2 000004a1: SWAP1 000004a2: SWAP2 000004a3: ADD 000004a4: DUP2 000004a5: ADD 000004a6: MLOAD 000004a7: PUSH1 0x01 000004a9: PUSH1 0x01 000004ab: PUSH1 0xe0 000004ad: SHL 000004ae: SUB 000004af: NOT 000004b0: DUP2 000004b1: AND 000004b2: PUSH1 0x00 000004b4: SWAP1 000004b5: DUP2 000004b6: MSTORE 000004b7: SWAP2 000004b8: DUP6 000004b9: SWAP1 000004ba: MSTORE 000004bb: PUSH1 0x40 000004bd: SWAP1 000004be: SWAP2 000004bf: KECCAK256 000004c0: SLOAD 000004c1: SWAP1 000004c2: SWAP2 000004c3: POP 000004c4: PUSH1 0x60 000004c6: DUP2 000004c7: SWAP1 000004c8: SHR 000004c9: ADDRESS 000004ca: DUP2 000004cb: SUB 000004cc: PUSH2 0x052f 000004cf: JUMPI 000004d0: PUSH1 0x40 000004d2: MLOAD 000004d3: PUSH3 0x461bcd 000004d7: PUSH1 0xe5 000004d9: SHL 000004da: DUP2 000004db: MSTORE 000004dc: PUSH1 0x20 000004de: PUSH1 0x04 000004e0: DUP3 000004e1: ADD 000004e2: MSTORE 000004e3: PUSH1 0x2f 000004e5: PUSH1 0x24 000004e7: DUP3 000004e8: ADD 000004e9: MSTORE 000004ea: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774207265706c61636520696d6d 0000050b: PUSH1 0x44 0000050d: DUP3 0000050e: ADD 0000050f: MSTORE 00000510: PUSH15 0x3aba30b1363290333ab731ba34b7b7 00000520: PUSH1 0x89 00000522: SHL 00000523: PUSH1 0x64 00000525: DUP3 00000526: ADD 00000527: MSTORE 00000528: PUSH1 0x84 0000052a: ADD 0000052b: PUSH2 0x0095 0000052e: JUMP 0000052f: JUMPDEST 00000530: DUP10 00000531: PUSH1 0x01 00000533: PUSH1 0x01 00000535: PUSH1 0xa0 00000537: SHL 00000538: SUB 00000539: AND 0000053a: DUP2 0000053b: PUSH1 0x01 0000053d: PUSH1 0x01 0000053f: PUSH1 0xa0 00000541: SHL 00000542: SUB 00000543: AND 00000544: SUB 00000545: PUSH2 0x05b6 00000548: JUMPI 00000549: PUSH1 0x40 0000054b: MLOAD 0000054c: PUSH3 0x461bcd 00000550: PUSH1 0xe5 00000552: SHL 00000553: DUP2 00000554: MSTORE 00000555: PUSH1 0x20 00000557: PUSH1 0x04 00000559: DUP3 0000055a: ADD 0000055b: MSTORE 0000055c: PUSH1 0x38 0000055e: PUSH1 0x24 00000560: DUP3 00000561: ADD 00000562: MSTORE 00000563: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774207265706c6163652066756e 00000584: PUSH1 0x44 00000586: DUP3 00000587: ADD 00000588: MSTORE 00000589: PUSH32 0x6374696f6e20776974682073616d652066756e6374696f6e0000000000000000 000005aa: PUSH1 0x64 000005ac: DUP3 000005ad: ADD 000005ae: MSTORE 000005af: PUSH1 0x84 000005b1: ADD 000005b2: PUSH2 0x0095 000005b5: JUMP 000005b6: JUMPDEST 000005b7: PUSH1 0x01 000005b9: PUSH1 0x01 000005bb: PUSH1 0xa0 000005bd: SHL 000005be: SUB 000005bf: DUP2 000005c0: AND 000005c1: PUSH2 0x0632 000005c4: JUMPI 000005c5: PUSH1 0x40 000005c7: MLOAD 000005c8: PUSH3 0x461bcd 000005cc: PUSH1 0xe5 000005ce: SHL 000005cf: DUP2 000005d0: MSTORE 000005d1: PUSH1 0x20 000005d3: PUSH1 0x04 000005d5: DUP3 000005d6: ADD 000005d7: MSTORE 000005d8: PUSH1 0x38 000005da: PUSH1 0x24 000005dc: DUP3 000005dd: ADD 000005de: MSTORE 000005df: PUSH32 0x4c69624469616d6f6e644375743a2043616e2774207265706c6163652066756e 00000600: PUSH1 0x44 00000602: DUP3 00000603: ADD 00000604: MSTORE 00000605: PUSH32 0x6374696f6e207468617420646f65736e27742065786973740000000000000000 00000626: PUSH1 0x64 00000628: DUP3 00000629: ADD 0000062a: MSTORE 0000062b: PUSH1 0x84 0000062d: ADD 0000062e: PUSH2 0x0095 00000631: JUMP 00000632: JUMPDEST 00000633: POP 00000634: PUSH1 0x01 00000636: PUSH1 0x01 00000638: PUSH1 0xe0 0000063a: SHL 0000063b: SUB 0000063c: NOT 0000063d: SWAP1 0000063e: SWAP2 0000063f: AND 00000640: PUSH1 0x00 00000642: SWAP1 00000643: DUP2 00000644: MSTORE 00000645: PUSH1 0x20 00000647: DUP5 00000648: SWAP1 00000649: MSTORE 0000064a: PUSH1 0x40 0000064c: SWAP1 0000064d: KECCAK256 0000064e: PUSH12 0xffffffffffffffffffffffff 0000065b: SWAP2 0000065c: SWAP1 0000065d: SWAP2 0000065e: AND 0000065f: PUSH1 0x01 00000661: PUSH1 0x01 00000663: PUSH1 0x60 00000665: SHL 00000666: SUB 00000667: NOT 00000668: PUSH1 0x60 0000066a: DUP11 0000066b: SWAP1 0000066c: SHL 0000066d: AND 0000066e: OR 0000066f: SWAP1 00000670: SSTORE 00000671: PUSH1 0x01 00000673: ADD 00000674: PUSH2 0x047d 00000677: JUMP 00000678: JUMPDEST 00000679: PUSH1 0x02 0000067b: DUP6 0000067c: PUSH1 0x02 0000067e: DUP2 0000067f: GT 00000680: ISZERO 00000681: PUSH2 0x068c 00000684: JUMPI 00000685: PUSH2 0x068c 00000688: PUSH2 0x0c55 0000068b: JUMP 0000068c: JUMPDEST 0000068d: SUB 0000068e: PUSH2 0x09a7 00000691: JUMPI 00000692: PUSH1 0x01 00000694: PUSH1 0x01 00000696: PUSH1 0xa0 00000698: SHL 00000699: SUB 0000069a: DUP7 0000069b: AND 0000069c: ISZERO 0000069d: PUSH2 0x0707 000006a0: JUMPI 000006a1: PUSH1 0x40 000006a3: MLOAD 000006a4: PUSH3 0x461bcd 000006a8: PUSH1 0xe5 000006aa: SHL 000006ab: DUP2 000006ac: MSTORE 000006ad: PUSH1 0x20 000006af: PUSH1 0x04 000006b1: DUP3 000006b2: ADD 000006b3: MSTORE 000006b4: PUSH1 0x36 000006b6: PUSH1 0x24 000006b8: DUP3 000006b9: ADD 000006ba: MSTORE 000006bb: PUSH32 0x4c69624469616d6f6e644375743a2052656d6f76652066616365742061646472 000006dc: PUSH1 0x44 000006de: DUP3 000006df: ADD 000006e0: MSTORE 000006e1: PUSH22 0x657373206d7573742062652061646472657373283029 000006f8: PUSH1 0x50 000006fa: SHL 000006fb: PUSH1 0x64 000006fd: DUP3 000006fe: ADD 000006ff: MSTORE 00000700: PUSH1 0x84 00000702: ADD 00000703: PUSH2 0x0095 00000706: JUMP 00000707: JUMPDEST 00000708: PUSH1 0x03 0000070a: DUP9 0000070b: SWAP1 0000070c: SHR 0000070d: PUSH1 0x07 0000070f: DUP10 00000710: AND 00000711: PUSH1 0x00 00000713: JUMPDEST 00000714: DUP7 00000715: MLOAD 00000716: DUP2 00000717: LT 00000718: ISZERO 00000719: PUSH2 0x0987 0000071c: JUMPI 0000071d: PUSH1 0x00 0000071f: DUP11 00000720: SWAP1 00000721: SUB 00000722: PUSH2 0x074f 00000725: JUMPI 00000726: DUP3 00000727: PUSH2 0x072f 0000072a: DUP2 0000072b: PUSH2 0x0df2 0000072e: JUMP 0000072f: JUMPDEST 00000730: PUSH1 0x00 00000732: DUP2 00000733: DUP2 00000734: MSTORE 00000735: PUSH1 0x01 00000737: DUP8 00000738: ADD 00000739: PUSH1 0x20 0000073b: MSTORE 0000073c: PUSH1 0x40 0000073e: SWAP1 0000073f: KECCAK256 00000740: SLOAD 00000741: SWAP12 00000742: POP 00000743: SWAP4 00000744: POP 00000745: PUSH1 0x07 00000747: SWAP3 00000748: POP 00000749: PUSH2 0x075d 0000074c: SWAP1 0000074d: POP 0000074e: JUMP 0000074f: JUMPDEST 00000750: DUP2 00000751: PUSH2 0x0759 00000754: DUP2 00000755: PUSH2 0x0df2 00000758: JUMP 00000759: JUMPDEST 0000075a: SWAP3 0000075b: POP 0000075c: POP 0000075d: JUMPDEST 0000075e: PUSH1 0x00 00000760: DUP1 00000761: PUSH1 0x00 00000763: DUP1 00000764: DUP11 00000765: DUP6 00000766: DUP2 00000767: MLOAD 00000768: DUP2 00000769: LT 0000076a: PUSH2 0x0775 0000076d: JUMPI 0000076e: PUSH2 0x0775 00000771: PUSH2 0x0c3f 00000774: JUMP 00000775: JUMPDEST 00000776: PUSH1 0x20 00000778: SWAP1 00000779: DUP2 0000077a: MUL 0000077b: SWAP2 0000077c: SWAP1 0000077d: SWAP2 0000077e: ADD 0000077f: DUP2 00000780: ADD 00000781: MLOAD 00000782: PUSH1 0x01 00000784: PUSH1 0x01 00000786: PUSH1 0xe0 00000788: SHL 00000789: SUB 0000078a: NOT 0000078b: DUP2 0000078c: AND 0000078d: PUSH1 0x00 0000078f: SWAP1 00000790: DUP2 00000791: MSTORE 00000792: SWAP2 00000793: DUP11 00000794: SWAP1 00000795: MSTORE 00000796: PUSH1 0x40 00000798: SWAP1 00000799: SWAP2 0000079a: KECCAK256 0000079b: SLOAD 0000079c: SWAP1 0000079d: SWAP2 0000079e: POP 0000079f: PUSH1 0x60 000007a1: DUP2 000007a2: SWAP1 000007a3: SHR 000007a4: PUSH2 0x0815 000007a7: JUMPI 000007a8: PUSH1 0x40 000007aa: MLOAD 000007ab: PUSH3 0x461bcd 000007af: PUSH1 0xe5 000007b1: SHL 000007b2: DUP2 000007b3: MSTORE 000007b4: PUSH1 0x20 000007b6: PUSH1 0x04 000007b8: DUP3 000007b9: ADD 000007ba: MSTORE 000007bb: PUSH1 0x37 000007bd: PUSH1 0x24 000007bf: DUP3 000007c0: ADD 000007c1: MSTORE 000007c2: PUSH32 0x4c69624469616d6f6e644375743a2043616e27742072656d6f76652066756e63 000007e3: PUSH1 0x44 000007e5: DUP3 000007e6: ADD 000007e7: MSTORE 000007e8: PUSH32 0x74696f6e207468617420646f65736e2774206578697374000000000000000000 00000809: PUSH1 0x64 0000080b: DUP3 0000080c: ADD 0000080d: MSTORE 0000080e: PUSH1 0x84 00000810: ADD 00000811: PUSH2 0x0095 00000814: JUMP 00000815: JUMPDEST 00000816: ADDRESS 00000817: PUSH1 0x60 00000819: DUP3 0000081a: SWAP1 0000081b: SHR 0000081c: SUB 0000081d: PUSH2 0x087f 00000820: JUMPI 00000821: PUSH1 0x40 00000823: MLOAD 00000824: PUSH3 0x461bcd 00000828: PUSH1 0xe5 0000082a: SHL 0000082b: DUP2 0000082c: MSTORE 0000082d: PUSH1 0x20 0000082f: PUSH1 0x04 00000831: DUP3 00000832: ADD 00000833: MSTORE 00000834: PUSH1 0x2e 00000836: PUSH1 0x24 00000838: DUP3 00000839: ADD 0000083a: MSTORE 0000083b: PUSH32 0x4c69624469616d6f6e644375743a2043616e27742072656d6f766520696d6d75 0000085c: PUSH1 0x44 0000085e: DUP3 0000085f: ADD 00000860: MSTORE 00000861: PUSH14 0x3a30b1363290333ab731ba34b7b7 00000870: PUSH1 0x91 00000872: SHL 00000873: PUSH1 0x64 00000875: DUP3 00000876: ADD 00000877: MSTORE 00000878: PUSH1 0x84 0000087a: ADD 0000087b: PUSH2 0x0095 0000087e: JUMP 0000087f: JUMPDEST 00000880: PUSH1 0x05 00000882: DUP8 00000883: SWAP1 00000884: SHL 00000885: DUP16 00000886: SWAP1 00000887: SHL 00000888: SWAP5 00000889: POP 0000088a: PUSH1 0x01 0000088c: PUSH1 0x01 0000088e: PUSH1 0xe0 00000890: SHL 00000891: SUB 00000892: NOT 00000893: DUP1 00000894: DUP7 00000895: AND 00000896: SWAP1 00000897: DUP4 00000898: AND 00000899: EQ 0000089a: PUSH2 0x08d5 0000089d: JUMPI 0000089e: PUSH1 0x01 000008a0: PUSH1 0x01 000008a2: PUSH1 0xe0 000008a4: SHL 000008a5: SUB 000008a6: NOT 000008a7: DUP6 000008a8: AND 000008a9: PUSH1 0x00 000008ab: SWAP1 000008ac: DUP2 000008ad: MSTORE 000008ae: PUSH1 0x20 000008b0: DUP11 000008b1: SWAP1 000008b2: MSTORE 000008b3: PUSH1 0x40 000008b5: SWAP1 000008b6: KECCAK256 000008b7: DUP1 000008b8: SLOAD 000008b9: PUSH1 0x01 000008bb: PUSH1 0x01 000008bd: PUSH1 0x60 000008bf: SHL 000008c0: SUB 000008c1: NOT 000008c2: AND 000008c3: PUSH12 0xffffffffffffffffffffffff 000008d0: DUP4 000008d1: AND 000008d2: OR 000008d3: SWAP1 000008d4: SSTORE 000008d5: JUMPDEST 000008d6: PUSH1 0x01 000008d8: PUSH1 0x01 000008da: PUSH1 0xe0 000008dc: SHL 000008dd: SUB 000008de: NOT 000008df: SWAP2 000008e0: SWAP1 000008e1: SWAP2 000008e2: AND 000008e3: PUSH1 0x00 000008e5: SWAP1 000008e6: DUP2 000008e7: MSTORE 000008e8: PUSH1 0x20 000008ea: DUP10 000008eb: SWAP1 000008ec: MSTORE 000008ed: PUSH1 0x40 000008ef: DUP2 000008f0: KECCAK256 000008f1: SSTORE 000008f2: PUSH1 0x03 000008f4: DUP2 000008f5: SWAP1 000008f6: SHR 000008f7: PUSH2 0x1fff 000008fa: AND 000008fb: SWAP3 000008fc: POP 000008fd: PUSH1 0x05 000008ff: SHL 00000900: PUSH1 0xe0 00000902: AND 00000903: SWAP1 00000904: POP 00000905: DUP6 00000906: DUP3 00000907: EQ 00000908: PUSH2 0x093a 0000090b: JUMPI 0000090c: PUSH1 0x00 0000090e: DUP3 0000090f: DUP2 00000910: MSTORE 00000911: PUSH1 0x01 00000913: DUP9 00000914: ADD 00000915: PUSH1 0x20 00000917: MSTORE 00000918: PUSH1 0x40 0000091a: SWAP1 0000091b: KECCAK256 0000091c: DUP1 0000091d: SLOAD 0000091e: PUSH1 0x01 00000920: PUSH1 0x01 00000922: PUSH1 0xe0 00000924: SHL 00000925: SUB 00000926: NOT 00000927: DUP1 00000928: DUP5 00000929: SHR 0000092a: NOT 0000092b: SWAP1 0000092c: SWAP2 0000092d: AND 0000092e: SWAP1 0000092f: DUP6 00000930: AND 00000931: DUP4 00000932: SHR 00000933: OR 00000934: SWAP1 00000935: SSTORE 00000936: PUSH2 0x095e 00000939: JUMP 0000093a: JUMPDEST 0000093b: DUP1 0000093c: DUP4 0000093d: PUSH1 0x01 0000093f: PUSH1 0x01 00000941: PUSH1 0xe0 00000943: SHL 00000944: SUB 00000945: NOT 00000946: AND 00000947: SWAP1 00000948: SHR 00000949: DUP2 0000094a: PUSH1 0x01 0000094c: PUSH1 0x01 0000094e: PUSH1 0xe0 00000950: SHL 00000951: SUB 00000952: NOT 00000953: PUSH1 0x00 00000955: SHL 00000956: SWAP1 00000957: SHR 00000958: NOT 00000959: DUP15 0000095a: AND 0000095b: OR 0000095c: SWAP13 0000095d: POP 0000095e: JUMPDEST 0000095f: DUP5 00000960: PUSH1 0x00 00000962: SUB 00000963: PUSH2 0x097c 00000966: JUMPI 00000967: PUSH1 0x00 00000969: DUP7 0000096a: DUP2 0000096b: MSTORE 0000096c: PUSH1 0x01 0000096e: DUP9 0000096f: ADD 00000970: PUSH1 0x20 00000972: MSTORE 00000973: PUSH1 0x40 00000975: DUP2 00000976: KECCAK256 00000977: DUP2 00000978: SWAP1 00000979: SSTORE 0000097a: SWAP13 0000097b: POP 0000097c: JUMPDEST 0000097d: POP 0000097e: POP 0000097f: POP 00000980: PUSH1 0x01 00000982: ADD 00000983: PUSH2 0x0713 00000986: JUMP 00000987: JUMPDEST 00000988: POP 00000989: DUP1 0000098a: PUSH2 0x0994 0000098d: DUP4 0000098e: PUSH1 0x08 00000990: PUSH2 0x0e09 00000993: JUMP 00000994: JUMPDEST 00000995: PUSH2 0x099e 00000998: SWAP2 00000999: SWAP1 0000099a: PUSH2 0x0e28 0000099d: JUMP 0000099e: JUMPDEST 0000099f: SWAP10 000009a0: POP 000009a1: POP 000009a2: POP 000009a3: PUSH2 0x09ff 000009a6: JUMP 000009a7: JUMPDEST 000009a8: PUSH1 0x40 000009aa: MLOAD 000009ab: PUSH3 0x461bcd 000009af: PUSH1 0xe5 000009b1: SHL 000009b2: DUP2 000009b3: MSTORE 000009b4: PUSH1 0x20 000009b6: PUSH1 0x04 000009b8: DUP3 000009b9: ADD 000009ba: MSTORE 000009bb: PUSH1 0x27 000009bd: PUSH1 0x24 000009bf: DUP3 000009c0: ADD 000009c1: MSTORE 000009c2: PUSH32 0x4c69624469616d6f6e644375743a20496e636f72726563742046616365744375 000009e3: PUSH1 0x44 000009e5: DUP3 000009e6: ADD 000009e7: MSTORE 000009e8: PUSH7 0x3a20b1ba34b7b7 000009f0: PUSH1 0xc9 000009f2: SHL 000009f3: PUSH1 0x64 000009f5: DUP3 000009f6: ADD 000009f7: MSTORE 000009f8: PUSH1 0x84 000009fa: ADD 000009fb: PUSH2 0x0095 000009fe: JUMP 000009ff: JUMPDEST 00000a00: POP 00000a01: SWAP6 00000a02: SWAP7 00000a03: SWAP5 00000a04: SWAP6 00000a05: POP 00000a06: POP 00000a07: POP 00000a08: POP 00000a09: POP 00000a0a: JUMP 00000a0b: JUMPDEST 00000a0c: PUSH1 0x01 00000a0e: PUSH1 0x01 00000a10: PUSH1 0xa0 00000a12: SHL 00000a13: SUB 00000a14: DUP3 00000a15: AND 00000a16: PUSH2 0x0a92 00000a19: JUMPI 00000a1a: DUP1 00000a1b: MLOAD 00000a1c: ISZERO 00000a1d: PUSH2 0x0a8e 00000a20: JUMPI 00000a21: PUSH1 0x40 00000a23: MLOAD 00000a24: PUSH3 0x461bcd 00000a28: PUSH1 0xe5 00000a2a: SHL 00000a2b: DUP2 00000a2c: MSTORE 00000a2d: PUSH1 0x20 00000a2f: PUSH1 0x04 00000a31: DUP3 00000a32: ADD 00000a33: MSTORE 00000a34: PUSH1 0x3c 00000a36: PUSH1 0x24 00000a38: DUP3 00000a39: ADD 00000a3a: MSTORE 00000a3b: PUSH32 0x4c69624469616d6f6e644375743a205f696e6974206973206164647265737328 00000a5c: PUSH1 0x44 00000a5e: DUP3 00000a5f: ADD 00000a60: MSTORE 00000a61: PUSH32 0x3029206275745f63616c6c64617461206973206e6f7420656d70747900000000 00000a82: PUSH1 0x64 00000a84: DUP3 00000a85: ADD 00000a86: MSTORE 00000a87: PUSH1 0x84 00000a89: ADD 00000a8a: PUSH2 0x0095 00000a8d: JUMP 00000a8e: JUMPDEST 00000a8f: POP 00000a90: POP 00000a91: JUMP 00000a92: JUMPDEST 00000a93: PUSH1 0x00 00000a95: DUP2 00000a96: MLOAD 00000a97: GT 00000a98: PUSH2 0x0b09 00000a9b: JUMPI 00000a9c: PUSH1 0x40 00000a9e: MLOAD 00000a9f: PUSH3 0x461bcd 00000aa3: PUSH1 0xe5 00000aa5: SHL 00000aa6: DUP2 00000aa7: MSTORE 00000aa8: PUSH1 0x20 00000aaa: PUSH1 0x04 00000aac: DUP3 00000aad: ADD 00000aae: MSTORE 00000aaf: PUSH1 0x3d 00000ab1: PUSH1 0x24 00000ab3: DUP3 00000ab4: ADD 00000ab5: MSTORE 00000ab6: PUSH32 0x4c69624469616d6f6e644375743a205f63616c6c6461746120697320656d7074 00000ad7: PUSH1 0x44 00000ad9: DUP3 00000ada: ADD 00000adb: MSTORE 00000adc: PUSH32 0x7920627574205f696e6974206973206e6f742061646472657373283029000000 00000afd: PUSH1 0x64 00000aff: DUP3 00000b00: ADD 00000b01: MSTORE 00000b02: PUSH1 0x84 00000b04: ADD 00000b05: PUSH2 0x0095 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: PUSH1 0x01 00000b0c: PUSH1 0x01 00000b0e: PUSH1 0xa0 00000b10: SHL 00000b11: SUB 00000b12: DUP3 00000b13: AND 00000b14: ADDRESS 00000b15: EQ 00000b16: PUSH2 0x0b3b 00000b19: JUMPI 00000b1a: PUSH2 0x0b3b 00000b1d: DUP3 00000b1e: PUSH1 0x40 00000b20: MLOAD 00000b21: DUP1 00000b22: PUSH1 0x60 00000b24: ADD 00000b25: PUSH1 0x40 00000b27: MSTORE 00000b28: DUP1 00000b29: PUSH1 0x28 00000b2b: DUP2 00000b2c: MSTORE 00000b2d: PUSH1 0x20 00000b2f: ADD 00000b30: PUSH2 0x0e9b 00000b33: PUSH1 0x28 00000b35: SWAP2 00000b36: CODECOPY 00000b37: PUSH2 0x0c1e 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: PUSH1 0x00 00000b3e: DUP1 00000b3f: DUP4 00000b40: PUSH1 0x01 00000b42: PUSH1 0x01 00000b44: PUSH1 0xa0 00000b46: SHL 00000b47: SUB 00000b48: AND 00000b49: DUP4 00000b4a: PUSH1 0x40 00000b4c: MLOAD 00000b4d: PUSH2 0x0b56 00000b50: SWAP2 00000b51: SWAP1 00000b52: PUSH2 0x0e40 00000b55: JUMP 00000b56: JUMPDEST 00000b57: PUSH1 0x00 00000b59: PUSH1 0x40 00000b5b: MLOAD 00000b5c: DUP1 00000b5d: DUP4 00000b5e: SUB 00000b5f: DUP2 00000b60: DUP6 00000b61: GAS 00000b62: DELEGATECALL 00000b63: SWAP2 00000b64: POP 00000b65: POP 00000b66: RETURNDATASIZE 00000b67: DUP1 00000b68: PUSH1 0x00 00000b6a: DUP2 00000b6b: EQ 00000b6c: PUSH2 0x0b91 00000b6f: JUMPI 00000b70: PUSH1 0x40 00000b72: MLOAD 00000b73: SWAP2 00000b74: POP 00000b75: PUSH1 0x1f 00000b77: NOT 00000b78: PUSH1 0x3f 00000b7a: RETURNDATASIZE 00000b7b: ADD 00000b7c: AND 00000b7d: DUP3 00000b7e: ADD 00000b7f: PUSH1 0x40 00000b81: MSTORE 00000b82: RETURNDATASIZE 00000b83: DUP3 00000b84: MSTORE 00000b85: RETURNDATASIZE 00000b86: PUSH1 0x00 00000b88: PUSH1 0x20 00000b8a: DUP5 00000b8b: ADD 00000b8c: RETURNDATACOPY 00000b8d: PUSH2 0x0b96 00000b90: JUMP 00000b91: JUMPDEST 00000b92: PUSH1 0x60 00000b94: SWAP2 00000b95: POP 00000b96: JUMPDEST 00000b97: POP 00000b98: SWAP2 00000b99: POP 00000b9a: SWAP2 00000b9b: POP 00000b9c: DUP2 00000b9d: PUSH2 0x0c18 00000ba0: JUMPI 00000ba1: DUP1 00000ba2: MLOAD 00000ba3: ISZERO 00000ba4: PUSH2 0x0bc1 00000ba7: JUMPI 00000ba8: DUP1 00000ba9: PUSH1 0x40 00000bab: MLOAD 00000bac: PUSH3 0x461bcd 00000bb0: PUSH1 0xe5 00000bb2: SHL 00000bb3: DUP2 00000bb4: MSTORE 00000bb5: PUSH1 0x04 00000bb7: ADD 00000bb8: PUSH2 0x0095 00000bbb: SWAP2 00000bbc: SWAP1 00000bbd: PUSH2 0x0e5c 00000bc0: JUMP 00000bc1: JUMPDEST 00000bc2: PUSH1 0x40 00000bc4: MLOAD 00000bc5: PUSH3 0x461bcd 00000bc9: PUSH1 0xe5 00000bcb: SHL 00000bcc: DUP2 00000bcd: MSTORE 00000bce: PUSH1 0x20 00000bd0: PUSH1 0x04 00000bd2: DUP3 00000bd3: ADD 00000bd4: MSTORE 00000bd5: PUSH1 0x26 00000bd7: PUSH1 0x24 00000bd9: DUP3 00000bda: ADD 00000bdb: MSTORE 00000bdc: PUSH32 0x4c69624469616d6f6e644375743a205f696e69742066756e6374696f6e207265 00000bfd: PUSH1 0x44 00000bff: DUP3 00000c00: ADD 00000c01: MSTORE 00000c02: PUSH6 0x1d995c9d1959 00000c09: PUSH1 0xd2 00000c0b: SHL 00000c0c: PUSH1 0x64 00000c0e: DUP3 00000c0f: ADD 00000c10: MSTORE 00000c11: PUSH1 0x84 00000c13: ADD 00000c14: PUSH2 0x0095 00000c17: JUMP 00000c18: JUMPDEST 00000c19: POP 00000c1a: POP 00000c1b: POP 00000c1c: POP 00000c1d: JUMP 00000c1e: JUMPDEST 00000c1f: DUP2 00000c20: EXTCODESIZE 00000c21: DUP2 00000c22: DUP2 00000c23: PUSH2 0x0c18 00000c26: JUMPI 00000c27: PUSH1 0x40 00000c29: MLOAD 00000c2a: PUSH3 0x461bcd 00000c2e: PUSH1 0xe5 00000c30: SHL 00000c31: DUP2 00000c32: MSTORE 00000c33: PUSH1 0x04 00000c35: ADD 00000c36: PUSH2 0x0095 00000c39: SWAP2 00000c3a: SWAP1 00000c3b: PUSH2 0x0e5c 00000c3e: JUMP 00000c3f: JUMPDEST 00000c40: PUSH4 0x4e487b71 00000c45: PUSH1 0xe0 00000c47: SHL 00000c48: PUSH1 0x00 00000c4a: MSTORE 00000c4b: PUSH1 0x32 00000c4d: PUSH1 0x04 00000c4f: MSTORE 00000c50: PUSH1 0x24 00000c52: PUSH1 0x00 00000c54: REVERT 00000c55: JUMPDEST 00000c56: PUSH4 0x4e487b71 00000c5b: PUSH1 0xe0 00000c5d: SHL 00000c5e: PUSH1 0x00 00000c60: MSTORE 00000c61: PUSH1 0x21 00000c63: PUSH1 0x04 00000c65: MSTORE 00000c66: PUSH1 0x24 00000c68: PUSH1 0x00 00000c6a: REVERT 00000c6b: JUMPDEST 00000c6c: PUSH1 0x00 00000c6e: JUMPDEST 00000c6f: DUP4 00000c70: DUP2 00000c71: LT 00000c72: ISZERO 00000c73: PUSH2 0x0c86 00000c76: JUMPI 00000c77: DUP2 00000c78: DUP2 00000c79: ADD 00000c7a: MLOAD 00000c7b: DUP4 00000c7c: DUP3 00000c7d: ADD 00000c7e: MSTORE 00000c7f: PUSH1 0x20 00000c81: ADD 00000c82: PUSH2 0x0c6e 00000c85: JUMP 00000c86: JUMPDEST 00000c87: DUP4 00000c88: DUP2 00000c89: GT 00000c8a: ISZERO 00000c8b: PUSH2 0x0c18 00000c8e: JUMPI 00000c8f: POP 00000c90: POP 00000c91: PUSH1 0x00 00000c93: SWAP2 00000c94: ADD 00000c95: MSTORE 00000c96: JUMP 00000c97: JUMPDEST 00000c98: PUSH1 0x00 00000c9a: DUP2 00000c9b: MLOAD 00000c9c: DUP1 00000c9d: DUP5 00000c9e: MSTORE 00000c9f: PUSH2 0x0caf 00000ca2: DUP2 00000ca3: PUSH1 0x20 00000ca5: DUP7 00000ca6: ADD 00000ca7: PUSH1 0x20 00000ca9: DUP7 00000caa: ADD 00000cab: PUSH2 0x0c6b 00000cae: JUMP 00000caf: JUMPDEST 00000cb0: PUSH1 0x1f 00000cb2: ADD 00000cb3: PUSH1 0x1f 00000cb5: NOT 00000cb6: AND 00000cb7: SWAP3 00000cb8: SWAP1 00000cb9: SWAP3 00000cba: ADD 00000cbb: PUSH1 0x20 00000cbd: ADD 00000cbe: SWAP3 00000cbf: SWAP2 00000cc0: POP 00000cc1: POP 00000cc2: JUMP 00000cc3: JUMPDEST 00000cc4: PUSH1 0x00 00000cc6: PUSH1 0x60 00000cc8: DUP1 00000cc9: DUP4 00000cca: ADD 00000ccb: DUP2 00000ccc: DUP5 00000ccd: MSTORE 00000cce: DUP1 00000ccf: DUP8 00000cd0: MLOAD 00000cd1: DUP1 00000cd2: DUP4 00000cd3: MSTORE 00000cd4: PUSH1 0x80 00000cd6: SWAP3 00000cd7: POP 00000cd8: DUP3 00000cd9: DUP7 00000cda: ADD 00000cdb: SWAP2 00000cdc: POP 00000cdd: DUP3 00000cde: DUP2 00000cdf: PUSH1 0x05 00000ce1: SHL 00000ce2: DUP8 00000ce3: ADD 00000ce4: ADD 00000ce5: PUSH1 0x20 00000ce7: DUP1 00000ce8: DUP12 00000ce9: ADD 00000cea: PUSH1 0x00 00000cec: JUMPDEST 00000ced: DUP5 00000cee: DUP2 00000cef: LT 00000cf0: ISZERO 00000cf1: PUSH2 0x0d93 00000cf4: JUMPI 00000cf5: DUP10 00000cf6: DUP5 00000cf7: SUB 00000cf8: PUSH1 0x7f 00000cfa: NOT 00000cfb: ADD 00000cfc: DUP7 00000cfd: MSTORE 00000cfe: DUP2 00000cff: MLOAD 00000d00: DUP1 00000d01: MLOAD 00000d02: PUSH1 0x01 00000d04: PUSH1 0x01 00000d06: PUSH1 0xa0 00000d08: SHL 00000d09: SUB 00000d0a: AND 00000d0b: DUP6 00000d0c: MSTORE 00000d0d: DUP4 00000d0e: DUP2 00000d0f: ADD 00000d10: MLOAD 00000d11: DUP10 00000d12: DUP7 00000d13: ADD 00000d14: SWAP1 00000d15: PUSH1 0x03 00000d17: DUP2 00000d18: LT 00000d19: PUSH2 0x0d32 00000d1c: JUMPI 00000d1d: PUSH4 0x4e487b71 00000d22: PUSH1 0xe0 00000d24: SHL 00000d25: PUSH1 0x00 00000d27: MSTORE 00000d28: PUSH1 0x21 00000d2a: PUSH1 0x04 00000d2c: MSTORE 00000d2d: PUSH1 0x24 00000d2f: PUSH1 0x00 00000d31: REVERT 00000d32: JUMPDEST 00000d33: DUP7 00000d34: DUP7 00000d35: ADD 00000d36: MSTORE 00000d37: PUSH1 0x40 00000d39: SWAP2 00000d3a: DUP3 00000d3b: ADD 00000d3c: MLOAD 00000d3d: SWAP2 00000d3e: DUP7 00000d3f: ADD 00000d40: DUP11 00000d41: SWAP1 00000d42: MSTORE 00000d43: DUP2 00000d44: MLOAD 00000d45: SWAP1 00000d46: DUP2 00000d47: SWAP1 00000d48: MSTORE 00000d49: SWAP1 00000d4a: DUP5 00000d4b: ADD 00000d4c: SWAP1 00000d4d: PUSH1 0x00 00000d4f: SWAP1 00000d50: DUP10 00000d51: DUP8 00000d52: ADD 00000d53: SWAP1 00000d54: JUMPDEST 00000d55: DUP1 00000d56: DUP4 00000d57: LT 00000d58: ISZERO 00000d59: PUSH2 0x0d7e 00000d5c: JUMPI 00000d5d: DUP4 00000d5e: MLOAD 00000d5f: PUSH1 0x01 00000d61: PUSH1 0x01 00000d63: PUSH1 0xe0 00000d65: SHL 00000d66: SUB 00000d67: NOT 00000d68: AND 00000d69: DUP3 00000d6a: MSTORE 00000d6b: SWAP3 00000d6c: DUP7 00000d6d: ADD 00000d6e: SWAP3 00000d6f: PUSH1 0x01 00000d71: SWAP3 00000d72: SWAP1 00000d73: SWAP3 00000d74: ADD 00000d75: SWAP2 00000d76: SWAP1 00000d77: DUP7 00000d78: ADD 00000d79: SWAP1 00000d7a: PUSH2 0x0d54 00000d7d: JUMP 00000d7e: JUMPDEST 00000d7f: POP 00000d80: SWAP8 00000d81: DUP6 00000d82: ADD 00000d83: SWAP8 00000d84: SWAP6 00000d85: POP 00000d86: POP 00000d87: POP 00000d88: SWAP1 00000d89: DUP3 00000d8a: ADD 00000d8b: SWAP1 00000d8c: PUSH1 0x01 00000d8e: ADD 00000d8f: PUSH2 0x0cec 00000d92: JUMP 00000d93: JUMPDEST 00000d94: POP 00000d95: POP 00000d96: PUSH1 0x01 00000d98: PUSH1 0x01 00000d9a: PUSH1 0xa0 00000d9c: SHL 00000d9d: SUB 00000d9e: DUP11 00000d9f: AND 00000da0: SWAP1 00000da1: DUP9 00000da2: ADD 00000da3: MSTORE 00000da4: DUP7 00000da5: DUP2 00000da6: SUB 00000da7: PUSH1 0x40 00000da9: DUP9 00000daa: ADD 00000dab: MSTORE 00000dac: PUSH2 0x0db5 00000daf: DUP2 00000db0: DUP10 00000db1: PUSH2 0x0c97 00000db4: JUMP 00000db5: JUMPDEST 00000db6: SWAP11 00000db7: SWAP10 00000db8: POP 00000db9: POP 00000dba: POP 00000dbb: POP 00000dbc: POP 00000dbd: POP 00000dbe: POP 00000dbf: POP 00000dc0: POP 00000dc1: POP 00000dc2: JUMP 00000dc3: JUMPDEST 00000dc4: PUSH4 0x4e487b71 00000dc9: PUSH1 0xe0 00000dcb: SHL 00000dcc: PUSH1 0x00 00000dce: MSTORE 00000dcf: PUSH1 0x11 00000dd1: PUSH1 0x04 00000dd3: MSTORE 00000dd4: PUSH1 0x24 00000dd6: PUSH1 0x00 00000dd8: REVERT 00000dd9: JUMPDEST 00000dda: PUSH1 0x00 00000ddc: PUSH1 0x01 00000dde: DUP3 00000ddf: ADD 00000de0: PUSH2 0x0deb 00000de3: JUMPI 00000de4: PUSH2 0x0deb 00000de7: PUSH2 0x0dc3 00000dea: JUMP 00000deb: JUMPDEST 00000dec: POP 00000ded: PUSH1 0x01 00000def: ADD 00000df0: SWAP1 00000df1: JUMP 00000df2: JUMPDEST 00000df3: PUSH1 0x00 00000df5: DUP2 00000df6: PUSH2 0x0e01 00000df9: JUMPI 00000dfa: PUSH2 0x0e01 00000dfd: PUSH2 0x0dc3 00000e00: JUMP 00000e01: JUMPDEST 00000e02: POP 00000e03: PUSH1 0x00 00000e05: NOT 00000e06: ADD 00000e07: SWAP1 00000e08: JUMP 00000e09: JUMPDEST 00000e0a: PUSH1 0x00 00000e0c: DUP2 00000e0d: PUSH1 0x00 00000e0f: NOT 00000e10: DIV 00000e11: DUP4 00000e12: GT 00000e13: DUP3 00000e14: ISZERO 00000e15: ISZERO 00000e16: AND 00000e17: ISZERO 00000e18: PUSH2 0x0e23 00000e1b: JUMPI 00000e1c: PUSH2 0x0e23 00000e1f: PUSH2 0x0dc3 00000e22: JUMP 00000e23: JUMPDEST 00000e24: POP 00000e25: MUL 00000e26: SWAP1 00000e27: JUMP 00000e28: JUMPDEST 00000e29: PUSH1 0x00 00000e2b: DUP3 00000e2c: NOT 00000e2d: DUP3 00000e2e: GT 00000e2f: ISZERO 00000e30: PUSH2 0x0e3b 00000e33: JUMPI 00000e34: PUSH2 0x0e3b 00000e37: PUSH2 0x0dc3 00000e3a: JUMP 00000e3b: JUMPDEST 00000e3c: POP 00000e3d: ADD 00000e3e: SWAP1 00000e3f: JUMP 00000e40: JUMPDEST 00000e41: PUSH1 0x00 00000e43: DUP3 00000e44: MLOAD 00000e45: PUSH2 0x0e52 00000e48: DUP2 00000e49: DUP5 00000e4a: PUSH1 0x20 00000e4c: DUP8 00000e4d: ADD 00000e4e: PUSH2 0x0c6b 00000e51: JUMP 00000e52: JUMPDEST 00000e53: SWAP2 00000e54: SWAP1 00000e55: SWAP2 00000e56: ADD 00000e57: SWAP3 00000e58: SWAP2 00000e59: POP 00000e5a: POP 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: PUSH1 0x20 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH1 0x00 00000e63: PUSH2 0x0e6f 00000e66: PUSH1 0x20 00000e68: DUP4 00000e69: ADD 00000e6a: DUP5 00000e6b: PUSH2 0x0c97 00000e6e: JUMP 00000e6f: JUMPDEST 00000e70: SWAP4 00000e71: SWAP3 00000e72: POP 00000e73: POP 00000e74: POP 00000e75: JUMP 00000e76: INVALID 00000e77: UNKNOWN(0x4C) 00000e78: PUSH10 0x624469616d6f6e644375 00000e83: PUSH21 0x3a2041646420666163657420686173206e6f20636f 00000e99: PUSH5 0x654c696244 00000e9f: PUSH10 0x616d6f6e644375743a20 00000eaa: PUSH0 00000eab: PUSH10 0x6e697420616464726573 00000eb6: PUSH20 0x20686173206e6f20636f64654c69624469616d6f 00000ecb: PUSH15 0x644375743a205265706c6163652066 00000edb: PUSH2 0x6365 00000ede: PUSH21 0x20686173206e6f20636f6465a26469706673582212 00000ef4: KECCAK256 00000ef5: UNKNOWN(0xCC) 00000ef6: LOG2 00000ef7: UNKNOWN(0xC8) 00000ef8: UNKNOWN(0xEC) 00000ef9: LOG4 00000efa: UNKNOWN(0x0D) 00000efb: SWAP5 00000efc: CALLER 00000efd: SWAP1 00000efe: DUP14 00000eff: EXTCODECOPY 00000f00: UNKNOWN(0xBF) 00000f01: UNKNOWN(0x0F) 00000f02: SHL 00000f03: UNKNOWN(0xB1) 00000f04: CALLDATALOAD 00000f05: SELFDESTRUCT 00000f06: DUP4 00000f07: UNKNOWN(0xAC) 00000f08: MOD 00000f09: UNKNOWN(0xD7) 00000f0a: DUP9 00000f0b: UNKNOWN(0xBC) 00000f0c: UNKNOWN(0x22) 00000f0d: SWAP11 00000f0e: ISZERO 00000f0f: CREATE 00000f10: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | 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": 2914,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x45ae806697c2291abec83754a69575cdff3d37711e8068fcb11f419107ba825b
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 1,
"trace_id": "0x45ae806697c2291abec83754a69575cdff3d37711e8068fcb11f419107ba825b",
"confirmed": false,
"trace_mode": "structLogs",
"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{
"guards_detected": [],
"selfdestruct_count": 1
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x45ae806697c2291abec83754a69575cdff3d37711e8068fcb11f419107ba825b
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 1,
"trace_id": "0x45ae806697c2291abec83754a69575cdff3d37711e8068fcb11f419107ba825b",
"confirmed": false,
"trace_mode": "structLogs",
"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{
"create_count": 1,
"create2_count": 0
}
|