019b477e-bee3-71cf-90b5-57603e7c2323
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 |
|---|---|---|---|---|
| 24451 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24452 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67770 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 67771 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 67772 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 67773 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x002d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6dbf2fa0 00000019: EQ 0000001a: PUSH2 0x0039 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xdba4cac5 00000024: EQ 00000025: PUSH2 0x0069 00000028: JUMPI 00000029: PUSH2 0x0034 0000002c: JUMP 0000002d: JUMPDEST 0000002e: CALLDATASIZE 0000002f: PUSH2 0x0034 00000032: JUMPI 00000033: STOP 00000034: JUMPDEST 00000035: PUSH1 0x00 00000037: DUP1 00000038: REVERT 00000039: JUMPDEST 0000003a: PUSH2 0x0053 0000003d: PUSH1 0x04 0000003f: DUP1 00000040: CALLDATASIZE 00000041: SUB 00000042: DUP2 00000043: ADD 00000044: SWAP1 00000045: PUSH2 0x004e 00000048: SWAP2 00000049: SWAP1 0000004a: PUSH2 0x0747 0000004d: JUMP 0000004e: JUMPDEST 0000004f: PUSH2 0x0085 00000052: JUMP 00000053: JUMPDEST 00000054: PUSH1 0x40 00000056: MLOAD 00000057: PUSH2 0x0060 0000005a: SWAP2 0000005b: SWAP1 0000005c: PUSH2 0x0996 0000005f: JUMP 00000060: JUMPDEST 00000061: PUSH1 0x40 00000063: MLOAD 00000064: DUP1 00000065: SWAP2 00000066: SUB 00000067: SWAP1 00000068: RETURN 00000069: JUMPDEST 0000006a: PUSH2 0x0083 0000006d: PUSH1 0x04 0000006f: DUP1 00000070: CALLDATASIZE 00000071: SUB 00000072: DUP2 00000073: ADD 00000074: SWAP1 00000075: PUSH2 0x007e 00000078: SWAP2 00000079: SWAP1 0000007a: PUSH2 0x07b3 0000007d: JUMP 0000007e: JUMPDEST 0000007f: PUSH2 0x01a2 00000082: JUMP 00000083: JUMPDEST 00000084: STOP 00000085: JUMPDEST 00000086: PUSH1 0x60 00000088: PUSH32 0x0000000000000000000000008faace32e29de5639c0f13d5ffbc772691e1e799 000000a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000be: AND 000000bf: CALLER 000000c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000d5: AND 000000d6: EQ 000000d7: PUSH2 0x00df 000000da: JUMPI 000000db: PUSH1 0x00 000000dd: DUP1 000000de: REVERT 000000df: JUMPDEST 000000e0: PUSH1 0x00 000000e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000f7: AND 000000f8: DUP6 000000f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000010e: AND 0000010f: EQ 00000110: ISZERO 00000111: PUSH2 0x0119 00000114: JUMPI 00000115: PUSH1 0x00 00000117: DUP1 00000118: REVERT 00000119: JUMPDEST 0000011a: PUSH1 0x00 0000011c: DUP1 0000011d: DUP7 0000011e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000133: AND 00000134: DUP7 00000135: DUP7 00000136: DUP7 00000137: PUSH1 0x40 00000139: MLOAD 0000013a: PUSH2 0x0144 0000013d: SWAP3 0000013e: SWAP2 0000013f: SWAP1 00000140: PUSH2 0x094b 00000143: JUMP 00000144: JUMPDEST 00000145: PUSH1 0x00 00000147: PUSH1 0x40 00000149: MLOAD 0000014a: DUP1 0000014b: DUP4 0000014c: SUB 0000014d: DUP2 0000014e: DUP6 0000014f: DUP8 00000150: GAS 00000151: CALL 00000152: SWAP3 00000153: POP 00000154: POP 00000155: POP 00000156: RETURNDATASIZE 00000157: DUP1 00000158: PUSH1 0x00 0000015a: DUP2 0000015b: EQ 0000015c: PUSH2 0x0181 0000015f: JUMPI 00000160: PUSH1 0x40 00000162: MLOAD 00000163: SWAP2 00000164: POP 00000165: PUSH1 0x1f 00000167: NOT 00000168: PUSH1 0x3f 0000016a: RETURNDATASIZE 0000016b: ADD 0000016c: AND 0000016d: DUP3 0000016e: ADD 0000016f: PUSH1 0x40 00000171: MSTORE 00000172: RETURNDATASIZE 00000173: DUP3 00000174: MSTORE 00000175: RETURNDATASIZE 00000176: PUSH1 0x00 00000178: PUSH1 0x20 0000017a: DUP5 0000017b: ADD 0000017c: RETURNDATACOPY 0000017d: PUSH2 0x0186 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH1 0x60 00000184: SWAP2 00000185: POP 00000186: JUMPDEST 00000187: POP 00000188: SWAP2 00000189: POP 0000018a: SWAP2 0000018b: POP 0000018c: DUP2 0000018d: PUSH2 0x0195 00000190: JUMPI 00000191: PUSH1 0x00 00000193: DUP1 00000194: REVERT 00000195: JUMPDEST 00000196: DUP1 00000197: SWAP3 00000198: POP 00000199: POP 0000019a: POP 0000019b: SWAP5 0000019c: SWAP4 0000019d: POP 0000019e: POP 0000019f: POP 000001a0: POP 000001a1: JUMP 000001a2: JUMPDEST 000001a3: PUSH32 0x0000000000000000000000008faace32e29de5639c0f13d5ffbc772691e1e799 000001c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d9: AND 000001da: CALLER 000001db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f0: AND 000001f1: EQ 000001f2: PUSH2 0x01fa 000001f5: JUMPI 000001f6: PUSH1 0x00 000001f8: DUP1 000001f9: REVERT 000001fa: JUMPDEST 000001fb: DUP1 000001fc: MLOAD 000001fd: DUP4 000001fe: MLOAD 000001ff: EQ 00000200: PUSH2 0x0208 00000203: JUMPI 00000204: PUSH1 0x00 00000206: DUP1 00000207: REVERT 00000208: JUMPDEST 00000209: DUP2 0000020a: MLOAD 0000020b: DUP4 0000020c: MLOAD 0000020d: EQ 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: PUSH1 0x00 00000219: PUSH2 0x0221 0000021c: DUP8 0000021d: PUSH2 0x03b9 00000220: JUMP 00000221: JUMPDEST 00000222: SWAP1 00000223: POP 00000224: PUSH1 0x00 00000226: JUMPDEST 00000227: DUP5 00000228: MLOAD 00000229: DUP2 0000022a: LT 0000022b: ISZERO 0000022c: PUSH2 0x02f1 0000022f: JUMPI 00000230: PUSH1 0x00 00000232: DUP1 00000233: DUP7 00000234: DUP4 00000235: DUP2 00000236: MLOAD 00000237: DUP2 00000238: LT 00000239: PUSH2 0x023e 0000023c: JUMPI 0000023d: INVALID 0000023e: JUMPDEST 0000023f: PUSH1 0x20 00000241: MUL 00000242: PUSH1 0x20 00000244: ADD 00000245: ADD 00000246: MLOAD 00000247: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025c: AND 0000025d: DUP7 0000025e: DUP5 0000025f: DUP2 00000260: MLOAD 00000261: DUP2 00000262: LT 00000263: PUSH2 0x0268 00000266: JUMPI 00000267: INVALID 00000268: JUMPDEST 00000269: PUSH1 0x20 0000026b: MUL 0000026c: PUSH1 0x20 0000026e: ADD 0000026f: ADD 00000270: MLOAD 00000271: DUP7 00000272: DUP6 00000273: DUP2 00000274: MLOAD 00000275: DUP2 00000276: LT 00000277: PUSH2 0x027c 0000027a: JUMPI 0000027b: INVALID 0000027c: JUMPDEST 0000027d: PUSH1 0x20 0000027f: MUL 00000280: PUSH1 0x20 00000282: ADD 00000283: ADD 00000284: MLOAD 00000285: PUSH1 0x40 00000287: MLOAD 00000288: PUSH2 0x0291 0000028b: SWAP2 0000028c: SWAP1 0000028d: PUSH2 0x0964 00000290: JUMP 00000291: JUMPDEST 00000292: PUSH1 0x00 00000294: PUSH1 0x40 00000296: MLOAD 00000297: DUP1 00000298: DUP4 00000299: SUB 0000029a: DUP2 0000029b: DUP6 0000029c: DUP8 0000029d: GAS 0000029e: CALL 0000029f: SWAP3 000002a0: POP 000002a1: POP 000002a2: POP 000002a3: RETURNDATASIZE 000002a4: DUP1 000002a5: PUSH1 0x00 000002a7: DUP2 000002a8: EQ 000002a9: PUSH2 0x02ce 000002ac: JUMPI 000002ad: PUSH1 0x40 000002af: MLOAD 000002b0: SWAP2 000002b1: POP 000002b2: PUSH1 0x1f 000002b4: NOT 000002b5: PUSH1 0x3f 000002b7: RETURNDATASIZE 000002b8: ADD 000002b9: AND 000002ba: DUP3 000002bb: ADD 000002bc: PUSH1 0x40 000002be: MSTORE 000002bf: RETURNDATASIZE 000002c0: DUP3 000002c1: MSTORE 000002c2: RETURNDATASIZE 000002c3: PUSH1 0x00 000002c5: PUSH1 0x20 000002c7: DUP5 000002c8: ADD 000002c9: RETURNDATACOPY 000002ca: PUSH2 0x02d3 000002cd: JUMP 000002ce: JUMPDEST 000002cf: PUSH1 0x60 000002d1: SWAP2 000002d2: POP 000002d3: JUMPDEST 000002d4: POP 000002d5: SWAP2 000002d6: POP 000002d7: SWAP2 000002d8: POP 000002d9: DUP2 000002da: PUSH2 0x02e2 000002dd: JUMPI 000002de: PUSH1 0x00 000002e0: DUP1 000002e1: REVERT 000002e2: JUMPDEST 000002e3: POP 000002e4: POP 000002e5: DUP1 000002e6: DUP1 000002e7: PUSH1 0x01 000002e9: ADD 000002ea: SWAP2 000002eb: POP 000002ec: POP 000002ed: PUSH2 0x0226 000002f0: JUMP 000002f1: JUMPDEST 000002f2: POP 000002f3: PUSH1 0x00 000002f5: PUSH2 0x02fd 000002f8: DUP9 000002f9: PUSH2 0x03b9 000002fc: JUMP 000002fd: JUMPDEST 000002fe: SWAP1 000002ff: POP 00000300: PUSH1 0x00 00000302: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000317: AND 00000318: DUP9 00000319: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000032e: AND 0000032f: EQ 00000330: ISZERO 00000331: PUSH2 0x0347 00000334: JUMPI 00000335: DUP6 00000336: DUP3 00000337: ADD 00000338: DUP2 00000339: GT 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: PUSH2 0x0357 00000346: JUMP 00000347: JUMPDEST 00000348: DUP7 00000349: DUP3 0000034a: ADD 0000034b: DUP2 0000034c: LT 0000034d: ISZERO 0000034e: PUSH2 0x0356 00000351: JUMPI 00000352: PUSH1 0x00 00000354: DUP1 00000355: REVERT 00000356: JUMPDEST 00000357: JUMPDEST 00000358: PUSH1 0x00 0000035a: DUP7 0000035b: EQ 0000035c: ISZERO 0000035d: PUSH2 0x0367 00000360: JUMPI 00000361: POP 00000362: POP 00000363: PUSH2 0x03b1 00000366: JUMP 00000367: JUMPDEST 00000368: COINBASE 00000369: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037e: AND 0000037f: PUSH2 0x08fc 00000382: DUP8 00000383: SWAP1 00000384: DUP2 00000385: ISZERO 00000386: MUL 00000387: SWAP1 00000388: PUSH1 0x40 0000038a: MLOAD 0000038b: PUSH1 0x00 0000038d: PUSH1 0x40 0000038f: MLOAD 00000390: DUP1 00000391: DUP4 00000392: SUB 00000393: DUP2 00000394: DUP6 00000395: DUP9 00000396: DUP9 00000397: CALL 00000398: SWAP4 00000399: POP 0000039a: POP 0000039b: POP 0000039c: POP 0000039d: ISZERO 0000039e: DUP1 0000039f: ISZERO 000003a0: PUSH2 0x03ad 000003a3: JUMPI 000003a4: RETURNDATASIZE 000003a5: PUSH1 0x00 000003a7: DUP1 000003a8: RETURNDATACOPY 000003a9: RETURNDATASIZE 000003aa: PUSH1 0x00 000003ac: REVERT 000003ad: JUMPDEST 000003ae: POP 000003af: POP 000003b0: POP 000003b1: JUMPDEST 000003b2: POP 000003b3: POP 000003b4: POP 000003b5: POP 000003b6: POP 000003b7: POP 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: PUSH1 0x00 000003bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d4: AND 000003d5: DUP4 000003d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003eb: AND 000003ec: EQ 000003ed: ISZERO 000003ee: PUSH2 0x03f9 000003f1: JUMPI 000003f2: SELFBALANCE 000003f3: SWAP1 000003f4: POP 000003f5: PUSH2 0x0485 000003f8: JUMP 000003f9: JUMPDEST 000003fa: DUP3 000003fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000410: AND 00000411: PUSH4 0x70a08231 00000416: ADDRESS 00000417: PUSH1 0x40 00000419: MLOAD 0000041a: DUP3 0000041b: PUSH4 0xffffffff 00000420: AND 00000421: PUSH1 0xe0 00000423: SHL 00000424: DUP2 00000425: MSTORE 00000426: PUSH1 0x04 00000428: ADD 00000429: PUSH2 0x0432 0000042c: SWAP2 0000042d: SWAP1 0000042e: PUSH2 0x097b 00000431: JUMP 00000432: JUMPDEST 00000433: PUSH1 0x20 00000435: PUSH1 0x40 00000437: MLOAD 00000438: DUP1 00000439: DUP4 0000043a: SUB 0000043b: DUP2 0000043c: DUP7 0000043d: DUP1 0000043e: EXTCODESIZE 0000043f: ISZERO 00000440: DUP1 00000441: ISZERO 00000442: PUSH2 0x044a 00000445: JUMPI 00000446: PUSH1 0x00 00000448: DUP1 00000449: REVERT 0000044a: JUMPDEST 0000044b: POP 0000044c: GAS 0000044d: STATICCALL 0000044e: ISZERO 0000044f: DUP1 00000450: ISZERO 00000451: PUSH2 0x045e 00000454: JUMPI 00000455: RETURNDATASIZE 00000456: PUSH1 0x00 00000458: DUP1 00000459: RETURNDATACOPY 0000045a: RETURNDATASIZE 0000045b: PUSH1 0x00 0000045d: REVERT 0000045e: JUMPDEST 0000045f: POP 00000460: POP 00000461: POP 00000462: POP 00000463: PUSH1 0x40 00000465: MLOAD 00000466: RETURNDATASIZE 00000467: PUSH1 0x1f 00000469: NOT 0000046a: PUSH1 0x1f 0000046c: DUP3 0000046d: ADD 0000046e: AND 0000046f: DUP3 00000470: ADD 00000471: DUP1 00000472: PUSH1 0x40 00000474: MSTORE 00000475: POP 00000476: DUP2 00000477: ADD 00000478: SWAP1 00000479: PUSH2 0x0482 0000047c: SWAP2 0000047d: SWAP1 0000047e: PUSH2 0x0884 00000481: JUMP 00000482: JUMPDEST 00000483: SWAP1 00000484: POP 00000485: JUMPDEST 00000486: DUP1 00000487: SWAP2 00000488: POP 00000489: POP 0000048a: SWAP2 0000048b: SWAP1 0000048c: POP 0000048d: JUMP 0000048e: JUMPDEST 0000048f: PUSH1 0x00 00000491: PUSH2 0x04a1 00000494: PUSH2 0x049c 00000497: DUP5 00000498: PUSH2 0x09e9 0000049b: JUMP 0000049c: JUMPDEST 0000049d: PUSH2 0x09b8 000004a0: JUMP 000004a1: JUMPDEST 000004a2: SWAP1 000004a3: POP 000004a4: DUP1 000004a5: DUP4 000004a6: DUP3 000004a7: MSTORE 000004a8: PUSH1 0x20 000004aa: DUP3 000004ab: ADD 000004ac: SWAP1 000004ad: POP 000004ae: DUP3 000004af: DUP6 000004b0: PUSH1 0x20 000004b2: DUP7 000004b3: MUL 000004b4: DUP3 000004b5: ADD 000004b6: GT 000004b7: ISZERO 000004b8: PUSH2 0x04c0 000004bb: JUMPI 000004bc: PUSH1 0x00 000004be: DUP1 000004bf: REVERT 000004c0: JUMPDEST 000004c1: PUSH1 0x00 000004c3: JUMPDEST 000004c4: DUP6 000004c5: DUP2 000004c6: LT 000004c7: ISZERO 000004c8: PUSH2 0x04f0 000004cb: JUMPI 000004cc: DUP2 000004cd: PUSH2 0x04d6 000004d0: DUP9 000004d1: DUP3 000004d2: PUSH2 0x0601 000004d5: JUMP 000004d6: JUMPDEST 000004d7: DUP5 000004d8: MSTORE 000004d9: PUSH1 0x20 000004db: DUP5 000004dc: ADD 000004dd: SWAP4 000004de: POP 000004df: PUSH1 0x20 000004e1: DUP4 000004e2: ADD 000004e3: SWAP3 000004e4: POP 000004e5: POP 000004e6: PUSH1 0x01 000004e8: DUP2 000004e9: ADD 000004ea: SWAP1 000004eb: POP 000004ec: PUSH2 0x04c3 000004ef: JUMP 000004f0: JUMPDEST 000004f1: POP 000004f2: POP 000004f3: POP 000004f4: SWAP4 000004f5: SWAP3 000004f6: POP 000004f7: POP 000004f8: POP 000004f9: JUMP 000004fa: JUMPDEST 000004fb: PUSH1 0x00 000004fd: PUSH2 0x050d 00000500: PUSH2 0x0508 00000503: DUP5 00000504: PUSH2 0x0a15 00000507: JUMP 00000508: JUMPDEST 00000509: PUSH2 0x09b8 0000050c: JUMP 0000050d: JUMPDEST 0000050e: SWAP1 0000050f: POP 00000510: DUP1 00000511: DUP4 00000512: DUP3 00000513: MSTORE 00000514: PUSH1 0x20 00000516: DUP3 00000517: ADD 00000518: SWAP1 00000519: POP 0000051a: DUP3 0000051b: PUSH1 0x00 0000051d: JUMPDEST 0000051e: DUP6 0000051f: DUP2 00000520: LT 00000521: ISZERO 00000522: PUSH2 0x054d 00000525: JUMPI 00000526: DUP2 00000527: CALLDATALOAD 00000528: DUP6 00000529: ADD 0000052a: PUSH2 0x0533 0000052d: DUP9 0000052e: DUP3 0000052f: PUSH2 0x06f3 00000532: JUMP 00000533: JUMPDEST 00000534: DUP5 00000535: MSTORE 00000536: PUSH1 0x20 00000538: DUP5 00000539: ADD 0000053a: SWAP4 0000053b: POP 0000053c: PUSH1 0x20 0000053e: DUP4 0000053f: ADD 00000540: SWAP3 00000541: POP 00000542: POP 00000543: PUSH1 0x01 00000545: DUP2 00000546: ADD 00000547: SWAP1 00000548: POP 00000549: PUSH2 0x051d 0000054c: JUMP 0000054d: JUMPDEST 0000054e: POP 0000054f: POP 00000550: POP 00000551: SWAP4 00000552: SWAP3 00000553: POP 00000554: POP 00000555: POP 00000556: JUMP 00000557: JUMPDEST 00000558: PUSH1 0x00 0000055a: PUSH2 0x056a 0000055d: PUSH2 0x0565 00000560: DUP5 00000561: PUSH2 0x0a41 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH2 0x09b8 00000569: JUMP 0000056a: JUMPDEST 0000056b: SWAP1 0000056c: POP 0000056d: DUP1 0000056e: DUP4 0000056f: DUP3 00000570: MSTORE 00000571: PUSH1 0x20 00000573: DUP3 00000574: ADD 00000575: SWAP1 00000576: POP 00000577: DUP3 00000578: DUP6 00000579: PUSH1 0x20 0000057b: DUP7 0000057c: MUL 0000057d: DUP3 0000057e: ADD 0000057f: GT 00000580: ISZERO 00000581: PUSH2 0x0589 00000584: JUMPI 00000585: PUSH1 0x00 00000587: DUP1 00000588: REVERT 00000589: JUMPDEST 0000058a: PUSH1 0x00 0000058c: JUMPDEST 0000058d: DUP6 0000058e: DUP2 0000058f: LT 00000590: ISZERO 00000591: PUSH2 0x05b9 00000594: JUMPI 00000595: DUP2 00000596: PUSH2 0x059f 00000599: DUP9 0000059a: DUP3 0000059b: PUSH2 0x071d 0000059e: JUMP 0000059f: JUMPDEST 000005a0: DUP5 000005a1: MSTORE 000005a2: PUSH1 0x20 000005a4: DUP5 000005a5: ADD 000005a6: SWAP4 000005a7: POP 000005a8: PUSH1 0x20 000005aa: DUP4 000005ab: ADD 000005ac: SWAP3 000005ad: POP 000005ae: POP 000005af: PUSH1 0x01 000005b1: DUP2 000005b2: ADD 000005b3: SWAP1 000005b4: POP 000005b5: PUSH2 0x058c 000005b8: JUMP 000005b9: JUMPDEST 000005ba: POP 000005bb: POP 000005bc: POP 000005bd: SWAP4 000005be: SWAP3 000005bf: POP 000005c0: POP 000005c1: POP 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH1 0x00 000005c6: PUSH2 0x05d6 000005c9: PUSH2 0x05d1 000005cc: DUP5 000005cd: PUSH2 0x0a6d 000005d0: JUMP 000005d1: JUMPDEST 000005d2: PUSH2 0x09b8 000005d5: JUMP 000005d6: JUMPDEST 000005d7: SWAP1 000005d8: POP 000005d9: DUP3 000005da: DUP2 000005db: MSTORE 000005dc: PUSH1 0x20 000005de: DUP2 000005df: ADD 000005e0: DUP5 000005e1: DUP5 000005e2: DUP5 000005e3: ADD 000005e4: GT 000005e5: ISZERO 000005e6: PUSH2 0x05ee 000005e9: JUMPI 000005ea: PUSH1 0x00 000005ec: DUP1 000005ed: REVERT 000005ee: JUMPDEST 000005ef: PUSH2 0x05f9 000005f2: DUP5 000005f3: DUP3 000005f4: DUP6 000005f5: PUSH2 0x0b48 000005f8: JUMP 000005f9: JUMPDEST 000005fa: POP 000005fb: SWAP4 000005fc: SWAP3 000005fd: POP 000005fe: POP 000005ff: POP 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH1 0x00 00000604: DUP2 00000605: CALLDATALOAD 00000606: SWAP1 00000607: POP 00000608: PUSH2 0x0610 0000060b: DUP2 0000060c: PUSH2 0x0b9d 0000060f: JUMP 00000610: JUMPDEST 00000611: SWAP3 00000612: SWAP2 00000613: POP 00000614: POP 00000615: JUMP 00000616: JUMPDEST 00000617: PUSH1 0x00 00000619: DUP2 0000061a: CALLDATALOAD 0000061b: SWAP1 0000061c: POP 0000061d: PUSH2 0x0625 00000620: DUP2 00000621: PUSH2 0x0bb4 00000624: JUMP 00000625: JUMPDEST 00000626: SWAP3 00000627: SWAP2 00000628: POP 00000629: POP 0000062a: JUMP 0000062b: JUMPDEST 0000062c: PUSH1 0x00 0000062e: DUP3 0000062f: PUSH1 0x1f 00000631: DUP4 00000632: ADD 00000633: SLT 00000634: PUSH2 0x063c 00000637: JUMPI 00000638: PUSH1 0x00 0000063a: DUP1 0000063b: REVERT 0000063c: JUMPDEST 0000063d: DUP2 0000063e: CALLDATALOAD 0000063f: PUSH2 0x064c 00000642: DUP5 00000643: DUP3 00000644: PUSH1 0x20 00000646: DUP7 00000647: ADD 00000648: PUSH2 0x048e 0000064b: JUMP 0000064c: JUMPDEST 0000064d: SWAP2 0000064e: POP 0000064f: POP 00000650: SWAP3 00000651: SWAP2 00000652: POP 00000653: POP 00000654: JUMP 00000655: JUMPDEST 00000656: PUSH1 0x00 00000658: DUP3 00000659: PUSH1 0x1f 0000065b: DUP4 0000065c: ADD 0000065d: SLT 0000065e: PUSH2 0x0666 00000661: JUMPI 00000662: PUSH1 0x00 00000664: DUP1 00000665: REVERT 00000666: JUMPDEST 00000667: DUP2 00000668: CALLDATALOAD 00000669: PUSH2 0x0676 0000066c: DUP5 0000066d: DUP3 0000066e: PUSH1 0x20 00000670: DUP7 00000671: ADD 00000672: PUSH2 0x04fa 00000675: JUMP 00000676: JUMPDEST 00000677: SWAP2 00000678: POP 00000679: POP 0000067a: SWAP3 0000067b: SWAP2 0000067c: POP 0000067d: POP 0000067e: JUMP 0000067f: JUMPDEST 00000680: PUSH1 0x00 00000682: DUP3 00000683: PUSH1 0x1f 00000685: DUP4 00000686: ADD 00000687: SLT 00000688: PUSH2 0x0690 0000068b: JUMPI 0000068c: PUSH1 0x00 0000068e: DUP1 0000068f: REVERT 00000690: JUMPDEST 00000691: DUP2 00000692: CALLDATALOAD 00000693: PUSH2 0x06a0 00000696: DUP5 00000697: DUP3 00000698: PUSH1 0x20 0000069a: DUP7 0000069b: ADD 0000069c: PUSH2 0x0557 0000069f: JUMP 000006a0: JUMPDEST 000006a1: SWAP2 000006a2: POP 000006a3: POP 000006a4: SWAP3 000006a5: SWAP2 000006a6: POP 000006a7: POP 000006a8: JUMP 000006a9: JUMPDEST 000006aa: PUSH1 0x00 000006ac: DUP1 000006ad: DUP4 000006ae: PUSH1 0x1f 000006b0: DUP5 000006b1: ADD 000006b2: SLT 000006b3: PUSH2 0x06bb 000006b6: JUMPI 000006b7: PUSH1 0x00 000006b9: DUP1 000006ba: REVERT 000006bb: JUMPDEST 000006bc: DUP3 000006bd: CALLDATALOAD 000006be: SWAP1 000006bf: POP 000006c0: PUSH8 0xffffffffffffffff 000006c9: DUP2 000006ca: GT 000006cb: ISZERO 000006cc: PUSH2 0x06d4 000006cf: JUMPI 000006d0: PUSH1 0x00 000006d2: DUP1 000006d3: REVERT 000006d4: JUMPDEST 000006d5: PUSH1 0x20 000006d7: DUP4 000006d8: ADD 000006d9: SWAP2 000006da: POP 000006db: DUP4 000006dc: PUSH1 0x01 000006de: DUP3 000006df: MUL 000006e0: DUP4 000006e1: ADD 000006e2: GT 000006e3: ISZERO 000006e4: PUSH2 0x06ec 000006e7: JUMPI 000006e8: PUSH1 0x00 000006ea: DUP1 000006eb: REVERT 000006ec: JUMPDEST 000006ed: SWAP3 000006ee: POP 000006ef: SWAP3 000006f0: SWAP1 000006f1: POP 000006f2: JUMP 000006f3: JUMPDEST 000006f4: PUSH1 0x00 000006f6: DUP3 000006f7: PUSH1 0x1f 000006f9: DUP4 000006fa: ADD 000006fb: SLT 000006fc: PUSH2 0x0704 000006ff: JUMPI 00000700: PUSH1 0x00 00000702: DUP1 00000703: REVERT 00000704: JUMPDEST 00000705: DUP2 00000706: CALLDATALOAD 00000707: PUSH2 0x0714 0000070a: DUP5 0000070b: DUP3 0000070c: PUSH1 0x20 0000070e: DUP7 0000070f: ADD 00000710: PUSH2 0x05c3 00000713: JUMP 00000714: JUMPDEST 00000715: SWAP2 00000716: POP 00000717: POP 00000718: SWAP3 00000719: SWAP2 0000071a: POP 0000071b: POP 0000071c: JUMP 0000071d: JUMPDEST 0000071e: PUSH1 0x00 00000720: DUP2 00000721: CALLDATALOAD 00000722: SWAP1 00000723: POP 00000724: PUSH2 0x072c 00000727: DUP2 00000728: PUSH2 0x0bcb 0000072b: JUMP 0000072c: JUMPDEST 0000072d: SWAP3 0000072e: SWAP2 0000072f: POP 00000730: POP 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH1 0x00 00000735: DUP2 00000736: MLOAD 00000737: SWAP1 00000738: POP 00000739: PUSH2 0x0741 0000073c: DUP2 0000073d: PUSH2 0x0bcb 00000740: JUMP 00000741: JUMPDEST 00000742: SWAP3 00000743: SWAP2 00000744: POP 00000745: POP 00000746: JUMP 00000747: JUMPDEST 00000748: PUSH1 0x00 0000074a: DUP1 0000074b: PUSH1 0x00 0000074d: DUP1 0000074e: PUSH1 0x60 00000750: DUP6 00000751: DUP8 00000752: SUB 00000753: SLT 00000754: ISZERO 00000755: PUSH2 0x075d 00000758: JUMPI 00000759: PUSH1 0x00 0000075b: DUP1 0000075c: REVERT 0000075d: JUMPDEST 0000075e: PUSH1 0x00 00000760: PUSH2 0x076b 00000763: DUP8 00000764: DUP3 00000765: DUP9 00000766: ADD 00000767: PUSH2 0x0616 0000076a: JUMP 0000076b: JUMPDEST 0000076c: SWAP5 0000076d: POP 0000076e: POP 0000076f: PUSH1 0x20 00000771: PUSH2 0x077c 00000774: DUP8 00000775: DUP3 00000776: DUP9 00000777: ADD 00000778: PUSH2 0x071d 0000077b: JUMP 0000077c: JUMPDEST 0000077d: SWAP4 0000077e: POP 0000077f: POP 00000780: PUSH1 0x40 00000782: DUP6 00000783: ADD 00000784: CALLDATALOAD 00000785: PUSH8 0xffffffffffffffff 0000078e: DUP2 0000078f: GT 00000790: ISZERO 00000791: PUSH2 0x0799 00000794: JUMPI 00000795: PUSH1 0x00 00000797: DUP1 00000798: REVERT 00000799: JUMPDEST 0000079a: PUSH2 0x07a5 0000079d: DUP8 0000079e: DUP3 0000079f: DUP9 000007a0: ADD 000007a1: PUSH2 0x06a9 000007a4: JUMP 000007a5: JUMPDEST 000007a6: SWAP3 000007a7: POP 000007a8: SWAP3 000007a9: POP 000007aa: POP 000007ab: SWAP3 000007ac: SWAP6 000007ad: SWAP2 000007ae: SWAP5 000007af: POP 000007b0: SWAP3 000007b1: POP 000007b2: JUMP 000007b3: JUMPDEST 000007b4: PUSH1 0x00 000007b6: DUP1 000007b7: PUSH1 0x00 000007b9: DUP1 000007ba: PUSH1 0x00 000007bc: DUP1 000007bd: PUSH1 0xc0 000007bf: DUP8 000007c0: DUP10 000007c1: SUB 000007c2: SLT 000007c3: ISZERO 000007c4: PUSH2 0x07cc 000007c7: JUMPI 000007c8: PUSH1 0x00 000007ca: DUP1 000007cb: REVERT 000007cc: JUMPDEST 000007cd: PUSH1 0x00 000007cf: PUSH2 0x07da 000007d2: DUP10 000007d3: DUP3 000007d4: DUP11 000007d5: ADD 000007d6: PUSH2 0x0601 000007d9: JUMP 000007da: JUMPDEST 000007db: SWAP7 000007dc: POP 000007dd: POP 000007de: PUSH1 0x20 000007e0: PUSH2 0x07eb 000007e3: DUP10 000007e4: DUP3 000007e5: DUP11 000007e6: ADD 000007e7: PUSH2 0x071d 000007ea: JUMP 000007eb: JUMPDEST 000007ec: SWAP6 000007ed: POP 000007ee: POP 000007ef: PUSH1 0x40 000007f1: PUSH2 0x07fc 000007f4: DUP10 000007f5: DUP3 000007f6: DUP11 000007f7: ADD 000007f8: PUSH2 0x071d 000007fb: JUMP 000007fc: JUMPDEST 000007fd: SWAP5 000007fe: POP 000007ff: POP 00000800: PUSH1 0x60 00000802: DUP8 00000803: ADD 00000804: CALLDATALOAD 00000805: PUSH8 0xffffffffffffffff 0000080e: DUP2 0000080f: GT 00000810: ISZERO 00000811: PUSH2 0x0819 00000814: JUMPI 00000815: PUSH1 0x00 00000817: DUP1 00000818: REVERT 00000819: JUMPDEST 0000081a: PUSH2 0x0825 0000081d: DUP10 0000081e: DUP3 0000081f: DUP11 00000820: ADD 00000821: PUSH2 0x062b 00000824: JUMP 00000825: JUMPDEST 00000826: SWAP4 00000827: POP 00000828: POP 00000829: PUSH1 0x80 0000082b: DUP8 0000082c: ADD 0000082d: CALLDATALOAD 0000082e: PUSH8 0xffffffffffffffff 00000837: DUP2 00000838: GT 00000839: ISZERO 0000083a: PUSH2 0x0842 0000083d: JUMPI 0000083e: PUSH1 0x00 00000840: DUP1 00000841: REVERT 00000842: JUMPDEST 00000843: PUSH2 0x084e 00000846: DUP10 00000847: DUP3 00000848: DUP11 00000849: ADD 0000084a: PUSH2 0x067f 0000084d: JUMP 0000084e: JUMPDEST 0000084f: SWAP3 00000850: POP 00000851: POP 00000852: PUSH1 0xa0 00000854: DUP8 00000855: ADD 00000856: CALLDATALOAD 00000857: PUSH8 0xffffffffffffffff 00000860: DUP2 00000861: GT 00000862: ISZERO 00000863: PUSH2 0x086b 00000866: JUMPI 00000867: PUSH1 0x00 00000869: DUP1 0000086a: REVERT 0000086b: JUMPDEST 0000086c: PUSH2 0x0877 0000086f: DUP10 00000870: DUP3 00000871: DUP11 00000872: ADD 00000873: PUSH2 0x0655 00000876: JUMP 00000877: JUMPDEST 00000878: SWAP2 00000879: POP 0000087a: POP 0000087b: SWAP3 0000087c: SWAP6 0000087d: POP 0000087e: SWAP3 0000087f: SWAP6 00000880: POP 00000881: SWAP3 00000882: SWAP6 00000883: JUMP 00000884: JUMPDEST 00000885: PUSH1 0x00 00000887: PUSH1 0x20 00000889: DUP3 0000088a: DUP5 0000088b: SUB 0000088c: SLT 0000088d: ISZERO 0000088e: PUSH2 0x0896 00000891: JUMPI 00000892: PUSH1 0x00 00000894: DUP1 00000895: REVERT 00000896: JUMPDEST 00000897: PUSH1 0x00 00000899: PUSH2 0x08a4 0000089c: DUP5 0000089d: DUP3 0000089e: DUP6 0000089f: ADD 000008a0: PUSH2 0x0732 000008a3: JUMP 000008a4: JUMPDEST 000008a5: SWAP2 000008a6: POP 000008a7: POP 000008a8: SWAP3 000008a9: SWAP2 000008aa: POP 000008ab: POP 000008ac: JUMP 000008ad: JUMPDEST 000008ae: PUSH2 0x08b6 000008b1: DUP2 000008b2: PUSH2 0x0b12 000008b5: JUMP 000008b6: JUMPDEST 000008b7: DUP3 000008b8: MSTORE 000008b9: POP 000008ba: POP 000008bb: JUMP 000008bc: JUMPDEST 000008bd: PUSH1 0x00 000008bf: PUSH2 0x08c8 000008c2: DUP4 000008c3: DUP6 000008c4: PUSH2 0x0ab9 000008c7: JUMP 000008c8: JUMPDEST 000008c9: SWAP4 000008ca: POP 000008cb: PUSH2 0x08d5 000008ce: DUP4 000008cf: DUP6 000008d0: DUP5 000008d1: PUSH2 0x0b48 000008d4: JUMP 000008d5: JUMPDEST 000008d6: DUP3 000008d7: DUP5 000008d8: ADD 000008d9: SWAP1 000008da: POP 000008db: SWAP4 000008dc: SWAP3 000008dd: POP 000008de: POP 000008df: POP 000008e0: JUMP 000008e1: JUMPDEST 000008e2: PUSH1 0x00 000008e4: PUSH2 0x08ec 000008e7: DUP3 000008e8: PUSH2 0x0a9d 000008eb: JUMP 000008ec: JUMPDEST 000008ed: PUSH2 0x08f6 000008f0: DUP2 000008f1: DUP6 000008f2: PUSH2 0x0aa8 000008f5: JUMP 000008f6: JUMPDEST 000008f7: SWAP4 000008f8: POP 000008f9: PUSH2 0x0906 000008fc: DUP2 000008fd: DUP6 000008fe: PUSH1 0x20 00000900: DUP7 00000901: ADD 00000902: PUSH2 0x0b57 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH2 0x090f 0000090a: DUP2 0000090b: PUSH2 0x0b8c 0000090e: JUMP 0000090f: JUMPDEST 00000910: DUP5 00000911: ADD 00000912: SWAP2 00000913: POP 00000914: POP 00000915: SWAP3 00000916: SWAP2 00000917: POP 00000918: POP 00000919: JUMP 0000091a: JUMPDEST 0000091b: PUSH1 0x00 0000091d: PUSH2 0x0925 00000920: DUP3 00000921: PUSH2 0x0a9d 00000924: JUMP 00000925: JUMPDEST 00000926: PUSH2 0x092f 00000929: DUP2 0000092a: DUP6 0000092b: PUSH2 0x0ab9 0000092e: JUMP 0000092f: JUMPDEST 00000930: SWAP4 00000931: POP 00000932: PUSH2 0x093f 00000935: DUP2 00000936: DUP6 00000937: PUSH1 0x20 00000939: DUP7 0000093a: ADD 0000093b: PUSH2 0x0b57 0000093e: JUMP 0000093f: JUMPDEST 00000940: DUP1 00000941: DUP5 00000942: ADD 00000943: SWAP2 00000944: POP 00000945: POP 00000946: SWAP3 00000947: SWAP2 00000948: POP 00000949: POP 0000094a: JUMP 0000094b: JUMPDEST 0000094c: PUSH1 0x00 0000094e: PUSH2 0x0958 00000951: DUP3 00000952: DUP5 00000953: DUP7 00000954: PUSH2 0x08bc 00000957: JUMP 00000958: JUMPDEST 00000959: SWAP2 0000095a: POP 0000095b: DUP2 0000095c: SWAP1 0000095d: POP 0000095e: SWAP4 0000095f: SWAP3 00000960: POP 00000961: POP 00000962: POP 00000963: JUMP 00000964: JUMPDEST 00000965: PUSH1 0x00 00000967: PUSH2 0x0970 0000096a: DUP3 0000096b: DUP5 0000096c: PUSH2 0x091a 0000096f: JUMP 00000970: JUMPDEST 00000971: SWAP2 00000972: POP 00000973: DUP2 00000974: SWAP1 00000975: POP 00000976: SWAP3 00000977: SWAP2 00000978: POP 00000979: POP 0000097a: JUMP 0000097b: JUMPDEST 0000097c: PUSH1 0x00 0000097e: PUSH1 0x20 00000980: DUP3 00000981: ADD 00000982: SWAP1 00000983: POP 00000984: PUSH2 0x0990 00000987: PUSH1 0x00 00000989: DUP4 0000098a: ADD 0000098b: DUP5 0000098c: PUSH2 0x08ad 0000098f: JUMP 00000990: JUMPDEST 00000991: SWAP3 00000992: SWAP2 00000993: POP 00000994: POP 00000995: JUMP 00000996: JUMPDEST 00000997: PUSH1 0x00 00000999: PUSH1 0x20 0000099b: DUP3 0000099c: ADD 0000099d: SWAP1 0000099e: POP 0000099f: DUP2 000009a0: DUP2 000009a1: SUB 000009a2: PUSH1 0x00 000009a4: DUP4 000009a5: ADD 000009a6: MSTORE 000009a7: PUSH2 0x09b0 000009aa: DUP2 000009ab: DUP5 000009ac: PUSH2 0x08e1 000009af: JUMP 000009b0: JUMPDEST 000009b1: SWAP1 000009b2: POP 000009b3: SWAP3 000009b4: SWAP2 000009b5: POP 000009b6: POP 000009b7: JUMP 000009b8: JUMPDEST 000009b9: PUSH1 0x00 000009bb: PUSH1 0x40 000009bd: MLOAD 000009be: SWAP1 000009bf: POP 000009c0: DUP2 000009c1: DUP2 000009c2: ADD 000009c3: DUP2 000009c4: DUP2 000009c5: LT 000009c6: PUSH8 0xffffffffffffffff 000009cf: DUP3 000009d0: GT 000009d1: OR 000009d2: ISZERO 000009d3: PUSH2 0x09df 000009d6: JUMPI 000009d7: PUSH2 0x09de 000009da: PUSH2 0x0b8a 000009dd: JUMP 000009de: JUMPDEST 000009df: JUMPDEST 000009e0: DUP1 000009e1: PUSH1 0x40 000009e3: MSTORE 000009e4: POP 000009e5: SWAP2 000009e6: SWAP1 000009e7: POP 000009e8: JUMP 000009e9: JUMPDEST 000009ea: PUSH1 0x00 000009ec: PUSH8 0xffffffffffffffff 000009f5: DUP3 000009f6: GT 000009f7: ISZERO 000009f8: PUSH2 0x0a04 000009fb: JUMPI 000009fc: PUSH2 0x0a03 000009ff: PUSH2 0x0b8a 00000a02: JUMP 00000a03: JUMPDEST 00000a04: JUMPDEST 00000a05: PUSH1 0x20 00000a07: DUP3 00000a08: MUL 00000a09: SWAP1 00000a0a: POP 00000a0b: PUSH1 0x20 00000a0d: DUP2 00000a0e: ADD 00000a0f: SWAP1 00000a10: POP 00000a11: SWAP2 00000a12: SWAP1 00000a13: POP 00000a14: JUMP 00000a15: JUMPDEST 00000a16: PUSH1 0x00 00000a18: PUSH8 0xffffffffffffffff 00000a21: DUP3 00000a22: GT 00000a23: ISZERO 00000a24: PUSH2 0x0a30 00000a27: JUMPI 00000a28: PUSH2 0x0a2f 00000a2b: PUSH2 0x0b8a 00000a2e: JUMP 00000a2f: JUMPDEST 00000a30: JUMPDEST 00000a31: PUSH1 0x20 00000a33: DUP3 00000a34: MUL 00000a35: SWAP1 00000a36: POP 00000a37: PUSH1 0x20 00000a39: DUP2 00000a3a: ADD 00000a3b: SWAP1 00000a3c: POP 00000a3d: SWAP2 00000a3e: SWAP1 00000a3f: POP 00000a40: JUMP 00000a41: JUMPDEST 00000a42: PUSH1 0x00 00000a44: PUSH8 0xffffffffffffffff 00000a4d: DUP3 00000a4e: GT 00000a4f: ISZERO 00000a50: PUSH2 0x0a5c 00000a53: JUMPI 00000a54: PUSH2 0x0a5b 00000a57: PUSH2 0x0b8a 00000a5a: JUMP 00000a5b: JUMPDEST 00000a5c: JUMPDEST 00000a5d: PUSH1 0x20 00000a5f: DUP3 00000a60: MUL 00000a61: SWAP1 00000a62: POP 00000a63: PUSH1 0x20 00000a65: DUP2 00000a66: ADD 00000a67: SWAP1 00000a68: POP 00000a69: SWAP2 00000a6a: SWAP1 00000a6b: POP 00000a6c: JUMP 00000a6d: JUMPDEST 00000a6e: PUSH1 0x00 00000a70: PUSH8 0xffffffffffffffff 00000a79: DUP3 00000a7a: GT 00000a7b: ISZERO 00000a7c: PUSH2 0x0a88 00000a7f: JUMPI 00000a80: PUSH2 0x0a87 00000a83: PUSH2 0x0b8a 00000a86: JUMP 00000a87: JUMPDEST 00000a88: JUMPDEST 00000a89: PUSH1 0x1f 00000a8b: NOT 00000a8c: PUSH1 0x1f 00000a8e: DUP4 00000a8f: ADD 00000a90: AND 00000a91: SWAP1 00000a92: POP 00000a93: PUSH1 0x20 00000a95: DUP2 00000a96: ADD 00000a97: SWAP1 00000a98: POP 00000a99: SWAP2 00000a9a: SWAP1 00000a9b: POP 00000a9c: JUMP 00000a9d: JUMPDEST 00000a9e: PUSH1 0x00 00000aa0: DUP2 00000aa1: MLOAD 00000aa2: SWAP1 00000aa3: POP 00000aa4: SWAP2 00000aa5: SWAP1 00000aa6: POP 00000aa7: JUMP 00000aa8: JUMPDEST 00000aa9: PUSH1 0x00 00000aab: DUP3 00000aac: DUP3 00000aad: MSTORE 00000aae: PUSH1 0x20 00000ab0: DUP3 00000ab1: ADD 00000ab2: SWAP1 00000ab3: POP 00000ab4: SWAP3 00000ab5: SWAP2 00000ab6: POP 00000ab7: POP 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH1 0x00 00000abc: DUP2 00000abd: SWAP1 00000abe: POP 00000abf: SWAP3 00000ac0: SWAP2 00000ac1: POP 00000ac2: POP 00000ac3: JUMP 00000ac4: JUMPDEST 00000ac5: PUSH1 0x00 00000ac7: PUSH2 0x0acf 00000aca: DUP3 00000acb: PUSH2 0x0ae8 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: SWAP1 00000ad1: POP 00000ad2: SWAP2 00000ad3: SWAP1 00000ad4: POP 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: PUSH1 0x00 00000ad9: PUSH2 0x0ae1 00000adc: DUP3 00000add: PUSH2 0x0ae8 00000ae0: JUMP 00000ae1: JUMPDEST 00000ae2: SWAP1 00000ae3: POP 00000ae4: SWAP2 00000ae5: SWAP1 00000ae6: POP 00000ae7: JUMP 00000ae8: JUMPDEST 00000ae9: PUSH1 0x00 00000aeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b00: DUP3 00000b01: AND 00000b02: SWAP1 00000b03: POP 00000b04: SWAP2 00000b05: SWAP1 00000b06: POP 00000b07: JUMP 00000b08: JUMPDEST 00000b09: PUSH1 0x00 00000b0b: DUP2 00000b0c: SWAP1 00000b0d: POP 00000b0e: SWAP2 00000b0f: SWAP1 00000b10: POP 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH1 0x00 00000b15: PUSH2 0x0b1d 00000b18: DUP3 00000b19: PUSH2 0x0b24 00000b1c: JUMP 00000b1d: JUMPDEST 00000b1e: SWAP1 00000b1f: POP 00000b20: SWAP2 00000b21: SWAP1 00000b22: POP 00000b23: JUMP 00000b24: JUMPDEST 00000b25: PUSH1 0x00 00000b27: PUSH2 0x0b2f 00000b2a: DUP3 00000b2b: PUSH2 0x0b36 00000b2e: JUMP 00000b2f: JUMPDEST 00000b30: SWAP1 00000b31: POP 00000b32: SWAP2 00000b33: SWAP1 00000b34: POP 00000b35: JUMP 00000b36: JUMPDEST 00000b37: PUSH1 0x00 00000b39: PUSH2 0x0b41 00000b3c: DUP3 00000b3d: PUSH2 0x0ae8 00000b40: JUMP 00000b41: JUMPDEST 00000b42: SWAP1 00000b43: POP 00000b44: SWAP2 00000b45: SWAP1 00000b46: POP 00000b47: JUMP 00000b48: JUMPDEST 00000b49: DUP3 00000b4a: DUP2 00000b4b: DUP4 00000b4c: CALLDATACOPY 00000b4d: PUSH1 0x00 00000b4f: DUP4 00000b50: DUP4 00000b51: ADD 00000b52: MSTORE 00000b53: POP 00000b54: POP 00000b55: POP 00000b56: JUMP 00000b57: JUMPDEST 00000b58: PUSH1 0x00 00000b5a: JUMPDEST 00000b5b: DUP4 00000b5c: DUP2 00000b5d: LT 00000b5e: ISZERO 00000b5f: PUSH2 0x0b75 00000b62: JUMPI 00000b63: DUP1 00000b64: DUP3 00000b65: ADD 00000b66: MLOAD 00000b67: DUP2 00000b68: DUP5 00000b69: ADD 00000b6a: MSTORE 00000b6b: PUSH1 0x20 00000b6d: DUP2 00000b6e: ADD 00000b6f: SWAP1 00000b70: POP 00000b71: PUSH2 0x0b5a 00000b74: JUMP 00000b75: JUMPDEST 00000b76: DUP4 00000b77: DUP2 00000b78: GT 00000b79: ISZERO 00000b7a: PUSH2 0x0b84 00000b7d: JUMPI 00000b7e: PUSH1 0x00 00000b80: DUP5 00000b81: DUP5 00000b82: ADD 00000b83: MSTORE 00000b84: JUMPDEST 00000b85: POP 00000b86: POP 00000b87: POP 00000b88: POP 00000b89: JUMP 00000b8a: JUMPDEST 00000b8b: INVALID 00000b8c: JUMPDEST 00000b8d: PUSH1 0x00 00000b8f: PUSH1 0x1f 00000b91: NOT 00000b92: PUSH1 0x1f 00000b94: DUP4 00000b95: ADD 00000b96: AND 00000b97: SWAP1 00000b98: POP 00000b99: SWAP2 00000b9a: SWAP1 00000b9b: POP 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: PUSH2 0x0ba6 00000ba1: DUP2 00000ba2: PUSH2 0x0ac4 00000ba5: JUMP 00000ba6: JUMPDEST 00000ba7: DUP2 00000ba8: EQ 00000ba9: PUSH2 0x0bb1 00000bac: JUMPI 00000bad: PUSH1 0x00 00000baf: DUP1 00000bb0: REVERT 00000bb1: JUMPDEST 00000bb2: POP 00000bb3: JUMP 00000bb4: JUMPDEST 00000bb5: PUSH2 0x0bbd 00000bb8: DUP2 00000bb9: PUSH2 0x0ad6 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: DUP2 00000bbf: EQ 00000bc0: PUSH2 0x0bc8 00000bc3: JUMPI 00000bc4: PUSH1 0x00 00000bc6: DUP1 00000bc7: REVERT 00000bc8: JUMPDEST 00000bc9: POP 00000bca: JUMP 00000bcb: JUMPDEST 00000bcc: PUSH2 0x0bd4 00000bcf: DUP2 00000bd0: PUSH2 0x0b08 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: DUP2 00000bd6: EQ 00000bd7: PUSH2 0x0bdf 00000bda: JUMPI 00000bdb: PUSH1 0x00 00000bdd: DUP1 00000bde: REVERT 00000bdf: JUMPDEST 00000be0: POP 00000be1: JUMP 00000be2: INVALID 00000be3: LOG2 00000be4: PUSH5 0x6970667358 00000bea: UNKNOWN(0x22) 00000beb: SLT 00000bec: KECCAK256 00000bed: UNKNOWN(0xC2) 00000bee: CREATE 00000bef: DELEGATECALL 00000bf0: UNKNOWN(0xA8) 00000bf1: UNKNOWN(0xC7) 00000bf2: PUSH16 0xc79a31f669b3490e490bca961664b5a7 00000c03: UNKNOWN(0x27) 00000c04: UNKNOWN(0xC7) 00000c05: CALLDATALOAD 00000c06: SWAP11 00000c07: DUP5 00000c08: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x359d66fa36e67ae6377cf91d0781ca69b5a9be66a1bbab96b2154329aca1e2f4
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 24,
"trace_id": "0x359d66fa36e67ae6377cf91d0781ca69b5a9be66a1bbab96b2154329aca1e2f4",
"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": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdba4cac5",
"selector": "0xdba4cac5",
"calldata_variants": [
"0xdba4cac5",
"0xdba4cac50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3055,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 191,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 474,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x5cf5c7447f55371fe4343cb2913b8de1579c19de000c59972d620c50a97ee403
call_targets:
0x105937fdfb6ea9b2e13561a81a6be2afc015cf31
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5cf5c7447f55371fe4343cb2913b8de1579c19de000c59972d620c50a97ee403",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x105937fdfb6ea9b2e13561a81a6be2afc015cf31"
],
"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": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdba4cac5",
"selector": "0xdba4cac5",
"calldata_variants": [
"0xdba4cac5",
"0xdba4cac50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 337,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 670,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 919,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 191,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 474,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x5cf5c7447f55371fe4343cb2913b8de1579c19de000c59972d620c50a97ee403
call_targets:
0x105937fdfb6ea9b2e13561a81a6be2afc015cf31
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5cf5c7447f55371fe4343cb2913b8de1579c19de000c59972d620c50a97ee403",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x105937fdfb6ea9b2e13561a81a6be2afc015cf31"
],
"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": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdba4cac5",
"selector": "0xdba4cac5",
"calldata_variants": [
"0xdba4cac5",
"0xdba4cac50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 337,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 670,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 919,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 191,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 474,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xca62eb7818802a1459da937c5cfdba636b6abf7c4d47645c6b68fb4fa0b6b54b
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 4,
"trace_id": "0xca62eb7818802a1459da937c5cfdba636b6abf7c4d47645c6b68fb4fa0b6b54b",
"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": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdba4cac5",
"selector": "0xdba4cac5",
"calldata_variants": [
"0xdba4cac5",
"0xdba4cac50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|