019b477e-b86e-71fb-9afc-d586abba5172
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 |
|---|---|---|---|---|
| 23439 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23440 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107869 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107870 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107871 | detector.run | complete | 1 / 3 | 1 week ago |
| 107872 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00a7 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x78b91e70 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x78b91e70 00000024: EQ 00000025: PUSH2 0x02ce 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x871b8ff1 0000002f: EQ 00000030: PUSH2 0x02e3 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x8773334c 0000003a: EQ 0000003b: PUSH2 0x02f8 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xb269b9ae 00000045: EQ 00000046: PUSH2 0x0321 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xc3f59687 00000050: EQ 00000051: PUSH2 0x0336 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf00e6a2a 0000005b: EQ 0000005c: PUSH2 0x0369 0000005f: JUMPI 00000060: PUSH2 0x00a7 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x25394645 0000006b: EQ 0000006c: PUSH2 0x00d8 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x2a3174f4 00000076: EQ 00000077: PUSH2 0x0157 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x3b154b73 00000081: EQ 00000082: PUSH2 0x017e 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x439fab91 0000008c: EQ 0000008d: PUSH2 0x0193 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x5a99719e 00000097: EQ 00000098: PUSH2 0x0210 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x6fc49140 000000a2: EQ 000000a3: PUSH2 0x0241 000000a6: JUMPI 000000a7: JUMPDEST 000000a8: PUSH1 0x00 000000aa: PUSH2 0x00b1 000000ad: PUSH2 0x037a 000000b0: JUMP 000000b1: JUMPDEST 000000b2: SWAP1 000000b3: POP 000000b4: PUSH1 0x40 000000b6: MLOAD 000000b7: CALLDATASIZE 000000b8: PUSH1 0x00 000000ba: DUP3 000000bb: CALLDATACOPY 000000bc: PUSH1 0x00 000000be: DUP1 000000bf: CALLDATASIZE 000000c0: DUP4 000000c1: DUP6 000000c2: GAS 000000c3: DELEGATECALL 000000c4: RETURNDATASIZE 000000c5: DUP1 000000c6: PUSH1 0x00 000000c8: DUP5 000000c9: RETURNDATACOPY 000000ca: DUP2 000000cb: DUP1 000000cc: ISZERO 000000cd: PUSH2 0x00d4 000000d0: JUMPI 000000d1: DUP2 000000d2: DUP5 000000d3: RETURN 000000d4: JUMPDEST 000000d5: DUP2 000000d6: DUP5 000000d7: REVERT 000000d8: JUMPDEST 000000d9: CALLVALUE 000000da: DUP1 000000db: ISZERO 000000dc: PUSH2 0x00e4 000000df: JUMPI 000000e0: PUSH1 0x00 000000e2: DUP1 000000e3: REVERT 000000e4: JUMPDEST 000000e5: POP 000000e6: PUSH2 0x0155 000000e9: PUSH1 0x04 000000eb: DUP1 000000ec: CALLDATASIZE 000000ed: SUB 000000ee: PUSH1 0x20 000000f0: DUP2 000000f1: LT 000000f2: ISZERO 000000f3: PUSH2 0x00fb 000000f6: JUMPI 000000f7: PUSH1 0x00 000000f9: DUP1 000000fa: REVERT 000000fb: JUMPDEST 000000fc: DUP2 000000fd: ADD 000000fe: SWAP1 000000ff: PUSH1 0x20 00000101: DUP2 00000102: ADD 00000103: DUP2 00000104: CALLDATALOAD 00000105: PUSH5 0x0100000000 0000010b: DUP2 0000010c: GT 0000010d: ISZERO 0000010e: PUSH2 0x0116 00000111: JUMPI 00000112: PUSH1 0x00 00000114: DUP1 00000115: REVERT 00000116: JUMPDEST 00000117: DUP3 00000118: ADD 00000119: DUP4 0000011a: PUSH1 0x20 0000011c: DUP3 0000011d: ADD 0000011e: GT 0000011f: ISZERO 00000120: PUSH2 0x0128 00000123: JUMPI 00000124: PUSH1 0x00 00000126: DUP1 00000127: REVERT 00000128: JUMPDEST 00000129: DUP1 0000012a: CALLDATALOAD 0000012b: SWAP1 0000012c: PUSH1 0x20 0000012e: ADD 0000012f: SWAP2 00000130: DUP5 00000131: PUSH1 0x01 00000133: DUP4 00000134: MUL 00000135: DUP5 00000136: ADD 00000137: GT 00000138: PUSH5 0x0100000000 0000013e: DUP4 0000013f: GT 00000140: OR 00000141: ISZERO 00000142: PUSH2 0x014a 00000145: JUMPI 00000146: PUSH1 0x00 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: POP 0000014c: SWAP1 0000014d: SWAP3 0000014e: POP 0000014f: SWAP1 00000150: POP 00000151: PUSH2 0x039f 00000154: JUMP 00000155: JUMPDEST 00000156: STOP 00000157: JUMPDEST 00000158: CALLVALUE 00000159: DUP1 0000015a: ISZERO 0000015b: PUSH2 0x0163 0000015e: JUMPI 0000015f: PUSH1 0x00 00000161: DUP1 00000162: REVERT 00000163: JUMPDEST 00000164: POP 00000165: PUSH2 0x016c 00000168: PUSH2 0x03d4 0000016b: JUMP 0000016c: JUMPDEST 0000016d: PUSH1 0x40 0000016f: DUP1 00000170: MLOAD 00000171: SWAP2 00000172: DUP3 00000173: MSTORE 00000174: MLOAD 00000175: SWAP1 00000176: DUP2 00000177: SWAP1 00000178: SUB 00000179: PUSH1 0x20 0000017b: ADD 0000017c: SWAP1 0000017d: RETURN 0000017e: JUMPDEST 0000017f: CALLVALUE 00000180: DUP1 00000181: ISZERO 00000182: PUSH2 0x018a 00000185: JUMPI 00000186: PUSH1 0x00 00000188: DUP1 00000189: REVERT 0000018a: JUMPDEST 0000018b: POP 0000018c: PUSH2 0x0155 0000018f: PUSH2 0x0506 00000192: JUMP 00000193: JUMPDEST 00000194: CALLVALUE 00000195: DUP1 00000196: ISZERO 00000197: PUSH2 0x019f 0000019a: JUMPI 0000019b: PUSH1 0x00 0000019d: DUP1 0000019e: REVERT 0000019f: JUMPDEST 000001a0: POP 000001a1: PUSH2 0x0155 000001a4: PUSH1 0x04 000001a6: DUP1 000001a7: CALLDATASIZE 000001a8: SUB 000001a9: PUSH1 0x20 000001ab: DUP2 000001ac: LT 000001ad: ISZERO 000001ae: PUSH2 0x01b6 000001b1: JUMPI 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: DUP2 000001b8: ADD 000001b9: SWAP1 000001ba: PUSH1 0x20 000001bc: DUP2 000001bd: ADD 000001be: DUP2 000001bf: CALLDATALOAD 000001c0: PUSH5 0x0100000000 000001c6: DUP2 000001c7: GT 000001c8: ISZERO 000001c9: PUSH2 0x01d1 000001cc: JUMPI 000001cd: PUSH1 0x00 000001cf: DUP1 000001d0: REVERT 000001d1: JUMPDEST 000001d2: DUP3 000001d3: ADD 000001d4: DUP4 000001d5: PUSH1 0x20 000001d7: DUP3 000001d8: ADD 000001d9: GT 000001da: ISZERO 000001db: PUSH2 0x01e3 000001de: JUMPI 000001df: PUSH1 0x00 000001e1: DUP1 000001e2: REVERT 000001e3: JUMPDEST 000001e4: DUP1 000001e5: CALLDATALOAD 000001e6: SWAP1 000001e7: PUSH1 0x20 000001e9: ADD 000001ea: SWAP2 000001eb: DUP5 000001ec: PUSH1 0x01 000001ee: DUP4 000001ef: MUL 000001f0: DUP5 000001f1: ADD 000001f2: GT 000001f3: PUSH5 0x0100000000 000001f9: DUP4 000001fa: GT 000001fb: OR 000001fc: ISZERO 000001fd: PUSH2 0x0205 00000200: JUMPI 00000201: PUSH1 0x00 00000203: DUP1 00000204: REVERT 00000205: JUMPDEST 00000206: POP 00000207: SWAP1 00000208: SWAP3 00000209: POP 0000020a: SWAP1 0000020b: POP 0000020c: PUSH2 0x0622 0000020f: JUMP 00000210: JUMPDEST 00000211: CALLVALUE 00000212: DUP1 00000213: ISZERO 00000214: PUSH2 0x021c 00000217: JUMPI 00000218: PUSH1 0x00 0000021a: DUP1 0000021b: REVERT 0000021c: JUMPDEST 0000021d: POP 0000021e: PUSH2 0x0225 00000221: PUSH2 0x0657 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH1 0x40 00000228: DUP1 00000229: MLOAD 0000022a: PUSH1 0x01 0000022c: PUSH1 0x01 0000022e: PUSH1 0xa0 00000230: SHL 00000231: SUB 00000232: SWAP1 00000233: SWAP3 00000234: AND 00000235: DUP3 00000236: MSTORE 00000237: MLOAD 00000238: SWAP1 00000239: DUP2 0000023a: SWAP1 0000023b: SUB 0000023c: PUSH1 0x20 0000023e: ADD 0000023f: SWAP1 00000240: RETURN 00000241: JUMPDEST 00000242: CALLVALUE 00000243: DUP1 00000244: ISZERO 00000245: PUSH2 0x024d 00000248: JUMPI 00000249: PUSH1 0x00 0000024b: DUP1 0000024c: REVERT 0000024d: JUMPDEST 0000024e: POP 0000024f: PUSH2 0x0155 00000252: PUSH1 0x04 00000254: DUP1 00000255: CALLDATASIZE 00000256: SUB 00000257: PUSH1 0x40 00000259: DUP2 0000025a: LT 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: PUSH1 0x01 00000267: PUSH1 0x01 00000269: PUSH1 0xa0 0000026b: SHL 0000026c: SUB 0000026d: DUP3 0000026e: CALLDATALOAD 0000026f: AND 00000270: SWAP2 00000271: SWAP1 00000272: DUP2 00000273: ADD 00000274: SWAP1 00000275: PUSH1 0x40 00000277: DUP2 00000278: ADD 00000279: PUSH1 0x20 0000027b: DUP3 0000027c: ADD 0000027d: CALLDATALOAD 0000027e: PUSH5 0x0100000000 00000284: DUP2 00000285: GT 00000286: ISZERO 00000287: PUSH2 0x028f 0000028a: JUMPI 0000028b: PUSH1 0x00 0000028d: DUP1 0000028e: REVERT 0000028f: JUMPDEST 00000290: DUP3 00000291: ADD 00000292: DUP4 00000293: PUSH1 0x20 00000295: DUP3 00000296: ADD 00000297: GT 00000298: ISZERO 00000299: PUSH2 0x02a1 0000029c: JUMPI 0000029d: PUSH1 0x00 0000029f: DUP1 000002a0: REVERT 000002a1: JUMPDEST 000002a2: DUP1 000002a3: CALLDATALOAD 000002a4: SWAP1 000002a5: PUSH1 0x20 000002a7: ADD 000002a8: SWAP2 000002a9: DUP5 000002aa: PUSH1 0x01 000002ac: DUP4 000002ad: MUL 000002ae: DUP5 000002af: ADD 000002b0: GT 000002b1: PUSH5 0x0100000000 000002b7: DUP4 000002b8: GT 000002b9: OR 000002ba: ISZERO 000002bb: PUSH2 0x02c3 000002be: JUMPI 000002bf: PUSH1 0x00 000002c1: DUP1 000002c2: REVERT 000002c3: JUMPDEST 000002c4: POP 000002c5: SWAP1 000002c6: SWAP3 000002c7: POP 000002c8: SWAP1 000002c9: POP 000002ca: PUSH2 0x067c 000002cd: JUMP 000002ce: JUMPDEST 000002cf: CALLVALUE 000002d0: DUP1 000002d1: ISZERO 000002d2: PUSH2 0x02da 000002d5: JUMPI 000002d6: PUSH1 0x00 000002d8: DUP1 000002d9: REVERT 000002da: JUMPDEST 000002db: POP 000002dc: PUSH2 0x0155 000002df: PUSH2 0x07dc 000002e2: JUMP 000002e3: JUMPDEST 000002e4: CALLVALUE 000002e5: DUP1 000002e6: ISZERO 000002e7: PUSH2 0x02ef 000002ea: JUMPI 000002eb: PUSH1 0x00 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: POP 000002f1: PUSH2 0x0155 000002f4: PUSH2 0x08f5 000002f7: JUMP 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: DUP1 000002fb: ISZERO 000002fc: PUSH2 0x0304 000002ff: JUMPI 00000300: PUSH1 0x00 00000302: DUP1 00000303: REVERT 00000304: JUMPDEST 00000305: POP 00000306: PUSH2 0x030d 00000309: PUSH2 0x0a0e 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH1 0x40 00000310: DUP1 00000311: MLOAD 00000312: SWAP2 00000313: ISZERO 00000314: ISZERO 00000315: DUP3 00000316: MSTORE 00000317: MLOAD 00000318: SWAP1 00000319: DUP2 0000031a: SWAP1 0000031b: SUB 0000031c: PUSH1 0x20 0000031e: ADD 0000031f: SWAP1 00000320: RETURN 00000321: JUMPDEST 00000322: CALLVALUE 00000323: DUP1 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: PUSH2 0x0155 00000332: PUSH2 0x0b22 00000335: JUMP 00000336: JUMPDEST 00000337: CALLVALUE 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH2 0x0155 00000347: PUSH1 0x04 00000349: DUP1 0000034a: CALLDATASIZE 0000034b: SUB 0000034c: PUSH1 0x20 0000034e: DUP2 0000034f: LT 00000350: ISZERO 00000351: PUSH2 0x0359 00000354: JUMPI 00000355: PUSH1 0x00 00000357: DUP1 00000358: REVERT 00000359: JUMPDEST 0000035a: POP 0000035b: CALLDATALOAD 0000035c: PUSH1 0x01 0000035e: PUSH1 0x01 00000360: PUSH1 0xa0 00000362: SHL 00000363: SUB 00000364: AND 00000365: PUSH2 0x0c3b 00000368: JUMP 00000369: JUMPDEST 0000036a: CALLVALUE 0000036b: DUP1 0000036c: ISZERO 0000036d: PUSH2 0x0375 00000370: JUMPI 00000371: PUSH1 0x00 00000373: DUP1 00000374: REVERT 00000375: JUMPDEST 00000376: POP 00000377: PUSH2 0x0225 0000037a: JUMPDEST 0000037b: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000039c: SLOAD 0000039d: SWAP1 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH1 0x40 000003a2: DUP1 000003a3: MLOAD 000003a4: PUSH3 0x461bcd 000003a8: PUSH1 0xe5 000003aa: SHL 000003ab: DUP2 000003ac: MSTORE 000003ad: PUSH1 0x20 000003af: PUSH1 0x04 000003b1: DUP3 000003b2: ADD 000003b3: MSTORE 000003b4: PUSH1 0x05 000003b6: PUSH1 0x24 000003b8: DUP3 000003b9: ADD 000003ba: MSTORE 000003bb: PUSH5 0x7570673131 000003c1: PUSH1 0xd8 000003c3: SHL 000003c4: PUSH1 0x44 000003c6: DUP3 000003c7: ADD 000003c8: MSTORE 000003c9: SWAP1 000003ca: MLOAD 000003cb: SWAP1 000003cc: DUP2 000003cd: SWAP1 000003ce: SUB 000003cf: PUSH1 0x64 000003d1: ADD 000003d2: SWAP1 000003d3: REVERT 000003d4: JUMPDEST 000003d5: PUSH1 0x00 000003d7: DUP1 000003d8: PUSH1 0x60 000003da: PUSH2 0x03e1 000003dd: PUSH2 0x037a 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x40 000003e4: DUP1 000003e5: MLOAD 000003e6: PUSH1 0x04 000003e8: DUP2 000003e9: MSTORE 000003ea: PUSH1 0x24 000003ec: DUP2 000003ed: ADD 000003ee: DUP3 000003ef: MSTORE 000003f0: PUSH1 0x20 000003f2: DUP2 000003f3: ADD 000003f4: DUP1 000003f5: MLOAD 000003f6: PUSH1 0x01 000003f8: PUSH1 0x01 000003fa: PUSH1 0xe0 000003fc: SHL 000003fd: SUB 000003fe: AND 000003ff: PUSH4 0x0a8c5d3d 00000404: PUSH1 0xe2 00000406: SHL 00000407: OR 00000408: DUP2 00000409: MSTORE 0000040a: SWAP2 0000040b: MLOAD 0000040c: DUP2 0000040d: MLOAD 0000040e: PUSH1 0x01 00000410: PUSH1 0x01 00000412: PUSH1 0xa0 00000414: SHL 00000415: SUB 00000416: SWAP5 00000417: SWAP1 00000418: SWAP5 00000419: AND 0000041a: SWAP4 0000041b: SWAP2 0000041c: SWAP3 0000041d: SWAP1 0000041e: SWAP2 0000041f: DUP3 00000420: SWAP2 00000421: SWAP1 00000422: DUP1 00000423: DUP4 00000424: DUP4 00000425: JUMPDEST 00000426: PUSH1 0x20 00000428: DUP4 00000429: LT 0000042a: PUSH2 0x0444 0000042d: JUMPI 0000042e: DUP1 0000042f: MLOAD 00000430: DUP3 00000431: MSTORE 00000432: PUSH1 0x1f 00000434: NOT 00000435: SWAP1 00000436: SWAP3 00000437: ADD 00000438: SWAP2 00000439: PUSH1 0x20 0000043b: SWAP2 0000043c: DUP3 0000043d: ADD 0000043e: SWAP2 0000043f: ADD 00000440: PUSH2 0x0425 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH1 0x01 00000447: DUP4 00000448: PUSH1 0x20 0000044a: SUB 0000044b: PUSH2 0x0100 0000044e: EXP 0000044f: SUB 00000450: DUP1 00000451: NOT 00000452: DUP3 00000453: MLOAD 00000454: AND 00000455: DUP2 00000456: DUP5 00000457: MLOAD 00000458: AND 00000459: DUP1 0000045a: DUP3 0000045b: OR 0000045c: DUP6 0000045d: MSTORE 0000045e: POP 0000045f: POP 00000460: POP 00000461: POP 00000462: POP 00000463: POP 00000464: SWAP1 00000465: POP 00000466: ADD 00000467: SWAP2 00000468: POP 00000469: POP 0000046a: PUSH1 0x00 0000046c: PUSH1 0x40 0000046e: MLOAD 0000046f: DUP1 00000470: DUP4 00000471: SUB 00000472: DUP2 00000473: DUP6 00000474: GAS 00000475: DELEGATECALL 00000476: SWAP2 00000477: POP 00000478: POP 00000479: RETURNDATASIZE 0000047a: DUP1 0000047b: PUSH1 0x00 0000047d: DUP2 0000047e: EQ 0000047f: PUSH2 0x04a4 00000482: JUMPI 00000483: PUSH1 0x40 00000485: MLOAD 00000486: SWAP2 00000487: POP 00000488: PUSH1 0x1f 0000048a: NOT 0000048b: PUSH1 0x3f 0000048d: RETURNDATASIZE 0000048e: ADD 0000048f: AND 00000490: DUP3 00000491: ADD 00000492: PUSH1 0x40 00000494: MSTORE 00000495: RETURNDATASIZE 00000496: DUP3 00000497: MSTORE 00000498: RETURNDATASIZE 00000499: PUSH1 0x00 0000049b: PUSH1 0x20 0000049d: DUP5 0000049e: ADD 0000049f: RETURNDATACOPY 000004a0: PUSH2 0x04a9 000004a3: JUMP 000004a4: JUMPDEST 000004a5: PUSH1 0x60 000004a7: SWAP2 000004a8: POP 000004a9: JUMPDEST 000004aa: POP 000004ab: SWAP2 000004ac: POP 000004ad: SWAP2 000004ae: POP 000004af: DUP2 000004b0: PUSH2 0x04e8 000004b3: JUMPI 000004b4: PUSH1 0x40 000004b6: DUP1 000004b7: MLOAD 000004b8: PUSH3 0x461bcd 000004bc: PUSH1 0xe5 000004be: SHL 000004bf: DUP2 000004c0: MSTORE 000004c1: PUSH1 0x20 000004c3: PUSH1 0x04 000004c5: DUP3 000004c6: ADD 000004c7: MSTORE 000004c8: PUSH1 0x05 000004ca: PUSH1 0x24 000004cc: DUP3 000004cd: ADD 000004ce: MSTORE 000004cf: PUSH5 0x756e703131 000004d5: PUSH1 0xd8 000004d7: SHL 000004d8: PUSH1 0x44 000004da: DUP3 000004db: ADD 000004dc: MSTORE 000004dd: SWAP1 000004de: MLOAD 000004df: SWAP1 000004e0: DUP2 000004e1: SWAP1 000004e2: SUB 000004e3: PUSH1 0x64 000004e5: ADD 000004e6: SWAP1 000004e7: REVERT 000004e8: JUMPDEST 000004e9: DUP1 000004ea: DUP1 000004eb: PUSH1 0x20 000004ed: ADD 000004ee: SWAP1 000004ef: MLOAD 000004f0: PUSH1 0x20 000004f2: DUP2 000004f3: LT 000004f4: ISZERO 000004f5: PUSH2 0x04fd 000004f8: JUMPI 000004f9: PUSH1 0x00 000004fb: DUP1 000004fc: REVERT 000004fd: JUMPDEST 000004fe: POP 000004ff: MLOAD 00000500: SWAP3 00000501: POP 00000502: POP 00000503: POP 00000504: SWAP1 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH2 0x050f 0000050a: CALLER 0000050b: PUSH2 0x0c90 0000050e: JUMP 0000050f: JUMPDEST 00000510: PUSH1 0x00 00000512: PUSH2 0x0519 00000515: PUSH2 0x037a 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH1 0x40 0000051c: DUP1 0000051d: MLOAD 0000051e: PUSH1 0x04 00000520: DUP2 00000521: MSTORE 00000522: PUSH1 0x24 00000524: DUP2 00000525: ADD 00000526: DUP3 00000527: MSTORE 00000528: PUSH1 0x20 0000052a: DUP2 0000052b: ADD 0000052c: DUP1 0000052d: MLOAD 0000052e: PUSH1 0x01 00000530: PUSH1 0x01 00000532: PUSH1 0xe0 00000534: SHL 00000535: SUB 00000536: AND 00000537: PUSH4 0x3b154b73 0000053c: PUSH1 0xe0 0000053e: SHL 0000053f: OR 00000540: DUP2 00000541: MSTORE 00000542: SWAP2 00000543: MLOAD 00000544: DUP2 00000545: MLOAD 00000546: PUSH1 0x01 00000548: PUSH1 0x01 0000054a: PUSH1 0xa0 0000054c: SHL 0000054d: SUB 0000054e: SWAP5 0000054f: SWAP1 00000550: SWAP5 00000551: AND 00000552: SWAP4 00000553: SWAP2 00000554: SWAP3 00000555: SWAP1 00000556: SWAP2 00000557: DUP3 00000558: SWAP2 00000559: SWAP1 0000055a: DUP1 0000055b: DUP4 0000055c: DUP4 0000055d: JUMPDEST 0000055e: PUSH1 0x20 00000560: DUP4 00000561: LT 00000562: PUSH2 0x057c 00000565: JUMPI 00000566: DUP1 00000567: MLOAD 00000568: DUP3 00000569: MSTORE 0000056a: PUSH1 0x1f 0000056c: NOT 0000056d: SWAP1 0000056e: SWAP3 0000056f: ADD 00000570: SWAP2 00000571: PUSH1 0x20 00000573: SWAP2 00000574: DUP3 00000575: ADD 00000576: SWAP2 00000577: ADD 00000578: PUSH2 0x055d 0000057b: JUMP 0000057c: JUMPDEST 0000057d: PUSH1 0x01 0000057f: DUP4 00000580: PUSH1 0x20 00000582: SUB 00000583: PUSH2 0x0100 00000586: EXP 00000587: SUB 00000588: DUP1 00000589: NOT 0000058a: DUP3 0000058b: MLOAD 0000058c: AND 0000058d: DUP2 0000058e: DUP5 0000058f: MLOAD 00000590: AND 00000591: DUP1 00000592: DUP3 00000593: OR 00000594: DUP6 00000595: MSTORE 00000596: POP 00000597: POP 00000598: POP 00000599: POP 0000059a: POP 0000059b: POP 0000059c: SWAP1 0000059d: POP 0000059e: ADD 0000059f: SWAP2 000005a0: POP 000005a1: POP 000005a2: PUSH1 0x00 000005a4: PUSH1 0x40 000005a6: MLOAD 000005a7: DUP1 000005a8: DUP4 000005a9: SUB 000005aa: DUP2 000005ab: DUP6 000005ac: GAS 000005ad: DELEGATECALL 000005ae: SWAP2 000005af: POP 000005b0: POP 000005b1: RETURNDATASIZE 000005b2: DUP1 000005b3: PUSH1 0x00 000005b5: DUP2 000005b6: EQ 000005b7: PUSH2 0x05dc 000005ba: JUMPI 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: SWAP2 000005bf: POP 000005c0: PUSH1 0x1f 000005c2: NOT 000005c3: PUSH1 0x3f 000005c5: RETURNDATASIZE 000005c6: ADD 000005c7: AND 000005c8: DUP3 000005c9: ADD 000005ca: PUSH1 0x40 000005cc: MSTORE 000005cd: RETURNDATASIZE 000005ce: DUP3 000005cf: MSTORE 000005d0: RETURNDATASIZE 000005d1: PUSH1 0x00 000005d3: PUSH1 0x20 000005d5: DUP5 000005d6: ADD 000005d7: RETURNDATACOPY 000005d8: PUSH2 0x05e1 000005db: JUMP 000005dc: JUMPDEST 000005dd: PUSH1 0x60 000005df: SWAP2 000005e0: POP 000005e1: JUMPDEST 000005e2: POP 000005e3: POP 000005e4: SWAP1 000005e5: POP 000005e6: DUP1 000005e7: PUSH2 0x061f 000005ea: JUMPI 000005eb: PUSH1 0x40 000005ed: DUP1 000005ee: MLOAD 000005ef: PUSH3 0x461bcd 000005f3: PUSH1 0xe5 000005f5: SHL 000005f6: DUP2 000005f7: MSTORE 000005f8: PUSH1 0x20 000005fa: PUSH1 0x04 000005fc: DUP3 000005fd: ADD 000005fe: MSTORE 000005ff: PUSH1 0x05 00000601: PUSH1 0x24 00000603: DUP3 00000604: ADD 00000605: MSTORE 00000606: PUSH5 0x6e70733131 0000060c: PUSH1 0xd8 0000060e: SHL 0000060f: PUSH1 0x44 00000611: DUP3 00000612: ADD 00000613: MSTORE 00000614: SWAP1 00000615: MLOAD 00000616: SWAP1 00000617: DUP2 00000618: SWAP1 00000619: SUB 0000061a: PUSH1 0x64 0000061c: ADD 0000061d: SWAP1 0000061e: REVERT 0000061f: JUMPDEST 00000620: POP 00000621: JUMP 00000622: JUMPDEST 00000623: PUSH1 0x40 00000625: DUP1 00000626: MLOAD 00000627: PUSH3 0x461bcd 0000062b: PUSH1 0xe5 0000062d: SHL 0000062e: DUP2 0000062f: MSTORE 00000630: PUSH1 0x20 00000632: PUSH1 0x04 00000634: DUP3 00000635: ADD 00000636: MSTORE 00000637: PUSH1 0x05 00000639: PUSH1 0x24 0000063b: DUP3 0000063c: ADD 0000063d: MSTORE 0000063e: PUSH5 0x696e693131 00000644: PUSH1 0xd8 00000646: SHL 00000647: PUSH1 0x44 00000649: DUP3 0000064a: ADD 0000064b: MSTORE 0000064c: SWAP1 0000064d: MLOAD 0000064e: SWAP1 0000064f: DUP2 00000650: SWAP1 00000651: SUB 00000652: PUSH1 0x64 00000654: ADD 00000655: SWAP1 00000656: REVERT 00000657: JUMPDEST 00000658: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00000679: SLOAD 0000067a: SWAP1 0000067b: JUMP 0000067c: JUMPDEST 0000067d: PUSH2 0x0685 00000680: CALLER 00000681: PUSH2 0x0c90 00000684: JUMP 00000685: JUMPDEST 00000686: PUSH2 0x068e 00000689: DUP4 0000068a: PUSH2 0x0ce5 0000068d: JUMP 0000068e: JUMPDEST 0000068f: PUSH1 0x00 00000691: PUSH2 0x0698 00000694: PUSH2 0x037a 00000697: JUMP 00000698: JUMPDEST 00000699: PUSH1 0x01 0000069b: PUSH1 0x01 0000069d: PUSH1 0xa0 0000069f: SHL 000006a0: SUB 000006a1: AND 000006a2: DUP4 000006a3: DUP4 000006a4: PUSH1 0x40 000006a6: MLOAD 000006a7: PUSH1 0x24 000006a9: ADD 000006aa: DUP1 000006ab: DUP1 000006ac: PUSH1 0x20 000006ae: ADD 000006af: DUP3 000006b0: DUP2 000006b1: SUB 000006b2: DUP3 000006b3: MSTORE 000006b4: DUP5 000006b5: DUP5 000006b6: DUP3 000006b7: DUP2 000006b8: DUP2 000006b9: MSTORE 000006ba: PUSH1 0x20 000006bc: ADD 000006bd: SWAP3 000006be: POP 000006bf: DUP1 000006c0: DUP3 000006c1: DUP5 000006c2: CALLDATACOPY 000006c3: PUSH1 0x00 000006c5: DUP4 000006c6: DUP3 000006c7: ADD 000006c8: MSTORE 000006c9: PUSH1 0x40 000006cb: DUP1 000006cc: MLOAD 000006cd: PUSH1 0x1f 000006cf: SWAP1 000006d0: SWAP3 000006d1: ADD 000006d2: PUSH1 0x1f 000006d4: NOT 000006d5: SWAP1 000006d6: DUP2 000006d7: AND 000006d8: SWAP1 000006d9: SWAP5 000006da: ADD 000006db: DUP3 000006dc: DUP2 000006dd: SUB 000006de: SWAP1 000006df: SWAP5 000006e0: ADD 000006e1: DUP3 000006e2: MSTORE 000006e3: SWAP3 000006e4: DUP4 000006e5: MSTORE 000006e6: PUSH1 0x20 000006e8: DUP2 000006e9: ADD 000006ea: DUP1 000006eb: MLOAD 000006ec: PUSH1 0x01 000006ee: PUSH1 0x01 000006f0: PUSH1 0xe0 000006f2: SHL 000006f3: SUB 000006f4: AND 000006f5: PUSH4 0x25394645 000006fa: PUSH1 0xe0 000006fc: SHL 000006fd: OR 000006fe: DUP2 000006ff: MSTORE 00000700: SWAP3 00000701: MLOAD 00000702: DUP2 00000703: MLOAD 00000704: SWAP2 00000705: SWAP8 00000706: POP 00000707: SWAP6 00000708: POP 00000709: DUP6 0000070a: SWAP5 0000070b: POP 0000070c: SWAP2 0000070d: SWAP3 0000070e: POP 0000070f: DUP2 00000710: SWAP1 00000711: POP 00000712: DUP4 00000713: DUP4 00000714: JUMPDEST 00000715: PUSH1 0x20 00000717: DUP4 00000718: LT 00000719: PUSH2 0x0733 0000071c: JUMPI 0000071d: DUP1 0000071e: MLOAD 0000071f: DUP3 00000720: MSTORE 00000721: PUSH1 0x1f 00000723: NOT 00000724: SWAP1 00000725: SWAP3 00000726: ADD 00000727: SWAP2 00000728: PUSH1 0x20 0000072a: SWAP2 0000072b: DUP3 0000072c: ADD 0000072d: SWAP2 0000072e: ADD 0000072f: PUSH2 0x0714 00000732: JUMP 00000733: JUMPDEST 00000734: PUSH1 0x01 00000736: DUP4 00000737: PUSH1 0x20 00000739: SUB 0000073a: PUSH2 0x0100 0000073d: EXP 0000073e: SUB 0000073f: DUP1 00000740: NOT 00000741: DUP3 00000742: MLOAD 00000743: AND 00000744: DUP2 00000745: DUP5 00000746: MLOAD 00000747: AND 00000748: DUP1 00000749: DUP3 0000074a: OR 0000074b: DUP6 0000074c: MSTORE 0000074d: POP 0000074e: POP 0000074f: POP 00000750: POP 00000751: POP 00000752: POP 00000753: SWAP1 00000754: POP 00000755: ADD 00000756: SWAP2 00000757: POP 00000758: POP 00000759: PUSH1 0x00 0000075b: PUSH1 0x40 0000075d: MLOAD 0000075e: DUP1 0000075f: DUP4 00000760: SUB 00000761: DUP2 00000762: DUP6 00000763: GAS 00000764: DELEGATECALL 00000765: SWAP2 00000766: POP 00000767: POP 00000768: RETURNDATASIZE 00000769: DUP1 0000076a: PUSH1 0x00 0000076c: DUP2 0000076d: EQ 0000076e: PUSH2 0x0793 00000771: JUMPI 00000772: PUSH1 0x40 00000774: MLOAD 00000775: SWAP2 00000776: POP 00000777: PUSH1 0x1f 00000779: NOT 0000077a: PUSH1 0x3f 0000077c: RETURNDATASIZE 0000077d: ADD 0000077e: AND 0000077f: DUP3 00000780: ADD 00000781: PUSH1 0x40 00000783: MSTORE 00000784: RETURNDATASIZE 00000785: DUP3 00000786: MSTORE 00000787: RETURNDATASIZE 00000788: PUSH1 0x00 0000078a: PUSH1 0x20 0000078c: DUP5 0000078d: ADD 0000078e: RETURNDATACOPY 0000078f: PUSH2 0x0798 00000792: JUMP 00000793: JUMPDEST 00000794: PUSH1 0x60 00000796: SWAP2 00000797: POP 00000798: JUMPDEST 00000799: POP 0000079a: POP 0000079b: SWAP1 0000079c: POP 0000079d: DUP1 0000079e: PUSH2 0x07d6 000007a1: JUMPI 000007a2: PUSH1 0x40 000007a4: DUP1 000007a5: MLOAD 000007a6: PUSH3 0x461bcd 000007aa: PUSH1 0xe5 000007ac: SHL 000007ad: DUP2 000007ae: MSTORE 000007af: PUSH1 0x20 000007b1: PUSH1 0x04 000007b3: DUP3 000007b4: ADD 000007b5: MSTORE 000007b6: PUSH1 0x05 000007b8: PUSH1 0x24 000007ba: DUP3 000007bb: ADD 000007bc: MSTORE 000007bd: PUSH5 0x7566753131 000007c3: PUSH1 0xd8 000007c5: SHL 000007c6: PUSH1 0x44 000007c8: DUP3 000007c9: ADD 000007ca: MSTORE 000007cb: SWAP1 000007cc: MLOAD 000007cd: SWAP1 000007ce: DUP2 000007cf: SWAP1 000007d0: SUB 000007d1: PUSH1 0x64 000007d3: ADD 000007d4: SWAP1 000007d5: REVERT 000007d6: JUMPDEST 000007d7: POP 000007d8: POP 000007d9: POP 000007da: POP 000007db: JUMP 000007dc: JUMPDEST 000007dd: PUSH2 0x07e5 000007e0: CALLER 000007e1: PUSH2 0x0c90 000007e4: JUMP 000007e5: JUMPDEST 000007e6: PUSH1 0x00 000007e8: PUSH2 0x07ef 000007eb: PUSH2 0x037a 000007ee: JUMP 000007ef: JUMPDEST 000007f0: PUSH1 0x40 000007f2: DUP1 000007f3: MLOAD 000007f4: PUSH1 0x04 000007f6: DUP2 000007f7: MSTORE 000007f8: PUSH1 0x24 000007fa: DUP2 000007fb: ADD 000007fc: DUP3 000007fd: MSTORE 000007fe: PUSH1 0x20 00000800: DUP2 00000801: ADD 00000802: DUP1 00000803: MLOAD 00000804: PUSH1 0x01 00000806: PUSH1 0x01 00000808: PUSH1 0xe0 0000080a: SHL 0000080b: SUB 0000080c: AND 0000080d: PUSH4 0x078b91e7 00000812: PUSH1 0xe4 00000814: SHL 00000815: OR 00000816: DUP2 00000817: MSTORE 00000818: SWAP2 00000819: MLOAD 0000081a: DUP2 0000081b: MLOAD 0000081c: PUSH1 0x01 0000081e: PUSH1 0x01 00000820: PUSH1 0xa0 00000822: SHL 00000823: SUB 00000824: SWAP5 00000825: SWAP1 00000826: SWAP5 00000827: AND 00000828: SWAP4 00000829: SWAP2 0000082a: SWAP3 0000082b: SWAP1 0000082c: SWAP2 0000082d: DUP3 0000082e: SWAP2 0000082f: SWAP1 00000830: DUP1 00000831: DUP4 00000832: DUP4 00000833: JUMPDEST 00000834: PUSH1 0x20 00000836: DUP4 00000837: LT 00000838: PUSH2 0x0852 0000083b: JUMPI 0000083c: DUP1 0000083d: MLOAD 0000083e: DUP3 0000083f: MSTORE 00000840: PUSH1 0x1f 00000842: NOT 00000843: SWAP1 00000844: SWAP3 00000845: ADD 00000846: SWAP2 00000847: PUSH1 0x20 00000849: SWAP2 0000084a: DUP3 0000084b: ADD 0000084c: SWAP2 0000084d: ADD 0000084e: PUSH2 0x0833 00000851: JUMP 00000852: JUMPDEST 00000853: PUSH1 0x01 00000855: DUP4 00000856: PUSH1 0x20 00000858: SUB 00000859: PUSH2 0x0100 0000085c: EXP 0000085d: SUB 0000085e: DUP1 0000085f: NOT 00000860: DUP3 00000861: MLOAD 00000862: AND 00000863: DUP2 00000864: DUP5 00000865: MLOAD 00000866: AND 00000867: DUP1 00000868: DUP3 00000869: OR 0000086a: DUP6 0000086b: MSTORE 0000086c: POP 0000086d: POP 0000086e: POP 0000086f: POP 00000870: POP 00000871: POP 00000872: SWAP1 00000873: POP 00000874: ADD 00000875: SWAP2 00000876: POP 00000877: POP 00000878: PUSH1 0x00 0000087a: PUSH1 0x40 0000087c: MLOAD 0000087d: DUP1 0000087e: DUP4 0000087f: SUB 00000880: DUP2 00000881: DUP6 00000882: GAS 00000883: DELEGATECALL 00000884: SWAP2 00000885: POP 00000886: POP 00000887: RETURNDATASIZE 00000888: DUP1 00000889: PUSH1 0x00 0000088b: DUP2 0000088c: EQ 0000088d: PUSH2 0x08b2 00000890: JUMPI 00000891: PUSH1 0x40 00000893: MLOAD 00000894: SWAP2 00000895: POP 00000896: PUSH1 0x1f 00000898: NOT 00000899: PUSH1 0x3f 0000089b: RETURNDATASIZE 0000089c: ADD 0000089d: AND 0000089e: DUP3 0000089f: ADD 000008a0: PUSH1 0x40 000008a2: MSTORE 000008a3: RETURNDATASIZE 000008a4: DUP3 000008a5: MSTORE 000008a6: RETURNDATASIZE 000008a7: PUSH1 0x00 000008a9: PUSH1 0x20 000008ab: DUP5 000008ac: ADD 000008ad: RETURNDATACOPY 000008ae: PUSH2 0x08b7 000008b1: JUMP 000008b2: JUMPDEST 000008b3: PUSH1 0x60 000008b5: SWAP2 000008b6: POP 000008b7: JUMPDEST 000008b8: POP 000008b9: POP 000008ba: SWAP1 000008bb: POP 000008bc: DUP1 000008bd: PUSH2 0x061f 000008c0: JUMPI 000008c1: PUSH1 0x40 000008c3: DUP1 000008c4: MLOAD 000008c5: PUSH3 0x461bcd 000008c9: PUSH1 0xe5 000008cb: SHL 000008cc: DUP2 000008cd: MSTORE 000008ce: PUSH1 0x20 000008d0: PUSH1 0x04 000008d2: DUP3 000008d3: ADD 000008d4: MSTORE 000008d5: PUSH1 0x05 000008d7: PUSH1 0x24 000008d9: DUP3 000008da: ADD 000008db: MSTORE 000008dc: PUSH5 0x7570733131 000008e2: PUSH1 0xd8 000008e4: SHL 000008e5: PUSH1 0x44 000008e7: DUP3 000008e8: ADD 000008e9: MSTORE 000008ea: SWAP1 000008eb: MLOAD 000008ec: SWAP1 000008ed: DUP2 000008ee: SWAP1 000008ef: SUB 000008f0: PUSH1 0x64 000008f2: ADD 000008f3: SWAP1 000008f4: REVERT 000008f5: JUMPDEST 000008f6: PUSH2 0x08fe 000008f9: CALLER 000008fa: PUSH2 0x0c90 000008fd: JUMP 000008fe: JUMPDEST 000008ff: PUSH1 0x00 00000901: PUSH2 0x0908 00000904: PUSH2 0x037a 00000907: JUMP 00000908: JUMPDEST 00000909: PUSH1 0x40 0000090b: DUP1 0000090c: MLOAD 0000090d: PUSH1 0x04 0000090f: DUP2 00000910: MSTORE 00000911: PUSH1 0x24 00000913: DUP2 00000914: ADD 00000915: DUP3 00000916: MSTORE 00000917: PUSH1 0x20 00000919: DUP2 0000091a: ADD 0000091b: DUP1 0000091c: MLOAD 0000091d: PUSH1 0x01 0000091f: PUSH1 0x01 00000921: PUSH1 0xe0 00000923: SHL 00000924: SUB 00000925: AND 00000926: PUSH4 0x871b8ff1 0000092b: PUSH1 0xe0 0000092d: SHL 0000092e: OR 0000092f: DUP2 00000930: MSTORE 00000931: SWAP2 00000932: MLOAD 00000933: DUP2 00000934: MLOAD 00000935: PUSH1 0x01 00000937: PUSH1 0x01 00000939: PUSH1 0xa0 0000093b: SHL 0000093c: SUB 0000093d: SWAP5 0000093e: SWAP1 0000093f: SWAP5 00000940: AND 00000941: SWAP4 00000942: SWAP2 00000943: SWAP3 00000944: SWAP1 00000945: SWAP2 00000946: DUP3 00000947: SWAP2 00000948: SWAP1 00000949: DUP1 0000094a: DUP4 0000094b: DUP4 0000094c: JUMPDEST 0000094d: PUSH1 0x20 0000094f: DUP4 00000950: LT 00000951: PUSH2 0x096b 00000954: JUMPI 00000955: DUP1 00000956: MLOAD 00000957: DUP3 00000958: MSTORE 00000959: PUSH1 0x1f 0000095b: NOT 0000095c: SWAP1 0000095d: SWAP3 0000095e: ADD 0000095f: SWAP2 00000960: PUSH1 0x20 00000962: SWAP2 00000963: DUP3 00000964: ADD 00000965: SWAP2 00000966: ADD 00000967: PUSH2 0x094c 0000096a: JUMP 0000096b: JUMPDEST 0000096c: PUSH1 0x01 0000096e: DUP4 0000096f: PUSH1 0x20 00000971: SUB 00000972: PUSH2 0x0100 00000975: EXP 00000976: SUB 00000977: DUP1 00000978: NOT 00000979: DUP3 0000097a: MLOAD 0000097b: AND 0000097c: DUP2 0000097d: DUP5 0000097e: MLOAD 0000097f: AND 00000980: DUP1 00000981: DUP3 00000982: OR 00000983: DUP6 00000984: MSTORE 00000985: POP 00000986: POP 00000987: POP 00000988: POP 00000989: POP 0000098a: POP 0000098b: SWAP1 0000098c: POP 0000098d: ADD 0000098e: SWAP2 0000098f: POP 00000990: POP 00000991: PUSH1 0x00 00000993: PUSH1 0x40 00000995: MLOAD 00000996: DUP1 00000997: DUP4 00000998: SUB 00000999: DUP2 0000099a: DUP6 0000099b: GAS 0000099c: DELEGATECALL 0000099d: SWAP2 0000099e: POP 0000099f: POP 000009a0: RETURNDATASIZE 000009a1: DUP1 000009a2: PUSH1 0x00 000009a4: DUP2 000009a5: EQ 000009a6: PUSH2 0x09cb 000009a9: JUMPI 000009aa: PUSH1 0x40 000009ac: MLOAD 000009ad: SWAP2 000009ae: POP 000009af: PUSH1 0x1f 000009b1: NOT 000009b2: PUSH1 0x3f 000009b4: RETURNDATASIZE 000009b5: ADD 000009b6: AND 000009b7: DUP3 000009b8: ADD 000009b9: PUSH1 0x40 000009bb: MSTORE 000009bc: RETURNDATASIZE 000009bd: DUP3 000009be: MSTORE 000009bf: RETURNDATASIZE 000009c0: PUSH1 0x00 000009c2: PUSH1 0x20 000009c4: DUP5 000009c5: ADD 000009c6: RETURNDATACOPY 000009c7: PUSH2 0x09d0 000009ca: JUMP 000009cb: JUMPDEST 000009cc: PUSH1 0x60 000009ce: SWAP2 000009cf: POP 000009d0: JUMPDEST 000009d1: POP 000009d2: POP 000009d3: SWAP1 000009d4: POP 000009d5: DUP1 000009d6: PUSH2 0x061f 000009d9: JUMPI 000009da: PUSH1 0x40 000009dc: DUP1 000009dd: MLOAD 000009de: PUSH3 0x461bcd 000009e2: PUSH1 0xe5 000009e4: SHL 000009e5: DUP2 000009e6: MSTORE 000009e7: PUSH1 0x20 000009e9: PUSH1 0x04 000009eb: DUP3 000009ec: ADD 000009ed: MSTORE 000009ee: PUSH1 0x05 000009f0: PUSH1 0x24 000009f2: DUP3 000009f3: ADD 000009f4: MSTORE 000009f5: PUSH5 0x7075633131 000009fb: PUSH1 0xd8 000009fd: SHL 000009fe: PUSH1 0x44 00000a00: DUP3 00000a01: ADD 00000a02: MSTORE 00000a03: SWAP1 00000a04: MLOAD 00000a05: SWAP1 00000a06: DUP2 00000a07: SWAP1 00000a08: SUB 00000a09: PUSH1 0x64 00000a0b: ADD 00000a0c: SWAP1 00000a0d: REVERT 00000a0e: JUMPDEST 00000a0f: PUSH1 0x00 00000a11: DUP1 00000a12: PUSH1 0x60 00000a14: PUSH2 0x0a1b 00000a17: PUSH2 0x037a 00000a1a: JUMP 00000a1b: JUMPDEST 00000a1c: PUSH1 0x40 00000a1e: DUP1 00000a1f: MLOAD 00000a20: PUSH1 0x04 00000a22: DUP2 00000a23: MSTORE 00000a24: PUSH1 0x24 00000a26: DUP2 00000a27: ADD 00000a28: DUP3 00000a29: MSTORE 00000a2a: PUSH1 0x20 00000a2c: DUP2 00000a2d: ADD 00000a2e: DUP1 00000a2f: MLOAD 00000a30: PUSH1 0x01 00000a32: PUSH1 0x01 00000a34: PUSH1 0xe0 00000a36: SHL 00000a37: SUB 00000a38: AND 00000a39: PUSH4 0x21dcccd3 00000a3e: PUSH1 0xe2 00000a40: SHL 00000a41: OR 00000a42: DUP2 00000a43: MSTORE 00000a44: SWAP2 00000a45: MLOAD 00000a46: DUP2 00000a47: MLOAD 00000a48: PUSH1 0x01 00000a4a: PUSH1 0x01 00000a4c: PUSH1 0xa0 00000a4e: SHL 00000a4f: SUB 00000a50: SWAP5 00000a51: SWAP1 00000a52: SWAP5 00000a53: AND 00000a54: SWAP4 00000a55: SWAP2 00000a56: SWAP3 00000a57: SWAP1 00000a58: SWAP2 00000a59: DUP3 00000a5a: SWAP2 00000a5b: SWAP1 00000a5c: DUP1 00000a5d: DUP4 00000a5e: DUP4 00000a5f: JUMPDEST 00000a60: PUSH1 0x20 00000a62: DUP4 00000a63: LT 00000a64: PUSH2 0x0a7e 00000a67: JUMPI 00000a68: DUP1 00000a69: MLOAD 00000a6a: DUP3 00000a6b: MSTORE 00000a6c: PUSH1 0x1f 00000a6e: NOT 00000a6f: SWAP1 00000a70: SWAP3 00000a71: ADD 00000a72: SWAP2 00000a73: PUSH1 0x20 00000a75: SWAP2 00000a76: DUP3 00000a77: ADD 00000a78: SWAP2 00000a79: ADD 00000a7a: PUSH2 0x0a5f 00000a7d: JUMP 00000a7e: JUMPDEST 00000a7f: PUSH1 0x01 00000a81: DUP4 00000a82: PUSH1 0x20 00000a84: SUB 00000a85: PUSH2 0x0100 00000a88: EXP 00000a89: SUB 00000a8a: DUP1 00000a8b: NOT 00000a8c: DUP3 00000a8d: MLOAD 00000a8e: AND 00000a8f: DUP2 00000a90: DUP5 00000a91: MLOAD 00000a92: AND 00000a93: DUP1 00000a94: DUP3 00000a95: OR 00000a96: DUP6 00000a97: MSTORE 00000a98: POP 00000a99: POP 00000a9a: POP 00000a9b: POP 00000a9c: POP 00000a9d: POP 00000a9e: SWAP1 00000a9f: POP 00000aa0: ADD 00000aa1: SWAP2 00000aa2: POP 00000aa3: POP 00000aa4: PUSH1 0x00 00000aa6: PUSH1 0x40 00000aa8: MLOAD 00000aa9: DUP1 00000aaa: DUP4 00000aab: SUB 00000aac: DUP2 00000aad: DUP6 00000aae: GAS 00000aaf: DELEGATECALL 00000ab0: SWAP2 00000ab1: POP 00000ab2: POP 00000ab3: RETURNDATASIZE 00000ab4: DUP1 00000ab5: PUSH1 0x00 00000ab7: DUP2 00000ab8: EQ 00000ab9: PUSH2 0x0ade 00000abc: JUMPI 00000abd: PUSH1 0x40 00000abf: MLOAD 00000ac0: SWAP2 00000ac1: POP 00000ac2: PUSH1 0x1f 00000ac4: NOT 00000ac5: PUSH1 0x3f 00000ac7: RETURNDATASIZE 00000ac8: ADD 00000ac9: AND 00000aca: DUP3 00000acb: ADD 00000acc: PUSH1 0x40 00000ace: MSTORE 00000acf: RETURNDATASIZE 00000ad0: DUP3 00000ad1: MSTORE 00000ad2: RETURNDATASIZE 00000ad3: PUSH1 0x00 00000ad5: PUSH1 0x20 00000ad7: DUP5 00000ad8: ADD 00000ad9: RETURNDATACOPY 00000ada: PUSH2 0x0ae3 00000add: JUMP 00000ade: JUMPDEST 00000adf: PUSH1 0x60 00000ae1: SWAP2 00000ae2: POP 00000ae3: JUMPDEST 00000ae4: POP 00000ae5: SWAP2 00000ae6: POP 00000ae7: SWAP2 00000ae8: POP 00000ae9: DUP2 00000aea: PUSH2 0x04e8 00000aed: JUMPI 00000aee: PUSH1 0x40 00000af0: DUP1 00000af1: MLOAD 00000af2: PUSH3 0x461bcd 00000af6: PUSH1 0xe5 00000af8: SHL 00000af9: DUP2 00000afa: MSTORE 00000afb: PUSH1 0x20 00000afd: PUSH1 0x04 00000aff: DUP3 00000b00: ADD 00000b01: MSTORE 00000b02: PUSH1 0x05 00000b04: PUSH1 0x24 00000b06: DUP3 00000b07: ADD 00000b08: MSTORE 00000b09: PUSH5 0x7266753131 00000b0f: PUSH1 0xd8 00000b11: SHL 00000b12: PUSH1 0x44 00000b14: DUP3 00000b15: ADD 00000b16: MSTORE 00000b17: SWAP1 00000b18: MLOAD 00000b19: SWAP1 00000b1a: DUP2 00000b1b: SWAP1 00000b1c: SUB 00000b1d: PUSH1 0x64 00000b1f: ADD 00000b20: SWAP1 00000b21: REVERT 00000b22: JUMPDEST 00000b23: PUSH2 0x0b2b 00000b26: CALLER 00000b27: PUSH2 0x0c90 00000b2a: JUMP 00000b2b: JUMPDEST 00000b2c: PUSH1 0x00 00000b2e: PUSH2 0x0b35 00000b31: PUSH2 0x037a 00000b34: JUMP 00000b35: JUMPDEST 00000b36: PUSH1 0x40 00000b38: DUP1 00000b39: MLOAD 00000b3a: PUSH1 0x04 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH1 0x24 00000b40: DUP2 00000b41: ADD 00000b42: DUP3 00000b43: MSTORE 00000b44: PUSH1 0x20 00000b46: DUP2 00000b47: ADD 00000b48: DUP1 00000b49: MLOAD 00000b4a: PUSH1 0x01 00000b4c: PUSH1 0x01 00000b4e: PUSH1 0xe0 00000b50: SHL 00000b51: SUB 00000b52: AND 00000b53: PUSH4 0x5934dcd7 00000b58: PUSH1 0xe1 00000b5a: SHL 00000b5b: OR 00000b5c: DUP2 00000b5d: MSTORE 00000b5e: SWAP2 00000b5f: MLOAD 00000b60: DUP2 00000b61: MLOAD 00000b62: PUSH1 0x01 00000b64: PUSH1 0x01 00000b66: PUSH1 0xa0 00000b68: SHL 00000b69: SUB 00000b6a: SWAP5 00000b6b: SWAP1 00000b6c: SWAP5 00000b6d: AND 00000b6e: SWAP4 00000b6f: SWAP2 00000b70: SWAP3 00000b71: SWAP1 00000b72: SWAP2 00000b73: DUP3 00000b74: SWAP2 00000b75: SWAP1 00000b76: DUP1 00000b77: DUP4 00000b78: DUP4 00000b79: JUMPDEST 00000b7a: PUSH1 0x20 00000b7c: DUP4 00000b7d: LT 00000b7e: PUSH2 0x0b98 00000b81: JUMPI 00000b82: DUP1 00000b83: MLOAD 00000b84: DUP3 00000b85: MSTORE 00000b86: PUSH1 0x1f 00000b88: NOT 00000b89: SWAP1 00000b8a: SWAP3 00000b8b: ADD 00000b8c: SWAP2 00000b8d: PUSH1 0x20 00000b8f: SWAP2 00000b90: DUP3 00000b91: ADD 00000b92: SWAP2 00000b93: ADD 00000b94: PUSH2 0x0b79 00000b97: JUMP 00000b98: JUMPDEST 00000b99: PUSH1 0x01 00000b9b: DUP4 00000b9c: PUSH1 0x20 00000b9e: SUB 00000b9f: PUSH2 0x0100 00000ba2: EXP 00000ba3: SUB 00000ba4: DUP1 00000ba5: NOT 00000ba6: DUP3 00000ba7: MLOAD 00000ba8: AND 00000ba9: DUP2 00000baa: DUP5 00000bab: MLOAD 00000bac: AND 00000bad: DUP1 00000bae: DUP3 00000baf: OR 00000bb0: DUP6 00000bb1: MSTORE 00000bb2: POP 00000bb3: POP 00000bb4: POP 00000bb5: POP 00000bb6: POP 00000bb7: POP 00000bb8: SWAP1 00000bb9: POP 00000bba: ADD 00000bbb: SWAP2 00000bbc: POP 00000bbd: POP 00000bbe: PUSH1 0x00 00000bc0: PUSH1 0x40 00000bc2: MLOAD 00000bc3: DUP1 00000bc4: DUP4 00000bc5: SUB 00000bc6: DUP2 00000bc7: DUP6 00000bc8: GAS 00000bc9: DELEGATECALL 00000bca: SWAP2 00000bcb: POP 00000bcc: POP 00000bcd: RETURNDATASIZE 00000bce: DUP1 00000bcf: PUSH1 0x00 00000bd1: DUP2 00000bd2: EQ 00000bd3: PUSH2 0x0bf8 00000bd6: JUMPI 00000bd7: PUSH1 0x40 00000bd9: MLOAD 00000bda: SWAP2 00000bdb: POP 00000bdc: PUSH1 0x1f 00000bde: NOT 00000bdf: PUSH1 0x3f 00000be1: RETURNDATASIZE 00000be2: ADD 00000be3: AND 00000be4: DUP3 00000be5: ADD 00000be6: PUSH1 0x40 00000be8: MSTORE 00000be9: RETURNDATASIZE 00000bea: DUP3 00000beb: MSTORE 00000bec: RETURNDATASIZE 00000bed: PUSH1 0x00 00000bef: PUSH1 0x20 00000bf1: DUP5 00000bf2: ADD 00000bf3: RETURNDATACOPY 00000bf4: PUSH2 0x0bfd 00000bf7: JUMP 00000bf8: JUMPDEST 00000bf9: PUSH1 0x60 00000bfb: SWAP2 00000bfc: POP 00000bfd: JUMPDEST 00000bfe: POP 00000bff: POP 00000c00: SWAP1 00000c01: POP 00000c02: DUP1 00000c03: PUSH2 0x061f 00000c06: JUMPI 00000c07: PUSH1 0x40 00000c09: DUP1 00000c0a: MLOAD 00000c0b: PUSH3 0x461bcd 00000c0f: PUSH1 0xe5 00000c11: SHL 00000c12: DUP2 00000c13: MSTORE 00000c14: PUSH1 0x20 00000c16: PUSH1 0x04 00000c18: DUP3 00000c19: ADD 00000c1a: MSTORE 00000c1b: PUSH1 0x05 00000c1d: PUSH1 0x24 00000c1f: DUP3 00000c20: ADD 00000c21: MSTORE 00000c22: PUSH5 0x7075663131 00000c28: PUSH1 0xd8 00000c2a: SHL 00000c2b: PUSH1 0x44 00000c2d: DUP3 00000c2e: ADD 00000c2f: MSTORE 00000c30: SWAP1 00000c31: MLOAD 00000c32: SWAP1 00000c33: DUP2 00000c34: SWAP1 00000c35: SUB 00000c36: PUSH1 0x64 00000c38: ADD 00000c39: SWAP1 00000c3a: REVERT 00000c3b: JUMPDEST 00000c3c: PUSH2 0x0c44 00000c3f: CALLER 00000c40: PUSH2 0x0c90 00000c43: JUMP 00000c44: JUMPDEST 00000c45: PUSH1 0x01 00000c47: PUSH1 0x01 00000c49: PUSH1 0xa0 00000c4b: SHL 00000c4c: SUB 00000c4d: DUP2 00000c4e: AND 00000c4f: PUSH2 0x0c87 00000c52: JUMPI 00000c53: PUSH1 0x40 00000c55: DUP1 00000c56: MLOAD 00000c57: PUSH3 0x461bcd 00000c5b: PUSH1 0xe5 00000c5d: SHL 00000c5e: DUP2 00000c5f: MSTORE 00000c60: PUSH1 0x20 00000c62: PUSH1 0x04 00000c64: DUP3 00000c65: ADD 00000c66: MSTORE 00000c67: PUSH1 0x05 00000c69: PUSH1 0x24 00000c6b: DUP3 00000c6c: ADD 00000c6d: MSTORE 00000c6e: PUSH5 0x6f74703131 00000c74: PUSH1 0xd8 00000c76: SHL 00000c77: PUSH1 0x44 00000c79: DUP3 00000c7a: ADD 00000c7b: MSTORE 00000c7c: SWAP1 00000c7d: MLOAD 00000c7e: SWAP1 00000c7f: DUP2 00000c80: SWAP1 00000c81: SUB 00000c82: PUSH1 0x64 00000c84: ADD 00000c85: SWAP1 00000c86: REVERT 00000c87: JUMPDEST 00000c88: PUSH2 0x061f 00000c8b: DUP2 00000c8c: PUSH2 0x0d09 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: PUSH2 0x0c98 00000c94: PUSH2 0x0657 00000c97: JUMP 00000c98: JUMPDEST 00000c99: PUSH1 0x01 00000c9b: PUSH1 0x01 00000c9d: PUSH1 0xa0 00000c9f: SHL 00000ca0: SUB 00000ca1: AND 00000ca2: DUP2 00000ca3: PUSH1 0x01 00000ca5: PUSH1 0x01 00000ca7: PUSH1 0xa0 00000ca9: SHL 00000caa: SUB 00000cab: AND 00000cac: EQ 00000cad: PUSH2 0x061f 00000cb0: JUMPI 00000cb1: PUSH1 0x40 00000cb3: DUP1 00000cb4: MLOAD 00000cb5: PUSH3 0x461bcd 00000cb9: PUSH1 0xe5 00000cbb: SHL 00000cbc: DUP2 00000cbd: MSTORE 00000cbe: PUSH1 0x20 00000cc0: PUSH1 0x04 00000cc2: DUP3 00000cc3: ADD 00000cc4: MSTORE 00000cc5: PUSH1 0x05 00000cc7: PUSH1 0x24 00000cc9: DUP3 00000cca: ADD 00000ccb: MSTORE 00000ccc: PUSH5 0x6f726f3131 00000cd2: PUSH1 0xd8 00000cd4: SHL 00000cd5: PUSH1 0x44 00000cd7: DUP3 00000cd8: ADD 00000cd9: MSTORE 00000cda: SWAP1 00000cdb: MLOAD 00000cdc: SWAP1 00000cdd: DUP2 00000cde: SWAP1 00000cdf: SUB 00000ce0: PUSH1 0x64 00000ce2: ADD 00000ce3: SWAP1 00000ce4: REVERT 00000ce5: JUMPDEST 00000ce6: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000d07: SSTORE 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00000d2b: SSTORE 00000d2c: JUMP 00000d2d: INVALID 00000d2e: LOG2 00000d2f: PUSH6 0x627a7a723158 00000d36: KECCAK256 00000d37: UNKNOWN(0xE3) 00000d38: TLOAD 00000d39: TLOAD 00000d3a: STATICCALL 00000d3b: SWAP2 00000d3c: UNKNOWN(0xCA) 00000d3d: UNKNOWN(0xD6) 00000d3e: PUSH19 0x52199f8138df65c2cd9e57899d2525068cf6a0 00000d52: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x70cbb2f4e36cba4e916ed6bb049b1e5e3ee8af5eafc685e047d4f7f15322bce0
call_targets:
0x8e972b354e6933275513c355ee14d44a832ad2d9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 25,
"trace_id": "0x70cbb2f4e36cba4e916ed6bb049b1e5e3ee8af5eafc685e047d4f7f15322bce0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8e972b354e6933275513c355ee14d44a832ad2d9"
],
"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": "0x78b91e70",
"selector": "0x78b91e70",
"calldata_variants": [
"0x78b91e70",
"0x78b91e700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x871b8ff1",
"selector": "0x871b8ff1",
"calldata_variants": [
"0x871b8ff1",
"0x871b8ff10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8773334c",
"selector": "0x8773334c",
"calldata_variants": [
"0x8773334c",
"0x8773334c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb269b9ae",
"selector": "0xb269b9ae",
"calldata_variants": [
"0xb269b9ae",
"0xb269b9ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3f59687",
"selector": "0xc3f59687",
"calldata_variants": [
"0xc3f59687",
"0xc3f596870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf00e6a2a",
"selector": "0xf00e6a2a",
"calldata_variants": [
"0xf00e6a2a",
"0xf00e6a2a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x25394645",
"selector": "0x25394645",
"calldata_variants": [
"0x25394645",
"0x253946450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a3174f4",
"selector": "0x2a3174f4",
"calldata_variants": [
"0x2a3174f4",
"0x2a3174f40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 195,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1141,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1453,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 8,
"untrusted_delegatecall_count": 8
}
|