019b477e-ba8e-72d6-a616-bb6bbef1e820
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 |
|---|---|---|---|---|
| 23763 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23764 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90141 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 90142 | capability.graph | complete | 1 / 3 | 1 week ago |
| 90143 | detector.run | complete | 1 / 3 | 1 week ago |
| 90144 | 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 0x01a1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6ef8d66d 00000019: GT 0000001a: PUSH2 0x00e1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xca44f465 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd50fd1f4 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd50fd1f4 0000003a: EQ 0000003b: PUSH2 0x046c 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd6cd9473 00000045: EQ 00000046: PUSH2 0x048c 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfb80c747 00000050: EQ 00000051: PUSH2 0x04a1 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfc0a7f03 0000005b: EQ 0000005c: PUSH2 0x04c1 0000005f: JUMPI 00000060: PUSH2 0x01a1 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xca44f465 0000006b: EQ 0000006c: PUSH2 0x0422 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xd0134296 00000076: EQ 00000077: PUSH2 0x0437 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd121b696 00000081: EQ 00000082: PUSH2 0x044c 00000085: JUMPI 00000086: PUSH2 0x01a1 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x8456cb59 00000091: GT 00000092: PUSH2 0x00bb 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x8456cb59 0000009c: EQ 0000009d: PUSH2 0x03cd 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xa971a0ad 000000a7: EQ 000000a8: PUSH2 0x03e2 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xbb5f747b 000000b2: EQ 000000b3: PUSH2 0x0402 000000b6: JUMPI 000000b7: PUSH2 0x01a1 000000ba: JUMP 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x6ef8d66d 000000c2: EQ 000000c3: PUSH2 0x0378 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x7362d9c8 000000cd: EQ 000000ce: PUSH2 0x038d 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x82dc1ec4 000000d8: EQ 000000d9: PUSH2 0x03ad 000000dc: JUMPI 000000dd: PUSH2 0x01a1 000000e0: JUMP 000000e1: JUMPDEST 000000e2: DUP1 000000e3: PUSH4 0x3af32abf 000000e8: GT 000000e9: PUSH2 0x014e 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x4c5a628c 000000f3: GT 000000f4: PUSH2 0x0128 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x4c5a628c 000000fe: EQ 000000ff: PUSH2 0x0324 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x5c60da1b 00000109: EQ 0000010a: PUSH2 0x0339 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x5c975abb 00000114: EQ 00000115: PUSH2 0x034e 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x638900e1 0000011f: EQ 00000120: PUSH2 0x0363 00000123: JUMPI 00000124: PUSH2 0x01a1 00000127: JUMP 00000128: JUMPDEST 00000129: DUP1 0000012a: PUSH4 0x3af32abf 0000012f: EQ 00000130: PUSH2 0x02cf 00000133: JUMPI 00000134: DUP1 00000135: PUSH4 0x3f4ba83a 0000013a: EQ 0000013b: PUSH2 0x02ef 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x46fbf68e 00000145: EQ 00000146: PUSH2 0x0304 00000149: JUMPI 0000014a: PUSH2 0x01a1 0000014d: JUMP 0000014e: JUMPDEST 0000014f: DUP1 00000150: PUSH4 0x2299bda6 00000155: GT 00000156: PUSH2 0x017f 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x2299bda6 00000160: EQ 00000161: PUSH2 0x0262 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x291d9549 0000016b: EQ 0000016c: PUSH2 0x028f 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x35c80c8c 00000176: EQ 00000177: PUSH2 0x02af 0000017a: JUMPI 0000017b: PUSH2 0x01a1 0000017e: JUMP 0000017f: JUMPDEST 00000180: DUP1 00000181: PUSH4 0x10154bad 00000186: EQ 00000187: PUSH2 0x01e8 0000018a: JUMPI 0000018b: DUP1 0000018c: PUSH4 0x1761d7ce 00000191: EQ 00000192: PUSH2 0x020a 00000195: JUMPI 00000196: DUP1 00000197: PUSH4 0x1f61aebe 0000019c: EQ 0000019d: PUSH2 0x0240 000001a0: JUMPI 000001a1: JUMPDEST 000001a2: PUSH1 0x40 000001a4: MLOAD 000001a5: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000001c6: SLOAD 000001c7: CALLDATASIZE 000001c8: PUSH1 0x00 000001ca: DUP4 000001cb: CALLDATACOPY 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: CALLDATASIZE 000001d0: DUP5 000001d1: DUP5 000001d2: GAS 000001d3: DELEGATECALL 000001d4: RETURNDATASIZE 000001d5: DUP1 000001d6: PUSH1 0x00 000001d8: DUP6 000001d9: RETURNDATACOPY 000001da: DUP2 000001db: DUP1 000001dc: ISZERO 000001dd: PUSH2 0x01e4 000001e0: JUMPI 000001e1: DUP2 000001e2: DUP6 000001e3: RETURN 000001e4: JUMPDEST 000001e5: DUP2 000001e6: DUP6 000001e7: REVERT 000001e8: JUMPDEST 000001e9: CALLVALUE 000001ea: DUP1 000001eb: ISZERO 000001ec: PUSH2 0x01f4 000001ef: JUMPI 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: POP 000001f6: PUSH2 0x0208 000001f9: PUSH2 0x0203 000001fc: CALLDATASIZE 000001fd: PUSH1 0x04 000001ff: PUSH2 0x0b91 00000202: JUMP 00000203: JUMPDEST 00000204: PUSH2 0x04e1 00000207: JUMP 00000208: JUMPDEST 00000209: STOP 0000020a: JUMPDEST 0000020b: CALLVALUE 0000020c: DUP1 0000020d: ISZERO 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: POP 00000218: PUSH2 0x022a 0000021b: PUSH2 0x0225 0000021e: CALLDATASIZE 0000021f: PUSH1 0x04 00000221: PUSH2 0x0b91 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH2 0x051d 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH1 0x40 0000022d: MLOAD 0000022e: PUSH2 0x0237 00000231: SWAP2 00000232: SWAP1 00000233: PUSH2 0x0eb0 00000236: JUMP 00000237: JUMPDEST 00000238: PUSH1 0x40 0000023a: MLOAD 0000023b: DUP1 0000023c: SWAP2 0000023d: SUB 0000023e: SWAP1 0000023f: RETURN 00000240: JUMPDEST 00000241: CALLVALUE 00000242: DUP1 00000243: ISZERO 00000244: PUSH2 0x024c 00000247: JUMPI 00000248: PUSH1 0x00 0000024a: DUP1 0000024b: REVERT 0000024c: JUMPDEST 0000024d: POP 0000024e: PUSH2 0x0255 00000251: PUSH2 0x0532 00000254: JUMP 00000255: JUMPDEST 00000256: PUSH1 0x40 00000258: MLOAD 00000259: PUSH2 0x0237 0000025c: SWAP2 0000025d: SWAP1 0000025e: PUSH2 0x0f3e 00000261: JUMP 00000262: JUMPDEST 00000263: CALLVALUE 00000264: DUP1 00000265: ISZERO 00000266: PUSH2 0x026e 00000269: JUMPI 0000026a: PUSH1 0x00 0000026c: DUP1 0000026d: REVERT 0000026e: JUMPDEST 0000026f: POP 00000270: PUSH2 0x0282 00000273: PUSH2 0x027d 00000276: CALLDATASIZE 00000277: PUSH1 0x04 00000279: PUSH2 0x0bec 0000027c: JUMP 0000027d: JUMPDEST 0000027e: PUSH2 0x0538 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH1 0x40 00000285: MLOAD 00000286: PUSH2 0x0237 00000289: SWAP2 0000028a: SWAP1 0000028b: PUSH2 0x0e94 0000028e: JUMP 0000028f: JUMPDEST 00000290: CALLVALUE 00000291: DUP1 00000292: ISZERO 00000293: PUSH2 0x029b 00000296: JUMPI 00000297: PUSH1 0x00 00000299: DUP1 0000029a: REVERT 0000029b: JUMPDEST 0000029c: POP 0000029d: PUSH2 0x0208 000002a0: PUSH2 0x02aa 000002a3: CALLDATASIZE 000002a4: PUSH1 0x04 000002a6: PUSH2 0x0b91 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH2 0x055f 000002ae: JUMP 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: DUP1 000002b2: ISZERO 000002b3: PUSH2 0x02bb 000002b6: JUMPI 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: REVERT 000002bb: JUMPDEST 000002bc: POP 000002bd: PUSH2 0x022a 000002c0: PUSH2 0x02ca 000002c3: CALLDATASIZE 000002c4: PUSH1 0x04 000002c6: PUSH2 0x0b91 000002c9: JUMP 000002ca: JUMPDEST 000002cb: PUSH2 0x058f 000002ce: JUMP 000002cf: JUMPDEST 000002d0: CALLVALUE 000002d1: DUP1 000002d2: ISZERO 000002d3: PUSH2 0x02db 000002d6: JUMPI 000002d7: PUSH1 0x00 000002d9: DUP1 000002da: REVERT 000002db: JUMPDEST 000002dc: POP 000002dd: PUSH2 0x022a 000002e0: PUSH2 0x02ea 000002e3: CALLDATASIZE 000002e4: PUSH1 0x04 000002e6: PUSH2 0x0b91 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH2 0x05e8 000002ee: JUMP 000002ef: JUMPDEST 000002f0: CALLVALUE 000002f1: DUP1 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: POP 000002fd: PUSH2 0x0208 00000300: PUSH2 0x0601 00000303: JUMP 00000304: JUMPDEST 00000305: CALLVALUE 00000306: DUP1 00000307: ISZERO 00000308: PUSH2 0x0310 0000030b: JUMPI 0000030c: PUSH1 0x00 0000030e: DUP1 0000030f: REVERT 00000310: JUMPDEST 00000311: POP 00000312: PUSH2 0x022a 00000315: PUSH2 0x031f 00000318: CALLDATASIZE 00000319: PUSH1 0x04 0000031b: PUSH2 0x0b91 0000031e: JUMP 0000031f: JUMPDEST 00000320: PUSH2 0x0694 00000323: JUMP 00000324: JUMPDEST 00000325: CALLVALUE 00000326: DUP1 00000327: ISZERO 00000328: PUSH2 0x0330 0000032b: JUMPI 0000032c: PUSH1 0x00 0000032e: DUP1 0000032f: REVERT 00000330: JUMPDEST 00000331: POP 00000332: PUSH2 0x0208 00000335: PUSH2 0x06a7 00000338: JUMP 00000339: JUMPDEST 0000033a: CALLVALUE 0000033b: DUP1 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: POP 00000347: PUSH2 0x0282 0000034a: PUSH2 0x06b9 0000034d: JUMP 0000034e: JUMPDEST 0000034f: CALLVALUE 00000350: DUP1 00000351: ISZERO 00000352: PUSH2 0x035a 00000355: JUMPI 00000356: PUSH1 0x00 00000358: DUP1 00000359: REVERT 0000035a: JUMPDEST 0000035b: POP 0000035c: PUSH2 0x022a 0000035f: PUSH2 0x06de 00000362: JUMP 00000363: JUMPDEST 00000364: CALLVALUE 00000365: DUP1 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: POP 00000371: PUSH2 0x0255 00000374: PUSH2 0x06e7 00000377: JUMP 00000378: JUMPDEST 00000379: CALLVALUE 0000037a: DUP1 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: POP 00000386: PUSH2 0x0208 00000389: PUSH2 0x06ed 0000038c: JUMP 0000038d: JUMPDEST 0000038e: CALLVALUE 0000038f: DUP1 00000390: ISZERO 00000391: PUSH2 0x0399 00000394: JUMPI 00000395: PUSH1 0x00 00000397: DUP1 00000398: REVERT 00000399: JUMPDEST 0000039a: POP 0000039b: PUSH2 0x0208 0000039e: PUSH2 0x03a8 000003a1: CALLDATASIZE 000003a2: PUSH1 0x04 000003a4: PUSH2 0x0b91 000003a7: JUMP 000003a8: JUMPDEST 000003a9: PUSH2 0x06fd 000003ac: JUMP 000003ad: JUMPDEST 000003ae: CALLVALUE 000003af: DUP1 000003b0: ISZERO 000003b1: PUSH2 0x03b9 000003b4: JUMPI 000003b5: PUSH1 0x00 000003b7: DUP1 000003b8: REVERT 000003b9: JUMPDEST 000003ba: POP 000003bb: PUSH2 0x0208 000003be: PUSH2 0x03c8 000003c1: CALLDATASIZE 000003c2: PUSH1 0x04 000003c4: PUSH2 0x0b91 000003c7: JUMP 000003c8: JUMPDEST 000003c9: PUSH2 0x072d 000003cc: JUMP 000003cd: JUMPDEST 000003ce: CALLVALUE 000003cf: DUP1 000003d0: ISZERO 000003d1: PUSH2 0x03d9 000003d4: JUMPI 000003d5: PUSH1 0x00 000003d7: DUP1 000003d8: REVERT 000003d9: JUMPDEST 000003da: POP 000003db: PUSH2 0x0208 000003de: PUSH2 0x075d 000003e1: JUMP 000003e2: JUMPDEST 000003e3: CALLVALUE 000003e4: DUP1 000003e5: ISZERO 000003e6: PUSH2 0x03ee 000003e9: JUMPI 000003ea: PUSH1 0x00 000003ec: DUP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: POP 000003f0: PUSH2 0x0255 000003f3: PUSH2 0x03fd 000003f6: CALLDATASIZE 000003f7: PUSH1 0x04 000003f9: PUSH2 0x0b91 000003fc: JUMP 000003fd: JUMPDEST 000003fe: PUSH2 0x07dd 00000401: JUMP 00000402: JUMPDEST 00000403: CALLVALUE 00000404: DUP1 00000405: ISZERO 00000406: PUSH2 0x040e 00000409: JUMPI 0000040a: PUSH1 0x00 0000040c: DUP1 0000040d: REVERT 0000040e: JUMPDEST 0000040f: POP 00000410: PUSH2 0x022a 00000413: PUSH2 0x041d 00000416: CALLDATASIZE 00000417: PUSH1 0x04 00000419: PUSH2 0x0b91 0000041c: JUMP 0000041d: JUMPDEST 0000041e: PUSH2 0x07ef 00000421: JUMP 00000422: JUMPDEST 00000423: CALLVALUE 00000424: DUP1 00000425: ISZERO 00000426: PUSH2 0x042e 00000429: JUMPI 0000042a: PUSH1 0x00 0000042c: DUP1 0000042d: REVERT 0000042e: JUMPDEST 0000042f: POP 00000430: PUSH2 0x0208 00000433: PUSH2 0x0802 00000436: JUMP 00000437: JUMPDEST 00000438: CALLVALUE 00000439: DUP1 0000043a: ISZERO 0000043b: PUSH2 0x0443 0000043e: JUMPI 0000043f: PUSH1 0x00 00000441: DUP1 00000442: REVERT 00000443: JUMPDEST 00000444: POP 00000445: PUSH2 0x0282 00000448: PUSH2 0x0827 0000044b: JUMP 0000044c: JUMPDEST 0000044d: CALLVALUE 0000044e: DUP1 0000044f: ISZERO 00000450: PUSH2 0x0458 00000453: JUMPI 00000454: PUSH1 0x00 00000456: DUP1 00000457: REVERT 00000458: JUMPDEST 00000459: POP 0000045a: PUSH2 0x0255 0000045d: PUSH2 0x0467 00000460: CALLDATASIZE 00000461: PUSH1 0x04 00000463: PUSH2 0x0b91 00000466: JUMP 00000467: JUMPDEST 00000468: PUSH2 0x0836 0000046b: JUMP 0000046c: JUMPDEST 0000046d: CALLVALUE 0000046e: DUP1 0000046f: ISZERO 00000470: PUSH2 0x0478 00000473: JUMPI 00000474: PUSH1 0x00 00000476: DUP1 00000477: REVERT 00000478: JUMPDEST 00000479: POP 0000047a: PUSH2 0x0255 0000047d: PUSH2 0x0487 00000480: CALLDATASIZE 00000481: PUSH1 0x04 00000483: PUSH2 0x0b91 00000486: JUMP 00000487: JUMPDEST 00000488: PUSH2 0x0848 0000048b: JUMP 0000048c: JUMPDEST 0000048d: CALLVALUE 0000048e: DUP1 0000048f: ISZERO 00000490: PUSH2 0x0498 00000493: JUMPI 00000494: PUSH1 0x00 00000496: DUP1 00000497: REVERT 00000498: JUMPDEST 00000499: POP 0000049a: PUSH2 0x0208 0000049d: PUSH2 0x085a 000004a0: JUMP 000004a1: JUMPDEST 000004a2: CALLVALUE 000004a3: DUP1 000004a4: ISZERO 000004a5: PUSH2 0x04ad 000004a8: JUMPI 000004a9: PUSH1 0x00 000004ab: DUP1 000004ac: REVERT 000004ad: JUMPDEST 000004ae: POP 000004af: PUSH2 0x022a 000004b2: PUSH2 0x04bc 000004b5: CALLDATASIZE 000004b6: PUSH1 0x04 000004b8: PUSH2 0x0bb7 000004bb: JUMP 000004bc: JUMPDEST 000004bd: PUSH2 0x086a 000004c0: JUMP 000004c1: JUMPDEST 000004c2: CALLVALUE 000004c3: DUP1 000004c4: ISZERO 000004c5: PUSH2 0x04cd 000004c8: JUMPI 000004c9: PUSH1 0x00 000004cb: DUP1 000004cc: REVERT 000004cd: JUMPDEST 000004ce: POP 000004cf: PUSH2 0x0282 000004d2: PUSH2 0x04dc 000004d5: CALLDATASIZE 000004d6: PUSH1 0x04 000004d8: PUSH2 0x0bec 000004db: JUMP 000004dc: JUMPDEST 000004dd: PUSH2 0x088a 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH2 0x04ec 000004e5: PUSH2 0x041d 000004e8: PUSH2 0x0897 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH2 0x0511 000004f0: JUMPI 000004f1: PUSH1 0x40 000004f3: MLOAD 000004f4: PUSH3 0x461bcd 000004f8: PUSH1 0xe5 000004fa: SHL 000004fb: DUP2 000004fc: MSTORE 000004fd: PUSH1 0x04 000004ff: ADD 00000500: PUSH2 0x0508 00000503: SWAP1 00000504: PUSH2 0x0f1e 00000507: JUMP 00000508: JUMPDEST 00000509: PUSH1 0x40 0000050b: MLOAD 0000050c: DUP1 0000050d: SWAP2 0000050e: SUB 0000050f: SWAP1 00000510: REVERT 00000511: JUMPDEST 00000512: PUSH2 0x051a 00000515: DUP2 00000516: PUSH2 0x089b 00000519: JUMP 0000051a: JUMPDEST 0000051b: POP 0000051c: JUMP 0000051d: JUMPDEST 0000051e: PUSH1 0x08 00000520: PUSH1 0x20 00000522: MSTORE 00000523: PUSH1 0x00 00000525: SWAP1 00000526: DUP2 00000527: MSTORE 00000528: PUSH1 0x40 0000052a: SWAP1 0000052b: KECCAK256 0000052c: SLOAD 0000052d: PUSH1 0xff 0000052f: AND 00000530: DUP2 00000531: JUMP 00000532: JUMPDEST 00000533: PUSH1 0x09 00000535: SLOAD 00000536: DUP2 00000537: JUMP 00000538: JUMPDEST 00000539: PUSH1 0x05 0000053b: DUP2 0000053c: DUP2 0000053d: SLOAD 0000053e: DUP2 0000053f: LT 00000540: PUSH2 0x0545 00000543: JUMPI 00000544: INVALID 00000545: JUMPDEST 00000546: PUSH1 0x00 00000548: SWAP2 00000549: DUP3 0000054a: MSTORE 0000054b: PUSH1 0x20 0000054d: SWAP1 0000054e: SWAP2 0000054f: KECCAK256 00000550: ADD 00000551: SLOAD 00000552: PUSH1 0x01 00000554: PUSH1 0x01 00000556: PUSH1 0xa0 00000558: SHL 00000559: SUB 0000055a: AND 0000055b: SWAP1 0000055c: POP 0000055d: DUP2 0000055e: JUMP 0000055f: JUMPDEST 00000560: PUSH2 0x056a 00000563: PUSH2 0x041d 00000566: PUSH2 0x0897 00000569: JUMP 0000056a: JUMPDEST 0000056b: PUSH2 0x0586 0000056e: JUMPI 0000056f: PUSH1 0x40 00000571: MLOAD 00000572: PUSH3 0x461bcd 00000576: PUSH1 0xe5 00000578: SHL 00000579: DUP2 0000057a: MSTORE 0000057b: PUSH1 0x04 0000057d: ADD 0000057e: PUSH2 0x0508 00000581: SWAP1 00000582: PUSH2 0x0f1e 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH2 0x051a 0000058a: DUP2 0000058b: PUSH2 0x08e3 0000058e: JUMP 0000058f: JUMPDEST 00000590: PUSH1 0x00 00000592: DUP1 00000593: JUMPDEST 00000594: PUSH1 0x05 00000596: SLOAD 00000597: DUP2 00000598: LT 00000599: ISZERO 0000059a: PUSH2 0x05e1 0000059d: JUMPI 0000059e: DUP3 0000059f: PUSH1 0x01 000005a1: PUSH1 0x01 000005a3: PUSH1 0xa0 000005a5: SHL 000005a6: SUB 000005a7: AND 000005a8: PUSH1 0x05 000005aa: DUP3 000005ab: DUP2 000005ac: SLOAD 000005ad: DUP2 000005ae: LT 000005af: PUSH2 0x05b4 000005b2: JUMPI 000005b3: INVALID 000005b4: JUMPDEST 000005b5: PUSH1 0x00 000005b7: SWAP2 000005b8: DUP3 000005b9: MSTORE 000005ba: PUSH1 0x20 000005bc: SWAP1 000005bd: SWAP2 000005be: KECCAK256 000005bf: ADD 000005c0: SLOAD 000005c1: PUSH1 0x01 000005c3: PUSH1 0x01 000005c5: PUSH1 0xa0 000005c7: SHL 000005c8: SUB 000005c9: AND 000005ca: EQ 000005cb: ISZERO 000005cc: PUSH2 0x05d9 000005cf: JUMPI 000005d0: PUSH1 0x01 000005d2: SWAP2 000005d3: POP 000005d4: POP 000005d5: PUSH2 0x05e3 000005d8: JUMP 000005d9: JUMPDEST 000005da: PUSH1 0x01 000005dc: ADD 000005dd: PUSH2 0x0593 000005e0: JUMP 000005e1: JUMPDEST 000005e2: POP 000005e3: JUMPDEST 000005e4: SWAP2 000005e5: SWAP1 000005e6: POP 000005e7: JUMP 000005e8: JUMPDEST 000005e9: PUSH1 0x00 000005eb: PUSH2 0x05fb 000005ee: PUSH1 0x04 000005f0: DUP4 000005f1: PUSH4 0xffffffff 000005f6: PUSH2 0x092b 000005f9: AND 000005fa: JUMP 000005fb: JUMPDEST 000005fc: SWAP3 000005fd: SWAP2 000005fe: POP 000005ff: POP 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH2 0x060c 00000605: PUSH2 0x031f 00000608: PUSH2 0x0897 0000060b: JUMP 0000060c: JUMPDEST 0000060d: PUSH2 0x0628 00000610: JUMPI 00000611: PUSH1 0x40 00000613: MLOAD 00000614: PUSH3 0x461bcd 00000618: PUSH1 0xe5 0000061a: SHL 0000061b: DUP2 0000061c: MSTORE 0000061d: PUSH1 0x04 0000061f: ADD 00000620: PUSH2 0x0508 00000623: SWAP1 00000624: PUSH2 0x0ede 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH1 0x02 0000062b: SLOAD 0000062c: PUSH1 0xff 0000062e: AND 0000062f: PUSH2 0x064a 00000632: JUMPI 00000633: PUSH1 0x40 00000635: MLOAD 00000636: PUSH3 0x461bcd 0000063a: PUSH1 0xe5 0000063c: SHL 0000063d: DUP2 0000063e: MSTORE 0000063f: PUSH1 0x04 00000641: ADD 00000642: PUSH2 0x0508 00000645: SWAP1 00000646: PUSH2 0x0ebe 00000649: JUMP 0000064a: JUMPDEST 0000064b: PUSH1 0x02 0000064d: DUP1 0000064e: SLOAD 0000064f: PUSH1 0xff 00000651: NOT 00000652: AND 00000653: SWAP1 00000654: SSTORE 00000655: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00000676: PUSH2 0x067d 00000679: PUSH2 0x0897 0000067c: JUMP 0000067d: JUMPDEST 0000067e: PUSH1 0x40 00000680: MLOAD 00000681: PUSH2 0x068a 00000684: SWAP2 00000685: SWAP1 00000686: PUSH2 0x0ea2 00000689: JUMP 0000068a: JUMPDEST 0000068b: PUSH1 0x40 0000068d: MLOAD 0000068e: DUP1 0000068f: SWAP2 00000690: SUB 00000691: SWAP1 00000692: LOG1 00000693: JUMP 00000694: JUMPDEST 00000695: PUSH1 0x00 00000697: PUSH2 0x05fb 0000069a: PUSH1 0x01 0000069c: DUP4 0000069d: PUSH4 0xffffffff 000006a2: PUSH2 0x092b 000006a5: AND 000006a6: JUMP 000006a7: JUMPDEST 000006a8: PUSH2 0x06b7 000006ab: PUSH2 0x06b2 000006ae: PUSH2 0x0897 000006b1: JUMP 000006b2: JUMPDEST 000006b3: PUSH2 0x0973 000006b6: JUMP 000006b7: JUMPDEST 000006b8: JUMP 000006b9: JUMPDEST 000006ba: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000006db: SLOAD 000006dc: SWAP1 000006dd: JUMP 000006de: JUMPDEST 000006df: PUSH1 0x02 000006e1: SLOAD 000006e2: PUSH1 0xff 000006e4: AND 000006e5: SWAP1 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH1 0x0f 000006ea: SLOAD 000006eb: DUP2 000006ec: JUMP 000006ed: JUMPDEST 000006ee: PUSH2 0x06b7 000006f1: PUSH2 0x06f8 000006f4: PUSH2 0x0897 000006f7: JUMP 000006f8: JUMPDEST 000006f9: PUSH2 0x09bb 000006fc: JUMP 000006fd: JUMPDEST 000006fe: PUSH2 0x0708 00000701: PUSH2 0x041d 00000704: PUSH2 0x0897 00000707: JUMP 00000708: JUMPDEST 00000709: PUSH2 0x0724 0000070c: JUMPI 0000070d: PUSH1 0x40 0000070f: MLOAD 00000710: PUSH3 0x461bcd 00000714: PUSH1 0xe5 00000716: SHL 00000717: DUP2 00000718: MSTORE 00000719: PUSH1 0x04 0000071b: ADD 0000071c: PUSH2 0x0508 0000071f: SWAP1 00000720: PUSH2 0x0f1e 00000723: JUMP 00000724: JUMPDEST 00000725: PUSH2 0x051a 00000728: DUP2 00000729: PUSH2 0x0a03 0000072c: JUMP 0000072d: JUMPDEST 0000072e: PUSH2 0x0738 00000731: PUSH2 0x031f 00000734: PUSH2 0x0897 00000737: JUMP 00000738: JUMPDEST 00000739: PUSH2 0x0754 0000073c: JUMPI 0000073d: PUSH1 0x40 0000073f: MLOAD 00000740: PUSH3 0x461bcd 00000744: PUSH1 0xe5 00000746: SHL 00000747: DUP2 00000748: MSTORE 00000749: PUSH1 0x04 0000074b: ADD 0000074c: PUSH2 0x0508 0000074f: SWAP1 00000750: PUSH2 0x0ede 00000753: JUMP 00000754: JUMPDEST 00000755: PUSH2 0x051a 00000758: DUP2 00000759: PUSH2 0x0a4b 0000075c: JUMP 0000075d: JUMPDEST 0000075e: PUSH2 0x0768 00000761: PUSH2 0x031f 00000764: PUSH2 0x0897 00000767: JUMP 00000768: JUMPDEST 00000769: PUSH2 0x0784 0000076c: JUMPI 0000076d: PUSH1 0x40 0000076f: MLOAD 00000770: PUSH3 0x461bcd 00000774: PUSH1 0xe5 00000776: SHL 00000777: DUP2 00000778: MSTORE 00000779: PUSH1 0x04 0000077b: ADD 0000077c: PUSH2 0x0508 0000077f: SWAP1 00000780: PUSH2 0x0ede 00000783: JUMP 00000784: JUMPDEST 00000785: PUSH1 0x02 00000787: SLOAD 00000788: PUSH1 0xff 0000078a: AND 0000078b: ISZERO 0000078c: PUSH2 0x07a7 0000078f: JUMPI 00000790: PUSH1 0x40 00000792: MLOAD 00000793: PUSH3 0x461bcd 00000797: PUSH1 0xe5 00000799: SHL 0000079a: DUP2 0000079b: MSTORE 0000079c: PUSH1 0x04 0000079e: ADD 0000079f: PUSH2 0x0508 000007a2: SWAP1 000007a3: PUSH2 0x0eee 000007a6: JUMP 000007a7: JUMPDEST 000007a8: PUSH1 0x02 000007aa: DUP1 000007ab: SLOAD 000007ac: PUSH1 0xff 000007ae: NOT 000007af: AND 000007b0: PUSH1 0x01 000007b2: OR 000007b3: SWAP1 000007b4: SSTORE 000007b5: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 000007d6: PUSH2 0x067d 000007d9: PUSH2 0x0897 000007dc: JUMP 000007dd: JUMPDEST 000007de: PUSH1 0x0d 000007e0: PUSH1 0x20 000007e2: MSTORE 000007e3: PUSH1 0x00 000007e5: SWAP1 000007e6: DUP2 000007e7: MSTORE 000007e8: PUSH1 0x40 000007ea: SWAP1 000007eb: KECCAK256 000007ec: SLOAD 000007ed: DUP2 000007ee: JUMP 000007ef: JUMPDEST 000007f0: PUSH1 0x00 000007f2: PUSH2 0x05fb 000007f5: PUSH1 0x03 000007f7: DUP4 000007f8: PUSH4 0xffffffff 000007fd: PUSH2 0x092b 00000800: AND 00000801: JUMP 00000802: JUMPDEST 00000803: PUSH2 0x080b 00000806: CALLER 00000807: PUSH2 0x058f 0000080a: JUMP 0000080b: JUMPDEST 0000080c: PUSH2 0x06b7 0000080f: JUMPI 00000810: PUSH1 0x40 00000812: MLOAD 00000813: PUSH3 0x461bcd 00000817: PUSH1 0xe5 00000819: SHL 0000081a: DUP2 0000081b: MSTORE 0000081c: PUSH1 0x04 0000081e: ADD 0000081f: PUSH2 0x0508 00000822: SWAP1 00000823: PUSH2 0x0f2e 00000826: JUMP 00000827: JUMPDEST 00000828: PUSH1 0x0e 0000082a: SLOAD 0000082b: PUSH1 0x01 0000082d: PUSH1 0x01 0000082f: PUSH1 0xa0 00000831: SHL 00000832: SUB 00000833: AND 00000834: DUP2 00000835: JUMP 00000836: JUMPDEST 00000837: PUSH1 0x0a 00000839: PUSH1 0x20 0000083b: MSTORE 0000083c: PUSH1 0x00 0000083e: SWAP1 0000083f: DUP2 00000840: MSTORE 00000841: PUSH1 0x40 00000843: SWAP1 00000844: KECCAK256 00000845: SLOAD 00000846: DUP2 00000847: JUMP 00000848: JUMPDEST 00000849: PUSH1 0x0c 0000084b: PUSH1 0x20 0000084d: MSTORE 0000084e: PUSH1 0x00 00000850: SWAP1 00000851: DUP2 00000852: MSTORE 00000853: PUSH1 0x40 00000855: SWAP1 00000856: KECCAK256 00000857: SLOAD 00000858: DUP2 00000859: JUMP 0000085a: JUMPDEST 0000085b: PUSH2 0x06b7 0000085e: PUSH2 0x0865 00000861: PUSH2 0x0897 00000864: JUMP 00000865: JUMPDEST 00000866: PUSH2 0x08e3 00000869: JUMP 0000086a: JUMPDEST 0000086b: DUP1 0000086c: MLOAD 0000086d: PUSH1 0x20 0000086f: DUP2 00000870: DUP4 00000871: ADD 00000872: DUP2 00000873: ADD 00000874: DUP1 00000875: MLOAD 00000876: PUSH1 0x07 00000878: DUP3 00000879: MSTORE 0000087a: SWAP3 0000087b: DUP3 0000087c: ADD 0000087d: SWAP2 0000087e: SWAP1 0000087f: SWAP4 00000880: ADD 00000881: KECCAK256 00000882: SWAP2 00000883: MSTORE 00000884: SLOAD 00000885: PUSH1 0xff 00000887: AND 00000888: DUP2 00000889: JUMP 0000088a: JUMPDEST 0000088b: PUSH1 0x06 0000088d: DUP2 0000088e: DUP2 0000088f: SLOAD 00000890: DUP2 00000891: LT 00000892: PUSH2 0x0545 00000895: JUMPI 00000896: INVALID 00000897: JUMPDEST 00000898: CALLER 00000899: SWAP1 0000089a: JUMP 0000089b: JUMPDEST 0000089c: PUSH2 0x08ac 0000089f: PUSH1 0x04 000008a1: DUP3 000008a2: PUSH4 0xffffffff 000008a7: PUSH2 0x0a93 000008aa: AND 000008ab: JUMP 000008ac: JUMPDEST 000008ad: PUSH1 0x40 000008af: MLOAD 000008b0: PUSH1 0x01 000008b2: PUSH1 0x01 000008b4: PUSH1 0xa0 000008b6: SHL 000008b7: SUB 000008b8: DUP3 000008b9: AND 000008ba: SWAP1 000008bb: PUSH32 0xee1504a83b6d4a361f4c1dc78ab59bfa30d6a3b6612c403e86bb01ef2984295f 000008dc: SWAP1 000008dd: PUSH1 0x00 000008df: SWAP1 000008e0: LOG2 000008e1: POP 000008e2: JUMP 000008e3: JUMPDEST 000008e4: PUSH2 0x08f4 000008e7: PUSH1 0x04 000008e9: DUP3 000008ea: PUSH4 0xffffffff 000008ef: PUSH2 0x0adf 000008f2: AND 000008f3: JUMP 000008f4: JUMPDEST 000008f5: PUSH1 0x40 000008f7: MLOAD 000008f8: PUSH1 0x01 000008fa: PUSH1 0x01 000008fc: PUSH1 0xa0 000008fe: SHL 000008ff: SUB 00000900: DUP3 00000901: AND 00000902: SWAP1 00000903: PUSH32 0x270d9b30cf5b0793bbfd54c9d5b94aeb49462b8148399000265144a8722da6b6 00000924: SWAP1 00000925: PUSH1 0x00 00000927: SWAP1 00000928: LOG2 00000929: POP 0000092a: JUMP 0000092b: JUMPDEST 0000092c: PUSH1 0x00 0000092e: PUSH1 0x01 00000930: PUSH1 0x01 00000932: PUSH1 0xa0 00000934: SHL 00000935: SUB 00000936: DUP3 00000937: AND 00000938: PUSH2 0x0953 0000093b: JUMPI 0000093c: PUSH1 0x40 0000093e: MLOAD 0000093f: PUSH3 0x461bcd 00000943: PUSH1 0xe5 00000945: SHL 00000946: DUP2 00000947: MSTORE 00000948: PUSH1 0x04 0000094a: ADD 0000094b: PUSH2 0x0508 0000094e: SWAP1 0000094f: PUSH2 0x0f0e 00000952: JUMP 00000953: JUMPDEST 00000954: POP 00000955: PUSH1 0x01 00000957: PUSH1 0x01 00000959: PUSH1 0xa0 0000095b: SHL 0000095c: SUB 0000095d: AND 0000095e: PUSH1 0x00 00000960: SWAP1 00000961: DUP2 00000962: MSTORE 00000963: PUSH1 0x20 00000965: SWAP2 00000966: SWAP1 00000967: SWAP2 00000968: MSTORE 00000969: PUSH1 0x40 0000096b: SWAP1 0000096c: KECCAK256 0000096d: SLOAD 0000096e: PUSH1 0xff 00000970: AND 00000971: SWAP1 00000972: JUMP 00000973: JUMPDEST 00000974: PUSH2 0x0984 00000977: PUSH1 0x03 00000979: DUP3 0000097a: PUSH4 0xffffffff 0000097f: PUSH2 0x0adf 00000982: AND 00000983: JUMP 00000984: JUMPDEST 00000985: PUSH1 0x40 00000987: MLOAD 00000988: PUSH1 0x01 0000098a: PUSH1 0x01 0000098c: PUSH1 0xa0 0000098e: SHL 0000098f: SUB 00000990: DUP3 00000991: AND 00000992: SWAP1 00000993: PUSH32 0x0a8eb35e5ca14b3d6f28e4abf2f128dbab231a58b56e89beb5d636115001e165 000009b4: SWAP1 000009b5: PUSH1 0x00 000009b7: SWAP1 000009b8: LOG2 000009b9: POP 000009ba: JUMP 000009bb: JUMPDEST 000009bc: PUSH2 0x09cc 000009bf: PUSH1 0x01 000009c1: DUP3 000009c2: PUSH4 0xffffffff 000009c7: PUSH2 0x0adf 000009ca: AND 000009cb: JUMP 000009cc: JUMPDEST 000009cd: PUSH1 0x40 000009cf: MLOAD 000009d0: PUSH1 0x01 000009d2: PUSH1 0x01 000009d4: PUSH1 0xa0 000009d6: SHL 000009d7: SUB 000009d8: DUP3 000009d9: AND 000009da: SWAP1 000009db: PUSH32 0xcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e 000009fc: SWAP1 000009fd: PUSH1 0x00 000009ff: SWAP1 00000a00: LOG2 00000a01: POP 00000a02: JUMP 00000a03: JUMPDEST 00000a04: PUSH2 0x0a14 00000a07: PUSH1 0x03 00000a09: DUP3 00000a0a: PUSH4 0xffffffff 00000a0f: PUSH2 0x0a93 00000a12: AND 00000a13: JUMP 00000a14: JUMPDEST 00000a15: PUSH1 0x40 00000a17: MLOAD 00000a18: PUSH1 0x01 00000a1a: PUSH1 0x01 00000a1c: PUSH1 0xa0 00000a1e: SHL 00000a1f: SUB 00000a20: DUP3 00000a21: AND 00000a22: SWAP1 00000a23: PUSH32 0x22380c05984257a1cb900161c713dd71d39e74820f1aea43bd3f1bdd20961299 00000a44: SWAP1 00000a45: PUSH1 0x00 00000a47: SWAP1 00000a48: LOG2 00000a49: POP 00000a4a: JUMP 00000a4b: JUMPDEST 00000a4c: PUSH2 0x0a5c 00000a4f: PUSH1 0x01 00000a51: DUP3 00000a52: PUSH4 0xffffffff 00000a57: PUSH2 0x0a93 00000a5a: AND 00000a5b: JUMP 00000a5c: JUMPDEST 00000a5d: PUSH1 0x40 00000a5f: MLOAD 00000a60: PUSH1 0x01 00000a62: PUSH1 0x01 00000a64: PUSH1 0xa0 00000a66: SHL 00000a67: SUB 00000a68: DUP3 00000a69: AND 00000a6a: SWAP1 00000a6b: PUSH32 0x6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f8 00000a8c: SWAP1 00000a8d: PUSH1 0x00 00000a8f: SWAP1 00000a90: LOG2 00000a91: POP 00000a92: JUMP 00000a93: JUMPDEST 00000a94: PUSH2 0x0a9d 00000a97: DUP3 00000a98: DUP3 00000a99: PUSH2 0x092b 00000a9c: JUMP 00000a9d: JUMPDEST 00000a9e: ISZERO 00000a9f: PUSH2 0x0aba 00000aa2: JUMPI 00000aa3: PUSH1 0x40 00000aa5: MLOAD 00000aa6: PUSH3 0x461bcd 00000aaa: PUSH1 0xe5 00000aac: SHL 00000aad: DUP2 00000aae: MSTORE 00000aaf: PUSH1 0x04 00000ab1: ADD 00000ab2: PUSH2 0x0508 00000ab5: SWAP1 00000ab6: PUSH2 0x0ece 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: PUSH1 0x01 00000abd: PUSH1 0x01 00000abf: PUSH1 0xa0 00000ac1: SHL 00000ac2: SUB 00000ac3: AND 00000ac4: PUSH1 0x00 00000ac6: SWAP1 00000ac7: DUP2 00000ac8: MSTORE 00000ac9: PUSH1 0x20 00000acb: SWAP2 00000acc: SWAP1 00000acd: SWAP2 00000ace: MSTORE 00000acf: PUSH1 0x40 00000ad1: SWAP1 00000ad2: KECCAK256 00000ad3: DUP1 00000ad4: SLOAD 00000ad5: PUSH1 0xff 00000ad7: NOT 00000ad8: AND 00000ad9: PUSH1 0x01 00000adb: OR 00000adc: SWAP1 00000add: SSTORE 00000ade: JUMP 00000adf: JUMPDEST 00000ae0: PUSH2 0x0ae9 00000ae3: DUP3 00000ae4: DUP3 00000ae5: PUSH2 0x092b 00000ae8: JUMP 00000ae9: JUMPDEST 00000aea: PUSH2 0x0b05 00000aed: JUMPI 00000aee: PUSH1 0x40 00000af0: MLOAD 00000af1: PUSH3 0x461bcd 00000af5: PUSH1 0xe5 00000af7: SHL 00000af8: DUP2 00000af9: MSTORE 00000afa: PUSH1 0x04 00000afc: ADD 00000afd: PUSH2 0x0508 00000b00: SWAP1 00000b01: PUSH2 0x0efe 00000b04: JUMP 00000b05: JUMPDEST 00000b06: PUSH1 0x01 00000b08: PUSH1 0x01 00000b0a: PUSH1 0xa0 00000b0c: SHL 00000b0d: SUB 00000b0e: AND 00000b0f: PUSH1 0x00 00000b11: SWAP1 00000b12: DUP2 00000b13: MSTORE 00000b14: PUSH1 0x20 00000b16: SWAP2 00000b17: SWAP1 00000b18: SWAP2 00000b19: MSTORE 00000b1a: PUSH1 0x40 00000b1c: SWAP1 00000b1d: KECCAK256 00000b1e: DUP1 00000b1f: SLOAD 00000b20: PUSH1 0xff 00000b22: NOT 00000b23: AND 00000b24: SWAP1 00000b25: SSTORE 00000b26: JUMP 00000b27: JUMPDEST 00000b28: DUP1 00000b29: CALLDATALOAD 00000b2a: PUSH2 0x05fb 00000b2d: DUP2 00000b2e: PUSH2 0x0fe0 00000b31: JUMP 00000b32: JUMPDEST 00000b33: PUSH1 0x00 00000b35: DUP3 00000b36: PUSH1 0x1f 00000b38: DUP4 00000b39: ADD 00000b3a: SLT 00000b3b: PUSH2 0x0b43 00000b3e: JUMPI 00000b3f: PUSH1 0x00 00000b41: DUP1 00000b42: REVERT 00000b43: JUMPDEST 00000b44: DUP2 00000b45: CALLDATALOAD 00000b46: PUSH2 0x0b56 00000b49: PUSH2 0x0b51 00000b4c: DUP3 00000b4d: PUSH2 0x0f73 00000b50: JUMP 00000b51: JUMPDEST 00000b52: PUSH2 0x0f4c 00000b55: JUMP 00000b56: JUMPDEST 00000b57: SWAP2 00000b58: POP 00000b59: DUP1 00000b5a: DUP3 00000b5b: MSTORE 00000b5c: PUSH1 0x20 00000b5e: DUP4 00000b5f: ADD 00000b60: PUSH1 0x20 00000b62: DUP4 00000b63: ADD 00000b64: DUP6 00000b65: DUP4 00000b66: DUP4 00000b67: ADD 00000b68: GT 00000b69: ISZERO 00000b6a: PUSH2 0x0b72 00000b6d: JUMPI 00000b6e: PUSH1 0x00 00000b70: DUP1 00000b71: REVERT 00000b72: JUMPDEST 00000b73: PUSH2 0x0b7d 00000b76: DUP4 00000b77: DUP3 00000b78: DUP5 00000b79: PUSH2 0x0fd4 00000b7c: JUMP 00000b7d: JUMPDEST 00000b7e: POP 00000b7f: POP 00000b80: POP 00000b81: SWAP3 00000b82: SWAP2 00000b83: POP 00000b84: POP 00000b85: JUMP 00000b86: JUMPDEST 00000b87: DUP1 00000b88: CALLDATALOAD 00000b89: PUSH2 0x05fb 00000b8c: DUP2 00000b8d: PUSH2 0x0ff4 00000b90: JUMP 00000b91: JUMPDEST 00000b92: PUSH1 0x00 00000b94: PUSH1 0x20 00000b96: DUP3 00000b97: DUP5 00000b98: SUB 00000b99: SLT 00000b9a: ISZERO 00000b9b: PUSH2 0x0ba3 00000b9e: JUMPI 00000b9f: PUSH1 0x00 00000ba1: DUP1 00000ba2: REVERT 00000ba3: JUMPDEST 00000ba4: PUSH1 0x00 00000ba6: PUSH2 0x0baf 00000ba9: DUP5 00000baa: DUP5 00000bab: PUSH2 0x0b27 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: SWAP5 00000bb1: SWAP4 00000bb2: POP 00000bb3: POP 00000bb4: POP 00000bb5: POP 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH1 0x00 00000bba: PUSH1 0x20 00000bbc: DUP3 00000bbd: DUP5 00000bbe: SUB 00000bbf: SLT 00000bc0: ISZERO 00000bc1: PUSH2 0x0bc9 00000bc4: JUMPI 00000bc5: PUSH1 0x00 00000bc7: DUP1 00000bc8: REVERT 00000bc9: JUMPDEST 00000bca: DUP2 00000bcb: CALLDATALOAD 00000bcc: PUSH8 0xffffffffffffffff 00000bd5: DUP2 00000bd6: GT 00000bd7: ISZERO 00000bd8: PUSH2 0x0be0 00000bdb: JUMPI 00000bdc: PUSH1 0x00 00000bde: DUP1 00000bdf: REVERT 00000be0: JUMPDEST 00000be1: PUSH2 0x0baf 00000be4: DUP5 00000be5: DUP3 00000be6: DUP6 00000be7: ADD 00000be8: PUSH2 0x0b32 00000beb: JUMP 00000bec: JUMPDEST 00000bed: PUSH1 0x00 00000bef: PUSH1 0x20 00000bf1: DUP3 00000bf2: DUP5 00000bf3: SUB 00000bf4: SLT 00000bf5: ISZERO 00000bf6: PUSH2 0x0bfe 00000bf9: JUMPI 00000bfa: PUSH1 0x00 00000bfc: DUP1 00000bfd: REVERT 00000bfe: JUMPDEST 00000bff: PUSH1 0x00 00000c01: PUSH2 0x0baf 00000c04: DUP5 00000c05: DUP5 00000c06: PUSH2 0x0b86 00000c09: JUMP 00000c0a: JUMPDEST 00000c0b: PUSH2 0x0c13 00000c0e: DUP2 00000c0f: PUSH2 0x0fc3 00000c12: JUMP 00000c13: JUMPDEST 00000c14: DUP3 00000c15: MSTORE 00000c16: POP 00000c17: POP 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: PUSH2 0x0c13 00000c1d: DUP2 00000c1e: PUSH2 0x0fa4 00000c21: JUMP 00000c22: JUMPDEST 00000c23: PUSH2 0x0c13 00000c26: DUP2 00000c27: PUSH2 0x0faf 00000c2a: JUMP 00000c2b: JUMPDEST 00000c2c: PUSH1 0x00 00000c2e: PUSH2 0x0c38 00000c31: PUSH1 0x14 00000c33: DUP4 00000c34: PUSH2 0x0f9b 00000c37: JUMP 00000c38: JUMPDEST 00000c39: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000 00000c5a: DUP2 00000c5b: MSTORE 00000c5c: PUSH1 0x20 00000c5e: ADD 00000c5f: SWAP3 00000c60: SWAP2 00000c61: POP 00000c62: POP 00000c63: JUMP 00000c64: JUMPDEST 00000c65: PUSH1 0x00 00000c67: PUSH2 0x0c71 00000c6a: PUSH1 0x1f 00000c6c: DUP4 00000c6d: PUSH2 0x0f9b 00000c70: JUMP 00000c71: JUMPDEST 00000c72: PUSH32 0x526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500 00000c93: DUP2 00000c94: MSTORE 00000c95: PUSH1 0x20 00000c97: ADD 00000c98: SWAP3 00000c99: SWAP2 00000c9a: POP 00000c9b: POP 00000c9c: JUMP 00000c9d: JUMPDEST 00000c9e: PUSH1 0x00 00000ca0: PUSH2 0x0caa 00000ca3: PUSH1 0x30 00000ca5: DUP4 00000ca6: PUSH2 0x0f9b 00000ca9: JUMP 00000caa: JUMPDEST 00000cab: PUSH32 0x506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665 00000ccc: DUP2 00000ccd: MSTORE 00000cce: PUSH32 0x207468652050617573657220726f6c6500000000000000000000000000000000 00000cef: PUSH1 0x20 00000cf1: DUP3 00000cf2: ADD 00000cf3: MSTORE 00000cf4: PUSH1 0x40 00000cf6: ADD 00000cf7: SWAP3 00000cf8: SWAP2 00000cf9: POP 00000cfa: POP 00000cfb: JUMP 00000cfc: JUMPDEST 00000cfd: PUSH1 0x00 00000cff: PUSH2 0x0d09 00000d02: PUSH1 0x10 00000d04: DUP4 00000d05: PUSH2 0x0f9b 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000 00000d2b: DUP2 00000d2c: MSTORE 00000d2d: PUSH1 0x20 00000d2f: ADD 00000d30: SWAP3 00000d31: SWAP2 00000d32: POP 00000d33: POP 00000d34: JUMP 00000d35: JUMPDEST 00000d36: PUSH1 0x00 00000d38: PUSH2 0x0d42 00000d3b: PUSH1 0x21 00000d3d: DUP4 00000d3e: PUSH2 0x0f9b 00000d41: JUMP 00000d42: JUMPDEST 00000d43: PUSH32 0x526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c 00000d64: DUP2 00000d65: MSTORE 00000d66: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000 00000d87: PUSH1 0x20 00000d89: DUP3 00000d8a: ADD 00000d8b: MSTORE 00000d8c: PUSH1 0x40 00000d8e: ADD 00000d8f: SWAP3 00000d90: SWAP2 00000d91: POP 00000d92: POP 00000d93: JUMP 00000d94: JUMPDEST 00000d95: PUSH1 0x00 00000d97: PUSH2 0x0da1 00000d9a: PUSH1 0x22 00000d9c: DUP4 00000d9d: PUSH2 0x0f9b 00000da0: JUMP 00000da1: JUMPDEST 00000da2: PUSH32 0x526f6c65733a206163636f756e7420697320746865207a65726f206164647265 00000dc3: DUP2 00000dc4: MSTORE 00000dc5: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000 00000de6: PUSH1 0x20 00000de8: DUP3 00000de9: ADD 00000dea: MSTORE 00000deb: PUSH1 0x40 00000ded: ADD 00000dee: SWAP3 00000def: SWAP2 00000df0: POP 00000df1: POP 00000df2: JUMP 00000df3: JUMPDEST 00000df4: PUSH1 0x00 00000df6: PUSH2 0x0e00 00000df9: PUSH1 0x40 00000dfb: DUP4 00000dfc: PUSH2 0x0f9b 00000dff: JUMP 00000e00: JUMPDEST 00000e01: PUSH32 0x57686974656c69737441646d696e526f6c653a2063616c6c657220646f657320 00000e22: DUP2 00000e23: MSTORE 00000e24: PUSH32 0x6e6f742068617665207468652057686974656c69737441646d696e20726f6c65 00000e45: PUSH1 0x20 00000e47: DUP3 00000e48: ADD 00000e49: MSTORE 00000e4a: PUSH1 0x40 00000e4c: ADD 00000e4d: SWAP3 00000e4e: SWAP2 00000e4f: POP 00000e50: POP 00000e51: JUMP 00000e52: JUMPDEST 00000e53: PUSH1 0x00 00000e55: PUSH2 0x0e5f 00000e58: PUSH1 0x0d 00000e5a: DUP4 00000e5b: PUSH2 0x0f9b 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: PUSH32 0x6e6f7420637573746f6469616e00000000000000000000000000000000000000 00000e81: DUP2 00000e82: MSTORE 00000e83: PUSH1 0x20 00000e85: ADD 00000e86: SWAP3 00000e87: SWAP2 00000e88: POP 00000e89: POP 00000e8a: JUMP 00000e8b: JUMPDEST 00000e8c: PUSH2 0x0c13 00000e8f: DUP2 00000e90: PUSH2 0x0fc0 00000e93: JUMP 00000e94: JUMPDEST 00000e95: PUSH1 0x20 00000e97: DUP2 00000e98: ADD 00000e99: PUSH2 0x05fb 00000e9c: DUP3 00000e9d: DUP5 00000e9e: PUSH2 0x0c19 00000ea1: JUMP 00000ea2: JUMPDEST 00000ea3: PUSH1 0x20 00000ea5: DUP2 00000ea6: ADD 00000ea7: PUSH2 0x05fb 00000eaa: DUP3 00000eab: DUP5 00000eac: PUSH2 0x0c0a 00000eaf: JUMP 00000eb0: JUMPDEST 00000eb1: PUSH1 0x20 00000eb3: DUP2 00000eb4: ADD 00000eb5: PUSH2 0x05fb 00000eb8: DUP3 00000eb9: DUP5 00000eba: PUSH2 0x0c22 00000ebd: JUMP 00000ebe: JUMPDEST 00000ebf: PUSH1 0x20 00000ec1: DUP1 00000ec2: DUP3 00000ec3: MSTORE 00000ec4: DUP2 00000ec5: ADD 00000ec6: PUSH2 0x05fb 00000ec9: DUP2 00000eca: PUSH2 0x0c2b 00000ecd: JUMP 00000ece: JUMPDEST 00000ecf: PUSH1 0x20 00000ed1: DUP1 00000ed2: DUP3 00000ed3: MSTORE 00000ed4: DUP2 00000ed5: ADD 00000ed6: PUSH2 0x05fb 00000ed9: DUP2 00000eda: PUSH2 0x0c64 00000edd: JUMP 00000ede: JUMPDEST 00000edf: PUSH1 0x20 00000ee1: DUP1 00000ee2: DUP3 00000ee3: MSTORE 00000ee4: DUP2 00000ee5: ADD 00000ee6: PUSH2 0x05fb 00000ee9: DUP2 00000eea: PUSH2 0x0c9d 00000eed: JUMP 00000eee: JUMPDEST 00000eef: PUSH1 0x20 00000ef1: DUP1 00000ef2: DUP3 00000ef3: MSTORE 00000ef4: DUP2 00000ef5: ADD 00000ef6: PUSH2 0x05fb 00000ef9: DUP2 00000efa: PUSH2 0x0cfc 00000efd: JUMP 00000efe: JUMPDEST 00000eff: PUSH1 0x20 00000f01: DUP1 00000f02: DUP3 00000f03: MSTORE 00000f04: DUP2 00000f05: ADD 00000f06: PUSH2 0x05fb 00000f09: DUP2 00000f0a: PUSH2 0x0d35 00000f0d: JUMP 00000f0e: JUMPDEST 00000f0f: PUSH1 0x20 00000f11: DUP1 00000f12: DUP3 00000f13: MSTORE 00000f14: DUP2 00000f15: ADD 00000f16: PUSH2 0x05fb 00000f19: DUP2 00000f1a: PUSH2 0x0d94 00000f1d: JUMP 00000f1e: JUMPDEST 00000f1f: PUSH1 0x20 00000f21: DUP1 00000f22: DUP3 00000f23: MSTORE 00000f24: DUP2 00000f25: ADD 00000f26: PUSH2 0x05fb 00000f29: DUP2 00000f2a: PUSH2 0x0df3 00000f2d: JUMP 00000f2e: JUMPDEST 00000f2f: PUSH1 0x20 00000f31: DUP1 00000f32: DUP3 00000f33: MSTORE 00000f34: DUP2 00000f35: ADD 00000f36: PUSH2 0x05fb 00000f39: DUP2 00000f3a: PUSH2 0x0e52 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: PUSH1 0x20 00000f41: DUP2 00000f42: ADD 00000f43: PUSH2 0x05fb 00000f46: DUP3 00000f47: DUP5 00000f48: PUSH2 0x0e8b 00000f4b: JUMP 00000f4c: JUMPDEST 00000f4d: PUSH1 0x40 00000f4f: MLOAD 00000f50: DUP2 00000f51: DUP2 00000f52: ADD 00000f53: PUSH8 0xffffffffffffffff 00000f5c: DUP2 00000f5d: GT 00000f5e: DUP3 00000f5f: DUP3 00000f60: LT 00000f61: OR 00000f62: ISZERO 00000f63: PUSH2 0x0f6b 00000f66: JUMPI 00000f67: PUSH1 0x00 00000f69: DUP1 00000f6a: REVERT 00000f6b: JUMPDEST 00000f6c: PUSH1 0x40 00000f6e: MSTORE 00000f6f: SWAP2 00000f70: SWAP1 00000f71: POP 00000f72: JUMP 00000f73: JUMPDEST 00000f74: PUSH1 0x00 00000f76: PUSH8 0xffffffffffffffff 00000f7f: DUP3 00000f80: GT 00000f81: ISZERO 00000f82: PUSH2 0x0f8a 00000f85: JUMPI 00000f86: PUSH1 0x00 00000f88: DUP1 00000f89: REVERT 00000f8a: JUMPDEST 00000f8b: POP 00000f8c: PUSH1 0x20 00000f8e: PUSH1 0x1f 00000f90: SWAP2 00000f91: SWAP1 00000f92: SWAP2 00000f93: ADD 00000f94: PUSH1 0x1f 00000f96: NOT 00000f97: AND 00000f98: ADD 00000f99: SWAP1 00000f9a: JUMP 00000f9b: JUMPDEST 00000f9c: SWAP1 00000f9d: DUP2 00000f9e: MSTORE 00000f9f: PUSH1 0x20 00000fa1: ADD 00000fa2: SWAP1 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: PUSH1 0x00 00000fa7: PUSH2 0x05fb 00000faa: DUP3 00000fab: PUSH2 0x0fb4 00000fae: JUMP 00000faf: JUMPDEST 00000fb0: ISZERO 00000fb1: ISZERO 00000fb2: SWAP1 00000fb3: JUMP 00000fb4: JUMPDEST 00000fb5: PUSH1 0x01 00000fb7: PUSH1 0x01 00000fb9: PUSH1 0xa0 00000fbb: SHL 00000fbc: SUB 00000fbd: AND 00000fbe: SWAP1 00000fbf: JUMP 00000fc0: JUMPDEST 00000fc1: SWAP1 00000fc2: JUMP 00000fc3: JUMPDEST 00000fc4: PUSH1 0x00 00000fc6: PUSH2 0x05fb 00000fc9: DUP3 00000fca: PUSH1 0x00 00000fcc: PUSH2 0x05fb 00000fcf: DUP3 00000fd0: PUSH2 0x0fa4 00000fd3: JUMP 00000fd4: JUMPDEST 00000fd5: DUP3 00000fd6: DUP2 00000fd7: DUP4 00000fd8: CALLDATACOPY 00000fd9: POP 00000fda: PUSH1 0x00 00000fdc: SWAP2 00000fdd: ADD 00000fde: MSTORE 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH2 0x0fe9 00000fe4: DUP2 00000fe5: PUSH2 0x0fa4 00000fe8: JUMP 00000fe9: JUMPDEST 00000fea: DUP2 00000feb: EQ 00000fec: PUSH2 0x051a 00000fef: JUMPI 00000ff0: PUSH1 0x00 00000ff2: DUP1 00000ff3: REVERT 00000ff4: JUMPDEST 00000ff5: PUSH2 0x0fe9 00000ff8: DUP2 00000ff9: PUSH2 0x0fc0 00000ffc: JUMP 00000ffd: JUMPDEST 00000ffe: PUSH1 0x00 00001000: DUP2 00001001: EXTCODEHASH 00001002: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 00001023: DUP2 00001024: ISZERO 00001025: DUP1 00001026: ISZERO 00001027: SWAP1 00001028: PUSH2 0x0baf 0000102b: JUMPI 0000102c: POP 0000102d: EQ 0000102e: ISZERO 0000102f: SWAP3 00001030: SWAP2 00001031: POP 00001032: POP 00001033: JUMP 00001034: INVALID 00001035: LOG3 00001036: PUSH6 0x627a7a723158 0000103d: KECCAK256 0000103e: BLOCKHASH 0000103f: MUL 00001040: SLOAD 00001041: UNKNOWN(0xE5) 00001042: UNKNOWN(0xB6) 00001043: CLZ 00001044: SWAP11 00001045: UNKNOWN(0x0F) 00001046: UNKNOWN(0xE0) 00001047: TIMESTAMP 00001048: RETURNDATASIZE 00001049: UNKNOWN(0x28) 0000104a: SWAP3 0000104b: SWAP16 0000104c: UNKNOWN(0x2D) 0000104d: PUSH14 0x85676f4c750413c403e0eae18d9e 0000105c: UNKNOWN(0xBF) 0000105d: XOR 0000105e: PUSH13 0x6578706572696d656e74616cf5 0000106c: PUSH5 0x736f6c6343 00001072: STOP 00001073: SDIV 00001074: SIGNEXTEND 00001075: STOP 00001076: BLOCKHASH
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xeac28e31499e674cbe2f6c18a25bfa4210bb8f2dcdde8e69b4c76b7783e799d6
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0xeac28e31499e674cbe2f6c18a25bfa4210bb8f2dcdde8e69b4c76b7783e799d6",
"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": "0xd50fd1f4",
"selector": "0xd50fd1f4",
"calldata_variants": [
"0xd50fd1f4",
"0xd50fd1f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6cd9473",
"selector": "0xd6cd9473",
"calldata_variants": [
"0xd6cd9473",
"0xd6cd94730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb80c747",
"selector": "0xfb80c747",
"calldata_variants": [
"0xfb80c747",
"0xfb80c7470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0a7f03",
"selector": "0xfc0a7f03",
"calldata_variants": [
"0xfc0a7f03",
"0xfc0a7f030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca44f465",
"selector": "0xca44f465",
"calldata_variants": [
"0xca44f465",
"0xca44f4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0134296",
"selector": "0xd0134296",
"calldata_variants": [
"0xd0134296",
"0xd01342960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd121b696",
"selector": "0xd121b696",
"calldata_variants": [
"0xd121b696",
"0xd121b6960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 467,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|