019b477e-d565-7189-a151-13f0d821f7d5
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 |
|---|---|---|---|---|
| 28529 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28530 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92633 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92634 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92635 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92636 | 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 0x00d9 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x715018a6 00000018: GT 00000019: PUSH2 0x007c 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xa2309ff8 00000023: GT 00000024: PUSH2 0x0057 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xa2309ff8 0000002e: EQ 0000002f: PUSH2 0x022b 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xb23ec655 00000039: EQ 0000003a: PUSH2 0x0240 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xf2fde38b 00000044: EQ 00000045: PUSH2 0x026b 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xf7260d3e 0000004f: EQ 00000050: PUSH2 0x028a 00000053: JUMPI 00000054: PUSH0 00000055: DUP1 00000056: REVERT 00000057: JUMPDEST 00000058: DUP1 00000059: PUSH4 0x715018a6 0000005e: EQ 0000005f: PUSH2 0x01e0 00000062: JUMPI 00000063: DUP1 00000064: PUSH4 0x8d859f3e 00000069: EQ 0000006a: PUSH2 0x01f4 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x8da5cb5b 00000074: EQ 00000075: PUSH2 0x020f 00000078: JUMPI 00000079: PUSH0 0000007a: DUP1 0000007b: REVERT 0000007c: JUMPDEST 0000007d: DUP1 0000007e: PUSH4 0x238ac933 00000083: GT 00000084: PUSH2 0x00b7 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x238ac933 0000008e: EQ 0000008f: PUSH2 0x013f 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x3ccfd60b 00000099: EQ 0000009a: PUSH2 0x018a 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x5c975abb 000000a4: EQ 000000a5: PUSH2 0x019e 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x6a627842 000000af: EQ 000000b0: PUSH2 0x01cd 000000b3: JUMPI 000000b4: PUSH0 000000b5: DUP1 000000b6: REVERT 000000b7: JUMPDEST 000000b8: DUP1 000000b9: PUSH4 0x0bb47c72 000000be: EQ 000000bf: PUSH2 0x00dd 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x16c38b3c 000000c9: EQ 000000ca: PUSH2 0x00f2 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x1748218c 000000d4: EQ 000000d5: PUSH2 0x0111 000000d8: JUMPI 000000d9: JUMPDEST 000000da: PUSH0 000000db: DUP1 000000dc: REVERT 000000dd: JUMPDEST 000000de: PUSH2 0x00f0 000000e1: PUSH2 0x00eb 000000e4: CALLDATASIZE 000000e5: PUSH1 0x04 000000e7: PUSH2 0x0a09 000000ea: JUMP 000000eb: JUMPDEST 000000ec: PUSH2 0x02bd 000000ef: JUMP 000000f0: JUMPDEST 000000f1: STOP 000000f2: JUMPDEST 000000f3: CALLVALUE 000000f4: DUP1 000000f5: ISZERO 000000f6: PUSH2 0x00fd 000000f9: JUMPI 000000fa: PUSH0 000000fb: DUP1 000000fc: REVERT 000000fd: JUMPDEST 000000fe: POP 000000ff: PUSH2 0x00f0 00000102: PUSH2 0x010c 00000105: CALLDATASIZE 00000106: PUSH1 0x04 00000108: PUSH2 0x0a8f 0000010b: JUMP 0000010c: JUMPDEST 0000010d: PUSH2 0x040d 00000110: JUMP 00000111: JUMPDEST 00000112: CALLVALUE 00000113: DUP1 00000114: ISZERO 00000115: PUSH2 0x011c 00000118: JUMPI 00000119: PUSH0 0000011a: DUP1 0000011b: REVERT 0000011c: JUMPDEST 0000011d: POP 0000011e: PUSH2 0x012c 00000121: PUSH8 0x011c37937e080000 0000012a: DUP2 0000012b: JUMP 0000012c: JUMPDEST 0000012d: PUSH1 0x40 0000012f: MLOAD 00000130: SWAP1 00000131: DUP2 00000132: MSTORE 00000133: PUSH1 0x20 00000135: ADD 00000136: JUMPDEST 00000137: PUSH1 0x40 00000139: MLOAD 0000013a: DUP1 0000013b: SWAP2 0000013c: SUB 0000013d: SWAP1 0000013e: RETURN 0000013f: JUMPDEST 00000140: CALLVALUE 00000141: DUP1 00000142: ISZERO 00000143: PUSH2 0x014a 00000146: JUMPI 00000147: PUSH0 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: POP 0000014c: PUSH2 0x0172 0000014f: PUSH32 0x000000000000000000000000a87412c89b0d25e72e977caa1d00cc0f1141e552 00000170: DUP2 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH1 0x40 00000175: MLOAD 00000176: PUSH1 0x01 00000178: PUSH1 0x01 0000017a: PUSH1 0xa0 0000017c: SHL 0000017d: SUB 0000017e: SWAP1 0000017f: SWAP2 00000180: AND 00000181: DUP2 00000182: MSTORE 00000183: PUSH1 0x20 00000185: ADD 00000186: PUSH2 0x0136 00000189: JUMP 0000018a: JUMPDEST 0000018b: CALLVALUE 0000018c: DUP1 0000018d: ISZERO 0000018e: PUSH2 0x0195 00000191: JUMPI 00000192: PUSH0 00000193: DUP1 00000194: REVERT 00000195: JUMPDEST 00000196: POP 00000197: PUSH2 0x00f0 0000019a: PUSH2 0x0432 0000019d: JUMP 0000019e: JUMPDEST 0000019f: CALLVALUE 000001a0: DUP1 000001a1: ISZERO 000001a2: PUSH2 0x01a9 000001a5: JUMPI 000001a6: PUSH0 000001a7: DUP1 000001a8: REVERT 000001a9: JUMPDEST 000001aa: POP 000001ab: PUSH0 000001ac: SLOAD 000001ad: PUSH2 0x01bd 000001b0: SWAP1 000001b1: PUSH1 0x01 000001b3: PUSH1 0xa0 000001b5: SHL 000001b6: SWAP1 000001b7: DIV 000001b8: PUSH1 0xff 000001ba: AND 000001bb: DUP2 000001bc: JUMP 000001bd: JUMPDEST 000001be: PUSH1 0x40 000001c0: MLOAD 000001c1: SWAP1 000001c2: ISZERO 000001c3: ISZERO 000001c4: DUP2 000001c5: MSTORE 000001c6: PUSH1 0x20 000001c8: ADD 000001c9: PUSH2 0x0136 000001cc: JUMP 000001cd: JUMPDEST 000001ce: PUSH2 0x00f0 000001d1: PUSH2 0x01db 000001d4: CALLDATASIZE 000001d5: PUSH1 0x04 000001d7: PUSH2 0x0ab5 000001da: JUMP 000001db: JUMPDEST 000001dc: PUSH2 0x04dd 000001df: JUMP 000001e0: JUMPDEST 000001e1: CALLVALUE 000001e2: DUP1 000001e3: ISZERO 000001e4: PUSH2 0x01eb 000001e7: JUMPI 000001e8: PUSH0 000001e9: DUP1 000001ea: REVERT 000001eb: JUMPDEST 000001ec: POP 000001ed: PUSH2 0x00f0 000001f0: PUSH2 0x04eb 000001f3: JUMP 000001f4: JUMPDEST 000001f5: CALLVALUE 000001f6: DUP1 000001f7: ISZERO 000001f8: PUSH2 0x01ff 000001fb: JUMPI 000001fc: PUSH0 000001fd: DUP1 000001fe: REVERT 000001ff: JUMPDEST 00000200: POP 00000201: PUSH2 0x012c 00000204: PUSH8 0x016345785d8a0000 0000020d: DUP2 0000020e: JUMP 0000020f: JUMPDEST 00000210: CALLVALUE 00000211: DUP1 00000212: ISZERO 00000213: PUSH2 0x021a 00000216: JUMPI 00000217: PUSH0 00000218: DUP1 00000219: REVERT 0000021a: JUMPDEST 0000021b: POP 0000021c: PUSH0 0000021d: SLOAD 0000021e: PUSH1 0x01 00000220: PUSH1 0x01 00000222: PUSH1 0xa0 00000224: SHL 00000225: SUB 00000226: AND 00000227: PUSH2 0x0172 0000022a: JUMP 0000022b: JUMPDEST 0000022c: CALLVALUE 0000022d: DUP1 0000022e: ISZERO 0000022f: PUSH2 0x0236 00000232: JUMPI 00000233: PUSH0 00000234: DUP1 00000235: REVERT 00000236: JUMPDEST 00000237: POP 00000238: PUSH2 0x012c 0000023b: PUSH1 0x01 0000023d: SLOAD 0000023e: DUP2 0000023f: JUMP 00000240: JUMPDEST 00000241: CALLVALUE 00000242: DUP1 00000243: ISZERO 00000244: PUSH2 0x024b 00000247: JUMPI 00000248: PUSH0 00000249: DUP1 0000024a: REVERT 0000024b: JUMPDEST 0000024c: POP 0000024d: PUSH2 0x012c 00000250: PUSH2 0x025a 00000253: CALLDATASIZE 00000254: PUSH1 0x04 00000256: PUSH2 0x0ab5 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH1 0x02 0000025d: PUSH1 0x20 0000025f: MSTORE 00000260: PUSH0 00000261: SWAP1 00000262: DUP2 00000263: MSTORE 00000264: PUSH1 0x40 00000266: SWAP1 00000267: KECCAK256 00000268: SLOAD 00000269: DUP2 0000026a: JUMP 0000026b: JUMPDEST 0000026c: CALLVALUE 0000026d: DUP1 0000026e: ISZERO 0000026f: PUSH2 0x0276 00000272: JUMPI 00000273: PUSH0 00000274: DUP1 00000275: REVERT 00000276: JUMPDEST 00000277: POP 00000278: PUSH2 0x00f0 0000027b: PUSH2 0x0285 0000027e: CALLDATASIZE 0000027f: PUSH1 0x04 00000281: PUSH2 0x0ab5 00000284: JUMP 00000285: JUMPDEST 00000286: PUSH2 0x04fe 00000289: JUMP 0000028a: JUMPDEST 0000028b: CALLVALUE 0000028c: DUP1 0000028d: ISZERO 0000028e: PUSH2 0x0295 00000291: JUMPI 00000292: PUSH0 00000293: DUP1 00000294: REVERT 00000295: JUMPDEST 00000296: POP 00000297: PUSH2 0x0172 0000029a: PUSH32 0x0000000000000000000000005720c021650e9dde2c8563e4fe066066273c5727 000002bb: DUP2 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH1 0x40 000002c0: DUP1 000002c1: MLOAD 000002c2: ADDRESS 000002c3: PUSH1 0x20 000002c5: DUP3 000002c6: ADD 000002c7: MSTORE 000002c8: CALLER 000002c9: SWAP2 000002ca: DUP2 000002cb: ADD 000002cc: SWAP2 000002cd: SWAP1 000002ce: SWAP2 000002cf: MSTORE 000002d0: PUSH1 0x60 000002d2: DUP2 000002d3: ADD 000002d4: DUP6 000002d5: SWAP1 000002d6: MSTORE 000002d7: PUSH0 000002d8: SWAP1 000002d9: PUSH1 0x80 000002db: ADD 000002dc: PUSH1 0x40 000002de: MLOAD 000002df: PUSH1 0x20 000002e1: DUP2 000002e2: DUP4 000002e3: SUB 000002e4: SUB 000002e5: DUP2 000002e6: MSTORE 000002e7: SWAP1 000002e8: PUSH1 0x40 000002ea: MSTORE 000002eb: DUP1 000002ec: MLOAD 000002ed: SWAP1 000002ee: PUSH1 0x20 000002f0: ADD 000002f1: KECCAK256 000002f2: SWAP1 000002f3: POP 000002f4: PUSH2 0x0353 000002f7: PUSH32 0x000000000000000000000000a87412c89b0d25e72e977caa1d00cc0f1141e552 00000318: DUP3 00000319: DUP7 0000031a: DUP7 0000031b: DUP1 0000031c: DUP1 0000031d: PUSH1 0x1f 0000031f: ADD 00000320: PUSH1 0x20 00000322: DUP1 00000323: SWAP2 00000324: DIV 00000325: MUL 00000326: PUSH1 0x20 00000328: ADD 00000329: PUSH1 0x40 0000032b: MLOAD 0000032c: SWAP1 0000032d: DUP2 0000032e: ADD 0000032f: PUSH1 0x40 00000331: MSTORE 00000332: DUP1 00000333: SWAP4 00000334: SWAP3 00000335: SWAP2 00000336: SWAP1 00000337: DUP2 00000338: DUP2 00000339: MSTORE 0000033a: PUSH1 0x20 0000033c: ADD 0000033d: DUP4 0000033e: DUP4 0000033f: DUP1 00000340: DUP3 00000341: DUP5 00000342: CALLDATACOPY 00000343: PUSH0 00000344: SWAP3 00000345: ADD 00000346: SWAP2 00000347: SWAP1 00000348: SWAP2 00000349: MSTORE 0000034a: POP 0000034b: PUSH2 0x0538 0000034e: SWAP3 0000034f: POP 00000350: POP 00000351: POP 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH2 0x038a 00000357: JUMPI 00000358: PUSH1 0x40 0000035a: MLOAD 0000035b: PUSH3 0x461bcd 0000035f: PUSH1 0xe5 00000361: SHL 00000362: DUP2 00000363: MSTORE 00000364: PUSH1 0x20 00000366: PUSH1 0x04 00000368: DUP3 00000369: ADD 0000036a: MSTORE 0000036b: PUSH1 0x03 0000036d: PUSH1 0x24 0000036f: DUP3 00000370: ADD 00000371: MSTORE 00000372: PUSH3 0x2922a5 00000376: PUSH1 0xe9 00000378: SHL 00000379: PUSH1 0x44 0000037b: DUP3 0000037c: ADD 0000037d: MSTORE 0000037e: PUSH1 0x64 00000380: ADD 00000381: JUMPDEST 00000382: PUSH1 0x40 00000384: MLOAD 00000385: DUP1 00000386: SWAP2 00000387: SUB 00000388: SWAP1 00000389: REVERT 0000038a: JUMPDEST 0000038b: PUSH0 0000038c: PUSH2 0x0396 0000038f: PUSH1 0x01 00000391: DUP5 00000392: PUSH2 0x0597 00000395: JUMP 00000396: JUMPDEST 00000397: CALLER 00000398: PUSH0 00000399: SWAP1 0000039a: DUP2 0000039b: MSTORE 0000039c: PUSH1 0x02 0000039e: PUSH1 0x20 000003a0: MSTORE 000003a1: PUSH1 0x40 000003a3: DUP2 000003a4: KECCAK256 000003a5: SLOAD 000003a6: SWAP2 000003a7: SWAP3 000003a8: POP 000003a9: SWAP1 000003aa: PUSH2 0x03b4 000003ad: SWAP1 000003ae: DUP4 000003af: SWAP1 000003b0: PUSH2 0x0ae2 000003b3: JUMP 000003b4: JUMPDEST 000003b5: SWAP1 000003b6: POP 000003b7: DUP7 000003b8: DUP2 000003b9: GT 000003ba: ISZERO 000003bb: PUSH2 0x03f6 000003be: JUMPI 000003bf: PUSH1 0x40 000003c1: MLOAD 000003c2: PUSH3 0x461bcd 000003c6: PUSH1 0xe5 000003c8: SHL 000003c9: DUP2 000003ca: MSTORE 000003cb: PUSH1 0x20 000003cd: PUSH1 0x04 000003cf: DUP3 000003d0: ADD 000003d1: MSTORE 000003d2: PUSH1 0x0d 000003d4: PUSH1 0x24 000003d6: DUP3 000003d7: ADD 000003d8: MSTORE 000003d9: PUSH13 0x07768697465207573656420757 000003e7: PUSH1 0x9c 000003e9: SHL 000003ea: PUSH1 0x44 000003ec: DUP3 000003ed: ADD 000003ee: MSTORE 000003ef: PUSH1 0x64 000003f1: ADD 000003f2: PUSH2 0x0381 000003f5: JUMP 000003f6: JUMPDEST 000003f7: CALLER 000003f8: PUSH0 000003f9: SWAP1 000003fa: DUP2 000003fb: MSTORE 000003fc: PUSH1 0x02 000003fe: PUSH1 0x20 00000400: MSTORE 00000401: PUSH1 0x40 00000403: SWAP1 00000404: KECCAK256 00000405: SSTORE 00000406: POP 00000407: POP 00000408: POP 00000409: POP 0000040a: POP 0000040b: POP 0000040c: JUMP 0000040d: JUMPDEST 0000040e: PUSH2 0x0415 00000411: PUSH2 0x078c 00000414: JUMP 00000415: JUMPDEST 00000416: PUSH0 00000417: DUP1 00000418: SLOAD 00000419: SWAP2 0000041a: ISZERO 0000041b: ISZERO 0000041c: PUSH1 0x01 0000041e: PUSH1 0xa0 00000420: SHL 00000421: MUL 00000422: PUSH1 0xff 00000424: PUSH1 0xa0 00000426: SHL 00000427: NOT 00000428: SWAP1 00000429: SWAP3 0000042a: AND 0000042b: SWAP2 0000042c: SWAP1 0000042d: SWAP2 0000042e: OR 0000042f: SWAP1 00000430: SSTORE 00000431: JUMP 00000432: JUMPDEST 00000433: PUSH0 00000434: PUSH32 0x0000000000000000000000005720c021650e9dde2c8563e4fe066066273c5727 00000455: PUSH1 0x01 00000457: PUSH1 0x01 00000459: PUSH1 0xa0 0000045b: SHL 0000045c: SUB 0000045d: AND 0000045e: SELFBALANCE 0000045f: PUSH1 0x40 00000461: MLOAD 00000462: PUSH0 00000463: PUSH1 0x40 00000465: MLOAD 00000466: DUP1 00000467: DUP4 00000468: SUB 00000469: DUP2 0000046a: DUP6 0000046b: DUP8 0000046c: GAS 0000046d: CALL 0000046e: SWAP3 0000046f: POP 00000470: POP 00000471: POP 00000472: RETURNDATASIZE 00000473: DUP1 00000474: PUSH0 00000475: DUP2 00000476: EQ 00000477: PUSH2 0x049b 0000047a: JUMPI 0000047b: PUSH1 0x40 0000047d: MLOAD 0000047e: SWAP2 0000047f: POP 00000480: PUSH1 0x1f 00000482: NOT 00000483: PUSH1 0x3f 00000485: RETURNDATASIZE 00000486: ADD 00000487: AND 00000488: DUP3 00000489: ADD 0000048a: PUSH1 0x40 0000048c: MSTORE 0000048d: RETURNDATASIZE 0000048e: DUP3 0000048f: MSTORE 00000490: RETURNDATASIZE 00000491: PUSH0 00000492: PUSH1 0x20 00000494: DUP5 00000495: ADD 00000496: RETURNDATACOPY 00000497: PUSH2 0x04a0 0000049a: JUMP 0000049b: JUMPDEST 0000049c: PUSH1 0x60 0000049e: SWAP2 0000049f: POP 000004a0: JUMPDEST 000004a1: POP 000004a2: POP 000004a3: SWAP1 000004a4: POP 000004a5: DUP1 000004a6: PUSH2 0x04da 000004a9: JUMPI 000004aa: PUSH1 0x40 000004ac: MLOAD 000004ad: PUSH3 0x461bcd 000004b1: PUSH1 0xe5 000004b3: SHL 000004b4: DUP2 000004b5: MSTORE 000004b6: PUSH1 0x04 000004b8: ADD 000004b9: PUSH2 0x0381 000004bc: SWAP1 000004bd: PUSH1 0x20 000004bf: DUP1 000004c0: DUP3 000004c1: MSTORE 000004c2: PUSH1 0x04 000004c4: SWAP1 000004c5: DUP3 000004c6: ADD 000004c7: MSTORE 000004c8: PUSH4 0x08c8aa89 000004cd: PUSH1 0xe3 000004cf: SHL 000004d0: PUSH1 0x40 000004d2: DUP3 000004d3: ADD 000004d4: MSTORE 000004d5: PUSH1 0x60 000004d7: ADD 000004d8: SWAP1 000004d9: JUMP 000004da: JUMPDEST 000004db: POP 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH2 0x04e7 000004e1: PUSH0 000004e2: DUP3 000004e3: PUSH2 0x0597 000004e6: JUMP 000004e7: JUMPDEST 000004e8: POP 000004e9: POP 000004ea: JUMP 000004eb: JUMPDEST 000004ec: PUSH2 0x04f3 000004ef: PUSH2 0x078c 000004f2: JUMP 000004f3: JUMPDEST 000004f4: PUSH2 0x04fc 000004f7: PUSH0 000004f8: PUSH2 0x07b8 000004fb: JUMP 000004fc: JUMPDEST 000004fd: JUMP 000004fe: JUMPDEST 000004ff: PUSH2 0x0506 00000502: PUSH2 0x078c 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH1 0x01 00000509: PUSH1 0x01 0000050b: PUSH1 0xa0 0000050d: SHL 0000050e: SUB 0000050f: DUP2 00000510: AND 00000511: PUSH2 0x052f 00000514: JUMPI 00000515: PUSH1 0x40 00000517: MLOAD 00000518: PUSH4 0x1e4fbdf7 0000051d: PUSH1 0xe0 0000051f: SHL 00000520: DUP2 00000521: MSTORE 00000522: PUSH0 00000523: PUSH1 0x04 00000525: DUP3 00000526: ADD 00000527: MSTORE 00000528: PUSH1 0x24 0000052a: ADD 0000052b: PUSH2 0x0381 0000052e: JUMP 0000052f: JUMPDEST 00000530: PUSH2 0x04da 00000533: DUP2 00000534: PUSH2 0x07b8 00000537: JUMP 00000538: JUMPDEST 00000539: PUSH0 0000053a: DUP1 0000053b: PUSH0 0000053c: PUSH2 0x0545 0000053f: DUP6 00000540: DUP6 00000541: PUSH2 0x0807 00000544: JUMP 00000545: JUMPDEST 00000546: POP 00000547: SWAP1 00000548: SWAP3 00000549: POP 0000054a: SWAP1 0000054b: POP 0000054c: PUSH0 0000054d: DUP2 0000054e: PUSH1 0x03 00000550: DUP2 00000551: GT 00000552: ISZERO 00000553: PUSH2 0x055e 00000556: JUMPI 00000557: PUSH2 0x055e 0000055a: PUSH2 0x0afb 0000055d: JUMP 0000055e: JUMPDEST 0000055f: EQ 00000560: DUP1 00000561: ISZERO 00000562: PUSH2 0x057c 00000565: JUMPI 00000566: POP 00000567: DUP6 00000568: PUSH1 0x01 0000056a: PUSH1 0x01 0000056c: PUSH1 0xa0 0000056e: SHL 0000056f: SUB 00000570: AND 00000571: DUP3 00000572: PUSH1 0x01 00000574: PUSH1 0x01 00000576: PUSH1 0xa0 00000578: SHL 00000579: SUB 0000057a: AND 0000057b: EQ 0000057c: JUMPDEST 0000057d: DUP1 0000057e: PUSH2 0x058d 00000581: JUMPI 00000582: POP 00000583: PUSH2 0x058d 00000586: DUP7 00000587: DUP7 00000588: DUP7 00000589: PUSH2 0x0850 0000058c: JUMP 0000058d: JUMPDEST 0000058e: SWAP7 0000058f: SWAP6 00000590: POP 00000591: POP 00000592: POP 00000593: POP 00000594: POP 00000595: POP 00000596: JUMP 00000597: JUMPDEST 00000598: PUSH0 00000599: DUP1 0000059a: SLOAD 0000059b: PUSH1 0x01 0000059d: PUSH1 0xa0 0000059f: SHL 000005a0: SWAP1 000005a1: DIV 000005a2: PUSH1 0xff 000005a4: AND 000005a5: ISZERO 000005a6: PUSH2 0x05da 000005a9: JUMPI 000005aa: PUSH1 0x40 000005ac: MLOAD 000005ad: PUSH3 0x461bcd 000005b1: PUSH1 0xe5 000005b3: SHL 000005b4: DUP2 000005b5: MSTORE 000005b6: PUSH1 0x20 000005b8: PUSH1 0x04 000005ba: DUP3 000005bb: ADD 000005bc: MSTORE 000005bd: PUSH1 0x06 000005bf: PUSH1 0x24 000005c1: DUP3 000005c2: ADD 000005c3: MSTORE 000005c4: PUSH6 0x14105554d151 000005cb: PUSH1 0xd2 000005cd: SHL 000005ce: PUSH1 0x44 000005d0: DUP3 000005d1: ADD 000005d2: MSTORE 000005d3: PUSH1 0x64 000005d5: ADD 000005d6: PUSH2 0x0381 000005d9: JUMP 000005da: JUMPDEST 000005db: CALLER 000005dc: PUSH1 0x01 000005de: PUSH1 0x01 000005e0: PUSH1 0xa0 000005e2: SHL 000005e3: SUB 000005e4: DUP4 000005e5: AND 000005e6: SUB 000005e7: PUSH2 0x0620 000005ea: JUMPI 000005eb: PUSH1 0x40 000005ed: MLOAD 000005ee: PUSH3 0x461bcd 000005f2: PUSH1 0xe5 000005f4: SHL 000005f5: DUP2 000005f6: MSTORE 000005f7: PUSH1 0x20 000005f9: PUSH1 0x04 000005fb: DUP3 000005fc: ADD 000005fd: MSTORE 000005fe: PUSH1 0x0b 00000600: PUSH1 0x24 00000602: DUP3 00000603: ADD 00000604: MSTORE 00000605: PUSH11 0x24a72b20a624a22fa922a3 00000611: PUSH1 0xa9 00000613: SHL 00000614: PUSH1 0x44 00000616: DUP3 00000617: ADD 00000618: MSTORE 00000619: PUSH1 0x64 0000061b: ADD 0000061c: PUSH2 0x0381 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH2 0x0633 00000624: PUSH1 0x0a 00000626: PUSH8 0x011c37937e080000 0000062f: PUSH2 0x0b0f 00000632: JUMP 00000633: JUMPDEST 00000634: CALLVALUE 00000635: SUB 00000636: PUSH2 0x0641 00000639: JUMPI 0000063a: POP 0000063b: PUSH1 0x0a 0000063d: PUSH2 0x0728 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH0 00000643: DUP4 00000644: PUSH2 0x0655 00000647: JUMPI 00000648: PUSH8 0x016345785d8a0000 00000651: PUSH2 0x065f 00000654: JUMP 00000655: JUMPDEST 00000656: PUSH8 0x011c37937e080000 0000065f: JUMPDEST 00000660: SWAP1 00000661: POP 00000662: DUP1 00000663: CALLVALUE 00000664: LT 00000665: ISZERO 00000666: PUSH2 0x069f 00000669: JUMPI 0000066a: PUSH1 0x40 0000066c: MLOAD 0000066d: PUSH3 0x461bcd 00000671: PUSH1 0xe5 00000673: SHL 00000674: DUP2 00000675: MSTORE 00000676: PUSH1 0x20 00000678: PUSH1 0x04 0000067a: DUP3 0000067b: ADD 0000067c: MSTORE 0000067d: PUSH1 0x0b 0000067f: PUSH1 0x24 00000681: DUP3 00000682: ADD 00000683: MSTORE 00000684: PUSH11 0x0929cac82989288be8aa89 00000690: PUSH1 0xab 00000692: SHL 00000693: PUSH1 0x44 00000695: DUP3 00000696: ADD 00000697: MSTORE 00000698: PUSH1 0x64 0000069a: ADD 0000069b: PUSH2 0x0381 0000069e: JUMP 0000069f: JUMPDEST 000006a0: PUSH2 0x06a9 000006a3: DUP2 000006a4: CALLVALUE 000006a5: PUSH2 0x0b26 000006a8: JUMP 000006a9: JUMPDEST 000006aa: SWAP2 000006ab: POP 000006ac: CALLVALUE 000006ad: DUP2 000006ae: DUP4 000006af: MUL 000006b0: EQ 000006b1: PUSH2 0x06ea 000006b4: JUMPI 000006b5: PUSH1 0x40 000006b7: MLOAD 000006b8: PUSH3 0x461bcd 000006bc: PUSH1 0xe5 000006be: SHL 000006bf: DUP2 000006c0: MSTORE 000006c1: PUSH1 0x20 000006c3: PUSH1 0x04 000006c5: DUP3 000006c6: ADD 000006c7: MSTORE 000006c8: PUSH1 0x0b 000006ca: PUSH1 0x24 000006cc: DUP3 000006cd: ADD 000006ce: MSTORE 000006cf: PUSH11 0x0929cac82989288be8aa89 000006db: PUSH1 0xab 000006dd: SHL 000006de: PUSH1 0x44 000006e0: DUP3 000006e1: ADD 000006e2: MSTORE 000006e3: PUSH1 0x64 000006e5: ADD 000006e6: PUSH2 0x0381 000006e9: JUMP 000006ea: JUMPDEST 000006eb: PUSH1 0x0a 000006ed: DUP3 000006ee: GT 000006ef: ISZERO 000006f0: PUSH2 0x0726 000006f3: JUMPI 000006f4: PUSH1 0x40 000006f6: MLOAD 000006f7: PUSH3 0x461bcd 000006fb: PUSH1 0xe5 000006fd: SHL 000006fe: DUP2 000006ff: MSTORE 00000700: PUSH1 0x20 00000702: PUSH1 0x04 00000704: DUP3 00000705: ADD 00000706: MSTORE 00000707: PUSH1 0x08 00000709: PUSH1 0x24 0000070b: DUP3 0000070c: ADD 0000070d: MSTORE 0000070e: PUSH8 0x09eac8aa4be9a82b 00000717: PUSH1 0xc3 00000719: SHL 0000071a: PUSH1 0x44 0000071c: DUP3 0000071d: ADD 0000071e: MSTORE 0000071f: PUSH1 0x64 00000721: ADD 00000722: PUSH2 0x0381 00000725: JUMP 00000726: JUMPDEST 00000727: POP 00000728: JUMPDEST 00000729: PUSH1 0x01 0000072b: DUP1 0000072c: SLOAD 0000072d: DUP3 0000072e: ADD 0000072f: SWAP1 00000730: SSTORE 00000731: PUSH1 0x40 00000733: DUP1 00000734: MLOAD 00000735: CALLER 00000736: DUP2 00000737: MSTORE 00000738: PUSH1 0x20 0000073a: DUP2 0000073b: ADD 0000073c: DUP4 0000073d: SWAP1 0000073e: MSTORE 0000073f: CALLVALUE 00000740: DUP2 00000741: DUP4 00000742: ADD 00000743: MSTORE 00000744: DUP5 00000745: ISZERO 00000746: ISZERO 00000747: PUSH1 0x60 00000749: DUP3 0000074a: ADD 0000074b: MSTORE 0000074c: PUSH1 0x01 0000074e: PUSH1 0x01 00000750: PUSH1 0xa0 00000752: SHL 00000753: SUB 00000754: DUP5 00000755: AND 00000756: PUSH1 0x80 00000758: DUP3 00000759: ADD 0000075a: MSTORE 0000075b: SWAP1 0000075c: MLOAD 0000075d: PUSH32 0xea5d2bcfbd47322c48c4907c183b1e9ea765c40365ac477a108ed211c1022036 0000077e: SWAP2 0000077f: DUP2 00000780: SWAP1 00000781: SUB 00000782: PUSH1 0xa0 00000784: ADD 00000785: SWAP1 00000786: LOG1 00000787: SWAP3 00000788: SWAP2 00000789: POP 0000078a: POP 0000078b: JUMP 0000078c: JUMPDEST 0000078d: PUSH0 0000078e: SLOAD 0000078f: PUSH1 0x01 00000791: PUSH1 0x01 00000793: PUSH1 0xa0 00000795: SHL 00000796: SUB 00000797: AND 00000798: CALLER 00000799: EQ 0000079a: PUSH2 0x04fc 0000079d: JUMPI 0000079e: PUSH1 0x40 000007a0: MLOAD 000007a1: PUSH4 0x118cdaa7 000007a6: PUSH1 0xe0 000007a8: SHL 000007a9: DUP2 000007aa: MSTORE 000007ab: CALLER 000007ac: PUSH1 0x04 000007ae: DUP3 000007af: ADD 000007b0: MSTORE 000007b1: PUSH1 0x24 000007b3: ADD 000007b4: PUSH2 0x0381 000007b7: JUMP 000007b8: JUMPDEST 000007b9: PUSH0 000007ba: DUP1 000007bb: SLOAD 000007bc: PUSH1 0x01 000007be: PUSH1 0x01 000007c0: PUSH1 0xa0 000007c2: SHL 000007c3: SUB 000007c4: DUP4 000007c5: DUP2 000007c6: AND 000007c7: PUSH1 0x01 000007c9: PUSH1 0x01 000007cb: PUSH1 0xa0 000007cd: SHL 000007ce: SUB 000007cf: NOT 000007d0: DUP4 000007d1: AND 000007d2: DUP2 000007d3: OR 000007d4: DUP5 000007d5: SSTORE 000007d6: PUSH1 0x40 000007d8: MLOAD 000007d9: SWAP2 000007da: SWAP1 000007db: SWAP3 000007dc: AND 000007dd: SWAP3 000007de: DUP4 000007df: SWAP2 000007e0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000801: SWAP2 00000802: SWAP1 00000803: LOG3 00000804: POP 00000805: POP 00000806: JUMP 00000807: JUMPDEST 00000808: PUSH0 00000809: DUP1 0000080a: PUSH0 0000080b: DUP4 0000080c: MLOAD 0000080d: PUSH1 0x41 0000080f: SUB 00000810: PUSH2 0x083e 00000813: JUMPI 00000814: PUSH1 0x20 00000816: DUP5 00000817: ADD 00000818: MLOAD 00000819: PUSH1 0x40 0000081b: DUP6 0000081c: ADD 0000081d: MLOAD 0000081e: PUSH1 0x60 00000820: DUP7 00000821: ADD 00000822: MLOAD 00000823: PUSH0 00000824: BYTE 00000825: PUSH2 0x0830 00000828: DUP9 00000829: DUP3 0000082a: DUP6 0000082b: DUP6 0000082c: PUSH2 0x0926 0000082f: JUMP 00000830: JUMPDEST 00000831: SWAP6 00000832: POP 00000833: SWAP6 00000834: POP 00000835: SWAP6 00000836: POP 00000837: POP 00000838: POP 00000839: POP 0000083a: PUSH2 0x0849 0000083d: JUMP 0000083e: JUMPDEST 0000083f: POP 00000840: POP 00000841: DUP2 00000842: MLOAD 00000843: PUSH0 00000844: SWAP2 00000845: POP 00000846: PUSH1 0x02 00000848: SWAP1 00000849: JUMPDEST 0000084a: SWAP3 0000084b: POP 0000084c: SWAP3 0000084d: POP 0000084e: SWAP3 0000084f: JUMP 00000850: JUMPDEST 00000851: PUSH0 00000852: DUP1 00000853: PUSH0 00000854: DUP6 00000855: PUSH1 0x01 00000857: PUSH1 0x01 00000859: PUSH1 0xa0 0000085b: SHL 0000085c: SUB 0000085d: AND 0000085e: DUP6 0000085f: DUP6 00000860: PUSH1 0x40 00000862: MLOAD 00000863: PUSH1 0x24 00000865: ADD 00000866: PUSH2 0x0870 00000869: SWAP3 0000086a: SWAP2 0000086b: SWAP1 0000086c: PUSH2 0x0b67 0000086f: JUMP 00000870: JUMPDEST 00000871: PUSH1 0x40 00000873: DUP1 00000874: MLOAD 00000875: PUSH1 0x1f 00000877: NOT 00000878: DUP2 00000879: DUP5 0000087a: SUB 0000087b: ADD 0000087c: DUP2 0000087d: MSTORE 0000087e: SWAP2 0000087f: DUP2 00000880: MSTORE 00000881: PUSH1 0x20 00000883: DUP3 00000884: ADD 00000885: DUP1 00000886: MLOAD 00000887: PUSH1 0x01 00000889: PUSH1 0x01 0000088b: PUSH1 0xe0 0000088d: SHL 0000088e: SUB 0000088f: AND 00000890: PUSH4 0x0b135d3f 00000895: PUSH1 0xe1 00000897: SHL 00000898: OR 00000899: SWAP1 0000089a: MSTORE 0000089b: MLOAD 0000089c: PUSH2 0x08a5 0000089f: SWAP2 000008a0: SWAP1 000008a1: PUSH2 0x0ba0 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH0 000008a7: PUSH1 0x40 000008a9: MLOAD 000008aa: DUP1 000008ab: DUP4 000008ac: SUB 000008ad: DUP2 000008ae: DUP6 000008af: GAS 000008b0: STATICCALL 000008b1: SWAP2 000008b2: POP 000008b3: POP 000008b4: RETURNDATASIZE 000008b5: DUP1 000008b6: PUSH0 000008b7: DUP2 000008b8: EQ 000008b9: PUSH2 0x08dd 000008bc: JUMPI 000008bd: PUSH1 0x40 000008bf: MLOAD 000008c0: SWAP2 000008c1: POP 000008c2: PUSH1 0x1f 000008c4: NOT 000008c5: PUSH1 0x3f 000008c7: RETURNDATASIZE 000008c8: ADD 000008c9: AND 000008ca: DUP3 000008cb: ADD 000008cc: PUSH1 0x40 000008ce: MSTORE 000008cf: RETURNDATASIZE 000008d0: DUP3 000008d1: MSTORE 000008d2: RETURNDATASIZE 000008d3: PUSH0 000008d4: PUSH1 0x20 000008d6: DUP5 000008d7: ADD 000008d8: RETURNDATACOPY 000008d9: PUSH2 0x08e2 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x60 000008e0: SWAP2 000008e1: POP 000008e2: JUMPDEST 000008e3: POP 000008e4: SWAP2 000008e5: POP 000008e6: SWAP2 000008e7: POP 000008e8: DUP2 000008e9: DUP1 000008ea: ISZERO 000008eb: PUSH2 0x08f6 000008ee: JUMPI 000008ef: POP 000008f0: PUSH1 0x20 000008f2: DUP2 000008f3: MLOAD 000008f4: LT 000008f5: ISZERO 000008f6: JUMPDEST 000008f7: DUP1 000008f8: ISZERO 000008f9: PUSH2 0x058d 000008fc: JUMPI 000008fd: POP 000008fe: DUP1 000008ff: MLOAD 00000900: PUSH4 0x0b135d3f 00000905: PUSH1 0xe1 00000907: SHL 00000908: SWAP1 00000909: PUSH2 0x091b 0000090c: SWAP1 0000090d: DUP4 0000090e: ADD 0000090f: PUSH1 0x20 00000911: SWAP1 00000912: DUP2 00000913: ADD 00000914: SWAP1 00000915: DUP5 00000916: ADD 00000917: PUSH2 0x0bbb 0000091a: JUMP 0000091b: JUMPDEST 0000091c: EQ 0000091d: SWAP7 0000091e: SWAP6 0000091f: POP 00000920: POP 00000921: POP 00000922: POP 00000923: POP 00000924: POP 00000925: JUMP 00000926: JUMPDEST 00000927: PUSH0 00000928: DUP1 00000929: DUP1 0000092a: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 0000094b: DUP5 0000094c: GT 0000094d: ISZERO 0000094e: PUSH2 0x095f 00000951: JUMPI 00000952: POP 00000953: PUSH0 00000954: SWAP2 00000955: POP 00000956: PUSH1 0x03 00000958: SWAP1 00000959: POP 0000095a: DUP3 0000095b: PUSH2 0x09e4 0000095e: JUMP 0000095f: JUMPDEST 00000960: PUSH1 0x40 00000962: DUP1 00000963: MLOAD 00000964: PUSH0 00000965: DUP1 00000966: DUP3 00000967: MSTORE 00000968: PUSH1 0x20 0000096a: DUP3 0000096b: ADD 0000096c: DUP1 0000096d: DUP5 0000096e: MSTORE 0000096f: DUP11 00000970: SWAP1 00000971: MSTORE 00000972: PUSH1 0xff 00000974: DUP10 00000975: AND 00000976: SWAP3 00000977: DUP3 00000978: ADD 00000979: SWAP3 0000097a: SWAP1 0000097b: SWAP3 0000097c: MSTORE 0000097d: PUSH1 0x60 0000097f: DUP2 00000980: ADD 00000981: DUP8 00000982: SWAP1 00000983: MSTORE 00000984: PUSH1 0x80 00000986: DUP2 00000987: ADD 00000988: DUP7 00000989: SWAP1 0000098a: MSTORE 0000098b: PUSH1 0x01 0000098d: SWAP1 0000098e: PUSH1 0xa0 00000990: ADD 00000991: PUSH1 0x20 00000993: PUSH1 0x40 00000995: MLOAD 00000996: PUSH1 0x20 00000998: DUP2 00000999: SUB 0000099a: SWAP1 0000099b: DUP1 0000099c: DUP5 0000099d: SUB 0000099e: SWAP1 0000099f: DUP6 000009a0: GAS 000009a1: STATICCALL 000009a2: ISZERO 000009a3: DUP1 000009a4: ISZERO 000009a5: PUSH2 0x09b0 000009a8: JUMPI 000009a9: RETURNDATASIZE 000009aa: PUSH0 000009ab: DUP1 000009ac: RETURNDATACOPY 000009ad: RETURNDATASIZE 000009ae: PUSH0 000009af: REVERT 000009b0: JUMPDEST 000009b1: POP 000009b2: POP 000009b3: PUSH1 0x40 000009b5: MLOAD 000009b6: PUSH1 0x1f 000009b8: NOT 000009b9: ADD 000009ba: MLOAD 000009bb: SWAP2 000009bc: POP 000009bd: POP 000009be: PUSH1 0x01 000009c0: PUSH1 0x01 000009c2: PUSH1 0xa0 000009c4: SHL 000009c5: SUB 000009c6: DUP2 000009c7: AND 000009c8: PUSH2 0x09db 000009cb: JUMPI 000009cc: POP 000009cd: PUSH0 000009ce: SWAP3 000009cf: POP 000009d0: PUSH1 0x01 000009d2: SWAP2 000009d3: POP 000009d4: DUP3 000009d5: SWAP1 000009d6: POP 000009d7: PUSH2 0x09e4 000009da: JUMP 000009db: JUMPDEST 000009dc: SWAP3 000009dd: POP 000009de: PUSH0 000009df: SWAP2 000009e0: POP 000009e1: DUP2 000009e2: SWAP1 000009e3: POP 000009e4: JUMPDEST 000009e5: SWAP5 000009e6: POP 000009e7: SWAP5 000009e8: POP 000009e9: SWAP5 000009ea: SWAP2 000009eb: POP 000009ec: POP 000009ed: JUMP 000009ee: JUMPDEST 000009ef: DUP1 000009f0: CALLDATALOAD 000009f1: PUSH1 0x01 000009f3: PUSH1 0x01 000009f5: PUSH1 0xa0 000009f7: SHL 000009f8: SUB 000009f9: DUP2 000009fa: AND 000009fb: DUP2 000009fc: EQ 000009fd: PUSH2 0x0a04 00000a00: JUMPI 00000a01: PUSH0 00000a02: DUP1 00000a03: REVERT 00000a04: JUMPDEST 00000a05: SWAP2 00000a06: SWAP1 00000a07: POP 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: PUSH0 00000a0b: DUP1 00000a0c: PUSH0 00000a0d: DUP1 00000a0e: PUSH1 0x60 00000a10: DUP6 00000a11: DUP8 00000a12: SUB 00000a13: SLT 00000a14: ISZERO 00000a15: PUSH2 0x0a1c 00000a18: JUMPI 00000a19: PUSH0 00000a1a: DUP1 00000a1b: REVERT 00000a1c: JUMPDEST 00000a1d: DUP5 00000a1e: CALLDATALOAD 00000a1f: SWAP4 00000a20: POP 00000a21: PUSH1 0x20 00000a23: DUP6 00000a24: ADD 00000a25: CALLDATALOAD 00000a26: PUSH8 0xffffffffffffffff 00000a2f: DUP1 00000a30: DUP3 00000a31: GT 00000a32: ISZERO 00000a33: PUSH2 0x0a3a 00000a36: JUMPI 00000a37: PUSH0 00000a38: DUP1 00000a39: REVERT 00000a3a: JUMPDEST 00000a3b: DUP2 00000a3c: DUP8 00000a3d: ADD 00000a3e: SWAP2 00000a3f: POP 00000a40: DUP8 00000a41: PUSH1 0x1f 00000a43: DUP4 00000a44: ADD 00000a45: SLT 00000a46: PUSH2 0x0a4d 00000a49: JUMPI 00000a4a: PUSH0 00000a4b: DUP1 00000a4c: REVERT 00000a4d: JUMPDEST 00000a4e: DUP2 00000a4f: CALLDATALOAD 00000a50: DUP2 00000a51: DUP2 00000a52: GT 00000a53: ISZERO 00000a54: PUSH2 0x0a5b 00000a57: JUMPI 00000a58: PUSH0 00000a59: DUP1 00000a5a: REVERT 00000a5b: JUMPDEST 00000a5c: DUP9 00000a5d: PUSH1 0x20 00000a5f: DUP3 00000a60: DUP6 00000a61: ADD 00000a62: ADD 00000a63: GT 00000a64: ISZERO 00000a65: PUSH2 0x0a6c 00000a68: JUMPI 00000a69: PUSH0 00000a6a: DUP1 00000a6b: REVERT 00000a6c: JUMPDEST 00000a6d: PUSH1 0x20 00000a6f: DUP4 00000a70: ADD 00000a71: SWAP6 00000a72: POP 00000a73: DUP1 00000a74: SWAP5 00000a75: POP 00000a76: POP 00000a77: POP 00000a78: POP 00000a79: PUSH2 0x0a84 00000a7c: PUSH1 0x40 00000a7e: DUP7 00000a7f: ADD 00000a80: PUSH2 0x09ee 00000a83: JUMP 00000a84: JUMPDEST 00000a85: SWAP1 00000a86: POP 00000a87: SWAP3 00000a88: SWAP6 00000a89: SWAP2 00000a8a: SWAP5 00000a8b: POP 00000a8c: SWAP3 00000a8d: POP 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: PUSH0 00000a91: PUSH1 0x20 00000a93: DUP3 00000a94: DUP5 00000a95: SUB 00000a96: SLT 00000a97: ISZERO 00000a98: PUSH2 0x0a9f 00000a9b: JUMPI 00000a9c: PUSH0 00000a9d: DUP1 00000a9e: REVERT 00000a9f: JUMPDEST 00000aa0: DUP2 00000aa1: CALLDATALOAD 00000aa2: DUP1 00000aa3: ISZERO 00000aa4: ISZERO 00000aa5: DUP2 00000aa6: EQ 00000aa7: PUSH2 0x0aae 00000aaa: JUMPI 00000aab: PUSH0 00000aac: DUP1 00000aad: REVERT 00000aae: JUMPDEST 00000aaf: SWAP4 00000ab0: SWAP3 00000ab1: POP 00000ab2: POP 00000ab3: POP 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: PUSH0 00000ab7: PUSH1 0x20 00000ab9: DUP3 00000aba: DUP5 00000abb: SUB 00000abc: SLT 00000abd: ISZERO 00000abe: PUSH2 0x0ac5 00000ac1: JUMPI 00000ac2: PUSH0 00000ac3: DUP1 00000ac4: REVERT 00000ac5: JUMPDEST 00000ac6: PUSH2 0x0aae 00000ac9: DUP3 00000aca: PUSH2 0x09ee 00000acd: JUMP 00000ace: JUMPDEST 00000acf: PUSH4 0x4e487b71 00000ad4: PUSH1 0xe0 00000ad6: SHL 00000ad7: PUSH0 00000ad8: MSTORE 00000ad9: PUSH1 0x11 00000adb: PUSH1 0x04 00000add: MSTORE 00000ade: PUSH1 0x24 00000ae0: PUSH0 00000ae1: REVERT 00000ae2: JUMPDEST 00000ae3: DUP1 00000ae4: DUP3 00000ae5: ADD 00000ae6: DUP1 00000ae7: DUP3 00000ae8: GT 00000ae9: ISZERO 00000aea: PUSH2 0x0af5 00000aed: JUMPI 00000aee: PUSH2 0x0af5 00000af1: PUSH2 0x0ace 00000af4: JUMP 00000af5: JUMPDEST 00000af6: SWAP3 00000af7: SWAP2 00000af8: POP 00000af9: POP 00000afa: JUMP 00000afb: JUMPDEST 00000afc: PUSH4 0x4e487b71 00000b01: PUSH1 0xe0 00000b03: SHL 00000b04: PUSH0 00000b05: MSTORE 00000b06: PUSH1 0x21 00000b08: PUSH1 0x04 00000b0a: MSTORE 00000b0b: PUSH1 0x24 00000b0d: PUSH0 00000b0e: REVERT 00000b0f: JUMPDEST 00000b10: DUP1 00000b11: DUP3 00000b12: MUL 00000b13: DUP2 00000b14: ISZERO 00000b15: DUP3 00000b16: DUP3 00000b17: DIV 00000b18: DUP5 00000b19: EQ 00000b1a: OR 00000b1b: PUSH2 0x0af5 00000b1e: JUMPI 00000b1f: PUSH2 0x0af5 00000b22: PUSH2 0x0ace 00000b25: JUMP 00000b26: JUMPDEST 00000b27: PUSH0 00000b28: DUP3 00000b29: PUSH2 0x0b40 00000b2c: JUMPI 00000b2d: PUSH4 0x4e487b71 00000b32: PUSH1 0xe0 00000b34: SHL 00000b35: PUSH0 00000b36: MSTORE 00000b37: PUSH1 0x12 00000b39: PUSH1 0x04 00000b3b: MSTORE 00000b3c: PUSH1 0x24 00000b3e: PUSH0 00000b3f: REVERT 00000b40: JUMPDEST 00000b41: POP 00000b42: DIV 00000b43: SWAP1 00000b44: JUMP 00000b45: JUMPDEST 00000b46: PUSH0 00000b47: JUMPDEST 00000b48: DUP4 00000b49: DUP2 00000b4a: LT 00000b4b: ISZERO 00000b4c: PUSH2 0x0b5f 00000b4f: JUMPI 00000b50: DUP2 00000b51: DUP2 00000b52: ADD 00000b53: MLOAD 00000b54: DUP4 00000b55: DUP3 00000b56: ADD 00000b57: MSTORE 00000b58: PUSH1 0x20 00000b5a: ADD 00000b5b: PUSH2 0x0b47 00000b5e: JUMP 00000b5f: JUMPDEST 00000b60: POP 00000b61: POP 00000b62: PUSH0 00000b63: SWAP2 00000b64: ADD 00000b65: MSTORE 00000b66: JUMP 00000b67: JUMPDEST 00000b68: DUP3 00000b69: DUP2 00000b6a: MSTORE 00000b6b: PUSH1 0x40 00000b6d: PUSH1 0x20 00000b6f: DUP3 00000b70: ADD 00000b71: MSTORE 00000b72: PUSH0 00000b73: DUP3 00000b74: MLOAD 00000b75: DUP1 00000b76: PUSH1 0x40 00000b78: DUP5 00000b79: ADD 00000b7a: MSTORE 00000b7b: PUSH2 0x0b8b 00000b7e: DUP2 00000b7f: PUSH1 0x60 00000b81: DUP6 00000b82: ADD 00000b83: PUSH1 0x20 00000b85: DUP8 00000b86: ADD 00000b87: PUSH2 0x0b45 00000b8a: JUMP 00000b8b: JUMPDEST 00000b8c: PUSH1 0x1f 00000b8e: ADD 00000b8f: PUSH1 0x1f 00000b91: NOT 00000b92: AND 00000b93: SWAP2 00000b94: SWAP1 00000b95: SWAP2 00000b96: ADD 00000b97: PUSH1 0x60 00000b99: ADD 00000b9a: SWAP4 00000b9b: SWAP3 00000b9c: POP 00000b9d: POP 00000b9e: POP 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: PUSH0 00000ba2: DUP3 00000ba3: MLOAD 00000ba4: PUSH2 0x0bb1 00000ba7: DUP2 00000ba8: DUP5 00000ba9: PUSH1 0x20 00000bab: DUP8 00000bac: ADD 00000bad: PUSH2 0x0b45 00000bb0: JUMP 00000bb1: JUMPDEST 00000bb2: SWAP2 00000bb3: SWAP1 00000bb4: SWAP2 00000bb5: ADD 00000bb6: SWAP3 00000bb7: SWAP2 00000bb8: POP 00000bb9: POP 00000bba: JUMP 00000bbb: JUMPDEST 00000bbc: PUSH0 00000bbd: PUSH1 0x20 00000bbf: DUP3 00000bc0: DUP5 00000bc1: SUB 00000bc2: SLT 00000bc3: ISZERO 00000bc4: PUSH2 0x0bcb 00000bc7: JUMPI 00000bc8: PUSH0 00000bc9: DUP1 00000bca: REVERT 00000bcb: JUMPDEST 00000bcc: POP 00000bcd: MLOAD 00000bce: SWAP2 00000bcf: SWAP1 00000bd0: POP 00000bd1: JUMP 00000bd2: INVALID 00000bd3: LOG2 00000bd4: PUSH5 0x6970667358 00000bda: UNKNOWN(0x22) 00000bdb: SLT 00000bdc: KECCAK256 00000bdd: SWAP5 00000bde: UNKNOWN(0x4B) 00000bdf: PUSH5 0x0ed234ea72 00000be5: PUSH23 0x844516c10cbe1ca2f436207ca7e0150a1bdcb1bec5ee0b 00000bfd: PUSH5 0x736f6c6343 00000c03: STOP 00000c04: ADDMOD 00000c05: XOR 00000c06: STOP 00000c07: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xfbe2adc65b95a5caabf6790b9182ce4c780d767088ece433c47b00f0c2b8363d
call_targets:
0x3459608da9ae247690e78e8562d9064a0e00418b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfbe2adc65b95a5caabf6790b9182ce4c780d767088ece433c47b00f0c2b8363d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3459608da9ae247690e78e8562d9064a0e00418b"
],
"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": "0xa2309ff8",
"selector": "0xa2309ff8",
"calldata_variants": [
"0xa2309ff8",
"0xa2309ff80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb23ec655",
"selector": "0xb23ec655",
"calldata_variants": [
"0xb23ec655",
"0xb23ec6550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7260d3e",
"selector": "0xf7260d3e",
"calldata_variants": [
"0xf7260d3e",
"0xf7260d3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d859f3e",
"selector": "0x8d859f3e",
"calldata_variants": [
"0x8d859f3e",
"0x8d859f3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x238ac933",
"selector": "0x238ac933",
"calldata_variants": [
"0x238ac933",
"0x238ac9330000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1133,
"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: 0xfbe2adc65b95a5caabf6790b9182ce4c780d767088ece433c47b00f0c2b8363d
call_targets:
0x3459608da9ae247690e78e8562d9064a0e00418b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfbe2adc65b95a5caabf6790b9182ce4c780d767088ece433c47b00f0c2b8363d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3459608da9ae247690e78e8562d9064a0e00418b"
],
"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": "0xa2309ff8",
"selector": "0xa2309ff8",
"calldata_variants": [
"0xa2309ff8",
"0xa2309ff80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb23ec655",
"selector": "0xb23ec655",
"calldata_variants": [
"0xb23ec655",
"0xb23ec6550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7260d3e",
"selector": "0xf7260d3e",
"calldata_variants": [
"0xf7260d3e",
"0xf7260d3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d859f3e",
"selector": "0x8d859f3e",
"calldata_variants": [
"0x8d859f3e",
"0x8d859f3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x238ac933",
"selector": "0x238ac933",
"calldata_variants": [
"0x238ac933",
"0x238ac9330000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1133,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|