019b477e-abfc-70ee-98b4-1f3d8b752589
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 |
|---|---|---|---|---|
| 21123 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21124 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89017 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89018 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89019 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89020 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00c5 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x0205 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x095ea7b3 00000047: EQ 00000048: PUSH2 0x0293 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x18160ddd 00000052: EQ 00000053: PUSH2 0x02ed 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x21beba94 0000005d: EQ 0000005e: PUSH2 0x0316 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x23b872dd 00000068: EQ 00000069: PUSH2 0x033f 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x313ce567 00000073: EQ 00000074: PUSH2 0x03b8 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x5a3b7e42 0000007e: EQ 0000007f: PUSH2 0x03e7 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x70a08231 00000089: EQ 0000008a: PUSH2 0x0475 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x7a233fb3 00000094: EQ 00000095: PUSH2 0x04c2 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x7ff9b596 0000009f: EQ 000000a0: PUSH2 0x04eb 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x95d89b41 000000aa: EQ 000000ab: PUSH2 0x0514 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xa9059cbb 000000b5: EQ 000000b6: PUSH2 0x05a2 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xdd62ed3e 000000c0: EQ 000000c1: PUSH2 0x05e4 000000c4: JUMPI 000000c5: JUMPDEST 000000c6: PUSH1 0x00 000000c8: DUP1 000000c9: PUSH5 0x02540be400 000000cf: CALLVALUE 000000d0: LT 000000d1: ISZERO 000000d2: PUSH2 0x00da 000000d5: JUMPI 000000d6: PUSH1 0x00 000000d8: DUP1 000000d9: REVERT 000000da: JUMPDEST 000000db: NUMBER 000000dc: PUSH1 0x07 000000de: DUP2 000000df: SWAP1 000000e0: SSTORE 000000e1: POP 000000e2: PUSH4 0x3b9aca00 000000e7: PUSH1 0x05 000000e9: SLOAD 000000ea: CALLVALUE 000000eb: DUP2 000000ec: ISZERO 000000ed: ISZERO 000000ee: PUSH2 0x00f3 000000f1: JUMPI 000000f2: INVALID 000000f3: JUMPDEST 000000f4: DIV 000000f5: MUL 000000f6: SWAP2 000000f7: POP 000000f8: DUP2 000000f9: PUSH1 0x08 000000fb: PUSH1 0x00 000000fd: CALLER 000000fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000113: AND 00000114: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000129: AND 0000012a: DUP2 0000012b: MSTORE 0000012c: PUSH1 0x20 0000012e: ADD 0000012f: SWAP1 00000130: DUP2 00000131: MSTORE 00000132: PUSH1 0x20 00000134: ADD 00000135: PUSH1 0x00 00000137: KECCAK256 00000138: PUSH1 0x00 0000013a: DUP3 0000013b: DUP3 0000013c: SLOAD 0000013d: ADD 0000013e: SWAP3 0000013f: POP 00000140: POP 00000141: DUP2 00000142: SWAP1 00000143: SSTORE 00000144: POP 00000145: DUP2 00000146: PUSH1 0x04 00000148: PUSH1 0x00 0000014a: DUP3 0000014b: DUP3 0000014c: SLOAD 0000014d: ADD 0000014e: SWAP3 0000014f: POP 00000150: POP 00000151: DUP2 00000152: SWAP1 00000153: SSTORE 00000154: POP 00000155: PUSH1 0x04 00000157: SLOAD 00000158: PUSH4 0x3b9aca00 0000015d: ADDRESS 0000015e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000173: AND 00000174: BALANCE 00000175: MUL 00000176: DUP2 00000177: ISZERO 00000178: ISZERO 00000179: PUSH2 0x017e 0000017c: JUMPI 0000017d: INVALID 0000017e: JUMPDEST 0000017f: DIV 00000180: SWAP1 00000181: POP 00000182: PUSH2 0x03e8 00000185: PUSH2 0x0384 00000188: DUP3 00000189: MUL 0000018a: DUP2 0000018b: ISZERO 0000018c: ISZERO 0000018d: PUSH2 0x0192 00000190: JUMPI 00000191: INVALID 00000192: JUMPDEST 00000193: DIV 00000194: PUSH1 0x06 00000196: DUP2 00000197: SWAP1 00000198: SSTORE 00000199: POP 0000019a: PUSH2 0x03e8 0000019d: PUSH2 0x044c 000001a0: DUP3 000001a1: MUL 000001a2: DUP2 000001a3: ISZERO 000001a4: ISZERO 000001a5: PUSH2 0x01aa 000001a8: JUMPI 000001a9: INVALID 000001aa: JUMPDEST 000001ab: DIV 000001ac: PUSH1 0x05 000001ae: DUP2 000001af: SWAP1 000001b0: SSTORE 000001b1: POP 000001b2: CALLER 000001b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c8: AND 000001c9: PUSH1 0x00 000001cb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000001ec: DUP5 000001ed: PUSH1 0x40 000001ef: MLOAD 000001f0: DUP1 000001f1: DUP3 000001f2: DUP2 000001f3: MSTORE 000001f4: PUSH1 0x20 000001f6: ADD 000001f7: SWAP2 000001f8: POP 000001f9: POP 000001fa: PUSH1 0x40 000001fc: MLOAD 000001fd: DUP1 000001fe: SWAP2 000001ff: SUB 00000200: SWAP1 00000201: LOG3 00000202: POP 00000203: POP 00000204: STOP 00000205: JUMPDEST 00000206: CALLVALUE 00000207: ISZERO 00000208: PUSH2 0x0210 0000020b: JUMPI 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: PUSH2 0x0218 00000214: PUSH2 0x0650 00000217: JUMP 00000218: JUMPDEST 00000219: PUSH1 0x40 0000021b: MLOAD 0000021c: DUP1 0000021d: DUP1 0000021e: PUSH1 0x20 00000220: ADD 00000221: DUP3 00000222: DUP2 00000223: SUB 00000224: DUP3 00000225: MSTORE 00000226: DUP4 00000227: DUP2 00000228: DUP2 00000229: MLOAD 0000022a: DUP2 0000022b: MSTORE 0000022c: PUSH1 0x20 0000022e: ADD 0000022f: SWAP2 00000230: POP 00000231: DUP1 00000232: MLOAD 00000233: SWAP1 00000234: PUSH1 0x20 00000236: ADD 00000237: SWAP1 00000238: DUP1 00000239: DUP4 0000023a: DUP4 0000023b: PUSH1 0x00 0000023d: JUMPDEST 0000023e: DUP4 0000023f: DUP2 00000240: LT 00000241: ISZERO 00000242: PUSH2 0x0258 00000245: JUMPI 00000246: DUP1 00000247: DUP3 00000248: ADD 00000249: MLOAD 0000024a: DUP2 0000024b: DUP5 0000024c: ADD 0000024d: MSTORE 0000024e: PUSH1 0x20 00000250: DUP2 00000251: ADD 00000252: SWAP1 00000253: POP 00000254: PUSH2 0x023d 00000257: JUMP 00000258: JUMPDEST 00000259: POP 0000025a: POP 0000025b: POP 0000025c: POP 0000025d: SWAP1 0000025e: POP 0000025f: SWAP1 00000260: DUP2 00000261: ADD 00000262: SWAP1 00000263: PUSH1 0x1f 00000265: AND 00000266: DUP1 00000267: ISZERO 00000268: PUSH2 0x0285 0000026b: JUMPI 0000026c: DUP1 0000026d: DUP3 0000026e: SUB 0000026f: DUP1 00000270: MLOAD 00000271: PUSH1 0x01 00000273: DUP4 00000274: PUSH1 0x20 00000276: SUB 00000277: PUSH2 0x0100 0000027a: EXP 0000027b: SUB 0000027c: NOT 0000027d: AND 0000027e: DUP2 0000027f: MSTORE 00000280: PUSH1 0x20 00000282: ADD 00000283: SWAP2 00000284: POP 00000285: JUMPDEST 00000286: POP 00000287: SWAP3 00000288: POP 00000289: POP 0000028a: POP 0000028b: PUSH1 0x40 0000028d: MLOAD 0000028e: DUP1 0000028f: SWAP2 00000290: SUB 00000291: SWAP1 00000292: RETURN 00000293: JUMPDEST 00000294: CALLVALUE 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: PUSH2 0x02d3 000002a2: PUSH1 0x04 000002a4: DUP1 000002a5: DUP1 000002a6: CALLDATALOAD 000002a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002bc: AND 000002bd: SWAP1 000002be: PUSH1 0x20 000002c0: ADD 000002c1: SWAP1 000002c2: SWAP2 000002c3: SWAP1 000002c4: DUP1 000002c5: CALLDATALOAD 000002c6: SWAP1 000002c7: PUSH1 0x20 000002c9: ADD 000002ca: SWAP1 000002cb: SWAP2 000002cc: SWAP1 000002cd: POP 000002ce: POP 000002cf: PUSH2 0x06ee 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH1 0x40 000002d6: MLOAD 000002d7: DUP1 000002d8: DUP3 000002d9: ISZERO 000002da: ISZERO 000002db: ISZERO 000002dc: ISZERO 000002dd: DUP2 000002de: MSTORE 000002df: PUSH1 0x20 000002e1: ADD 000002e2: SWAP2 000002e3: POP 000002e4: POP 000002e5: PUSH1 0x40 000002e7: MLOAD 000002e8: DUP1 000002e9: SWAP2 000002ea: SUB 000002eb: SWAP1 000002ec: RETURN 000002ed: JUMPDEST 000002ee: CALLVALUE 000002ef: ISZERO 000002f0: PUSH2 0x02f8 000002f3: JUMPI 000002f4: PUSH1 0x00 000002f6: DUP1 000002f7: REVERT 000002f8: JUMPDEST 000002f9: PUSH2 0x0300 000002fc: PUSH2 0x077b 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH1 0x40 00000303: MLOAD 00000304: DUP1 00000305: DUP3 00000306: DUP2 00000307: MSTORE 00000308: PUSH1 0x20 0000030a: ADD 0000030b: SWAP2 0000030c: POP 0000030d: POP 0000030e: PUSH1 0x40 00000310: MLOAD 00000311: DUP1 00000312: SWAP2 00000313: SUB 00000314: SWAP1 00000315: RETURN 00000316: JUMPDEST 00000317: CALLVALUE 00000318: ISZERO 00000319: PUSH2 0x0321 0000031c: JUMPI 0000031d: PUSH1 0x00 0000031f: DUP1 00000320: REVERT 00000321: JUMPDEST 00000322: PUSH2 0x0329 00000325: PUSH2 0x0781 00000328: JUMP 00000329: JUMPDEST 0000032a: PUSH1 0x40 0000032c: MLOAD 0000032d: DUP1 0000032e: DUP3 0000032f: DUP2 00000330: MSTORE 00000331: PUSH1 0x20 00000333: ADD 00000334: SWAP2 00000335: POP 00000336: POP 00000337: PUSH1 0x40 00000339: MLOAD 0000033a: DUP1 0000033b: SWAP2 0000033c: SUB 0000033d: SWAP1 0000033e: RETURN 0000033f: JUMPDEST 00000340: CALLVALUE 00000341: ISZERO 00000342: PUSH2 0x034a 00000345: JUMPI 00000346: PUSH1 0x00 00000348: DUP1 00000349: REVERT 0000034a: JUMPDEST 0000034b: PUSH2 0x039e 0000034e: PUSH1 0x04 00000350: DUP1 00000351: DUP1 00000352: CALLDATALOAD 00000353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000368: AND 00000369: SWAP1 0000036a: PUSH1 0x20 0000036c: ADD 0000036d: SWAP1 0000036e: SWAP2 0000036f: SWAP1 00000370: DUP1 00000371: CALLDATALOAD 00000372: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000387: AND 00000388: SWAP1 00000389: PUSH1 0x20 0000038b: ADD 0000038c: SWAP1 0000038d: SWAP2 0000038e: SWAP1 0000038f: DUP1 00000390: CALLDATALOAD 00000391: SWAP1 00000392: PUSH1 0x20 00000394: ADD 00000395: SWAP1 00000396: SWAP2 00000397: SWAP1 00000398: POP 00000399: POP 0000039a: PUSH2 0x0787 0000039d: JUMP 0000039e: JUMPDEST 0000039f: PUSH1 0x40 000003a1: MLOAD 000003a2: DUP1 000003a3: DUP3 000003a4: ISZERO 000003a5: ISZERO 000003a6: ISZERO 000003a7: ISZERO 000003a8: DUP2 000003a9: MSTORE 000003aa: PUSH1 0x20 000003ac: ADD 000003ad: SWAP2 000003ae: POP 000003af: POP 000003b0: PUSH1 0x40 000003b2: MLOAD 000003b3: DUP1 000003b4: SWAP2 000003b5: SUB 000003b6: SWAP1 000003b7: RETURN 000003b8: JUMPDEST 000003b9: CALLVALUE 000003ba: ISZERO 000003bb: PUSH2 0x03c3 000003be: JUMPI 000003bf: PUSH1 0x00 000003c1: DUP1 000003c2: REVERT 000003c3: JUMPDEST 000003c4: PUSH2 0x03cb 000003c7: PUSH2 0x0a7f 000003ca: JUMP 000003cb: JUMPDEST 000003cc: PUSH1 0x40 000003ce: MLOAD 000003cf: DUP1 000003d0: DUP3 000003d1: PUSH1 0xff 000003d3: AND 000003d4: PUSH1 0xff 000003d6: AND 000003d7: DUP2 000003d8: MSTORE 000003d9: PUSH1 0x20 000003db: ADD 000003dc: SWAP2 000003dd: POP 000003de: POP 000003df: PUSH1 0x40 000003e1: MLOAD 000003e2: DUP1 000003e3: SWAP2 000003e4: SUB 000003e5: SWAP1 000003e6: RETURN 000003e7: JUMPDEST 000003e8: CALLVALUE 000003e9: ISZERO 000003ea: PUSH2 0x03f2 000003ed: JUMPI 000003ee: PUSH1 0x00 000003f0: DUP1 000003f1: REVERT 000003f2: JUMPDEST 000003f3: PUSH2 0x03fa 000003f6: PUSH2 0x0a92 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH1 0x40 000003fd: MLOAD 000003fe: DUP1 000003ff: DUP1 00000400: PUSH1 0x20 00000402: ADD 00000403: DUP3 00000404: DUP2 00000405: SUB 00000406: DUP3 00000407: MSTORE 00000408: DUP4 00000409: DUP2 0000040a: DUP2 0000040b: MLOAD 0000040c: DUP2 0000040d: MSTORE 0000040e: PUSH1 0x20 00000410: ADD 00000411: SWAP2 00000412: POP 00000413: DUP1 00000414: MLOAD 00000415: SWAP1 00000416: PUSH1 0x20 00000418: ADD 00000419: SWAP1 0000041a: DUP1 0000041b: DUP4 0000041c: DUP4 0000041d: PUSH1 0x00 0000041f: JUMPDEST 00000420: DUP4 00000421: DUP2 00000422: LT 00000423: ISZERO 00000424: PUSH2 0x043a 00000427: JUMPI 00000428: DUP1 00000429: DUP3 0000042a: ADD 0000042b: MLOAD 0000042c: DUP2 0000042d: DUP5 0000042e: ADD 0000042f: MSTORE 00000430: PUSH1 0x20 00000432: DUP2 00000433: ADD 00000434: SWAP1 00000435: POP 00000436: PUSH2 0x041f 00000439: JUMP 0000043a: JUMPDEST 0000043b: POP 0000043c: POP 0000043d: POP 0000043e: POP 0000043f: SWAP1 00000440: POP 00000441: SWAP1 00000442: DUP2 00000443: ADD 00000444: SWAP1 00000445: PUSH1 0x1f 00000447: AND 00000448: DUP1 00000449: ISZERO 0000044a: PUSH2 0x0467 0000044d: JUMPI 0000044e: DUP1 0000044f: DUP3 00000450: SUB 00000451: DUP1 00000452: MLOAD 00000453: PUSH1 0x01 00000455: DUP4 00000456: PUSH1 0x20 00000458: SUB 00000459: PUSH2 0x0100 0000045c: EXP 0000045d: SUB 0000045e: NOT 0000045f: AND 00000460: DUP2 00000461: MSTORE 00000462: PUSH1 0x20 00000464: ADD 00000465: SWAP2 00000466: POP 00000467: JUMPDEST 00000468: POP 00000469: SWAP3 0000046a: POP 0000046b: POP 0000046c: POP 0000046d: PUSH1 0x40 0000046f: MLOAD 00000470: DUP1 00000471: SWAP2 00000472: SUB 00000473: SWAP1 00000474: RETURN 00000475: JUMPDEST 00000476: CALLVALUE 00000477: ISZERO 00000478: PUSH2 0x0480 0000047b: JUMPI 0000047c: PUSH1 0x00 0000047e: DUP1 0000047f: REVERT 00000480: JUMPDEST 00000481: PUSH2 0x04ac 00000484: PUSH1 0x04 00000486: DUP1 00000487: DUP1 00000488: CALLDATALOAD 00000489: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049e: AND 0000049f: SWAP1 000004a0: PUSH1 0x20 000004a2: ADD 000004a3: SWAP1 000004a4: SWAP2 000004a5: SWAP1 000004a6: POP 000004a7: POP 000004a8: PUSH2 0x0b30 000004ab: JUMP 000004ac: JUMPDEST 000004ad: PUSH1 0x40 000004af: MLOAD 000004b0: DUP1 000004b1: DUP3 000004b2: DUP2 000004b3: MSTORE 000004b4: PUSH1 0x20 000004b6: ADD 000004b7: SWAP2 000004b8: POP 000004b9: POP 000004ba: PUSH1 0x40 000004bc: MLOAD 000004bd: DUP1 000004be: SWAP2 000004bf: SUB 000004c0: SWAP1 000004c1: RETURN 000004c2: JUMPDEST 000004c3: CALLVALUE 000004c4: ISZERO 000004c5: PUSH2 0x04cd 000004c8: JUMPI 000004c9: PUSH1 0x00 000004cb: DUP1 000004cc: REVERT 000004cd: JUMPDEST 000004ce: PUSH2 0x04d5 000004d1: PUSH2 0x0b48 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: DUP1 000004da: DUP3 000004db: DUP2 000004dc: MSTORE 000004dd: PUSH1 0x20 000004df: ADD 000004e0: SWAP2 000004e1: POP 000004e2: POP 000004e3: PUSH1 0x40 000004e5: MLOAD 000004e6: DUP1 000004e7: SWAP2 000004e8: SUB 000004e9: SWAP1 000004ea: RETURN 000004eb: JUMPDEST 000004ec: CALLVALUE 000004ed: ISZERO 000004ee: PUSH2 0x04f6 000004f1: JUMPI 000004f2: PUSH1 0x00 000004f4: DUP1 000004f5: REVERT 000004f6: JUMPDEST 000004f7: PUSH2 0x04fe 000004fa: PUSH2 0x0b4e 000004fd: JUMP 000004fe: JUMPDEST 000004ff: PUSH1 0x40 00000501: MLOAD 00000502: DUP1 00000503: DUP3 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x20 00000508: ADD 00000509: SWAP2 0000050a: POP 0000050b: POP 0000050c: PUSH1 0x40 0000050e: MLOAD 0000050f: DUP1 00000510: SWAP2 00000511: SUB 00000512: SWAP1 00000513: RETURN 00000514: JUMPDEST 00000515: CALLVALUE 00000516: ISZERO 00000517: PUSH2 0x051f 0000051a: JUMPI 0000051b: PUSH1 0x00 0000051d: DUP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: PUSH2 0x0527 00000523: PUSH2 0x0b54 00000526: JUMP 00000527: JUMPDEST 00000528: PUSH1 0x40 0000052a: MLOAD 0000052b: DUP1 0000052c: DUP1 0000052d: PUSH1 0x20 0000052f: ADD 00000530: DUP3 00000531: DUP2 00000532: SUB 00000533: DUP3 00000534: MSTORE 00000535: DUP4 00000536: DUP2 00000537: DUP2 00000538: MLOAD 00000539: DUP2 0000053a: MSTORE 0000053b: PUSH1 0x20 0000053d: ADD 0000053e: SWAP2 0000053f: POP 00000540: DUP1 00000541: MLOAD 00000542: SWAP1 00000543: PUSH1 0x20 00000545: ADD 00000546: SWAP1 00000547: DUP1 00000548: DUP4 00000549: DUP4 0000054a: PUSH1 0x00 0000054c: JUMPDEST 0000054d: DUP4 0000054e: DUP2 0000054f: LT 00000550: ISZERO 00000551: PUSH2 0x0567 00000554: JUMPI 00000555: DUP1 00000556: DUP3 00000557: ADD 00000558: MLOAD 00000559: DUP2 0000055a: DUP5 0000055b: ADD 0000055c: MSTORE 0000055d: PUSH1 0x20 0000055f: DUP2 00000560: ADD 00000561: SWAP1 00000562: POP 00000563: PUSH2 0x054c 00000566: JUMP 00000567: JUMPDEST 00000568: POP 00000569: POP 0000056a: POP 0000056b: POP 0000056c: SWAP1 0000056d: POP 0000056e: SWAP1 0000056f: DUP2 00000570: ADD 00000571: SWAP1 00000572: PUSH1 0x1f 00000574: AND 00000575: DUP1 00000576: ISZERO 00000577: PUSH2 0x0594 0000057a: JUMPI 0000057b: DUP1 0000057c: DUP3 0000057d: SUB 0000057e: DUP1 0000057f: MLOAD 00000580: PUSH1 0x01 00000582: DUP4 00000583: PUSH1 0x20 00000585: SUB 00000586: PUSH2 0x0100 00000589: EXP 0000058a: SUB 0000058b: NOT 0000058c: AND 0000058d: DUP2 0000058e: MSTORE 0000058f: PUSH1 0x20 00000591: ADD 00000592: SWAP2 00000593: POP 00000594: JUMPDEST 00000595: POP 00000596: SWAP3 00000597: POP 00000598: POP 00000599: POP 0000059a: PUSH1 0x40 0000059c: MLOAD 0000059d: DUP1 0000059e: SWAP2 0000059f: SUB 000005a0: SWAP1 000005a1: RETURN 000005a2: JUMPDEST 000005a3: CALLVALUE 000005a4: ISZERO 000005a5: PUSH2 0x05ad 000005a8: JUMPI 000005a9: PUSH1 0x00 000005ab: DUP1 000005ac: REVERT 000005ad: JUMPDEST 000005ae: PUSH2 0x05e2 000005b1: PUSH1 0x04 000005b3: DUP1 000005b4: DUP1 000005b5: CALLDATALOAD 000005b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005cb: AND 000005cc: SWAP1 000005cd: PUSH1 0x20 000005cf: ADD 000005d0: SWAP1 000005d1: SWAP2 000005d2: SWAP1 000005d3: DUP1 000005d4: CALLDATALOAD 000005d5: SWAP1 000005d6: PUSH1 0x20 000005d8: ADD 000005d9: SWAP1 000005da: SWAP2 000005db: SWAP1 000005dc: POP 000005dd: POP 000005de: PUSH2 0x0bf2 000005e1: JUMP 000005e2: JUMPDEST 000005e3: STOP 000005e4: JUMPDEST 000005e5: CALLVALUE 000005e6: ISZERO 000005e7: PUSH2 0x05ef 000005ea: JUMPI 000005eb: PUSH1 0x00 000005ed: DUP1 000005ee: REVERT 000005ef: JUMPDEST 000005f0: PUSH2 0x063a 000005f3: PUSH1 0x04 000005f5: DUP1 000005f6: DUP1 000005f7: CALLDATALOAD 000005f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060d: AND 0000060e: SWAP1 0000060f: PUSH1 0x20 00000611: ADD 00000612: SWAP1 00000613: SWAP2 00000614: SWAP1 00000615: DUP1 00000616: CALLDATALOAD 00000617: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062c: AND 0000062d: SWAP1 0000062e: PUSH1 0x20 00000630: ADD 00000631: SWAP1 00000632: SWAP2 00000633: SWAP1 00000634: POP 00000635: POP 00000636: PUSH2 0x0ff1 00000639: JUMP 0000063a: JUMPDEST 0000063b: PUSH1 0x40 0000063d: MLOAD 0000063e: DUP1 0000063f: DUP3 00000640: DUP2 00000641: MSTORE 00000642: PUSH1 0x20 00000644: ADD 00000645: SWAP2 00000646: POP 00000647: POP 00000648: PUSH1 0x40 0000064a: MLOAD 0000064b: DUP1 0000064c: SWAP2 0000064d: SUB 0000064e: SWAP1 0000064f: RETURN 00000650: JUMPDEST 00000651: PUSH1 0x00 00000653: DUP1 00000654: SLOAD 00000655: PUSH1 0x01 00000657: DUP2 00000658: PUSH1 0x01 0000065a: AND 0000065b: ISZERO 0000065c: PUSH2 0x0100 0000065f: MUL 00000660: SUB 00000661: AND 00000662: PUSH1 0x02 00000664: SWAP1 00000665: DIV 00000666: DUP1 00000667: PUSH1 0x1f 00000669: ADD 0000066a: PUSH1 0x20 0000066c: DUP1 0000066d: SWAP2 0000066e: DIV 0000066f: MUL 00000670: PUSH1 0x20 00000672: ADD 00000673: PUSH1 0x40 00000675: MLOAD 00000676: SWAP1 00000677: DUP2 00000678: ADD 00000679: PUSH1 0x40 0000067b: MSTORE 0000067c: DUP1 0000067d: SWAP3 0000067e: SWAP2 0000067f: SWAP1 00000680: DUP2 00000681: DUP2 00000682: MSTORE 00000683: PUSH1 0x20 00000685: ADD 00000686: DUP3 00000687: DUP1 00000688: SLOAD 00000689: PUSH1 0x01 0000068b: DUP2 0000068c: PUSH1 0x01 0000068e: AND 0000068f: ISZERO 00000690: PUSH2 0x0100 00000693: MUL 00000694: SUB 00000695: AND 00000696: PUSH1 0x02 00000698: SWAP1 00000699: DIV 0000069a: DUP1 0000069b: ISZERO 0000069c: PUSH2 0x06e6 0000069f: JUMPI 000006a0: DUP1 000006a1: PUSH1 0x1f 000006a3: LT 000006a4: PUSH2 0x06bb 000006a7: JUMPI 000006a8: PUSH2 0x0100 000006ab: DUP1 000006ac: DUP4 000006ad: SLOAD 000006ae: DIV 000006af: MUL 000006b0: DUP4 000006b1: MSTORE 000006b2: SWAP2 000006b3: PUSH1 0x20 000006b5: ADD 000006b6: SWAP2 000006b7: PUSH2 0x06e6 000006ba: JUMP 000006bb: JUMPDEST 000006bc: DUP3 000006bd: ADD 000006be: SWAP2 000006bf: SWAP1 000006c0: PUSH1 0x00 000006c2: MSTORE 000006c3: PUSH1 0x20 000006c5: PUSH1 0x00 000006c7: KECCAK256 000006c8: SWAP1 000006c9: JUMPDEST 000006ca: DUP2 000006cb: SLOAD 000006cc: DUP2 000006cd: MSTORE 000006ce: SWAP1 000006cf: PUSH1 0x01 000006d1: ADD 000006d2: SWAP1 000006d3: PUSH1 0x20 000006d5: ADD 000006d6: DUP1 000006d7: DUP4 000006d8: GT 000006d9: PUSH2 0x06c9 000006dc: JUMPI 000006dd: DUP3 000006de: SWAP1 000006df: SUB 000006e0: PUSH1 0x1f 000006e2: AND 000006e3: DUP3 000006e4: ADD 000006e5: SWAP2 000006e6: JUMPDEST 000006e7: POP 000006e8: POP 000006e9: POP 000006ea: POP 000006eb: POP 000006ec: DUP2 000006ed: JUMP 000006ee: JUMPDEST 000006ef: PUSH1 0x00 000006f1: DUP2 000006f2: PUSH1 0x09 000006f4: PUSH1 0x00 000006f6: CALLER 000006f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070c: AND 0000070d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000722: AND 00000723: DUP2 00000724: MSTORE 00000725: PUSH1 0x20 00000727: ADD 00000728: SWAP1 00000729: DUP2 0000072a: MSTORE 0000072b: PUSH1 0x20 0000072d: ADD 0000072e: PUSH1 0x00 00000730: KECCAK256 00000731: PUSH1 0x00 00000733: DUP6 00000734: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000749: AND 0000074a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075f: AND 00000760: DUP2 00000761: MSTORE 00000762: PUSH1 0x20 00000764: ADD 00000765: SWAP1 00000766: DUP2 00000767: MSTORE 00000768: PUSH1 0x20 0000076a: ADD 0000076b: PUSH1 0x00 0000076d: KECCAK256 0000076e: DUP2 0000076f: SWAP1 00000770: SSTORE 00000771: POP 00000772: PUSH1 0x01 00000774: SWAP1 00000775: POP 00000776: SWAP3 00000777: SWAP2 00000778: POP 00000779: POP 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH1 0x04 0000077e: SLOAD 0000077f: DUP2 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH1 0x07 00000784: SLOAD 00000785: DUP2 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH1 0x00 0000078a: DUP2 0000078b: PUSH1 0x08 0000078d: PUSH1 0x00 0000078f: DUP7 00000790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a5: AND 000007a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007bb: AND 000007bc: DUP2 000007bd: MSTORE 000007be: PUSH1 0x20 000007c0: ADD 000007c1: SWAP1 000007c2: DUP2 000007c3: MSTORE 000007c4: PUSH1 0x20 000007c6: ADD 000007c7: PUSH1 0x00 000007c9: KECCAK256 000007ca: SLOAD 000007cb: LT 000007cc: ISZERO 000007cd: PUSH2 0x07d5 000007d0: JUMPI 000007d1: PUSH1 0x00 000007d3: DUP1 000007d4: REVERT 000007d5: JUMPDEST 000007d6: PUSH1 0x08 000007d8: PUSH1 0x00 000007da: DUP5 000007db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f0: AND 000007f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000806: AND 00000807: DUP2 00000808: MSTORE 00000809: PUSH1 0x20 0000080b: ADD 0000080c: SWAP1 0000080d: DUP2 0000080e: MSTORE 0000080f: PUSH1 0x20 00000811: ADD 00000812: PUSH1 0x00 00000814: KECCAK256 00000815: SLOAD 00000816: DUP3 00000817: PUSH1 0x08 00000819: PUSH1 0x00 0000081b: DUP7 0000081c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000831: AND 00000832: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000847: AND 00000848: DUP2 00000849: MSTORE 0000084a: PUSH1 0x20 0000084c: ADD 0000084d: SWAP1 0000084e: DUP2 0000084f: MSTORE 00000850: PUSH1 0x20 00000852: ADD 00000853: PUSH1 0x00 00000855: KECCAK256 00000856: SLOAD 00000857: ADD 00000858: LT 00000859: ISZERO 0000085a: PUSH2 0x0862 0000085d: JUMPI 0000085e: PUSH1 0x00 00000860: DUP1 00000861: REVERT 00000862: JUMPDEST 00000863: PUSH1 0x09 00000865: PUSH1 0x00 00000867: DUP6 00000868: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087d: AND 0000087e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000893: AND 00000894: DUP2 00000895: MSTORE 00000896: PUSH1 0x20 00000898: ADD 00000899: SWAP1 0000089a: DUP2 0000089b: MSTORE 0000089c: PUSH1 0x20 0000089e: ADD 0000089f: PUSH1 0x00 000008a1: KECCAK256 000008a2: PUSH1 0x00 000008a4: CALLER 000008a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ba: AND 000008bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d0: AND 000008d1: DUP2 000008d2: MSTORE 000008d3: PUSH1 0x20 000008d5: ADD 000008d6: SWAP1 000008d7: DUP2 000008d8: MSTORE 000008d9: PUSH1 0x20 000008db: ADD 000008dc: PUSH1 0x00 000008de: KECCAK256 000008df: SLOAD 000008e0: DUP3 000008e1: GT 000008e2: ISZERO 000008e3: PUSH2 0x08eb 000008e6: JUMPI 000008e7: PUSH1 0x00 000008e9: DUP1 000008ea: REVERT 000008eb: JUMPDEST 000008ec: DUP2 000008ed: PUSH1 0x08 000008ef: PUSH1 0x00 000008f1: DUP7 000008f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000907: AND 00000908: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091d: AND 0000091e: DUP2 0000091f: MSTORE 00000920: PUSH1 0x20 00000922: ADD 00000923: SWAP1 00000924: DUP2 00000925: MSTORE 00000926: PUSH1 0x20 00000928: ADD 00000929: PUSH1 0x00 0000092b: KECCAK256 0000092c: PUSH1 0x00 0000092e: DUP3 0000092f: DUP3 00000930: SLOAD 00000931: SUB 00000932: SWAP3 00000933: POP 00000934: POP 00000935: DUP2 00000936: SWAP1 00000937: SSTORE 00000938: POP 00000939: DUP2 0000093a: PUSH1 0x08 0000093c: PUSH1 0x00 0000093e: DUP6 0000093f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000954: AND 00000955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096a: AND 0000096b: DUP2 0000096c: MSTORE 0000096d: PUSH1 0x20 0000096f: ADD 00000970: SWAP1 00000971: DUP2 00000972: MSTORE 00000973: PUSH1 0x20 00000975: ADD 00000976: PUSH1 0x00 00000978: KECCAK256 00000979: PUSH1 0x00 0000097b: DUP3 0000097c: DUP3 0000097d: SLOAD 0000097e: ADD 0000097f: SWAP3 00000980: POP 00000981: POP 00000982: DUP2 00000983: SWAP1 00000984: SSTORE 00000985: POP 00000986: DUP2 00000987: PUSH1 0x09 00000989: PUSH1 0x00 0000098b: DUP7 0000098c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a1: AND 000009a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b7: AND 000009b8: DUP2 000009b9: MSTORE 000009ba: PUSH1 0x20 000009bc: ADD 000009bd: SWAP1 000009be: DUP2 000009bf: MSTORE 000009c0: PUSH1 0x20 000009c2: ADD 000009c3: PUSH1 0x00 000009c5: KECCAK256 000009c6: PUSH1 0x00 000009c8: CALLER 000009c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009de: AND 000009df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f4: AND 000009f5: DUP2 000009f6: MSTORE 000009f7: PUSH1 0x20 000009f9: ADD 000009fa: SWAP1 000009fb: DUP2 000009fc: MSTORE 000009fd: PUSH1 0x20 000009ff: ADD 00000a00: PUSH1 0x00 00000a02: KECCAK256 00000a03: PUSH1 0x00 00000a05: DUP3 00000a06: DUP3 00000a07: SLOAD 00000a08: SUB 00000a09: SWAP3 00000a0a: POP 00000a0b: POP 00000a0c: DUP2 00000a0d: SWAP1 00000a0e: SSTORE 00000a0f: POP 00000a10: DUP3 00000a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a26: AND 00000a27: DUP5 00000a28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3d: AND 00000a3e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000a5f: DUP5 00000a60: PUSH1 0x40 00000a62: MLOAD 00000a63: DUP1 00000a64: DUP3 00000a65: DUP2 00000a66: MSTORE 00000a67: PUSH1 0x20 00000a69: ADD 00000a6a: SWAP2 00000a6b: POP 00000a6c: POP 00000a6d: PUSH1 0x40 00000a6f: MLOAD 00000a70: DUP1 00000a71: SWAP2 00000a72: SUB 00000a73: SWAP1 00000a74: LOG3 00000a75: PUSH1 0x01 00000a77: SWAP1 00000a78: POP 00000a79: SWAP4 00000a7a: SWAP3 00000a7b: POP 00000a7c: POP 00000a7d: POP 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: PUSH1 0x02 00000a82: PUSH1 0x00 00000a84: SWAP1 00000a85: SLOAD 00000a86: SWAP1 00000a87: PUSH2 0x0100 00000a8a: EXP 00000a8b: SWAP1 00000a8c: DIV 00000a8d: PUSH1 0xff 00000a8f: AND 00000a90: DUP2 00000a91: JUMP 00000a92: JUMPDEST 00000a93: PUSH1 0x03 00000a95: DUP1 00000a96: SLOAD 00000a97: PUSH1 0x01 00000a99: DUP2 00000a9a: PUSH1 0x01 00000a9c: AND 00000a9d: ISZERO 00000a9e: PUSH2 0x0100 00000aa1: MUL 00000aa2: SUB 00000aa3: AND 00000aa4: PUSH1 0x02 00000aa6: SWAP1 00000aa7: DIV 00000aa8: DUP1 00000aa9: PUSH1 0x1f 00000aab: ADD 00000aac: PUSH1 0x20 00000aae: DUP1 00000aaf: SWAP2 00000ab0: DIV 00000ab1: MUL 00000ab2: PUSH1 0x20 00000ab4: ADD 00000ab5: PUSH1 0x40 00000ab7: MLOAD 00000ab8: SWAP1 00000ab9: DUP2 00000aba: ADD 00000abb: PUSH1 0x40 00000abd: MSTORE 00000abe: DUP1 00000abf: SWAP3 00000ac0: SWAP2 00000ac1: SWAP1 00000ac2: DUP2 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: PUSH1 0x20 00000ac7: ADD 00000ac8: DUP3 00000ac9: DUP1 00000aca: SLOAD 00000acb: PUSH1 0x01 00000acd: DUP2 00000ace: PUSH1 0x01 00000ad0: AND 00000ad1: ISZERO 00000ad2: PUSH2 0x0100 00000ad5: MUL 00000ad6: SUB 00000ad7: AND 00000ad8: PUSH1 0x02 00000ada: SWAP1 00000adb: DIV 00000adc: DUP1 00000add: ISZERO 00000ade: PUSH2 0x0b28 00000ae1: JUMPI 00000ae2: DUP1 00000ae3: PUSH1 0x1f 00000ae5: LT 00000ae6: PUSH2 0x0afd 00000ae9: JUMPI 00000aea: PUSH2 0x0100 00000aed: DUP1 00000aee: DUP4 00000aef: SLOAD 00000af0: DIV 00000af1: MUL 00000af2: DUP4 00000af3: MSTORE 00000af4: SWAP2 00000af5: PUSH1 0x20 00000af7: ADD 00000af8: SWAP2 00000af9: PUSH2 0x0b28 00000afc: JUMP 00000afd: JUMPDEST 00000afe: DUP3 00000aff: ADD 00000b00: SWAP2 00000b01: SWAP1 00000b02: PUSH1 0x00 00000b04: MSTORE 00000b05: PUSH1 0x20 00000b07: PUSH1 0x00 00000b09: KECCAK256 00000b0a: SWAP1 00000b0b: JUMPDEST 00000b0c: DUP2 00000b0d: SLOAD 00000b0e: DUP2 00000b0f: MSTORE 00000b10: SWAP1 00000b11: PUSH1 0x01 00000b13: ADD 00000b14: SWAP1 00000b15: PUSH1 0x20 00000b17: ADD 00000b18: DUP1 00000b19: DUP4 00000b1a: GT 00000b1b: PUSH2 0x0b0b 00000b1e: JUMPI 00000b1f: DUP3 00000b20: SWAP1 00000b21: SUB 00000b22: PUSH1 0x1f 00000b24: AND 00000b25: DUP3 00000b26: ADD 00000b27: SWAP2 00000b28: JUMPDEST 00000b29: POP 00000b2a: POP 00000b2b: POP 00000b2c: POP 00000b2d: POP 00000b2e: DUP2 00000b2f: JUMP 00000b30: JUMPDEST 00000b31: PUSH1 0x08 00000b33: PUSH1 0x20 00000b35: MSTORE 00000b36: DUP1 00000b37: PUSH1 0x00 00000b39: MSTORE 00000b3a: PUSH1 0x40 00000b3c: PUSH1 0x00 00000b3e: KECCAK256 00000b3f: PUSH1 0x00 00000b41: SWAP2 00000b42: POP 00000b43: SWAP1 00000b44: POP 00000b45: SLOAD 00000b46: DUP2 00000b47: JUMP 00000b48: JUMPDEST 00000b49: PUSH1 0x06 00000b4b: SLOAD 00000b4c: DUP2 00000b4d: JUMP 00000b4e: JUMPDEST 00000b4f: PUSH1 0x05 00000b51: SLOAD 00000b52: DUP2 00000b53: JUMP 00000b54: JUMPDEST 00000b55: PUSH1 0x01 00000b57: DUP1 00000b58: SLOAD 00000b59: PUSH1 0x01 00000b5b: DUP2 00000b5c: PUSH1 0x01 00000b5e: AND 00000b5f: ISZERO 00000b60: PUSH2 0x0100 00000b63: MUL 00000b64: SUB 00000b65: AND 00000b66: PUSH1 0x02 00000b68: SWAP1 00000b69: DIV 00000b6a: DUP1 00000b6b: PUSH1 0x1f 00000b6d: ADD 00000b6e: PUSH1 0x20 00000b70: DUP1 00000b71: SWAP2 00000b72: DIV 00000b73: MUL 00000b74: PUSH1 0x20 00000b76: ADD 00000b77: PUSH1 0x40 00000b79: MLOAD 00000b7a: SWAP1 00000b7b: DUP2 00000b7c: ADD 00000b7d: PUSH1 0x40 00000b7f: MSTORE 00000b80: DUP1 00000b81: SWAP3 00000b82: SWAP2 00000b83: SWAP1 00000b84: DUP2 00000b85: DUP2 00000b86: MSTORE 00000b87: PUSH1 0x20 00000b89: ADD 00000b8a: DUP3 00000b8b: DUP1 00000b8c: SLOAD 00000b8d: PUSH1 0x01 00000b8f: DUP2 00000b90: PUSH1 0x01 00000b92: AND 00000b93: ISZERO 00000b94: PUSH2 0x0100 00000b97: MUL 00000b98: SUB 00000b99: AND 00000b9a: PUSH1 0x02 00000b9c: SWAP1 00000b9d: DIV 00000b9e: DUP1 00000b9f: ISZERO 00000ba0: PUSH2 0x0bea 00000ba3: JUMPI 00000ba4: DUP1 00000ba5: PUSH1 0x1f 00000ba7: LT 00000ba8: PUSH2 0x0bbf 00000bab: JUMPI 00000bac: PUSH2 0x0100 00000baf: DUP1 00000bb0: DUP4 00000bb1: SLOAD 00000bb2: DIV 00000bb3: MUL 00000bb4: DUP4 00000bb5: MSTORE 00000bb6: SWAP2 00000bb7: PUSH1 0x20 00000bb9: ADD 00000bba: SWAP2 00000bbb: PUSH2 0x0bea 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: DUP3 00000bc1: ADD 00000bc2: SWAP2 00000bc3: SWAP1 00000bc4: PUSH1 0x00 00000bc6: MSTORE 00000bc7: PUSH1 0x20 00000bc9: PUSH1 0x00 00000bcb: KECCAK256 00000bcc: SWAP1 00000bcd: JUMPDEST 00000bce: DUP2 00000bcf: SLOAD 00000bd0: DUP2 00000bd1: MSTORE 00000bd2: SWAP1 00000bd3: PUSH1 0x01 00000bd5: ADD 00000bd6: SWAP1 00000bd7: PUSH1 0x20 00000bd9: ADD 00000bda: DUP1 00000bdb: DUP4 00000bdc: GT 00000bdd: PUSH2 0x0bcd 00000be0: JUMPI 00000be1: DUP3 00000be2: SWAP1 00000be3: SUB 00000be4: PUSH1 0x1f 00000be6: AND 00000be7: DUP3 00000be8: ADD 00000be9: SWAP2 00000bea: JUMPDEST 00000beb: POP 00000bec: POP 00000bed: POP 00000bee: POP 00000bef: POP 00000bf0: DUP2 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: PUSH1 0x00 00000bf5: DUP1 00000bf6: DUP3 00000bf7: PUSH1 0x08 00000bf9: PUSH1 0x00 00000bfb: CALLER 00000bfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c11: AND 00000c12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c27: AND 00000c28: DUP2 00000c29: MSTORE 00000c2a: PUSH1 0x20 00000c2c: ADD 00000c2d: SWAP1 00000c2e: DUP2 00000c2f: MSTORE 00000c30: PUSH1 0x20 00000c32: ADD 00000c33: PUSH1 0x00 00000c35: KECCAK256 00000c36: SLOAD 00000c37: LT 00000c38: ISZERO 00000c39: PUSH2 0x0c41 00000c3c: JUMPI 00000c3d: PUSH1 0x00 00000c3f: DUP1 00000c40: REVERT 00000c41: JUMPDEST 00000c42: PUSH1 0x08 00000c44: PUSH1 0x00 00000c46: DUP6 00000c47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5c: AND 00000c5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c72: AND 00000c73: DUP2 00000c74: MSTORE 00000c75: PUSH1 0x20 00000c77: ADD 00000c78: SWAP1 00000c79: DUP2 00000c7a: MSTORE 00000c7b: PUSH1 0x20 00000c7d: ADD 00000c7e: PUSH1 0x00 00000c80: KECCAK256 00000c81: SLOAD 00000c82: DUP4 00000c83: PUSH1 0x08 00000c85: PUSH1 0x00 00000c87: DUP8 00000c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c9d: AND 00000c9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb3: AND 00000cb4: DUP2 00000cb5: MSTORE 00000cb6: PUSH1 0x20 00000cb8: ADD 00000cb9: SWAP1 00000cba: DUP2 00000cbb: MSTORE 00000cbc: PUSH1 0x20 00000cbe: ADD 00000cbf: PUSH1 0x00 00000cc1: KECCAK256 00000cc2: SLOAD 00000cc3: ADD 00000cc4: LT 00000cc5: ISZERO 00000cc6: PUSH2 0x0cce 00000cc9: JUMPI 00000cca: PUSH1 0x00 00000ccc: DUP1 00000ccd: REVERT 00000cce: JUMPDEST 00000ccf: PUSH1 0x00 00000cd1: SWAP2 00000cd2: POP 00000cd3: PUSH1 0x00 00000cd5: SWAP1 00000cd6: POP 00000cd7: ADDRESS 00000cd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ced: AND 00000cee: DUP5 00000cef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d04: AND 00000d05: EQ 00000d06: ISZERO 00000d07: PUSH2 0x0eeb 00000d0a: JUMPI 00000d0b: PUSH2 0x1388 00000d0e: NUMBER 00000d0f: SUB 00000d10: PUSH1 0x07 00000d12: SLOAD 00000d13: LT 00000d14: ISZERO 00000d15: PUSH2 0x0d5e 00000d18: JUMPI 00000d19: PUSH1 0x04 00000d1b: SLOAD 00000d1c: PUSH4 0x3b9aca00 00000d21: ADDRESS 00000d22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d37: AND 00000d38: BALANCE 00000d39: MUL 00000d3a: DUP2 00000d3b: ISZERO 00000d3c: ISZERO 00000d3d: PUSH2 0x0d42 00000d40: JUMPI 00000d41: INVALID 00000d42: JUMPDEST 00000d43: DIV 00000d44: SWAP2 00000d45: POP 00000d46: PUSH4 0x3b9aca00 00000d4b: DUP3 00000d4c: DUP5 00000d4d: MUL 00000d4e: DUP2 00000d4f: ISZERO 00000d50: ISZERO 00000d51: PUSH2 0x0d56 00000d54: JUMPI 00000d55: INVALID 00000d56: JUMPDEST 00000d57: DIV 00000d58: SWAP1 00000d59: POP 00000d5a: PUSH2 0x0d75 00000d5d: JUMP 00000d5e: JUMPDEST 00000d5f: PUSH4 0x3b9aca00 00000d64: PUSH1 0x06 00000d66: SLOAD 00000d67: DUP5 00000d68: MUL 00000d69: DUP2 00000d6a: ISZERO 00000d6b: ISZERO 00000d6c: PUSH2 0x0d71 00000d6f: JUMPI 00000d70: INVALID 00000d71: JUMPDEST 00000d72: DIV 00000d73: SWAP1 00000d74: POP 00000d75: JUMPDEST 00000d76: DUP3 00000d77: PUSH1 0x08 00000d79: PUSH1 0x00 00000d7b: CALLER 00000d7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d91: AND 00000d92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da7: AND 00000da8: DUP2 00000da9: MSTORE 00000daa: PUSH1 0x20 00000dac: ADD 00000dad: SWAP1 00000dae: DUP2 00000daf: MSTORE 00000db0: PUSH1 0x20 00000db2: ADD 00000db3: PUSH1 0x00 00000db5: KECCAK256 00000db6: PUSH1 0x00 00000db8: DUP3 00000db9: DUP3 00000dba: SLOAD 00000dbb: SUB 00000dbc: SWAP3 00000dbd: POP 00000dbe: POP 00000dbf: DUP2 00000dc0: SWAP1 00000dc1: SSTORE 00000dc2: POP 00000dc3: DUP3 00000dc4: PUSH1 0x04 00000dc6: PUSH1 0x00 00000dc8: DUP3 00000dc9: DUP3 00000dca: SLOAD 00000dcb: SUB 00000dcc: SWAP3 00000dcd: POP 00000dce: POP 00000dcf: DUP2 00000dd0: SWAP1 00000dd1: SSTORE 00000dd2: POP 00000dd3: PUSH1 0x00 00000dd5: PUSH1 0x04 00000dd7: SLOAD 00000dd8: EQ 00000dd9: ISZERO 00000dda: ISZERO 00000ddb: PUSH2 0x0e42 00000dde: JUMPI 00000ddf: PUSH1 0x04 00000de1: SLOAD 00000de2: PUSH4 0x3b9aca00 00000de7: DUP3 00000de8: ADDRESS 00000de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfe: AND 00000dff: BALANCE 00000e00: SUB 00000e01: MUL 00000e02: DUP2 00000e03: ISZERO 00000e04: ISZERO 00000e05: PUSH2 0x0e0a 00000e08: JUMPI 00000e09: INVALID 00000e0a: JUMPDEST 00000e0b: DIV 00000e0c: SWAP2 00000e0d: POP 00000e0e: PUSH2 0x03e8 00000e11: PUSH2 0x0384 00000e14: DUP4 00000e15: MUL 00000e16: DUP2 00000e17: ISZERO 00000e18: ISZERO 00000e19: PUSH2 0x0e1e 00000e1c: JUMPI 00000e1d: INVALID 00000e1e: JUMPDEST 00000e1f: DIV 00000e20: PUSH1 0x06 00000e22: DUP2 00000e23: SWAP1 00000e24: SSTORE 00000e25: POP 00000e26: PUSH2 0x03e8 00000e29: PUSH2 0x044c 00000e2c: DUP4 00000e2d: MUL 00000e2e: DUP2 00000e2f: ISZERO 00000e30: ISZERO 00000e31: PUSH2 0x0e36 00000e34: JUMPI 00000e35: INVALID 00000e36: JUMPDEST 00000e37: DIV 00000e38: PUSH1 0x05 00000e3a: DUP2 00000e3b: SWAP1 00000e3c: SSTORE 00000e3d: POP 00000e3e: PUSH2 0x0e56 00000e41: JUMP 00000e42: JUMPDEST 00000e43: PUSH1 0x00 00000e45: PUSH1 0x06 00000e47: DUP2 00000e48: SWAP1 00000e49: SSTORE 00000e4a: POP 00000e4b: PUSH4 0x05f5e100 00000e50: PUSH1 0x05 00000e52: DUP2 00000e53: SWAP1 00000e54: SSTORE 00000e55: POP 00000e56: JUMPDEST 00000e57: CALLER 00000e58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6d: AND 00000e6e: PUSH2 0x08fc 00000e71: DUP3 00000e72: SWAP1 00000e73: DUP2 00000e74: ISZERO 00000e75: MUL 00000e76: SWAP1 00000e77: PUSH1 0x40 00000e79: MLOAD 00000e7a: PUSH1 0x00 00000e7c: PUSH1 0x40 00000e7e: MLOAD 00000e7f: DUP1 00000e80: DUP4 00000e81: SUB 00000e82: DUP2 00000e83: DUP6 00000e84: DUP9 00000e85: DUP9 00000e86: CALL 00000e87: SWAP4 00000e88: POP 00000e89: POP 00000e8a: POP 00000e8b: POP 00000e8c: ISZERO 00000e8d: ISZERO 00000e8e: PUSH2 0x0e96 00000e91: JUMPI 00000e92: PUSH1 0x00 00000e94: DUP1 00000e95: REVERT 00000e96: JUMPDEST 00000e97: PUSH1 0x00 00000e99: CALLER 00000e9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eaf: AND 00000eb0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000ed1: DUP6 00000ed2: PUSH1 0x40 00000ed4: MLOAD 00000ed5: DUP1 00000ed6: DUP3 00000ed7: DUP2 00000ed8: MSTORE 00000ed9: PUSH1 0x20 00000edb: ADD 00000edc: SWAP2 00000edd: POP 00000ede: POP 00000edf: PUSH1 0x40 00000ee1: MLOAD 00000ee2: DUP1 00000ee3: SWAP2 00000ee4: SUB 00000ee5: SWAP1 00000ee6: LOG3 00000ee7: PUSH2 0x0feb 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: DUP3 00000eed: PUSH1 0x08 00000eef: PUSH1 0x00 00000ef1: CALLER 00000ef2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f07: AND 00000f08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1d: AND 00000f1e: DUP2 00000f1f: MSTORE 00000f20: PUSH1 0x20 00000f22: ADD 00000f23: SWAP1 00000f24: DUP2 00000f25: MSTORE 00000f26: PUSH1 0x20 00000f28: ADD 00000f29: PUSH1 0x00 00000f2b: KECCAK256 00000f2c: PUSH1 0x00 00000f2e: DUP3 00000f2f: DUP3 00000f30: SLOAD 00000f31: SUB 00000f32: SWAP3 00000f33: POP 00000f34: POP 00000f35: DUP2 00000f36: SWAP1 00000f37: SSTORE 00000f38: POP 00000f39: DUP3 00000f3a: PUSH1 0x08 00000f3c: PUSH1 0x00 00000f3e: DUP7 00000f3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f54: AND 00000f55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6a: AND 00000f6b: DUP2 00000f6c: MSTORE 00000f6d: PUSH1 0x20 00000f6f: ADD 00000f70: SWAP1 00000f71: DUP2 00000f72: MSTORE 00000f73: PUSH1 0x20 00000f75: ADD 00000f76: PUSH1 0x00 00000f78: KECCAK256 00000f79: PUSH1 0x00 00000f7b: DUP3 00000f7c: DUP3 00000f7d: SLOAD 00000f7e: ADD 00000f7f: SWAP3 00000f80: POP 00000f81: POP 00000f82: DUP2 00000f83: SWAP1 00000f84: SSTORE 00000f85: POP 00000f86: DUP4 00000f87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f9c: AND 00000f9d: CALLER 00000f9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb3: AND 00000fb4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000fd5: DUP6 00000fd6: PUSH1 0x40 00000fd8: MLOAD 00000fd9: DUP1 00000fda: DUP3 00000fdb: DUP2 00000fdc: MSTORE 00000fdd: PUSH1 0x20 00000fdf: ADD 00000fe0: SWAP2 00000fe1: POP 00000fe2: POP 00000fe3: PUSH1 0x40 00000fe5: MLOAD 00000fe6: DUP1 00000fe7: SWAP2 00000fe8: SUB 00000fe9: SWAP1 00000fea: LOG3 00000feb: JUMPDEST 00000fec: POP 00000fed: POP 00000fee: POP 00000fef: POP 00000ff0: JUMP 00000ff1: JUMPDEST 00000ff2: PUSH1 0x09 00000ff4: PUSH1 0x20 00000ff6: MSTORE 00000ff7: DUP2 00000ff8: PUSH1 0x00 00000ffa: MSTORE 00000ffb: PUSH1 0x40 00000ffd: PUSH1 0x00 00000fff: KECCAK256 00001000: PUSH1 0x20 00001002: MSTORE 00001003: DUP1 00001004: PUSH1 0x00 00001006: MSTORE 00001007: PUSH1 0x40 00001009: PUSH1 0x00 0000100b: KECCAK256 0000100c: PUSH1 0x00 0000100e: SWAP2 0000100f: POP 00001010: SWAP2 00001011: POP 00001012: POP 00001013: SLOAD 00001014: DUP2 00001015: JUMP 00001016: STOP 00001017: LOG1 00001018: PUSH6 0x627a7a723058 0000101f: KECCAK256 00001020: PUSH28 0x3e3f6219056995ffb7c5456f3cc729f1c68815844aacd28a63248fe8 0000103d: UNKNOWN(0xE0) 0000103e: UNKNOWN(0x25) 0000103f: UNKNOWN(0x1F) 00001040: STOP 00001041: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe064a13d6b6980beccd838a83bf2eb0ee1b2377efa21b020bb6f4a21b8fb1438
call_targets:
0xac0007d373df6ee6f0df62e85084d5af4db3740f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe064a13d6b6980beccd838a83bf2eb0ee1b2377efa21b020bb6f4a21b8fb1438",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xac0007d373df6ee6f0df62e85084d5af4db3740f"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21beba94",
"selector": "0x21beba94",
"calldata_variants": [
"0x21beba94",
"0x21beba940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a3b7e42",
"selector": "0x5a3b7e42",
"calldata_variants": [
"0x5a3b7e42",
"0x5a3b7e420000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3718,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe064a13d6b6980beccd838a83bf2eb0ee1b2377efa21b020bb6f4a21b8fb1438
call_targets:
0xac0007d373df6ee6f0df62e85084d5af4db3740f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe064a13d6b6980beccd838a83bf2eb0ee1b2377efa21b020bb6f4a21b8fb1438",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xac0007d373df6ee6f0df62e85084d5af4db3740f"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21beba94",
"selector": "0x21beba94",
"calldata_variants": [
"0x21beba94",
"0x21beba940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a3b7e42",
"selector": "0x5a3b7e42",
"calldata_variants": [
"0x5a3b7e42",
"0x5a3b7e420000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3718,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|