019b3844-af59-729d-9b6b-019c99b3ef5b
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 |
|---|---|---|---|---|
| 17949 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 17950 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 61458 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 61459 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 61460 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 61461 | 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 0x00c6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x4cd8c247 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x78bb86d3 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x78bb86d3 0000002f: EQ 00000030: PUSH2 0x02d6 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd3c6a030 0000003a: EQ 0000003b: PUSH2 0x02ec 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf9afb26a 00000045: EQ 00000046: PUSH2 0x0314 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfe47a8a7 00000050: EQ 00000051: PUSH2 0x0334 00000054: JUMPI 00000055: PUSH2 0x0124 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x4cd8c247 00000060: EQ 00000061: PUSH2 0x0264 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x59434d4a 0000006b: EQ 0000006c: PUSH2 0x028e 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x7451e019 00000076: EQ 00000077: PUSH2 0x02ae 0000007a: JUMPI 0000007b: PUSH2 0x0124 0000007e: JUMP 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x0eecae21 00000086: EQ 00000087: PUSH2 0x0163 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x19298db8 00000091: EQ 00000092: PUSH2 0x017a 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x29dcb0cf 0000009c: EQ 0000009d: PUSH2 0x019a 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x4182052d 000000a7: EQ 000000a8: PUSH2 0x01e1 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x420b3bd1 000000b2: EQ 000000b3: PUSH2 0x01f6 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x49ce8997 000000bd: EQ 000000be: PUSH2 0x0216 000000c1: JUMPI 000000c2: PUSH2 0x0124 000000c5: JUMP 000000c6: JUMPDEST 000000c7: CALLDATASIZE 000000c8: PUSH2 0x0124 000000cb: JUMPI 000000cc: PUSH32 0x00000000000000000000000000000000000000000000000000000000668c25a7 000000ed: TIMESTAMP 000000ee: LT 000000ef: PUSH2 0x010a 000000f2: JUMPI 000000f3: PUSH1 0x40 000000f5: MLOAD 000000f6: PUSH3 0x4849b5 000000fa: PUSH1 0xe8 000000fc: SHL 000000fd: DUP2 000000fe: MSTORE 000000ff: PUSH1 0x04 00000101: ADD 00000102: PUSH1 0x40 00000104: MLOAD 00000105: DUP1 00000106: SWAP2 00000107: SUB 00000108: SWAP1 00000109: REVERT 0000010a: JUMPDEST 0000010b: CALLVALUE 0000010c: PUSH1 0x01 0000010e: PUSH1 0x00 00000110: DUP3 00000111: DUP3 00000112: SLOAD 00000113: PUSH2 0x011c 00000116: SWAP2 00000117: SWAP1 00000118: PUSH2 0x0ca1 0000011b: JUMP 0000011c: JUMPDEST 0000011d: SWAP3 0000011e: POP 0000011f: POP 00000120: DUP2 00000121: SWAP1 00000122: SSTORE 00000123: STOP 00000124: JUMPDEST 00000125: PUSH32 0x00000000000000000000000000000000000000000000000000000000668c25a7 00000146: TIMESTAMP 00000147: LT 00000148: PUSH2 0x010a 0000014b: JUMPI 0000014c: PUSH1 0x40 0000014e: MLOAD 0000014f: PUSH3 0x4849b5 00000153: PUSH1 0xe8 00000155: SHL 00000156: DUP2 00000157: MSTORE 00000158: PUSH1 0x04 0000015a: ADD 0000015b: PUSH1 0x40 0000015d: MLOAD 0000015e: DUP1 0000015f: SWAP2 00000160: SUB 00000161: SWAP1 00000162: REVERT 00000163: JUMPDEST 00000164: CALLVALUE 00000165: DUP1 00000166: ISZERO 00000167: PUSH2 0x016f 0000016a: JUMPI 0000016b: PUSH1 0x00 0000016d: DUP1 0000016e: REVERT 0000016f: JUMPDEST 00000170: POP 00000171: PUSH2 0x0178 00000174: PUSH2 0x034a 00000177: JUMP 00000178: JUMPDEST 00000179: STOP 0000017a: JUMPDEST 0000017b: CALLVALUE 0000017c: DUP1 0000017d: ISZERO 0000017e: PUSH2 0x0186 00000181: JUMPI 00000182: PUSH1 0x00 00000184: DUP1 00000185: REVERT 00000186: JUMPDEST 00000187: POP 00000188: PUSH2 0x0178 0000018b: PUSH2 0x0195 0000018e: CALLDATASIZE 0000018f: PUSH1 0x04 00000191: PUSH2 0x0cb4 00000194: JUMP 00000195: JUMPDEST 00000196: PUSH2 0x04c2 00000199: JUMP 0000019a: JUMPDEST 0000019b: CALLVALUE 0000019c: DUP1 0000019d: ISZERO 0000019e: PUSH2 0x01a6 000001a1: JUMPI 000001a2: PUSH1 0x00 000001a4: DUP1 000001a5: REVERT 000001a6: JUMPDEST 000001a7: POP 000001a8: PUSH2 0x01ce 000001ab: PUSH32 0x00000000000000000000000000000000000000000000000000000000668c25a7 000001cc: DUP2 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH1 0x40 000001d1: MLOAD 000001d2: SWAP1 000001d3: DUP2 000001d4: MSTORE 000001d5: PUSH1 0x20 000001d7: ADD 000001d8: JUMPDEST 000001d9: PUSH1 0x40 000001db: MLOAD 000001dc: DUP1 000001dd: SWAP2 000001de: SUB 000001df: SWAP1 000001e0: RETURN 000001e1: JUMPDEST 000001e2: CALLVALUE 000001e3: DUP1 000001e4: ISZERO 000001e5: PUSH2 0x01ed 000001e8: JUMPI 000001e9: PUSH1 0x00 000001eb: DUP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: POP 000001ef: PUSH2 0x01ce 000001f2: PUSH1 0x64 000001f4: DUP2 000001f5: JUMP 000001f6: JUMPDEST 000001f7: CALLVALUE 000001f8: DUP1 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH2 0x0178 00000207: PUSH2 0x0211 0000020a: CALLDATASIZE 0000020b: PUSH1 0x04 0000020d: PUSH2 0x0cb4 00000210: JUMP 00000211: JUMPDEST 00000212: PUSH2 0x061c 00000215: JUMP 00000216: JUMPDEST 00000217: CALLVALUE 00000218: DUP1 00000219: ISZERO 0000021a: PUSH2 0x0222 0000021d: JUMPI 0000021e: PUSH1 0x00 00000220: DUP1 00000221: REVERT 00000222: JUMPDEST 00000223: POP 00000224: PUSH2 0x024c 00000227: PUSH2 0x0231 0000022a: CALLDATASIZE 0000022b: PUSH1 0x04 0000022d: PUSH2 0x0d29 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH1 0x03 00000234: PUSH1 0x20 00000236: MSTORE 00000237: PUSH1 0x00 00000239: SWAP1 0000023a: DUP2 0000023b: MSTORE 0000023c: PUSH1 0x40 0000023e: SWAP1 0000023f: KECCAK256 00000240: SLOAD 00000241: PUSH1 0x01 00000243: PUSH1 0x01 00000245: PUSH1 0xa0 00000247: SHL 00000248: SUB 00000249: AND 0000024a: DUP2 0000024b: JUMP 0000024c: JUMPDEST 0000024d: PUSH1 0x40 0000024f: MLOAD 00000250: PUSH1 0x01 00000252: PUSH1 0x01 00000254: PUSH1 0xa0 00000256: SHL 00000257: SUB 00000258: SWAP1 00000259: SWAP2 0000025a: AND 0000025b: DUP2 0000025c: MSTORE 0000025d: PUSH1 0x20 0000025f: ADD 00000260: PUSH2 0x01d8 00000263: JUMP 00000264: JUMPDEST 00000265: CALLVALUE 00000266: DUP1 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: POP 00000272: PUSH1 0x04 00000274: SLOAD 00000275: PUSH2 0x027e 00000278: SWAP1 00000279: PUSH1 0xff 0000027b: AND 0000027c: DUP2 0000027d: JUMP 0000027e: JUMPDEST 0000027f: PUSH1 0x40 00000281: MLOAD 00000282: SWAP1 00000283: ISZERO 00000284: ISZERO 00000285: DUP2 00000286: MSTORE 00000287: PUSH1 0x20 00000289: ADD 0000028a: PUSH2 0x01d8 0000028d: JUMP 0000028e: JUMPDEST 0000028f: CALLVALUE 00000290: DUP1 00000291: ISZERO 00000292: PUSH2 0x029a 00000295: JUMPI 00000296: PUSH1 0x00 00000298: DUP1 00000299: REVERT 0000029a: JUMPDEST 0000029b: POP 0000029c: PUSH2 0x0178 0000029f: PUSH2 0x02a9 000002a2: CALLDATASIZE 000002a3: PUSH1 0x04 000002a5: PUSH2 0x0cb4 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH2 0x07c0 000002ad: JUMP 000002ae: JUMPDEST 000002af: CALLVALUE 000002b0: DUP1 000002b1: ISZERO 000002b2: PUSH2 0x02ba 000002b5: JUMPI 000002b6: PUSH1 0x00 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: POP 000002bc: PUSH2 0x024c 000002bf: PUSH20 0xd07e72b00431af84ad438ca995fd9a7f0207542d 000002d4: DUP2 000002d5: JUMP 000002d6: JUMPDEST 000002d7: CALLVALUE 000002d8: DUP1 000002d9: ISZERO 000002da: PUSH2 0x02e2 000002dd: JUMPI 000002de: PUSH1 0x00 000002e0: DUP1 000002e1: REVERT 000002e2: JUMPDEST 000002e3: POP 000002e4: PUSH2 0x01ce 000002e7: PUSH1 0x02 000002e9: SLOAD 000002ea: DUP2 000002eb: JUMP 000002ec: JUMPDEST 000002ed: CALLVALUE 000002ee: DUP1 000002ef: ISZERO 000002f0: PUSH2 0x02f8 000002f3: JUMPI 000002f4: PUSH1 0x00 000002f6: DUP1 000002f7: REVERT 000002f8: JUMPDEST 000002f9: POP 000002fa: PUSH2 0x024c 000002fd: PUSH20 0xbd3af18e0b7ebb30d49b253ab00788b92604552c 00000312: DUP2 00000313: JUMP 00000314: JUMPDEST 00000315: CALLVALUE 00000316: DUP1 00000317: ISZERO 00000318: PUSH2 0x0320 0000031b: JUMPI 0000031c: PUSH1 0x00 0000031e: DUP1 0000031f: REVERT 00000320: JUMPDEST 00000321: POP 00000322: PUSH2 0x0178 00000325: PUSH2 0x032f 00000328: CALLDATASIZE 00000329: PUSH1 0x04 0000032b: PUSH2 0x0cb4 0000032e: JUMP 0000032f: JUMPDEST 00000330: PUSH2 0x0a5a 00000333: JUMP 00000334: JUMPDEST 00000335: CALLVALUE 00000336: DUP1 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: POP 00000342: PUSH2 0x01ce 00000345: PUSH1 0x01 00000347: SLOAD 00000348: DUP2 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH1 0x04 0000034d: SLOAD 0000034e: PUSH1 0xff 00000350: AND 00000351: ISZERO 00000352: PUSH2 0x036e 00000355: JUMPI 00000356: PUSH1 0x40 00000358: MLOAD 00000359: PUSH4 0x097e1d9b 0000035e: PUSH1 0xe0 00000360: SHL 00000361: DUP2 00000362: MSTORE 00000363: PUSH1 0x04 00000365: ADD 00000366: PUSH1 0x40 00000368: MLOAD 00000369: DUP1 0000036a: SWAP2 0000036b: SUB 0000036c: SWAP1 0000036d: REVERT 0000036e: JUMPDEST 0000036f: PUSH1 0x00 00000371: SLOAD 00000372: PUSH1 0x01 00000374: EQ 00000375: PUSH2 0x0399 00000378: JUMPI 00000379: PUSH1 0x40 0000037b: MLOAD 0000037c: PUSH3 0x461bcd 00000380: PUSH1 0xe5 00000382: SHL 00000383: DUP2 00000384: MSTORE 00000385: PUSH1 0x04 00000387: ADD 00000388: PUSH2 0x0390 0000038b: SWAP1 0000038c: PUSH2 0x0d42 0000038f: JUMP 00000390: JUMPDEST 00000391: PUSH1 0x40 00000393: MLOAD 00000394: DUP1 00000395: SWAP2 00000396: SUB 00000397: SWAP1 00000398: REVERT 00000399: JUMPDEST 0000039a: PUSH1 0x02 0000039c: PUSH1 0x00 0000039e: SSTORE 0000039f: PUSH32 0x00000000000000000000000000000000000000000000000000000000668c25a7 000003c0: TIMESTAMP 000003c1: LT 000003c2: ISZERO 000003c3: PUSH2 0x03df 000003c6: JUMPI 000003c7: PUSH1 0x40 000003c9: MLOAD 000003ca: PUSH4 0x1bf55193 000003cf: PUSH1 0xe0 000003d1: SHL 000003d2: DUP2 000003d3: MSTORE 000003d4: PUSH1 0x04 000003d6: ADD 000003d7: PUSH1 0x40 000003d9: MLOAD 000003da: DUP1 000003db: SWAP2 000003dc: SUB 000003dd: SWAP1 000003de: REVERT 000003df: JUMPDEST 000003e0: PUSH1 0x04 000003e2: DUP1 000003e3: SLOAD 000003e4: PUSH1 0xff 000003e6: NOT 000003e7: AND 000003e8: PUSH1 0x01 000003ea: SWAP1 000003eb: DUP2 000003ec: OR 000003ed: SWAP1 000003ee: SWAP2 000003ef: SSTORE 000003f0: PUSH1 0x02 000003f2: SLOAD 000003f3: SWAP1 000003f4: SLOAD 000003f5: PUSH8 0x0de0b6b3a7640000 000003fe: SWAP2 000003ff: PUSH2 0x0407 00000402: SWAP2 00000403: PUSH2 0x0d66 00000406: JUMP 00000407: JUMPDEST 00000408: GT 00000409: ISZERO 0000040a: PUSH2 0x04bb 0000040d: JUMPI 0000040e: PUSH1 0x00 00000410: PUSH1 0x02 00000412: SLOAD 00000413: PUSH8 0x0de0b6b3a7640000 0000041c: PUSH2 0x0425 0000041f: SWAP2 00000420: SWAP1 00000421: PUSH2 0x0d88 00000424: JUMP 00000425: JUMPDEST 00000426: SWAP1 00000427: POP 00000428: PUSH1 0x00 0000042a: PUSH20 0xbd3af18e0b7ebb30d49b253ab00788b92604552c 0000043f: PUSH1 0x01 00000441: PUSH1 0x01 00000443: PUSH1 0xa0 00000445: SHL 00000446: SUB 00000447: AND 00000448: DUP3 00000449: PUSH1 0x01 0000044b: SLOAD 0000044c: PUSH2 0x0455 0000044f: SWAP2 00000450: SWAP1 00000451: PUSH2 0x0d9f 00000454: JUMP 00000455: JUMPDEST 00000456: PUSH1 0x40 00000458: MLOAD 00000459: PUSH1 0x00 0000045b: DUP2 0000045c: DUP2 0000045d: DUP2 0000045e: DUP6 0000045f: DUP8 00000460: GAS 00000461: CALL 00000462: SWAP3 00000463: POP 00000464: POP 00000465: POP 00000466: RETURNDATASIZE 00000467: DUP1 00000468: PUSH1 0x00 0000046a: DUP2 0000046b: EQ 0000046c: PUSH2 0x0491 0000046f: JUMPI 00000470: PUSH1 0x40 00000472: MLOAD 00000473: SWAP2 00000474: POP 00000475: PUSH1 0x1f 00000477: NOT 00000478: PUSH1 0x3f 0000047a: RETURNDATASIZE 0000047b: ADD 0000047c: AND 0000047d: DUP3 0000047e: ADD 0000047f: PUSH1 0x40 00000481: MSTORE 00000482: RETURNDATASIZE 00000483: DUP3 00000484: MSTORE 00000485: RETURNDATASIZE 00000486: PUSH1 0x00 00000488: PUSH1 0x20 0000048a: DUP5 0000048b: ADD 0000048c: RETURNDATACOPY 0000048d: PUSH2 0x0496 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH1 0x60 00000494: SWAP2 00000495: POP 00000496: JUMPDEST 00000497: POP 00000498: POP 00000499: SWAP1 0000049a: POP 0000049b: DUP1 0000049c: PUSH2 0x04b8 0000049f: JUMPI 000004a0: PUSH1 0x40 000004a2: MLOAD 000004a3: PUSH4 0x12171d83 000004a8: PUSH1 0xe3 000004aa: SHL 000004ab: DUP2 000004ac: MSTORE 000004ad: PUSH1 0x04 000004af: ADD 000004b0: PUSH1 0x40 000004b2: MLOAD 000004b3: DUP1 000004b4: SWAP2 000004b5: SUB 000004b6: SWAP1 000004b7: REVERT 000004b8: JUMPDEST 000004b9: POP 000004ba: POP 000004bb: JUMPDEST 000004bc: PUSH1 0x01 000004be: PUSH1 0x00 000004c0: SSTORE 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH1 0x00 000004c5: SLOAD 000004c6: PUSH1 0x01 000004c8: EQ 000004c9: PUSH2 0x04e4 000004cc: JUMPI 000004cd: PUSH1 0x40 000004cf: MLOAD 000004d0: PUSH3 0x461bcd 000004d4: PUSH1 0xe5 000004d6: SHL 000004d7: DUP2 000004d8: MSTORE 000004d9: PUSH1 0x04 000004db: ADD 000004dc: PUSH2 0x0390 000004df: SWAP1 000004e0: PUSH2 0x0d42 000004e3: JUMP 000004e4: JUMPDEST 000004e5: PUSH1 0x02 000004e7: PUSH1 0x00 000004e9: SSTORE 000004ea: PUSH32 0x00000000000000000000000000000000000000000000000000000000668c25a7 0000050b: TIMESTAMP 0000050c: LT 0000050d: ISZERO 0000050e: PUSH2 0x052a 00000511: JUMPI 00000512: PUSH1 0x40 00000514: MLOAD 00000515: PUSH4 0x1bf55193 0000051a: PUSH1 0xe0 0000051c: SHL 0000051d: DUP2 0000051e: MSTORE 0000051f: PUSH1 0x04 00000521: ADD 00000522: PUSH1 0x40 00000524: MLOAD 00000525: DUP1 00000526: SWAP2 00000527: SUB 00000528: SWAP1 00000529: REVERT 0000052a: JUMPDEST 0000052b: PUSH1 0x00 0000052d: DUP1 0000052e: JUMPDEST 0000052f: DUP3 00000530: DUP2 00000531: LT 00000532: ISZERO 00000533: PUSH2 0x0611 00000536: JUMPI 00000537: PUSH2 0x0576 0000053a: DUP5 0000053b: DUP5 0000053c: DUP1 0000053d: DUP1 0000053e: PUSH1 0x20 00000540: MUL 00000541: PUSH1 0x20 00000543: ADD 00000544: PUSH1 0x40 00000546: MLOAD 00000547: SWAP1 00000548: DUP2 00000549: ADD 0000054a: PUSH1 0x40 0000054c: MSTORE 0000054d: DUP1 0000054e: SWAP4 0000054f: SWAP3 00000550: SWAP2 00000551: SWAP1 00000552: DUP2 00000553: DUP2 00000554: MSTORE 00000555: PUSH1 0x20 00000557: ADD 00000558: DUP4 00000559: DUP4 0000055a: PUSH1 0x20 0000055c: MUL 0000055d: DUP1 0000055e: DUP3 0000055f: DUP5 00000560: CALLDATACOPY 00000561: PUSH1 0x00 00000563: SWAP3 00000564: ADD 00000565: SWAP2 00000566: SWAP1 00000567: SWAP2 00000568: MSTORE 00000569: POP 0000056a: DUP6 0000056b: SWAP3 0000056c: POP 0000056d: DUP7 0000056e: SWAP2 0000056f: POP 00000570: PUSH2 0x0c1b 00000573: SWAP1 00000574: POP 00000575: JUMP 00000576: JUMPDEST 00000577: PUSH1 0x40 00000579: MLOAD 0000057a: PUSH4 0x23b872dd 0000057f: PUSH1 0xe0 00000581: SHL 00000582: DUP2 00000583: MSTORE 00000584: ADDRESS 00000585: PUSH1 0x04 00000587: DUP3 00000588: ADD 00000589: MSTORE 0000058a: PUSH20 0xbd3af18e0b7ebb30d49b253ab00788b92604552c 0000059f: PUSH1 0x24 000005a1: DUP3 000005a2: ADD 000005a3: MSTORE 000005a4: PUSH1 0x44 000005a6: DUP2 000005a7: ADD 000005a8: DUP3 000005a9: SWAP1 000005aa: MSTORE 000005ab: SWAP1 000005ac: SWAP3 000005ad: POP 000005ae: PUSH20 0xd07e72b00431af84ad438ca995fd9a7f0207542d 000005c3: SWAP1 000005c4: PUSH4 0x23b872dd 000005c9: SWAP1 000005ca: PUSH1 0x64 000005cc: ADD 000005cd: PUSH1 0x00 000005cf: PUSH1 0x40 000005d1: MLOAD 000005d2: DUP1 000005d3: DUP4 000005d4: SUB 000005d5: DUP2 000005d6: PUSH1 0x00 000005d8: DUP8 000005d9: DUP1 000005da: EXTCODESIZE 000005db: ISZERO 000005dc: DUP1 000005dd: ISZERO 000005de: PUSH2 0x05e6 000005e1: JUMPI 000005e2: PUSH1 0x00 000005e4: DUP1 000005e5: REVERT 000005e6: JUMPDEST 000005e7: POP 000005e8: GAS 000005e9: CALL 000005ea: ISZERO 000005eb: DUP1 000005ec: ISZERO 000005ed: PUSH2 0x05fa 000005f0: JUMPI 000005f1: RETURNDATASIZE 000005f2: PUSH1 0x00 000005f4: DUP1 000005f5: RETURNDATACOPY 000005f6: RETURNDATASIZE 000005f7: PUSH1 0x00 000005f9: REVERT 000005fa: JUMPDEST 000005fb: POP 000005fc: POP 000005fd: POP 000005fe: POP 000005ff: DUP1 00000600: DUP1 00000601: PUSH2 0x0609 00000604: SWAP1 00000605: PUSH2 0x0db2 00000608: JUMP 00000609: JUMPDEST 0000060a: SWAP2 0000060b: POP 0000060c: POP 0000060d: PUSH2 0x052e 00000610: JUMP 00000611: JUMPDEST 00000612: POP 00000613: POP 00000614: PUSH1 0x01 00000616: PUSH1 0x00 00000618: SSTORE 00000619: POP 0000061a: POP 0000061b: JUMP 0000061c: JUMPDEST 0000061d: PUSH1 0x00 0000061f: SLOAD 00000620: PUSH1 0x01 00000622: EQ 00000623: PUSH2 0x063e 00000626: JUMPI 00000627: PUSH1 0x40 00000629: MLOAD 0000062a: PUSH3 0x461bcd 0000062e: PUSH1 0xe5 00000630: SHL 00000631: DUP2 00000632: MSTORE 00000633: PUSH1 0x04 00000635: ADD 00000636: PUSH2 0x0390 00000639: SWAP1 0000063a: PUSH2 0x0d42 0000063d: JUMP 0000063e: JUMPDEST 0000063f: PUSH1 0x02 00000641: PUSH1 0x00 00000643: SSTORE 00000644: PUSH32 0x00000000000000000000000000000000000000000000000000000000668c25a7 00000665: TIMESTAMP 00000666: LT 00000667: PUSH2 0x0682 0000066a: JUMPI 0000066b: PUSH1 0x40 0000066d: MLOAD 0000066e: PUSH3 0x4849b5 00000672: PUSH1 0xe8 00000674: SHL 00000675: DUP2 00000676: MSTORE 00000677: PUSH1 0x04 00000679: ADD 0000067a: PUSH1 0x40 0000067c: MLOAD 0000067d: DUP1 0000067e: SWAP2 0000067f: SUB 00000680: SWAP1 00000681: REVERT 00000682: JUMPDEST 00000683: PUSH1 0x00 00000685: DUP1 00000686: JUMPDEST 00000687: DUP3 00000688: DUP2 00000689: LT 0000068a: ISZERO 0000068b: PUSH2 0x0611 0000068e: JUMPI 0000068f: PUSH2 0x06ce 00000692: DUP5 00000693: DUP5 00000694: DUP1 00000695: DUP1 00000696: PUSH1 0x20 00000698: MUL 00000699: PUSH1 0x20 0000069b: ADD 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: SWAP1 000006a0: DUP2 000006a1: ADD 000006a2: PUSH1 0x40 000006a4: MSTORE 000006a5: DUP1 000006a6: SWAP4 000006a7: SWAP3 000006a8: SWAP2 000006a9: SWAP1 000006aa: DUP2 000006ab: DUP2 000006ac: MSTORE 000006ad: PUSH1 0x20 000006af: ADD 000006b0: DUP4 000006b1: DUP4 000006b2: PUSH1 0x20 000006b4: MUL 000006b5: DUP1 000006b6: DUP3 000006b7: DUP5 000006b8: CALLDATACOPY 000006b9: PUSH1 0x00 000006bb: SWAP3 000006bc: ADD 000006bd: SWAP2 000006be: SWAP1 000006bf: SWAP2 000006c0: MSTORE 000006c1: POP 000006c2: DUP6 000006c3: SWAP3 000006c4: POP 000006c5: DUP7 000006c6: SWAP2 000006c7: POP 000006c8: PUSH2 0x0c1b 000006cb: SWAP1 000006cc: POP 000006cd: JUMP 000006ce: JUMPDEST 000006cf: PUSH1 0x00 000006d1: DUP2 000006d2: DUP2 000006d3: MSTORE 000006d4: PUSH1 0x03 000006d6: PUSH1 0x20 000006d8: MSTORE 000006d9: PUSH1 0x40 000006db: SWAP1 000006dc: KECCAK256 000006dd: SLOAD 000006de: SWAP1 000006df: SWAP3 000006e0: POP 000006e1: PUSH1 0x01 000006e3: PUSH1 0x01 000006e5: PUSH1 0xa0 000006e7: SHL 000006e8: SUB 000006e9: AND 000006ea: CALLER 000006eb: EQ 000006ec: PUSH2 0x0708 000006ef: JUMPI 000006f0: PUSH1 0x40 000006f2: MLOAD 000006f3: PUSH4 0xf1cb6765 000006f8: PUSH1 0xe0 000006fa: SHL 000006fb: DUP2 000006fc: MSTORE 000006fd: PUSH1 0x04 000006ff: ADD 00000700: PUSH1 0x40 00000702: MLOAD 00000703: DUP1 00000704: SWAP2 00000705: SUB 00000706: SWAP1 00000707: REVERT 00000708: JUMPDEST 00000709: PUSH1 0x01 0000070b: PUSH1 0x02 0000070d: PUSH1 0x00 0000070f: DUP3 00000710: DUP3 00000711: SLOAD 00000712: PUSH2 0x071b 00000715: SWAP2 00000716: SWAP1 00000717: PUSH2 0x0d9f 0000071a: JUMP 0000071b: JUMPDEST 0000071c: SWAP1 0000071d: SWAP2 0000071e: SSTORE 0000071f: POP 00000720: POP 00000721: PUSH1 0x00 00000723: DUP3 00000724: DUP2 00000725: MSTORE 00000726: PUSH1 0x03 00000728: PUSH1 0x20 0000072a: MSTORE 0000072b: PUSH1 0x40 0000072d: SWAP1 0000072e: DUP2 0000072f: SWAP1 00000730: KECCAK256 00000731: DUP1 00000732: SLOAD 00000733: PUSH1 0x01 00000735: PUSH1 0x01 00000737: PUSH1 0xa0 00000739: SHL 0000073a: SUB 0000073b: NOT 0000073c: AND 0000073d: SWAP1 0000073e: SSTORE 0000073f: MLOAD 00000740: PUSH4 0x23b872dd 00000745: PUSH1 0xe0 00000747: SHL 00000748: DUP2 00000749: MSTORE 0000074a: ADDRESS 0000074b: PUSH1 0x04 0000074d: DUP3 0000074e: ADD 0000074f: MSTORE 00000750: CALLER 00000751: PUSH1 0x24 00000753: DUP3 00000754: ADD 00000755: MSTORE 00000756: PUSH1 0x44 00000758: DUP2 00000759: ADD 0000075a: DUP4 0000075b: SWAP1 0000075c: MSTORE 0000075d: PUSH20 0xd07e72b00431af84ad438ca995fd9a7f0207542d 00000772: SWAP1 00000773: PUSH4 0x23b872dd 00000778: SWAP1 00000779: PUSH1 0x64 0000077b: ADD 0000077c: PUSH1 0x00 0000077e: PUSH1 0x40 00000780: MLOAD 00000781: DUP1 00000782: DUP4 00000783: SUB 00000784: DUP2 00000785: PUSH1 0x00 00000787: DUP8 00000788: DUP1 00000789: EXTCODESIZE 0000078a: ISZERO 0000078b: DUP1 0000078c: ISZERO 0000078d: PUSH2 0x0795 00000790: JUMPI 00000791: PUSH1 0x00 00000793: DUP1 00000794: REVERT 00000795: JUMPDEST 00000796: POP 00000797: GAS 00000798: CALL 00000799: ISZERO 0000079a: DUP1 0000079b: ISZERO 0000079c: PUSH2 0x07a9 0000079f: JUMPI 000007a0: RETURNDATASIZE 000007a1: PUSH1 0x00 000007a3: DUP1 000007a4: RETURNDATACOPY 000007a5: RETURNDATASIZE 000007a6: PUSH1 0x00 000007a8: REVERT 000007a9: JUMPDEST 000007aa: POP 000007ab: POP 000007ac: POP 000007ad: POP 000007ae: DUP1 000007af: DUP1 000007b0: PUSH2 0x07b8 000007b3: SWAP1 000007b4: PUSH2 0x0db2 000007b7: JUMP 000007b8: JUMPDEST 000007b9: SWAP2 000007ba: POP 000007bb: POP 000007bc: PUSH2 0x0686 000007bf: JUMP 000007c0: JUMPDEST 000007c1: PUSH1 0x00 000007c3: SLOAD 000007c4: PUSH1 0x01 000007c6: EQ 000007c7: PUSH2 0x07e2 000007ca: JUMPI 000007cb: PUSH1 0x40 000007cd: MLOAD 000007ce: PUSH3 0x461bcd 000007d2: PUSH1 0xe5 000007d4: SHL 000007d5: DUP2 000007d6: MSTORE 000007d7: PUSH1 0x04 000007d9: ADD 000007da: PUSH2 0x0390 000007dd: SWAP1 000007de: PUSH2 0x0d42 000007e1: JUMP 000007e2: JUMPDEST 000007e3: PUSH1 0x02 000007e5: PUSH1 0x00 000007e7: SSTORE 000007e8: PUSH32 0x00000000000000000000000000000000000000000000000000000000668c25a7 00000809: TIMESTAMP 0000080a: LT 0000080b: PUSH2 0x0826 0000080e: JUMPI 0000080f: PUSH1 0x40 00000811: MLOAD 00000812: PUSH3 0x4849b5 00000816: PUSH1 0xe8 00000818: SHL 00000819: DUP2 0000081a: MSTORE 0000081b: PUSH1 0x04 0000081d: ADD 0000081e: PUSH1 0x40 00000820: MLOAD 00000821: DUP1 00000822: SWAP2 00000823: SUB 00000824: SWAP1 00000825: REVERT 00000826: JUMPDEST 00000827: PUSH1 0x00 00000829: DUP1 0000082a: PUSH20 0xd07e72b00431af84ad438ca995fd9a7f0207542d 0000083f: PUSH1 0x01 00000841: PUSH1 0x01 00000843: PUSH1 0xa0 00000845: SHL 00000846: SUB 00000847: AND 00000848: PUSH4 0xb233b389 0000084d: PUSH1 0x40 0000084f: MLOAD 00000850: DUP2 00000851: PUSH4 0xffffffff 00000856: AND 00000857: PUSH1 0xe0 00000859: SHL 0000085a: DUP2 0000085b: MSTORE 0000085c: PUSH1 0x04 0000085e: ADD 0000085f: PUSH1 0x20 00000861: PUSH1 0x40 00000863: MLOAD 00000864: DUP1 00000865: DUP4 00000866: SUB 00000867: DUP2 00000868: DUP7 00000869: GAS 0000086a: STATICCALL 0000086b: ISZERO 0000086c: DUP1 0000086d: ISZERO 0000086e: PUSH2 0x087b 00000871: JUMPI 00000872: RETURNDATASIZE 00000873: PUSH1 0x00 00000875: DUP1 00000876: RETURNDATACOPY 00000877: RETURNDATASIZE 00000878: PUSH1 0x00 0000087a: REVERT 0000087b: JUMPDEST 0000087c: POP 0000087d: POP 0000087e: POP 0000087f: POP 00000880: PUSH1 0x40 00000882: MLOAD 00000883: RETURNDATASIZE 00000884: PUSH1 0x1f 00000886: NOT 00000887: PUSH1 0x1f 00000889: DUP3 0000088a: ADD 0000088b: AND 0000088c: DUP3 0000088d: ADD 0000088e: DUP1 0000088f: PUSH1 0x40 00000891: MSTORE 00000892: POP 00000893: DUP2 00000894: ADD 00000895: SWAP1 00000896: PUSH2 0x089f 00000899: SWAP2 0000089a: SWAP1 0000089b: PUSH2 0x0dcb 0000089e: JUMP 0000089f: JUMPDEST 000008a0: SWAP1 000008a1: POP 000008a2: PUSH1 0x00 000008a4: JUMPDEST 000008a5: DUP4 000008a6: DUP2 000008a7: LT 000008a8: ISZERO 000008a9: PUSH2 0x0a4e 000008ac: JUMPI 000008ad: PUSH2 0x08ec 000008b0: DUP6 000008b1: DUP6 000008b2: DUP1 000008b3: DUP1 000008b4: PUSH1 0x20 000008b6: MUL 000008b7: PUSH1 0x20 000008b9: ADD 000008ba: PUSH1 0x40 000008bc: MLOAD 000008bd: SWAP1 000008be: DUP2 000008bf: ADD 000008c0: PUSH1 0x40 000008c2: MSTORE 000008c3: DUP1 000008c4: SWAP4 000008c5: SWAP3 000008c6: SWAP2 000008c7: SWAP1 000008c8: DUP2 000008c9: DUP2 000008ca: MSTORE 000008cb: PUSH1 0x20 000008cd: ADD 000008ce: DUP4 000008cf: DUP4 000008d0: PUSH1 0x20 000008d2: MUL 000008d3: DUP1 000008d4: DUP3 000008d5: DUP5 000008d6: CALLDATACOPY 000008d7: PUSH1 0x00 000008d9: SWAP3 000008da: ADD 000008db: SWAP2 000008dc: SWAP1 000008dd: SWAP2 000008de: MSTORE 000008df: POP 000008e0: DUP6 000008e1: SWAP3 000008e2: POP 000008e3: DUP8 000008e4: SWAP2 000008e5: POP 000008e6: PUSH2 0x0c1b 000008e9: SWAP1 000008ea: POP 000008eb: JUMP 000008ec: JUMPDEST 000008ed: SWAP3 000008ee: POP 000008ef: PUSH1 0x64 000008f1: DUP4 000008f2: LT 000008f3: DUP1 000008f4: PUSH2 0x08fd 000008f7: JUMPI 000008f8: POP 000008f9: DUP2 000008fa: DUP4 000008fb: LT 000008fc: ISZERO 000008fd: JUMPDEST 000008fe: DUP1 000008ff: PUSH2 0x0977 00000902: JUMPI 00000903: POP 00000904: PUSH1 0x40 00000906: MLOAD 00000907: PUSH4 0x2a266cdb 0000090c: PUSH1 0xe2 0000090e: SHL 0000090f: DUP2 00000910: MSTORE 00000911: PUSH1 0x04 00000913: DUP2 00000914: ADD 00000915: DUP5 00000916: SWAP1 00000917: MSTORE 00000918: PUSH20 0xd07e72b00431af84ad438ca995fd9a7f0207542d 0000092d: SWAP1 0000092e: PUSH4 0xa899b36c 00000933: SWAP1 00000934: PUSH1 0x24 00000936: ADD 00000937: PUSH1 0x20 00000939: PUSH1 0x40 0000093b: MLOAD 0000093c: DUP1 0000093d: DUP4 0000093e: SUB 0000093f: DUP2 00000940: DUP7 00000941: GAS 00000942: STATICCALL 00000943: ISZERO 00000944: DUP1 00000945: ISZERO 00000946: PUSH2 0x0953 00000949: JUMPI 0000094a: RETURNDATASIZE 0000094b: PUSH1 0x00 0000094d: DUP1 0000094e: RETURNDATACOPY 0000094f: RETURNDATASIZE 00000950: PUSH1 0x00 00000952: REVERT 00000953: JUMPDEST 00000954: POP 00000955: POP 00000956: POP 00000957: POP 00000958: PUSH1 0x40 0000095a: MLOAD 0000095b: RETURNDATASIZE 0000095c: PUSH1 0x1f 0000095e: NOT 0000095f: PUSH1 0x1f 00000961: DUP3 00000962: ADD 00000963: AND 00000964: DUP3 00000965: ADD 00000966: DUP1 00000967: PUSH1 0x40 00000969: MSTORE 0000096a: POP 0000096b: DUP2 0000096c: ADD 0000096d: SWAP1 0000096e: PUSH2 0x0977 00000971: SWAP2 00000972: SWAP1 00000973: PUSH2 0x0de4 00000976: JUMP 00000977: JUMPDEST 00000978: ISZERO 00000979: PUSH2 0x0995 0000097c: JUMPI 0000097d: PUSH1 0x40 0000097f: MLOAD 00000980: PUSH4 0x7deaf36f 00000985: PUSH1 0xe1 00000987: SHL 00000988: DUP2 00000989: MSTORE 0000098a: PUSH1 0x04 0000098c: ADD 0000098d: PUSH1 0x40 0000098f: MLOAD 00000990: DUP1 00000991: SWAP2 00000992: SUB 00000993: SWAP1 00000994: REVERT 00000995: JUMPDEST 00000996: PUSH1 0x40 00000998: MLOAD 00000999: PUSH4 0x23b872dd 0000099e: PUSH1 0xe0 000009a0: SHL 000009a1: DUP2 000009a2: MSTORE 000009a3: CALLER 000009a4: PUSH1 0x04 000009a6: DUP3 000009a7: ADD 000009a8: MSTORE 000009a9: ADDRESS 000009aa: PUSH1 0x24 000009ac: DUP3 000009ad: ADD 000009ae: MSTORE 000009af: PUSH1 0x44 000009b1: DUP2 000009b2: ADD 000009b3: DUP5 000009b4: SWAP1 000009b5: MSTORE 000009b6: PUSH20 0xd07e72b00431af84ad438ca995fd9a7f0207542d 000009cb: SWAP1 000009cc: PUSH4 0x23b872dd 000009d1: SWAP1 000009d2: PUSH1 0x64 000009d4: ADD 000009d5: PUSH1 0x00 000009d7: PUSH1 0x40 000009d9: MLOAD 000009da: DUP1 000009db: DUP4 000009dc: SUB 000009dd: DUP2 000009de: PUSH1 0x00 000009e0: DUP8 000009e1: DUP1 000009e2: EXTCODESIZE 000009e3: ISZERO 000009e4: DUP1 000009e5: ISZERO 000009e6: PUSH2 0x09ee 000009e9: JUMPI 000009ea: PUSH1 0x00 000009ec: DUP1 000009ed: REVERT 000009ee: JUMPDEST 000009ef: POP 000009f0: GAS 000009f1: CALL 000009f2: ISZERO 000009f3: DUP1 000009f4: ISZERO 000009f5: PUSH2 0x0a02 000009f8: JUMPI 000009f9: RETURNDATASIZE 000009fa: PUSH1 0x00 000009fc: DUP1 000009fd: RETURNDATACOPY 000009fe: RETURNDATASIZE 000009ff: PUSH1 0x00 00000a01: REVERT 00000a02: JUMPDEST 00000a03: POP 00000a04: POP 00000a05: POP 00000a06: POP 00000a07: PUSH1 0x01 00000a09: PUSH1 0x02 00000a0b: PUSH1 0x00 00000a0d: DUP3 00000a0e: DUP3 00000a0f: SLOAD 00000a10: PUSH2 0x0a19 00000a13: SWAP2 00000a14: SWAP1 00000a15: PUSH2 0x0ca1 00000a18: JUMP 00000a19: JUMPDEST 00000a1a: SWAP1 00000a1b: SWAP2 00000a1c: SSTORE 00000a1d: POP 00000a1e: POP 00000a1f: PUSH1 0x00 00000a21: DUP4 00000a22: DUP2 00000a23: MSTORE 00000a24: PUSH1 0x03 00000a26: PUSH1 0x20 00000a28: MSTORE 00000a29: PUSH1 0x40 00000a2b: SWAP1 00000a2c: KECCAK256 00000a2d: DUP1 00000a2e: SLOAD 00000a2f: PUSH1 0x01 00000a31: PUSH1 0x01 00000a33: PUSH1 0xa0 00000a35: SHL 00000a36: SUB 00000a37: NOT 00000a38: AND 00000a39: CALLER 00000a3a: OR 00000a3b: SWAP1 00000a3c: SSTORE 00000a3d: DUP1 00000a3e: PUSH2 0x0a46 00000a41: DUP2 00000a42: PUSH2 0x0db2 00000a45: JUMP 00000a46: JUMPDEST 00000a47: SWAP2 00000a48: POP 00000a49: POP 00000a4a: PUSH2 0x08a4 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: POP 00000a50: POP 00000a51: PUSH1 0x01 00000a53: PUSH1 0x00 00000a55: SSTORE 00000a56: POP 00000a57: POP 00000a58: POP 00000a59: JUMP 00000a5a: JUMPDEST 00000a5b: PUSH1 0x00 00000a5d: SLOAD 00000a5e: PUSH1 0x01 00000a60: EQ 00000a61: PUSH2 0x0a7c 00000a64: JUMPI 00000a65: PUSH1 0x40 00000a67: MLOAD 00000a68: PUSH3 0x461bcd 00000a6c: PUSH1 0xe5 00000a6e: SHL 00000a6f: DUP2 00000a70: MSTORE 00000a71: PUSH1 0x04 00000a73: ADD 00000a74: PUSH2 0x0390 00000a77: SWAP1 00000a78: PUSH2 0x0d42 00000a7b: JUMP 00000a7c: JUMPDEST 00000a7d: PUSH1 0x02 00000a7f: PUSH1 0x00 00000a81: SSTORE 00000a82: PUSH32 0x00000000000000000000000000000000000000000000000000000000668c25a7 00000aa3: TIMESTAMP 00000aa4: LT 00000aa5: ISZERO 00000aa6: PUSH2 0x0ac2 00000aa9: JUMPI 00000aaa: PUSH1 0x40 00000aac: MLOAD 00000aad: PUSH4 0x1bf55193 00000ab2: PUSH1 0xe0 00000ab4: SHL 00000ab5: DUP2 00000ab6: MSTORE 00000ab7: PUSH1 0x04 00000ab9: ADD 00000aba: PUSH1 0x40 00000abc: MLOAD 00000abd: DUP1 00000abe: SWAP2 00000abf: SUB 00000ac0: SWAP1 00000ac1: REVERT 00000ac2: JUMPDEST 00000ac3: PUSH1 0x00 00000ac5: DUP1 00000ac6: JUMPDEST 00000ac7: DUP3 00000ac8: DUP2 00000ac9: LT 00000aca: ISZERO 00000acb: PUSH2 0x0b76 00000ace: JUMPI 00000acf: PUSH2 0x0b0e 00000ad2: DUP5 00000ad3: DUP5 00000ad4: DUP1 00000ad5: DUP1 00000ad6: PUSH1 0x20 00000ad8: MUL 00000ad9: PUSH1 0x20 00000adb: ADD 00000adc: PUSH1 0x40 00000ade: MLOAD 00000adf: SWAP1 00000ae0: DUP2 00000ae1: ADD 00000ae2: PUSH1 0x40 00000ae4: MSTORE 00000ae5: DUP1 00000ae6: SWAP4 00000ae7: SWAP3 00000ae8: SWAP2 00000ae9: SWAP1 00000aea: DUP2 00000aeb: DUP2 00000aec: MSTORE 00000aed: PUSH1 0x20 00000aef: ADD 00000af0: DUP4 00000af1: DUP4 00000af2: PUSH1 0x20 00000af4: MUL 00000af5: DUP1 00000af6: DUP3 00000af7: DUP5 00000af8: CALLDATACOPY 00000af9: PUSH1 0x00 00000afb: SWAP3 00000afc: ADD 00000afd: SWAP2 00000afe: SWAP1 00000aff: SWAP2 00000b00: MSTORE 00000b01: POP 00000b02: DUP6 00000b03: SWAP3 00000b04: POP 00000b05: DUP7 00000b06: SWAP2 00000b07: POP 00000b08: PUSH2 0x0c1b 00000b0b: SWAP1 00000b0c: POP 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: PUSH1 0x00 00000b11: DUP2 00000b12: DUP2 00000b13: MSTORE 00000b14: PUSH1 0x03 00000b16: PUSH1 0x20 00000b18: MSTORE 00000b19: PUSH1 0x40 00000b1b: SWAP1 00000b1c: KECCAK256 00000b1d: SLOAD 00000b1e: SWAP1 00000b1f: SWAP3 00000b20: POP 00000b21: PUSH1 0x01 00000b23: PUSH1 0x01 00000b25: PUSH1 0xa0 00000b27: SHL 00000b28: SUB 00000b29: AND 00000b2a: CALLER 00000b2b: EQ 00000b2c: PUSH2 0x0b48 00000b2f: JUMPI 00000b30: PUSH1 0x40 00000b32: MLOAD 00000b33: PUSH4 0xf1cb6765 00000b38: PUSH1 0xe0 00000b3a: SHL 00000b3b: DUP2 00000b3c: MSTORE 00000b3d: PUSH1 0x04 00000b3f: ADD 00000b40: PUSH1 0x40 00000b42: MLOAD 00000b43: DUP1 00000b44: SWAP2 00000b45: SUB 00000b46: SWAP1 00000b47: REVERT 00000b48: JUMPDEST 00000b49: PUSH1 0x00 00000b4b: DUP3 00000b4c: DUP2 00000b4d: MSTORE 00000b4e: PUSH1 0x03 00000b50: PUSH1 0x20 00000b52: MSTORE 00000b53: PUSH1 0x40 00000b55: SWAP1 00000b56: KECCAK256 00000b57: DUP1 00000b58: SLOAD 00000b59: PUSH1 0x01 00000b5b: PUSH1 0x01 00000b5d: PUSH1 0xa0 00000b5f: SHL 00000b60: SUB 00000b61: NOT 00000b62: AND 00000b63: SWAP1 00000b64: SSTORE 00000b65: DUP1 00000b66: PUSH2 0x0b6e 00000b69: DUP2 00000b6a: PUSH2 0x0db2 00000b6d: JUMP 00000b6e: JUMPDEST 00000b6f: SWAP2 00000b70: POP 00000b71: POP 00000b72: PUSH2 0x0ac6 00000b75: JUMP 00000b76: JUMPDEST 00000b77: POP 00000b78: PUSH1 0x02 00000b7a: SLOAD 00000b7b: PUSH1 0x01 00000b7d: SLOAD 00000b7e: PUSH1 0x00 00000b80: SWAP2 00000b81: PUSH2 0x0baf 00000b84: SWAP2 00000b85: PUSH2 0x0b8e 00000b88: SWAP1 00000b89: DUP7 00000b8a: PUSH2 0x0d88 00000b8d: JUMP 00000b8e: JUMPDEST 00000b8f: PUSH2 0x0b98 00000b92: SWAP2 00000b93: SWAP1 00000b94: PUSH2 0x0d66 00000b97: JUMP 00000b98: JUMPDEST 00000b99: PUSH2 0x0baa 00000b9c: DUP6 00000b9d: PUSH8 0x0de0b6b3a7640000 00000ba6: PUSH2 0x0d88 00000ba9: JUMP 00000baa: JUMPDEST 00000bab: PUSH2 0x0c71 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: PUSH1 0x40 00000bb2: MLOAD 00000bb3: SWAP1 00000bb4: SWAP2 00000bb5: POP 00000bb6: PUSH1 0x00 00000bb8: SWAP1 00000bb9: CALLER 00000bba: SWAP1 00000bbb: DUP4 00000bbc: SWAP1 00000bbd: DUP4 00000bbe: DUP2 00000bbf: DUP2 00000bc0: DUP2 00000bc1: DUP6 00000bc2: DUP8 00000bc3: GAS 00000bc4: CALL 00000bc5: SWAP3 00000bc6: POP 00000bc7: POP 00000bc8: POP 00000bc9: RETURNDATASIZE 00000bca: DUP1 00000bcb: PUSH1 0x00 00000bcd: DUP2 00000bce: EQ 00000bcf: PUSH2 0x0bf4 00000bd2: JUMPI 00000bd3: PUSH1 0x40 00000bd5: MLOAD 00000bd6: SWAP2 00000bd7: POP 00000bd8: PUSH1 0x1f 00000bda: NOT 00000bdb: PUSH1 0x3f 00000bdd: RETURNDATASIZE 00000bde: ADD 00000bdf: AND 00000be0: DUP3 00000be1: ADD 00000be2: PUSH1 0x40 00000be4: MSTORE 00000be5: RETURNDATASIZE 00000be6: DUP3 00000be7: MSTORE 00000be8: RETURNDATASIZE 00000be9: PUSH1 0x00 00000beb: PUSH1 0x20 00000bed: DUP5 00000bee: ADD 00000bef: RETURNDATACOPY 00000bf0: PUSH2 0x0bf9 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: PUSH1 0x60 00000bf7: SWAP2 00000bf8: POP 00000bf9: JUMPDEST 00000bfa: POP 00000bfb: POP 00000bfc: SWAP1 00000bfd: POP 00000bfe: DUP1 00000bff: PUSH2 0x0a4e 00000c02: JUMPI 00000c03: PUSH1 0x40 00000c05: MLOAD 00000c06: PUSH4 0x12171d83 00000c0b: PUSH1 0xe3 00000c0d: SHL 00000c0e: DUP2 00000c0f: MSTORE 00000c10: PUSH1 0x04 00000c12: ADD 00000c13: PUSH1 0x40 00000c15: MLOAD 00000c16: DUP1 00000c17: SWAP2 00000c18: SUB 00000c19: SWAP1 00000c1a: REVERT 00000c1b: JUMPDEST 00000c1c: PUSH1 0x00 00000c1e: DUP1 00000c1f: DUP5 00000c20: DUP5 00000c21: DUP2 00000c22: MLOAD 00000c23: DUP2 00000c24: LT 00000c25: PUSH2 0x0c30 00000c28: JUMPI 00000c29: PUSH2 0x0c30 00000c2c: PUSH2 0x0e0d 00000c2f: JUMP 00000c30: JUMPDEST 00000c31: PUSH1 0x20 00000c33: MUL 00000c34: PUSH1 0x20 00000c36: ADD 00000c37: ADD 00000c38: MLOAD 00000c39: SWAP1 00000c3a: POP 00000c3b: DUP4 00000c3c: PUSH1 0x00 00000c3e: EQ 00000c3f: ISZERO 00000c40: DUP1 00000c41: ISZERO 00000c42: PUSH2 0x0c4b 00000c45: JUMPI 00000c46: POP 00000c47: DUP3 00000c48: DUP2 00000c49: GT 00000c4a: ISZERO 00000c4b: JUMPDEST 00000c4c: ISZERO 00000c4d: PUSH2 0x0c69 00000c50: JUMPI 00000c51: PUSH1 0x40 00000c53: MLOAD 00000c54: PUSH4 0x4008afcd 00000c59: PUSH1 0xe1 00000c5b: SHL 00000c5c: DUP2 00000c5d: MSTORE 00000c5e: PUSH1 0x04 00000c60: ADD 00000c61: PUSH1 0x40 00000c63: MLOAD 00000c64: DUP1 00000c65: SWAP2 00000c66: SUB 00000c67: SWAP1 00000c68: REVERT 00000c69: JUMPDEST 00000c6a: SWAP5 00000c6b: SWAP4 00000c6c: POP 00000c6d: POP 00000c6e: POP 00000c6f: POP 00000c70: JUMP 00000c71: JUMPDEST 00000c72: PUSH1 0x00 00000c74: DUP2 00000c75: DUP4 00000c76: LT 00000c77: PUSH2 0x0c80 00000c7a: JUMPI 00000c7b: DUP2 00000c7c: PUSH2 0x0c82 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: DUP3 00000c82: JUMPDEST 00000c83: SWAP1 00000c84: POP 00000c85: JUMPDEST 00000c86: SWAP3 00000c87: SWAP2 00000c88: POP 00000c89: POP 00000c8a: JUMP 00000c8b: JUMPDEST 00000c8c: PUSH4 0x4e487b71 00000c91: PUSH1 0xe0 00000c93: SHL 00000c94: PUSH1 0x00 00000c96: MSTORE 00000c97: PUSH1 0x11 00000c99: PUSH1 0x04 00000c9b: MSTORE 00000c9c: PUSH1 0x24 00000c9e: PUSH1 0x00 00000ca0: REVERT 00000ca1: JUMPDEST 00000ca2: DUP1 00000ca3: DUP3 00000ca4: ADD 00000ca5: DUP1 00000ca6: DUP3 00000ca7: GT 00000ca8: ISZERO 00000ca9: PUSH2 0x0c85 00000cac: JUMPI 00000cad: PUSH2 0x0c85 00000cb0: PUSH2 0x0c8b 00000cb3: JUMP 00000cb4: JUMPDEST 00000cb5: PUSH1 0x00 00000cb7: DUP1 00000cb8: PUSH1 0x20 00000cba: DUP4 00000cbb: DUP6 00000cbc: SUB 00000cbd: SLT 00000cbe: ISZERO 00000cbf: PUSH2 0x0cc7 00000cc2: JUMPI 00000cc3: PUSH1 0x00 00000cc5: DUP1 00000cc6: REVERT 00000cc7: JUMPDEST 00000cc8: DUP3 00000cc9: CALLDATALOAD 00000cca: PUSH8 0xffffffffffffffff 00000cd3: DUP1 00000cd4: DUP3 00000cd5: GT 00000cd6: ISZERO 00000cd7: PUSH2 0x0cdf 00000cda: JUMPI 00000cdb: PUSH1 0x00 00000cdd: DUP1 00000cde: REVERT 00000cdf: JUMPDEST 00000ce0: DUP2 00000ce1: DUP6 00000ce2: ADD 00000ce3: SWAP2 00000ce4: POP 00000ce5: DUP6 00000ce6: PUSH1 0x1f 00000ce8: DUP4 00000ce9: ADD 00000cea: SLT 00000ceb: PUSH2 0x0cf3 00000cee: JUMPI 00000cef: PUSH1 0x00 00000cf1: DUP1 00000cf2: REVERT 00000cf3: JUMPDEST 00000cf4: DUP2 00000cf5: CALLDATALOAD 00000cf6: DUP2 00000cf7: DUP2 00000cf8: GT 00000cf9: ISZERO 00000cfa: PUSH2 0x0d02 00000cfd: JUMPI 00000cfe: PUSH1 0x00 00000d00: DUP1 00000d01: REVERT 00000d02: JUMPDEST 00000d03: DUP7 00000d04: PUSH1 0x20 00000d06: DUP3 00000d07: PUSH1 0x05 00000d09: SHL 00000d0a: DUP6 00000d0b: ADD 00000d0c: ADD 00000d0d: GT 00000d0e: ISZERO 00000d0f: PUSH2 0x0d17 00000d12: JUMPI 00000d13: PUSH1 0x00 00000d15: DUP1 00000d16: REVERT 00000d17: JUMPDEST 00000d18: PUSH1 0x20 00000d1a: SWAP3 00000d1b: SWAP1 00000d1c: SWAP3 00000d1d: ADD 00000d1e: SWAP7 00000d1f: SWAP2 00000d20: SWAP6 00000d21: POP 00000d22: SWAP1 00000d23: SWAP4 00000d24: POP 00000d25: POP 00000d26: POP 00000d27: POP 00000d28: JUMP 00000d29: JUMPDEST 00000d2a: PUSH1 0x00 00000d2c: PUSH1 0x20 00000d2e: DUP3 00000d2f: DUP5 00000d30: SUB 00000d31: SLT 00000d32: ISZERO 00000d33: PUSH2 0x0d3b 00000d36: JUMPI 00000d37: PUSH1 0x00 00000d39: DUP1 00000d3a: REVERT 00000d3b: JUMPDEST 00000d3c: POP 00000d3d: CALLDATALOAD 00000d3e: SWAP2 00000d3f: SWAP1 00000d40: POP 00000d41: JUMP 00000d42: JUMPDEST 00000d43: PUSH1 0x20 00000d45: DUP1 00000d46: DUP3 00000d47: MSTORE 00000d48: PUSH1 0x0a 00000d4a: SWAP1 00000d4b: DUP3 00000d4c: ADD 00000d4d: MSTORE 00000d4e: PUSH10 0x5245454e5452414e4359 00000d59: PUSH1 0xb0 00000d5b: SHL 00000d5c: PUSH1 0x40 00000d5e: DUP3 00000d5f: ADD 00000d60: MSTORE 00000d61: PUSH1 0x60 00000d63: ADD 00000d64: SWAP1 00000d65: JUMP 00000d66: JUMPDEST 00000d67: PUSH1 0x00 00000d69: DUP3 00000d6a: PUSH2 0x0d83 00000d6d: JUMPI 00000d6e: PUSH4 0x4e487b71 00000d73: PUSH1 0xe0 00000d75: SHL 00000d76: PUSH1 0x00 00000d78: MSTORE 00000d79: PUSH1 0x12 00000d7b: PUSH1 0x04 00000d7d: MSTORE 00000d7e: PUSH1 0x24 00000d80: PUSH1 0x00 00000d82: REVERT 00000d83: JUMPDEST 00000d84: POP 00000d85: DIV 00000d86: SWAP1 00000d87: JUMP 00000d88: JUMPDEST 00000d89: DUP1 00000d8a: DUP3 00000d8b: MUL 00000d8c: DUP2 00000d8d: ISZERO 00000d8e: DUP3 00000d8f: DUP3 00000d90: DIV 00000d91: DUP5 00000d92: EQ 00000d93: OR 00000d94: PUSH2 0x0c85 00000d97: JUMPI 00000d98: PUSH2 0x0c85 00000d9b: PUSH2 0x0c8b 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: DUP2 00000da1: DUP2 00000da2: SUB 00000da3: DUP2 00000da4: DUP2 00000da5: GT 00000da6: ISZERO 00000da7: PUSH2 0x0c85 00000daa: JUMPI 00000dab: PUSH2 0x0c85 00000dae: PUSH2 0x0c8b 00000db1: JUMP 00000db2: JUMPDEST 00000db3: PUSH1 0x00 00000db5: PUSH1 0x01 00000db7: DUP3 00000db8: ADD 00000db9: PUSH2 0x0dc4 00000dbc: JUMPI 00000dbd: PUSH2 0x0dc4 00000dc0: PUSH2 0x0c8b 00000dc3: JUMP 00000dc4: JUMPDEST 00000dc5: POP 00000dc6: PUSH1 0x01 00000dc8: ADD 00000dc9: SWAP1 00000dca: JUMP 00000dcb: JUMPDEST 00000dcc: PUSH1 0x00 00000dce: PUSH1 0x20 00000dd0: DUP3 00000dd1: DUP5 00000dd2: SUB 00000dd3: SLT 00000dd4: ISZERO 00000dd5: PUSH2 0x0ddd 00000dd8: JUMPI 00000dd9: PUSH1 0x00 00000ddb: DUP1 00000ddc: REVERT 00000ddd: JUMPDEST 00000dde: POP 00000ddf: MLOAD 00000de0: SWAP2 00000de1: SWAP1 00000de2: POP 00000de3: JUMP 00000de4: JUMPDEST 00000de5: PUSH1 0x00 00000de7: PUSH1 0x20 00000de9: DUP3 00000dea: DUP5 00000deb: SUB 00000dec: SLT 00000ded: ISZERO 00000dee: PUSH2 0x0df6 00000df1: JUMPI 00000df2: PUSH1 0x00 00000df4: DUP1 00000df5: REVERT 00000df6: JUMPDEST 00000df7: DUP2 00000df8: MLOAD 00000df9: DUP1 00000dfa: ISZERO 00000dfb: ISZERO 00000dfc: DUP2 00000dfd: EQ 00000dfe: PUSH2 0x0e06 00000e01: JUMPI 00000e02: PUSH1 0x00 00000e04: DUP1 00000e05: REVERT 00000e06: JUMPDEST 00000e07: SWAP4 00000e08: SWAP3 00000e09: POP 00000e0a: POP 00000e0b: POP 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: PUSH4 0x4e487b71 00000e13: PUSH1 0xe0 00000e15: SHL 00000e16: PUSH1 0x00 00000e18: MSTORE 00000e19: PUSH1 0x32 00000e1b: PUSH1 0x04 00000e1d: MSTORE 00000e1e: PUSH1 0x24 00000e20: PUSH1 0x00 00000e22: REVERT 00000e23: INVALID 00000e24: LOG2 00000e25: PUSH5 0x6970667358 00000e2b: UNKNOWN(0x22) 00000e2c: SLT 00000e2d: KECCAK256 00000e2e: PUSH27 0x4baa0ab6bf9d24a1790c74b9839a30c19a27e8bae43bfe53649c7f 00000e4a: STOP 00000e4b: UNKNOWN(0x0F) 00000e4c: UNKNOWN(0xE2) 00000e4d: BLOCKHASH 00000e4e: PUSH5 0x736f6c6343 00000e54: STOP 00000e55: ADDMOD 00000e56: EQ 00000e57: STOP 00000e58: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7a007cda7ebb0f2f2820b9bc9082a7d857e58f7f89a8b23225babf6976a3cea2
call_targets:
0x73d0a9c38932e08ec84091c6967fdd2527d5a3ac
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7a007cda7ebb0f2f2820b9bc9082a7d857e58f7f89a8b23225babf6976a3cea2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x73d0a9c38932e08ec84091c6967fdd2527d5a3ac"
],
"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": "0x78bb86d3",
"selector": "0x78bb86d3",
"calldata_variants": [
"0x78bb86d3",
"0x78bb86d30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3c6a030",
"selector": "0xd3c6a030",
"calldata_variants": [
"0xd3c6a030",
"0xd3c6a0300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9afb26a",
"selector": "0xf9afb26a",
"calldata_variants": [
"0xf9afb26a",
"0xf9afb26a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe47a8a7",
"selector": "0xfe47a8a7",
"calldata_variants": [
"0xfe47a8a7",
"0xfe47a8a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4cd8c247",
"selector": "0x4cd8c247",
"calldata_variants": [
"0x4cd8c247",
"0x4cd8c2470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x59434d4a",
"selector": "0x59434d4a",
"calldata_variants": [
"0x59434d4a",
"0x59434d4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7451e019",
"selector": "0x7451e019",
"calldata_variants": [
"0x7451e019",
"0x7451e0190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0eecae21",
"selector": "0x0eecae21",
"calldata_variants": [
"0x0eecae21",
"0x0eecae210000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1121,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1513,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1944,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x7a007cda7ebb0f2f2820b9bc9082a7d857e58f7f89a8b23225babf6976a3cea2
call_targets:
0x73d0a9c38932e08ec84091c6967fdd2527d5a3ac
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7a007cda7ebb0f2f2820b9bc9082a7d857e58f7f89a8b23225babf6976a3cea2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x73d0a9c38932e08ec84091c6967fdd2527d5a3ac"
],
"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": "0x78bb86d3",
"selector": "0x78bb86d3",
"calldata_variants": [
"0x78bb86d3",
"0x78bb86d30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3c6a030",
"selector": "0xd3c6a030",
"calldata_variants": [
"0xd3c6a030",
"0xd3c6a0300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9afb26a",
"selector": "0xf9afb26a",
"calldata_variants": [
"0xf9afb26a",
"0xf9afb26a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe47a8a7",
"selector": "0xfe47a8a7",
"calldata_variants": [
"0xfe47a8a7",
"0xfe47a8a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4cd8c247",
"selector": "0x4cd8c247",
"calldata_variants": [
"0x4cd8c247",
"0x4cd8c2470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x59434d4a",
"selector": "0x59434d4a",
"calldata_variants": [
"0x59434d4a",
"0x59434d4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7451e019",
"selector": "0x7451e019",
"calldata_variants": [
"0x7451e019",
"0x7451e0190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0eecae21",
"selector": "0x0eecae21",
"calldata_variants": [
"0x0eecae21",
"0x0eecae210000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1121,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1513,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1944,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|