019b477e-b653-7152-863a-2ec069b71742
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 |
|---|---|---|---|---|
| 23097 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23098 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66702 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 66703 | capability.graph | complete | 1 / 3 | 1 week ago |
| 66704 | detector.run | complete | 1 / 3 | 1 week ago |
| 66705 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00b2 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x006f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x01cf 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb1344271 0000002f: EQ 00000030: PUSH2 0x0200 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb6b55f25 0000003a: EQ 0000003b: PUSH2 0x0215 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc96be4cb 00000045: EQ 00000046: PUSH2 0x0232 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe8823af1 00000050: EQ 00000051: PUSH2 0x0265 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xeef49ee3 0000005b: EQ 0000005c: PUSH2 0x027a 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf2fde38b 00000066: EQ 00000067: PUSH2 0x028f 0000006a: JUMPI 0000006b: PUSH2 0x00b2 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0x0a3f013f 00000076: EQ 00000077: PUSH2 0x00c1 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x158ef93e 00000081: EQ 00000082: PUSH2 0x00e8 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x19262d30 0000008c: EQ 0000008d: PUSH2 0x0111 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x38c56be1 00000097: EQ 00000098: PUSH2 0x0144 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x3ccfd60b 000000a2: EQ 000000a3: PUSH2 0x0179 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0x4557b4bb 000000ad: EQ 000000ae: PUSH2 0x018e 000000b1: JUMPI 000000b2: JUMPDEST 000000b3: CALLVALUE 000000b4: DUP1 000000b5: ISZERO 000000b6: PUSH2 0x00be 000000b9: JUMPI 000000ba: PUSH1 0x00 000000bc: DUP1 000000bd: REVERT 000000be: JUMPDEST 000000bf: POP 000000c0: STOP 000000c1: JUMPDEST 000000c2: CALLVALUE 000000c3: DUP1 000000c4: ISZERO 000000c5: PUSH2 0x00cd 000000c8: JUMPI 000000c9: PUSH1 0x00 000000cb: DUP1 000000cc: REVERT 000000cd: JUMPDEST 000000ce: POP 000000cf: PUSH2 0x00d6 000000d2: PUSH2 0x02c2 000000d5: JUMP 000000d6: JUMPDEST 000000d7: PUSH1 0x40 000000d9: DUP1 000000da: MLOAD 000000db: SWAP2 000000dc: DUP3 000000dd: MSTORE 000000de: MLOAD 000000df: SWAP1 000000e0: DUP2 000000e1: SWAP1 000000e2: SUB 000000e3: PUSH1 0x20 000000e5: ADD 000000e6: SWAP1 000000e7: RETURN 000000e8: JUMPDEST 000000e9: CALLVALUE 000000ea: DUP1 000000eb: ISZERO 000000ec: PUSH2 0x00f4 000000ef: JUMPI 000000f0: PUSH1 0x00 000000f2: DUP1 000000f3: REVERT 000000f4: JUMPDEST 000000f5: POP 000000f6: PUSH2 0x00fd 000000f9: PUSH2 0x02c8 000000fc: JUMP 000000fd: JUMPDEST 000000fe: PUSH1 0x40 00000100: DUP1 00000101: MLOAD 00000102: SWAP2 00000103: ISZERO 00000104: ISZERO 00000105: DUP3 00000106: MSTORE 00000107: MLOAD 00000108: SWAP1 00000109: DUP2 0000010a: SWAP1 0000010b: SUB 0000010c: PUSH1 0x20 0000010e: ADD 0000010f: SWAP1 00000110: RETURN 00000111: JUMPDEST 00000112: CALLVALUE 00000113: DUP1 00000114: ISZERO 00000115: PUSH2 0x011d 00000118: JUMPI 00000119: PUSH1 0x00 0000011b: DUP1 0000011c: REVERT 0000011d: JUMPDEST 0000011e: POP 0000011f: PUSH2 0x00fd 00000122: PUSH1 0x04 00000124: DUP1 00000125: CALLDATASIZE 00000126: SUB 00000127: PUSH1 0x20 00000129: DUP2 0000012a: LT 0000012b: ISZERO 0000012c: PUSH2 0x0134 0000012f: JUMPI 00000130: PUSH1 0x00 00000132: DUP1 00000133: REVERT 00000134: JUMPDEST 00000135: POP 00000136: CALLDATALOAD 00000137: PUSH1 0x01 00000139: PUSH1 0x01 0000013b: PUSH1 0xa0 0000013d: SHL 0000013e: SUB 0000013f: AND 00000140: PUSH2 0x02d8 00000143: JUMP 00000144: JUMPDEST 00000145: CALLVALUE 00000146: DUP1 00000147: ISZERO 00000148: PUSH2 0x0150 0000014b: JUMPI 0000014c: PUSH1 0x00 0000014e: DUP1 0000014f: REVERT 00000150: JUMPDEST 00000151: POP 00000152: PUSH2 0x0177 00000155: PUSH1 0x04 00000157: DUP1 00000158: CALLDATASIZE 00000159: SUB 0000015a: PUSH1 0x20 0000015c: DUP2 0000015d: LT 0000015e: ISZERO 0000015f: PUSH2 0x0167 00000162: JUMPI 00000163: PUSH1 0x00 00000165: DUP1 00000166: REVERT 00000167: JUMPDEST 00000168: POP 00000169: CALLDATALOAD 0000016a: PUSH1 0x01 0000016c: PUSH1 0x01 0000016e: PUSH1 0xa0 00000170: SHL 00000171: SUB 00000172: AND 00000173: PUSH2 0x02ed 00000176: JUMP 00000177: JUMPDEST 00000178: STOP 00000179: JUMPDEST 0000017a: CALLVALUE 0000017b: DUP1 0000017c: ISZERO 0000017d: PUSH2 0x0185 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: POP 00000187: PUSH2 0x0177 0000018a: PUSH2 0x04bb 0000018d: JUMP 0000018e: JUMPDEST 0000018f: CALLVALUE 00000190: DUP1 00000191: ISZERO 00000192: PUSH2 0x019a 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: POP 0000019c: PUSH2 0x0177 0000019f: PUSH1 0x04 000001a1: DUP1 000001a2: CALLDATASIZE 000001a3: SUB 000001a4: PUSH1 0x60 000001a6: DUP2 000001a7: LT 000001a8: ISZERO 000001a9: PUSH2 0x01b1 000001ac: JUMPI 000001ad: PUSH1 0x00 000001af: DUP1 000001b0: REVERT 000001b1: JUMPDEST 000001b2: POP 000001b3: DUP1 000001b4: CALLDATALOAD 000001b5: SWAP1 000001b6: PUSH1 0x01 000001b8: PUSH1 0x01 000001ba: PUSH1 0xa0 000001bc: SHL 000001bd: SUB 000001be: PUSH1 0x20 000001c0: DUP3 000001c1: ADD 000001c2: CALLDATALOAD 000001c3: DUP2 000001c4: AND 000001c5: SWAP2 000001c6: PUSH1 0x40 000001c8: ADD 000001c9: CALLDATALOAD 000001ca: AND 000001cb: PUSH2 0x0689 000001ce: JUMP 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: DUP1 000001d2: ISZERO 000001d3: PUSH2 0x01db 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: POP 000001dd: PUSH2 0x01e4 000001e0: PUSH2 0x07b3 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH1 0x40 000001e7: DUP1 000001e8: MLOAD 000001e9: PUSH1 0x01 000001eb: PUSH1 0x01 000001ed: PUSH1 0xa0 000001ef: SHL 000001f0: SUB 000001f1: SWAP1 000001f2: SWAP3 000001f3: AND 000001f4: DUP3 000001f5: MSTORE 000001f6: MLOAD 000001f7: SWAP1 000001f8: DUP2 000001f9: SWAP1 000001fa: SUB 000001fb: PUSH1 0x20 000001fd: ADD 000001fe: SWAP1 000001ff: RETURN 00000200: JUMPDEST 00000201: CALLVALUE 00000202: DUP1 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: POP 0000020e: PUSH2 0x01e4 00000211: PUSH2 0x07c2 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH2 0x0177 00000219: PUSH1 0x04 0000021b: DUP1 0000021c: CALLDATASIZE 0000021d: SUB 0000021e: PUSH1 0x20 00000220: DUP2 00000221: LT 00000222: ISZERO 00000223: PUSH2 0x022b 00000226: JUMPI 00000227: PUSH1 0x00 00000229: DUP1 0000022a: REVERT 0000022b: JUMPDEST 0000022c: POP 0000022d: CALLDATALOAD 0000022e: PUSH2 0x07d1 00000231: JUMP 00000232: JUMPDEST 00000233: CALLVALUE 00000234: DUP1 00000235: ISZERO 00000236: PUSH2 0x023e 00000239: JUMPI 0000023a: PUSH1 0x00 0000023c: DUP1 0000023d: REVERT 0000023e: JUMPDEST 0000023f: POP 00000240: PUSH2 0x0177 00000243: PUSH1 0x04 00000245: DUP1 00000246: CALLDATASIZE 00000247: SUB 00000248: PUSH1 0x20 0000024a: DUP2 0000024b: LT 0000024c: ISZERO 0000024d: PUSH2 0x0255 00000250: JUMPI 00000251: PUSH1 0x00 00000253: DUP1 00000254: REVERT 00000255: JUMPDEST 00000256: POP 00000257: CALLDATALOAD 00000258: PUSH1 0x01 0000025a: PUSH1 0x01 0000025c: PUSH1 0xa0 0000025e: SHL 0000025f: SUB 00000260: AND 00000261: PUSH2 0x0a43 00000264: JUMP 00000265: JUMPDEST 00000266: CALLVALUE 00000267: DUP1 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: PUSH2 0x01e4 00000276: PUSH2 0x0c37 00000279: JUMP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH2 0x00fd 0000028b: PUSH2 0x0c46 0000028e: JUMP 0000028f: JUMPDEST 00000290: CALLVALUE 00000291: DUP1 00000292: ISZERO 00000293: PUSH2 0x029b 00000296: JUMPI 00000297: PUSH1 0x00 00000299: DUP1 0000029a: REVERT 0000029b: JUMPDEST 0000029c: POP 0000029d: PUSH2 0x0177 000002a0: PUSH1 0x04 000002a2: DUP1 000002a3: CALLDATASIZE 000002a4: SUB 000002a5: PUSH1 0x20 000002a7: DUP2 000002a8: LT 000002a9: ISZERO 000002aa: PUSH2 0x02b2 000002ad: JUMPI 000002ae: PUSH1 0x00 000002b0: DUP1 000002b1: REVERT 000002b2: JUMPDEST 000002b3: POP 000002b4: CALLDATALOAD 000002b5: PUSH1 0x01 000002b7: PUSH1 0x01 000002b9: PUSH1 0xa0 000002bb: SHL 000002bc: SUB 000002bd: AND 000002be: PUSH2 0x0c56 000002c1: JUMP 000002c2: JUMPDEST 000002c3: PUSH1 0x03 000002c5: SLOAD 000002c6: DUP2 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x00 000002cb: SLOAD 000002cc: PUSH1 0x01 000002ce: PUSH1 0xa0 000002d0: SHL 000002d1: SWAP1 000002d2: DIV 000002d3: PUSH1 0xff 000002d5: AND 000002d6: DUP2 000002d7: JUMP 000002d8: JUMPDEST 000002d9: PUSH1 0x04 000002db: PUSH1 0x20 000002dd: MSTORE 000002de: PUSH1 0x00 000002e0: SWAP1 000002e1: DUP2 000002e2: MSTORE 000002e3: PUSH1 0x40 000002e5: SWAP1 000002e6: KECCAK256 000002e7: SLOAD 000002e8: PUSH1 0xff 000002ea: AND 000002eb: DUP2 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH1 0x00 000002f0: SLOAD 000002f1: PUSH1 0x01 000002f3: PUSH1 0xa0 000002f5: SHL 000002f6: SWAP1 000002f7: DIV 000002f8: PUSH1 0xff 000002fa: AND 000002fb: PUSH2 0x0338 000002fe: JUMPI 000002ff: PUSH1 0x40 00000301: MLOAD 00000302: PUSH1 0x01 00000304: PUSH1 0xe5 00000306: SHL 00000307: PUSH3 0x461bcd 0000030b: MUL 0000030c: DUP2 0000030d: MSTORE 0000030e: PUSH1 0x04 00000310: ADD 00000311: DUP1 00000312: DUP1 00000313: PUSH1 0x20 00000315: ADD 00000316: DUP3 00000317: DUP2 00000318: SUB 00000319: DUP3 0000031a: MSTORE 0000031b: PUSH1 0x21 0000031d: DUP2 0000031e: MSTORE 0000031f: PUSH1 0x20 00000321: ADD 00000322: DUP1 00000323: PUSH2 0x0cd1 00000326: PUSH1 0x21 00000328: SWAP2 00000329: CODECOPY 0000032a: PUSH1 0x40 0000032c: ADD 0000032d: SWAP2 0000032e: POP 0000032f: POP 00000330: PUSH1 0x40 00000332: MLOAD 00000333: DUP1 00000334: SWAP2 00000335: SUB 00000336: SWAP1 00000337: REVERT 00000338: JUMPDEST 00000339: PUSH1 0x00 0000033b: SLOAD 0000033c: PUSH1 0x01 0000033e: PUSH1 0xa8 00000340: SHL 00000341: SWAP1 00000342: DIV 00000343: PUSH1 0xff 00000345: AND 00000346: ISZERO 00000347: PUSH2 0x0391 0000034a: JUMPI 0000034b: PUSH1 0x40 0000034d: DUP1 0000034e: MLOAD 0000034f: PUSH1 0x01 00000351: PUSH1 0xe5 00000353: SHL 00000354: PUSH3 0x461bcd 00000358: MUL 00000359: DUP2 0000035a: MSTORE 0000035b: PUSH1 0x20 0000035d: PUSH1 0x04 0000035f: DUP3 00000360: ADD 00000361: MSTORE 00000362: PUSH1 0x11 00000364: PUSH1 0x24 00000366: DUP3 00000367: ADD 00000368: MSTORE 00000369: PUSH1 0x01 0000036b: PUSH1 0x7a 0000036d: SHL 0000036e: PUSH17 0x185b1c9958591e4819195c1bdcda5d1959 00000380: MUL 00000381: PUSH1 0x44 00000383: DUP3 00000384: ADD 00000385: MSTORE 00000386: SWAP1 00000387: MLOAD 00000388: SWAP1 00000389: DUP2 0000038a: SWAP1 0000038b: SUB 0000038c: PUSH1 0x64 0000038e: ADD 0000038f: SWAP1 00000390: REVERT 00000391: JUMPDEST 00000392: PUSH1 0x02 00000394: SLOAD 00000395: PUSH1 0x01 00000397: PUSH1 0x01 00000399: PUSH1 0xa0 0000039b: SHL 0000039c: SUB 0000039d: AND 0000039e: CALLER 0000039f: EQ 000003a0: PUSH2 0x03dd 000003a3: JUMPI 000003a4: PUSH1 0x40 000003a6: MLOAD 000003a7: PUSH1 0x01 000003a9: PUSH1 0xe5 000003ab: SHL 000003ac: PUSH3 0x461bcd 000003b0: MUL 000003b1: DUP2 000003b2: MSTORE 000003b3: PUSH1 0x04 000003b5: ADD 000003b6: DUP1 000003b7: DUP1 000003b8: PUSH1 0x20 000003ba: ADD 000003bb: DUP3 000003bc: DUP2 000003bd: SUB 000003be: DUP3 000003bf: MSTORE 000003c0: PUSH1 0x30 000003c2: DUP2 000003c3: MSTORE 000003c4: PUSH1 0x20 000003c6: ADD 000003c7: DUP1 000003c8: PUSH2 0x0d98 000003cb: PUSH1 0x30 000003cd: SWAP2 000003ce: CODECOPY 000003cf: PUSH1 0x40 000003d1: ADD 000003d2: SWAP2 000003d3: POP 000003d4: POP 000003d5: PUSH1 0x40 000003d7: MLOAD 000003d8: DUP1 000003d9: SWAP2 000003da: SUB 000003db: SWAP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: PUSH1 0x01 000003e0: PUSH1 0x01 000003e2: PUSH1 0xa0 000003e4: SHL 000003e5: SUB 000003e6: DUP2 000003e7: AND 000003e8: PUSH1 0x00 000003ea: SWAP1 000003eb: DUP2 000003ec: MSTORE 000003ed: PUSH1 0x04 000003ef: PUSH1 0x20 000003f1: MSTORE 000003f2: PUSH1 0x40 000003f4: SWAP1 000003f5: KECCAK256 000003f6: SLOAD 000003f7: PUSH1 0xff 000003f9: AND 000003fa: ISZERO 000003fb: PUSH2 0x044e 000003fe: JUMPI 000003ff: PUSH1 0x40 00000401: DUP1 00000402: MLOAD 00000403: PUSH1 0x01 00000405: PUSH1 0xe5 00000407: SHL 00000408: PUSH3 0x461bcd 0000040c: MUL 0000040d: DUP2 0000040e: MSTORE 0000040f: PUSH1 0x20 00000411: PUSH1 0x04 00000413: DUP3 00000414: ADD 00000415: DUP2 00000416: SWAP1 00000417: MSTORE 00000418: PUSH1 0x24 0000041a: DUP3 0000041b: ADD 0000041c: MSTORE 0000041d: PUSH32 0x63616e206f6e6c79207265676973746572204465706f7369746f72206f6e6365 0000043e: PUSH1 0x44 00000440: DUP3 00000441: ADD 00000442: MSTORE 00000443: SWAP1 00000444: MLOAD 00000445: SWAP1 00000446: DUP2 00000447: SWAP1 00000448: SUB 00000449: PUSH1 0x64 0000044b: ADD 0000044c: SWAP1 0000044d: REVERT 0000044e: JUMPDEST 0000044f: PUSH1 0x01 00000451: PUSH1 0x01 00000453: PUSH1 0xa0 00000455: SHL 00000456: SUB 00000457: DUP2 00000458: AND 00000459: PUSH1 0x00 0000045b: DUP2 0000045c: DUP2 0000045d: MSTORE 0000045e: PUSH1 0x04 00000460: PUSH1 0x20 00000462: SWAP1 00000463: DUP2 00000464: MSTORE 00000465: PUSH1 0x40 00000467: SWAP2 00000468: DUP3 00000469: SWAP1 0000046a: KECCAK256 0000046b: DUP1 0000046c: SLOAD 0000046d: PUSH1 0xff 0000046f: NOT 00000470: AND 00000471: PUSH1 0x01 00000473: SWAP1 00000474: DUP2 00000475: OR 00000476: SWAP1 00000477: SWAP2 00000478: SSTORE 00000479: PUSH1 0x05 0000047b: DUP1 0000047c: SLOAD 0000047d: SWAP1 0000047e: SWAP2 0000047f: ADD 00000480: SWAP1 00000481: DUP2 00000482: SWAP1 00000483: SSTORE 00000484: DUP3 00000485: MLOAD 00000486: SWAP4 00000487: DUP5 00000488: MSTORE 00000489: SWAP1 0000048a: DUP4 0000048b: ADD 0000048c: MSTORE 0000048d: DUP1 0000048e: MLOAD 0000048f: PUSH32 0x2f2ecba9464c960a79dc691961ff2965ab0b5d7a25b776931686d50094c4d1b8 000004b0: SWAP3 000004b1: DUP2 000004b2: SWAP1 000004b3: SUB 000004b4: SWAP1 000004b5: SWAP2 000004b6: ADD 000004b7: SWAP1 000004b8: LOG1 000004b9: POP 000004ba: JUMP 000004bb: JUMPDEST 000004bc: PUSH1 0x00 000004be: SLOAD 000004bf: PUSH1 0x01 000004c1: PUSH1 0xa0 000004c3: SHL 000004c4: SWAP1 000004c5: DIV 000004c6: PUSH1 0xff 000004c8: AND 000004c9: PUSH2 0x0506 000004cc: JUMPI 000004cd: PUSH1 0x40 000004cf: MLOAD 000004d0: PUSH1 0x01 000004d2: PUSH1 0xe5 000004d4: SHL 000004d5: PUSH3 0x461bcd 000004d9: MUL 000004da: DUP2 000004db: MSTORE 000004dc: PUSH1 0x04 000004de: ADD 000004df: DUP1 000004e0: DUP1 000004e1: PUSH1 0x20 000004e3: ADD 000004e4: DUP3 000004e5: DUP2 000004e6: SUB 000004e7: DUP3 000004e8: MSTORE 000004e9: PUSH1 0x21 000004eb: DUP2 000004ec: MSTORE 000004ed: PUSH1 0x20 000004ef: ADD 000004f0: DUP1 000004f1: PUSH2 0x0cd1 000004f4: PUSH1 0x21 000004f6: SWAP2 000004f7: CODECOPY 000004f8: PUSH1 0x40 000004fa: ADD 000004fb: SWAP2 000004fc: POP 000004fd: POP 000004fe: PUSH1 0x40 00000500: MLOAD 00000501: DUP1 00000502: SWAP2 00000503: SUB 00000504: SWAP1 00000505: REVERT 00000506: JUMPDEST 00000507: PUSH1 0x00 00000509: SLOAD 0000050a: PUSH1 0x01 0000050c: PUSH1 0xa8 0000050e: SHL 0000050f: SWAP1 00000510: DIV 00000511: PUSH1 0xff 00000513: AND 00000514: PUSH2 0x055c 00000517: JUMPI 00000518: PUSH1 0x40 0000051a: DUP1 0000051b: MLOAD 0000051c: PUSH1 0x01 0000051e: PUSH1 0xe5 00000520: SHL 00000521: PUSH3 0x461bcd 00000525: MUL 00000526: DUP2 00000527: MSTORE 00000528: PUSH1 0x20 0000052a: PUSH1 0x04 0000052c: DUP3 0000052d: ADD 0000052e: MSTORE 0000052f: PUSH1 0x0f 00000531: PUSH1 0x24 00000533: DUP3 00000534: ADD 00000535: MSTORE 00000536: PUSH1 0x01 00000538: PUSH1 0x8a 0000053a: SHL 0000053b: PUSH15 0x1b9bc819195c1bdcda5d1cc81e595d 0000054b: MUL 0000054c: PUSH1 0x44 0000054e: DUP3 0000054f: ADD 00000550: MSTORE 00000551: SWAP1 00000552: MLOAD 00000553: SWAP1 00000554: DUP2 00000555: SWAP1 00000556: SUB 00000557: PUSH1 0x64 00000559: ADD 0000055a: SWAP1 0000055b: REVERT 0000055c: JUMPDEST 0000055d: PUSH1 0x03 0000055f: SLOAD 00000560: TIMESTAMP 00000561: LT 00000562: ISZERO 00000563: PUSH2 0x05a0 00000566: JUMPI 00000567: PUSH1 0x40 00000569: MLOAD 0000056a: PUSH1 0x01 0000056c: PUSH1 0xe5 0000056e: SHL 0000056f: PUSH3 0x461bcd 00000573: MUL 00000574: DUP2 00000575: MSTORE 00000576: PUSH1 0x04 00000578: ADD 00000579: DUP1 0000057a: DUP1 0000057b: PUSH1 0x20 0000057d: ADD 0000057e: DUP3 0000057f: DUP2 00000580: SUB 00000581: DUP3 00000582: MSTORE 00000583: PUSH1 0x24 00000585: DUP2 00000586: MSTORE 00000587: PUSH1 0x20 00000589: ADD 0000058a: DUP1 0000058b: PUSH2 0x0dec 0000058e: PUSH1 0x24 00000590: SWAP2 00000591: CODECOPY 00000592: PUSH1 0x40 00000594: ADD 00000595: SWAP2 00000596: POP 00000597: POP 00000598: PUSH1 0x40 0000059a: MLOAD 0000059b: DUP1 0000059c: SWAP2 0000059d: SUB 0000059e: SWAP1 0000059f: REVERT 000005a0: JUMPDEST 000005a1: CALLER 000005a2: PUSH1 0x00 000005a4: SWAP1 000005a5: DUP2 000005a6: MSTORE 000005a7: PUSH1 0x04 000005a9: PUSH1 0x20 000005ab: MSTORE 000005ac: PUSH1 0x40 000005ae: SWAP1 000005af: KECCAK256 000005b0: SLOAD 000005b1: PUSH1 0xff 000005b3: AND 000005b4: PUSH2 0x0607 000005b7: JUMPI 000005b8: PUSH1 0x40 000005ba: DUP1 000005bb: MLOAD 000005bc: PUSH1 0x01 000005be: PUSH1 0xe5 000005c0: SHL 000005c1: PUSH3 0x461bcd 000005c5: MUL 000005c6: DUP2 000005c7: MSTORE 000005c8: PUSH1 0x20 000005ca: PUSH1 0x04 000005cc: DUP3 000005cd: ADD 000005ce: MSTORE 000005cf: PUSH1 0x1b 000005d1: PUSH1 0x24 000005d3: DUP3 000005d4: ADD 000005d5: MSTORE 000005d6: PUSH32 0x63616e6e6f742077697468647261772066726f6d2073656e6465720000000000 000005f7: PUSH1 0x44 000005f9: DUP3 000005fa: ADD 000005fb: MSTORE 000005fc: SWAP1 000005fd: MLOAD 000005fe: SWAP1 000005ff: DUP2 00000600: SWAP1 00000601: SUB 00000602: PUSH1 0x64 00000604: ADD 00000605: SWAP1 00000606: REVERT 00000607: JUMPDEST 00000608: CALLER 00000609: PUSH1 0x00 0000060b: DUP2 0000060c: DUP2 0000060d: MSTORE 0000060e: PUSH1 0x04 00000610: PUSH1 0x20 00000612: MSTORE 00000613: PUSH1 0x40 00000615: DUP1 00000616: DUP3 00000617: KECCAK256 00000618: DUP1 00000619: SLOAD 0000061a: PUSH1 0xff 0000061c: NOT 0000061d: AND 0000061e: SWAP1 0000061f: SSTORE 00000620: PUSH1 0x06 00000622: SLOAD 00000623: SWAP1 00000624: MLOAD 00000625: DUP2 00000626: ISZERO 00000627: PUSH2 0x08fc 0000062a: MUL 0000062b: SWAP3 0000062c: DUP2 0000062d: DUP2 0000062e: DUP2 0000062f: DUP6 00000630: DUP9 00000631: DUP9 00000632: CALL 00000633: SWAP4 00000634: POP 00000635: POP 00000636: POP 00000637: POP 00000638: ISZERO 00000639: DUP1 0000063a: ISZERO 0000063b: PUSH2 0x0648 0000063e: JUMPI 0000063f: RETURNDATASIZE 00000640: PUSH1 0x00 00000642: DUP1 00000643: RETURNDATACOPY 00000644: RETURNDATASIZE 00000645: PUSH1 0x00 00000647: REVERT 00000648: JUMPDEST 00000649: POP 0000064a: PUSH1 0x06 0000064c: SLOAD 0000064d: PUSH1 0x40 0000064f: DUP1 00000650: MLOAD 00000651: CALLER 00000652: DUP2 00000653: MSTORE 00000654: PUSH1 0x20 00000656: DUP2 00000657: ADD 00000658: SWAP3 00000659: SWAP1 0000065a: SWAP3 0000065b: MSTORE 0000065c: DUP1 0000065d: MLOAD 0000065e: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 0000067f: SWAP3 00000680: DUP2 00000681: SWAP1 00000682: SUB 00000683: SWAP1 00000684: SWAP2 00000685: ADD 00000686: SWAP1 00000687: LOG1 00000688: JUMP 00000689: JUMPDEST 0000068a: PUSH1 0x00 0000068c: SLOAD 0000068d: PUSH1 0x01 0000068f: PUSH1 0x01 00000691: PUSH1 0xa0 00000693: SHL 00000694: SUB 00000695: AND 00000696: CALLER 00000697: EQ 00000698: PUSH2 0x06d5 0000069b: JUMPI 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: PUSH1 0x01 000006a1: PUSH1 0xe5 000006a3: SHL 000006a4: PUSH3 0x461bcd 000006a8: MUL 000006a9: DUP2 000006aa: MSTORE 000006ab: PUSH1 0x04 000006ad: ADD 000006ae: DUP1 000006af: DUP1 000006b0: PUSH1 0x20 000006b2: ADD 000006b3: DUP3 000006b4: DUP2 000006b5: SUB 000006b6: DUP3 000006b7: MSTORE 000006b8: PUSH1 0x2c 000006ba: DUP2 000006bb: MSTORE 000006bc: PUSH1 0x20 000006be: ADD 000006bf: DUP1 000006c0: PUSH2 0x0d1a 000006c3: PUSH1 0x2c 000006c5: SWAP2 000006c6: CODECOPY 000006c7: PUSH1 0x40 000006c9: ADD 000006ca: SWAP2 000006cb: POP 000006cc: POP 000006cd: PUSH1 0x40 000006cf: MLOAD 000006d0: DUP1 000006d1: SWAP2 000006d2: SUB 000006d3: SWAP1 000006d4: REVERT 000006d5: JUMPDEST 000006d6: PUSH1 0x00 000006d8: SLOAD 000006d9: PUSH1 0x01 000006db: PUSH1 0xa0 000006dd: SHL 000006de: SWAP1 000006df: DIV 000006e0: PUSH1 0xff 000006e2: AND 000006e3: ISZERO 000006e4: PUSH2 0x0721 000006e7: JUMPI 000006e8: PUSH1 0x40 000006ea: MLOAD 000006eb: PUSH1 0x01 000006ed: PUSH1 0xe5 000006ef: SHL 000006f0: PUSH3 0x461bcd 000006f4: MUL 000006f5: DUP2 000006f6: MSTORE 000006f7: PUSH1 0x04 000006f9: ADD 000006fa: DUP1 000006fb: DUP1 000006fc: PUSH1 0x20 000006fe: ADD 000006ff: DUP3 00000700: DUP2 00000701: SUB 00000702: DUP3 00000703: MSTORE 00000704: PUSH1 0x24 00000706: DUP2 00000707: MSTORE 00000708: PUSH1 0x20 0000070a: ADD 0000070b: DUP1 0000070c: PUSH2 0x0dc8 0000070f: PUSH1 0x24 00000711: SWAP2 00000712: CODECOPY 00000713: PUSH1 0x40 00000715: ADD 00000716: SWAP2 00000717: POP 00000718: POP 00000719: PUSH1 0x40 0000071b: MLOAD 0000071c: DUP1 0000071d: SWAP2 0000071e: SUB 0000071f: SWAP1 00000720: REVERT 00000721: JUMPDEST 00000722: TIMESTAMP 00000723: DUP4 00000724: GT 00000725: PUSH2 0x0762 00000728: JUMPI 00000729: PUSH1 0x40 0000072b: MLOAD 0000072c: PUSH1 0x01 0000072e: PUSH1 0xe5 00000730: SHL 00000731: PUSH3 0x461bcd 00000735: MUL 00000736: DUP2 00000737: MSTORE 00000738: PUSH1 0x04 0000073a: ADD 0000073b: DUP1 0000073c: DUP1 0000073d: PUSH1 0x20 0000073f: ADD 00000740: DUP3 00000741: DUP2 00000742: SUB 00000743: DUP3 00000744: MSTORE 00000745: PUSH1 0x2b 00000747: DUP2 00000748: MSTORE 00000749: PUSH1 0x20 0000074b: ADD 0000074c: DUP1 0000074d: PUSH2 0x0e33 00000750: PUSH1 0x2b 00000752: SWAP2 00000753: CODECOPY 00000754: PUSH1 0x40 00000756: ADD 00000757: SWAP2 00000758: POP 00000759: POP 0000075a: PUSH1 0x40 0000075c: MLOAD 0000075d: DUP1 0000075e: SWAP2 0000075f: SUB 00000760: SWAP1 00000761: REVERT 00000762: JUMPDEST 00000763: PUSH1 0x03 00000765: SWAP3 00000766: SWAP1 00000767: SWAP3 00000768: SSTORE 00000769: PUSH1 0x01 0000076b: DUP1 0000076c: SLOAD 0000076d: PUSH1 0x01 0000076f: PUSH1 0x01 00000771: PUSH1 0xa0 00000773: SHL 00000774: SUB 00000775: SWAP3 00000776: DUP4 00000777: AND 00000778: PUSH1 0x01 0000077a: PUSH1 0x01 0000077c: PUSH1 0xa0 0000077e: SHL 0000077f: SUB 00000780: NOT 00000781: SWAP2 00000782: DUP3 00000783: AND 00000784: OR 00000785: SWAP1 00000786: SWAP2 00000787: SSTORE 00000788: PUSH1 0x02 0000078a: DUP1 0000078b: SLOAD 0000078c: SWAP4 0000078d: SWAP1 0000078e: SWAP3 0000078f: AND 00000790: SWAP3 00000791: DUP2 00000792: AND 00000793: SWAP3 00000794: SWAP1 00000795: SWAP3 00000796: OR 00000797: SWAP1 00000798: SSTORE 00000799: PUSH1 0x00 0000079b: DUP1 0000079c: SLOAD 0000079d: PUSH1 0x01 0000079f: PUSH1 0xa0 000007a1: SHL 000007a2: PUSH1 0xff 000007a4: MUL 000007a5: NOT 000007a6: AND 000007a7: PUSH1 0x01 000007a9: PUSH1 0xa0 000007ab: SHL 000007ac: OR 000007ad: SWAP1 000007ae: SWAP2 000007af: AND 000007b0: SWAP1 000007b1: SSTORE 000007b2: JUMP 000007b3: JUMPDEST 000007b4: PUSH1 0x00 000007b6: SLOAD 000007b7: PUSH1 0x01 000007b9: PUSH1 0x01 000007bb: PUSH1 0xa0 000007bd: SHL 000007be: SUB 000007bf: AND 000007c0: DUP2 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH1 0x01 000007c5: SLOAD 000007c6: PUSH1 0x01 000007c8: PUSH1 0x01 000007ca: PUSH1 0xa0 000007cc: SHL 000007cd: SUB 000007ce: AND 000007cf: DUP2 000007d0: JUMP 000007d1: JUMPDEST 000007d2: PUSH1 0x00 000007d4: SLOAD 000007d5: PUSH1 0x01 000007d7: PUSH1 0xa0 000007d9: SHL 000007da: SWAP1 000007db: DIV 000007dc: PUSH1 0xff 000007de: AND 000007df: PUSH2 0x081c 000007e2: JUMPI 000007e3: PUSH1 0x40 000007e5: MLOAD 000007e6: PUSH1 0x01 000007e8: PUSH1 0xe5 000007ea: SHL 000007eb: PUSH3 0x461bcd 000007ef: MUL 000007f0: DUP2 000007f1: MSTORE 000007f2: PUSH1 0x04 000007f4: ADD 000007f5: DUP1 000007f6: DUP1 000007f7: PUSH1 0x20 000007f9: ADD 000007fa: DUP3 000007fb: DUP2 000007fc: SUB 000007fd: DUP3 000007fe: MSTORE 000007ff: PUSH1 0x21 00000801: DUP2 00000802: MSTORE 00000803: PUSH1 0x20 00000805: ADD 00000806: DUP1 00000807: PUSH2 0x0cd1 0000080a: PUSH1 0x21 0000080c: SWAP2 0000080d: CODECOPY 0000080e: PUSH1 0x40 00000810: ADD 00000811: SWAP2 00000812: POP 00000813: POP 00000814: PUSH1 0x40 00000816: MLOAD 00000817: DUP1 00000818: SWAP2 00000819: SUB 0000081a: SWAP1 0000081b: REVERT 0000081c: JUMPDEST 0000081d: PUSH1 0x00 0000081f: SLOAD 00000820: PUSH1 0x01 00000822: PUSH1 0xa8 00000824: SHL 00000825: SWAP1 00000826: DIV 00000827: PUSH1 0xff 00000829: AND 0000082a: ISZERO 0000082b: PUSH2 0x0875 0000082e: JUMPI 0000082f: PUSH1 0x40 00000831: DUP1 00000832: MLOAD 00000833: PUSH1 0x01 00000835: PUSH1 0xe5 00000837: SHL 00000838: PUSH3 0x461bcd 0000083c: MUL 0000083d: DUP2 0000083e: MSTORE 0000083f: PUSH1 0x20 00000841: PUSH1 0x04 00000843: DUP3 00000844: ADD 00000845: MSTORE 00000846: PUSH1 0x11 00000848: PUSH1 0x24 0000084a: DUP3 0000084b: ADD 0000084c: MSTORE 0000084d: PUSH1 0x01 0000084f: PUSH1 0x7a 00000851: SHL 00000852: PUSH17 0x185b1c9958591e4819195c1bdcda5d1959 00000864: MUL 00000865: PUSH1 0x44 00000867: DUP3 00000868: ADD 00000869: MSTORE 0000086a: SWAP1 0000086b: MLOAD 0000086c: SWAP1 0000086d: DUP2 0000086e: SWAP1 0000086f: SUB 00000870: PUSH1 0x64 00000872: ADD 00000873: SWAP1 00000874: REVERT 00000875: JUMPDEST 00000876: PUSH1 0x02 00000878: SLOAD 00000879: PUSH1 0x01 0000087b: PUSH1 0x01 0000087d: PUSH1 0xa0 0000087f: SHL 00000880: SUB 00000881: AND 00000882: CALLER 00000883: EQ 00000884: PUSH2 0x08c1 00000887: JUMPI 00000888: PUSH1 0x40 0000088a: MLOAD 0000088b: PUSH1 0x01 0000088d: PUSH1 0xe5 0000088f: SHL 00000890: PUSH3 0x461bcd 00000894: MUL 00000895: DUP2 00000896: MSTORE 00000897: PUSH1 0x04 00000899: ADD 0000089a: DUP1 0000089b: DUP1 0000089c: PUSH1 0x20 0000089e: ADD 0000089f: DUP3 000008a0: DUP2 000008a1: SUB 000008a2: DUP3 000008a3: MSTORE 000008a4: PUSH1 0x30 000008a6: DUP2 000008a7: MSTORE 000008a8: PUSH1 0x20 000008aa: ADD 000008ab: DUP1 000008ac: PUSH2 0x0d98 000008af: PUSH1 0x30 000008b1: SWAP2 000008b2: CODECOPY 000008b3: PUSH1 0x40 000008b5: ADD 000008b6: SWAP2 000008b7: POP 000008b8: POP 000008b9: PUSH1 0x40 000008bb: MLOAD 000008bc: DUP1 000008bd: SWAP2 000008be: SUB 000008bf: SWAP1 000008c0: REVERT 000008c1: JUMPDEST 000008c2: PUSH1 0x00 000008c4: PUSH1 0x05 000008c6: SLOAD 000008c7: GT 000008c8: PUSH2 0x090e 000008cb: JUMPI 000008cc: PUSH1 0x40 000008ce: DUP1 000008cf: MLOAD 000008d0: PUSH1 0x01 000008d2: PUSH1 0xe5 000008d4: SHL 000008d5: PUSH3 0x461bcd 000008d9: MUL 000008da: DUP2 000008db: MSTORE 000008dc: PUSH1 0x20 000008de: PUSH1 0x04 000008e0: DUP3 000008e1: ADD 000008e2: MSTORE 000008e3: PUSH1 0x0d 000008e5: PUSH1 0x24 000008e7: DUP3 000008e8: ADD 000008e9: MSTORE 000008ea: PUSH1 0x01 000008ec: PUSH1 0x98 000008ee: SHL 000008ef: PUSH13 0x6e6f206465706f7369746f7273 000008fd: MUL 000008fe: PUSH1 0x44 00000900: DUP3 00000901: ADD 00000902: MSTORE 00000903: SWAP1 00000904: MLOAD 00000905: SWAP1 00000906: DUP2 00000907: SWAP1 00000908: SUB 00000909: PUSH1 0x64 0000090b: ADD 0000090c: SWAP1 0000090d: REVERT 0000090e: JUMPDEST 0000090f: PUSH1 0x00 00000911: DUP2 00000912: GT 00000913: PUSH2 0x0950 00000916: JUMPI 00000917: PUSH1 0x40 00000919: MLOAD 0000091a: PUSH1 0x01 0000091c: PUSH1 0xe5 0000091e: SHL 0000091f: PUSH3 0x461bcd 00000923: MUL 00000924: DUP2 00000925: MSTORE 00000926: PUSH1 0x04 00000928: ADD 00000929: DUP1 0000092a: DUP1 0000092b: PUSH1 0x20 0000092d: ADD 0000092e: DUP3 0000092f: DUP2 00000930: SUB 00000931: DUP3 00000932: MSTORE 00000933: PUSH1 0x23 00000935: DUP2 00000936: MSTORE 00000937: PUSH1 0x20 00000939: ADD 0000093a: DUP1 0000093b: PUSH2 0x0e10 0000093e: PUSH1 0x23 00000940: SWAP2 00000941: CODECOPY 00000942: PUSH1 0x40 00000944: ADD 00000945: SWAP2 00000946: POP 00000947: POP 00000948: PUSH1 0x40 0000094a: MLOAD 0000094b: DUP1 0000094c: SWAP2 0000094d: SUB 0000094e: SWAP1 0000094f: REVERT 00000950: JUMPDEST 00000951: PUSH1 0x05 00000953: SLOAD 00000954: DUP1 00000955: DUP3 00000956: MUL 00000957: SWAP1 00000958: DUP2 00000959: DUP2 0000095a: PUSH2 0x095f 0000095d: JUMPI 0000095e: INVALID 0000095f: JUMPDEST 00000960: DIV 00000961: DUP3 00000962: EQ 00000963: PUSH2 0x09a0 00000966: JUMPI 00000967: PUSH1 0x40 00000969: MLOAD 0000096a: PUSH1 0x01 0000096c: PUSH1 0xe5 0000096e: SHL 0000096f: PUSH3 0x461bcd 00000973: MUL 00000974: DUP2 00000975: MSTORE 00000976: PUSH1 0x04 00000978: ADD 00000979: DUP1 0000097a: DUP1 0000097b: PUSH1 0x20 0000097d: ADD 0000097e: DUP3 0000097f: DUP2 00000980: SUB 00000981: DUP3 00000982: MSTORE 00000983: PUSH1 0x25 00000985: DUP2 00000986: MSTORE 00000987: PUSH1 0x20 00000989: ADD 0000098a: DUP1 0000098b: PUSH2 0x0d73 0000098e: PUSH1 0x25 00000990: SWAP2 00000991: CODECOPY 00000992: PUSH1 0x40 00000994: ADD 00000995: SWAP2 00000996: POP 00000997: POP 00000998: PUSH1 0x40 0000099a: MLOAD 0000099b: DUP1 0000099c: SWAP2 0000099d: SUB 0000099e: SWAP1 0000099f: REVERT 000009a0: JUMPDEST 000009a1: DUP1 000009a2: CALLVALUE 000009a3: EQ 000009a4: PUSH2 0x09e1 000009a7: JUMPI 000009a8: PUSH1 0x40 000009aa: MLOAD 000009ab: PUSH1 0x01 000009ad: PUSH1 0xe5 000009af: SHL 000009b0: PUSH3 0x461bcd 000009b4: MUL 000009b5: DUP2 000009b6: MSTORE 000009b7: PUSH1 0x04 000009b9: ADD 000009ba: DUP1 000009bb: DUP1 000009bc: PUSH1 0x20 000009be: ADD 000009bf: DUP3 000009c0: DUP2 000009c1: SUB 000009c2: DUP3 000009c3: MSTORE 000009c4: PUSH1 0x2d 000009c6: DUP2 000009c7: MSTORE 000009c8: PUSH1 0x20 000009ca: ADD 000009cb: DUP1 000009cc: PUSH2 0x0d46 000009cf: PUSH1 0x2d 000009d1: SWAP2 000009d2: CODECOPY 000009d3: PUSH1 0x40 000009d5: ADD 000009d6: SWAP2 000009d7: POP 000009d8: POP 000009d9: PUSH1 0x40 000009db: MLOAD 000009dc: DUP1 000009dd: SWAP2 000009de: SUB 000009df: SWAP1 000009e0: REVERT 000009e1: JUMPDEST 000009e2: PUSH1 0x06 000009e4: DUP3 000009e5: SWAP1 000009e6: SSTORE 000009e7: PUSH1 0x00 000009e9: DUP1 000009ea: SLOAD 000009eb: PUSH1 0x01 000009ed: PUSH1 0xa8 000009ef: SHL 000009f0: PUSH1 0xff 000009f2: MUL 000009f3: NOT 000009f4: AND 000009f5: PUSH1 0x01 000009f7: PUSH1 0xa8 000009f9: SHL 000009fa: OR 000009fb: SWAP1 000009fc: SSTORE 000009fd: PUSH1 0x05 000009ff: SLOAD 00000a00: PUSH1 0x40 00000a02: DUP1 00000a03: MLOAD 00000a04: CALLVALUE 00000a05: DUP2 00000a06: MSTORE 00000a07: PUSH1 0x20 00000a09: DUP2 00000a0a: ADD 00000a0b: DUP6 00000a0c: SWAP1 00000a0d: MSTORE 00000a0e: DUP1 00000a0f: DUP3 00000a10: ADD 00000a11: SWAP3 00000a12: SWAP1 00000a13: SWAP3 00000a14: MSTORE 00000a15: MLOAD 00000a16: PUSH32 0x33da4f9b82b3e18a281ca2cabbe2f076925692abb593b7ea3f850009e8ec9770 00000a37: SWAP2 00000a38: DUP2 00000a39: SWAP1 00000a3a: SUB 00000a3b: PUSH1 0x60 00000a3d: ADD 00000a3e: SWAP1 00000a3f: LOG1 00000a40: POP 00000a41: POP 00000a42: JUMP 00000a43: JUMPDEST 00000a44: PUSH1 0x00 00000a46: SLOAD 00000a47: PUSH1 0x01 00000a49: PUSH1 0xa0 00000a4b: SHL 00000a4c: SWAP1 00000a4d: DIV 00000a4e: PUSH1 0xff 00000a50: AND 00000a51: PUSH2 0x0a8e 00000a54: JUMPI 00000a55: PUSH1 0x40 00000a57: MLOAD 00000a58: PUSH1 0x01 00000a5a: PUSH1 0xe5 00000a5c: SHL 00000a5d: PUSH3 0x461bcd 00000a61: MUL 00000a62: DUP2 00000a63: MSTORE 00000a64: PUSH1 0x04 00000a66: ADD 00000a67: DUP1 00000a68: DUP1 00000a69: PUSH1 0x20 00000a6b: ADD 00000a6c: DUP3 00000a6d: DUP2 00000a6e: SUB 00000a6f: DUP3 00000a70: MSTORE 00000a71: PUSH1 0x21 00000a73: DUP2 00000a74: MSTORE 00000a75: PUSH1 0x20 00000a77: ADD 00000a78: DUP1 00000a79: PUSH2 0x0cd1 00000a7c: PUSH1 0x21 00000a7e: SWAP2 00000a7f: CODECOPY 00000a80: PUSH1 0x40 00000a82: ADD 00000a83: SWAP2 00000a84: POP 00000a85: POP 00000a86: PUSH1 0x40 00000a88: MLOAD 00000a89: DUP1 00000a8a: SWAP2 00000a8b: SUB 00000a8c: SWAP1 00000a8d: REVERT 00000a8e: JUMPDEST 00000a8f: PUSH1 0x00 00000a91: SLOAD 00000a92: PUSH1 0x01 00000a94: PUSH1 0xa8 00000a96: SHL 00000a97: SWAP1 00000a98: DIV 00000a99: PUSH1 0xff 00000a9b: AND 00000a9c: PUSH2 0x0ae4 00000a9f: JUMPI 00000aa0: PUSH1 0x40 00000aa2: DUP1 00000aa3: MLOAD 00000aa4: PUSH1 0x01 00000aa6: PUSH1 0xe5 00000aa8: SHL 00000aa9: PUSH3 0x461bcd 00000aad: MUL 00000aae: DUP2 00000aaf: MSTORE 00000ab0: PUSH1 0x20 00000ab2: PUSH1 0x04 00000ab4: DUP3 00000ab5: ADD 00000ab6: MSTORE 00000ab7: PUSH1 0x0f 00000ab9: PUSH1 0x24 00000abb: DUP3 00000abc: ADD 00000abd: MSTORE 00000abe: PUSH1 0x01 00000ac0: PUSH1 0x8a 00000ac2: SHL 00000ac3: PUSH15 0x1b9bc819195c1bdcda5d1cc81e595d 00000ad3: MUL 00000ad4: PUSH1 0x44 00000ad6: DUP3 00000ad7: ADD 00000ad8: MSTORE 00000ad9: SWAP1 00000ada: MLOAD 00000adb: SWAP1 00000adc: DUP2 00000add: SWAP1 00000ade: SUB 00000adf: PUSH1 0x64 00000ae1: ADD 00000ae2: SWAP1 00000ae3: REVERT 00000ae4: JUMPDEST 00000ae5: PUSH1 0x01 00000ae7: SLOAD 00000ae8: PUSH1 0x01 00000aea: PUSH1 0x01 00000aec: PUSH1 0xa0 00000aee: SHL 00000aef: SUB 00000af0: AND 00000af1: CALLER 00000af2: EQ 00000af3: PUSH2 0x0b30 00000af6: JUMPI 00000af7: PUSH1 0x40 00000af9: MLOAD 00000afa: PUSH1 0x01 00000afc: PUSH1 0xe5 00000afe: SHL 00000aff: PUSH3 0x461bcd 00000b03: MUL 00000b04: DUP2 00000b05: MSTORE 00000b06: PUSH1 0x04 00000b08: ADD 00000b09: DUP1 00000b0a: DUP1 00000b0b: PUSH1 0x20 00000b0d: ADD 00000b0e: DUP3 00000b0f: DUP2 00000b10: SUB 00000b11: DUP3 00000b12: MSTORE 00000b13: PUSH1 0x28 00000b15: DUP2 00000b16: MSTORE 00000b17: PUSH1 0x20 00000b19: ADD 00000b1a: DUP1 00000b1b: PUSH2 0x0cf2 00000b1e: PUSH1 0x28 00000b20: SWAP2 00000b21: CODECOPY 00000b22: PUSH1 0x40 00000b24: ADD 00000b25: SWAP2 00000b26: POP 00000b27: POP 00000b28: PUSH1 0x40 00000b2a: MLOAD 00000b2b: DUP1 00000b2c: SWAP2 00000b2d: SUB 00000b2e: SWAP1 00000b2f: REVERT 00000b30: JUMPDEST 00000b31: PUSH1 0x01 00000b33: PUSH1 0x01 00000b35: PUSH1 0xa0 00000b37: SHL 00000b38: SUB 00000b39: DUP2 00000b3a: AND 00000b3b: PUSH1 0x00 00000b3d: SWAP1 00000b3e: DUP2 00000b3f: MSTORE 00000b40: PUSH1 0x04 00000b42: PUSH1 0x20 00000b44: MSTORE 00000b45: PUSH1 0x40 00000b47: SWAP1 00000b48: KECCAK256 00000b49: SLOAD 00000b4a: PUSH1 0xff 00000b4c: AND 00000b4d: PUSH2 0x0ba0 00000b50: JUMPI 00000b51: PUSH1 0x40 00000b53: DUP1 00000b54: MLOAD 00000b55: PUSH1 0x01 00000b57: PUSH1 0xe5 00000b59: SHL 00000b5a: PUSH3 0x461bcd 00000b5e: MUL 00000b5f: DUP2 00000b60: MSTORE 00000b61: PUSH1 0x20 00000b63: PUSH1 0x04 00000b65: DUP3 00000b66: ADD 00000b67: MSTORE 00000b68: PUSH1 0x14 00000b6a: PUSH1 0x24 00000b6c: DUP3 00000b6d: ADD 00000b6e: MSTORE 00000b6f: PUSH32 0x63616e6e6f7420736c6173682061646472657373000000000000000000000000 00000b90: PUSH1 0x44 00000b92: DUP3 00000b93: ADD 00000b94: MSTORE 00000b95: SWAP1 00000b96: MLOAD 00000b97: SWAP1 00000b98: DUP2 00000b99: SWAP1 00000b9a: SUB 00000b9b: PUSH1 0x64 00000b9d: ADD 00000b9e: SWAP1 00000b9f: REVERT 00000ba0: JUMPDEST 00000ba1: PUSH1 0x01 00000ba3: PUSH1 0x01 00000ba5: PUSH1 0xa0 00000ba7: SHL 00000ba8: SUB 00000ba9: DUP2 00000baa: AND 00000bab: PUSH1 0x00 00000bad: SWAP1 00000bae: DUP2 00000baf: MSTORE 00000bb0: PUSH1 0x04 00000bb2: PUSH1 0x20 00000bb4: MSTORE 00000bb5: PUSH1 0x40 00000bb7: DUP1 00000bb8: DUP3 00000bb9: KECCAK256 00000bba: DUP1 00000bbb: SLOAD 00000bbc: PUSH1 0xff 00000bbe: NOT 00000bbf: AND 00000bc0: SWAP1 00000bc1: SSTORE 00000bc2: PUSH1 0x06 00000bc4: SLOAD 00000bc5: SWAP1 00000bc6: MLOAD 00000bc7: DUP2 00000bc8: ISZERO 00000bc9: PUSH2 0x08fc 00000bcc: MUL 00000bcd: SWAP2 00000bce: SWAP1 00000bcf: DUP4 00000bd0: DUP2 00000bd1: DUP2 00000bd2: DUP2 00000bd3: DUP6 00000bd4: DUP3 00000bd5: DUP9 00000bd6: CALL 00000bd7: SWAP4 00000bd8: POP 00000bd9: POP 00000bda: POP 00000bdb: POP 00000bdc: ISZERO 00000bdd: DUP1 00000bde: ISZERO 00000bdf: PUSH2 0x0bec 00000be2: JUMPI 00000be3: RETURNDATASIZE 00000be4: PUSH1 0x00 00000be6: DUP1 00000be7: RETURNDATACOPY 00000be8: RETURNDATASIZE 00000be9: PUSH1 0x00 00000beb: REVERT 00000bec: JUMPDEST 00000bed: POP 00000bee: PUSH1 0x06 00000bf0: SLOAD 00000bf1: PUSH1 0x40 00000bf3: DUP1 00000bf4: MLOAD 00000bf5: PUSH1 0x01 00000bf7: PUSH1 0x01 00000bf9: PUSH1 0xa0 00000bfb: SHL 00000bfc: SUB 00000bfd: DUP5 00000bfe: AND 00000bff: DUP2 00000c00: MSTORE 00000c01: PUSH1 0x20 00000c03: DUP2 00000c04: ADD 00000c05: SWAP3 00000c06: SWAP1 00000c07: SWAP3 00000c08: MSTORE 00000c09: DUP1 00000c0a: MLOAD 00000c0b: PUSH32 0xa69f22d963cb7981f842db8c1aafcc93d915ba2a95dcf26dcc333a9c2a09be26 00000c2c: SWAP3 00000c2d: DUP2 00000c2e: SWAP1 00000c2f: SUB 00000c30: SWAP1 00000c31: SWAP2 00000c32: ADD 00000c33: SWAP1 00000c34: LOG1 00000c35: POP 00000c36: JUMP 00000c37: JUMPDEST 00000c38: PUSH1 0x02 00000c3a: SLOAD 00000c3b: PUSH1 0x01 00000c3d: PUSH1 0x01 00000c3f: PUSH1 0xa0 00000c41: SHL 00000c42: SUB 00000c43: AND 00000c44: DUP2 00000c45: JUMP 00000c46: JUMPDEST 00000c47: PUSH1 0x00 00000c49: SLOAD 00000c4a: PUSH1 0x01 00000c4c: PUSH1 0xa8 00000c4e: SHL 00000c4f: SWAP1 00000c50: DIV 00000c51: PUSH1 0xff 00000c53: AND 00000c54: DUP2 00000c55: JUMP 00000c56: JUMPDEST 00000c57: PUSH1 0x00 00000c59: SLOAD 00000c5a: PUSH1 0x01 00000c5c: PUSH1 0x01 00000c5e: PUSH1 0xa0 00000c60: SHL 00000c61: SUB 00000c62: AND 00000c63: CALLER 00000c64: EQ 00000c65: PUSH2 0x0ca2 00000c68: JUMPI 00000c69: PUSH1 0x40 00000c6b: MLOAD 00000c6c: PUSH1 0x01 00000c6e: PUSH1 0xe5 00000c70: SHL 00000c71: PUSH3 0x461bcd 00000c75: MUL 00000c76: DUP2 00000c77: MSTORE 00000c78: PUSH1 0x04 00000c7a: ADD 00000c7b: DUP1 00000c7c: DUP1 00000c7d: PUSH1 0x20 00000c7f: ADD 00000c80: DUP3 00000c81: DUP2 00000c82: SUB 00000c83: DUP3 00000c84: MSTORE 00000c85: PUSH1 0x2c 00000c87: DUP2 00000c88: MSTORE 00000c89: PUSH1 0x20 00000c8b: ADD 00000c8c: DUP1 00000c8d: PUSH2 0x0d1a 00000c90: PUSH1 0x2c 00000c92: SWAP2 00000c93: CODECOPY 00000c94: PUSH1 0x40 00000c96: ADD 00000c97: SWAP2 00000c98: POP 00000c99: POP 00000c9a: PUSH1 0x40 00000c9c: MLOAD 00000c9d: DUP1 00000c9e: SWAP2 00000c9f: SUB 00000ca0: SWAP1 00000ca1: REVERT 00000ca2: JUMPDEST 00000ca3: PUSH1 0x01 00000ca5: PUSH1 0x01 00000ca7: PUSH1 0xa0 00000ca9: SHL 00000caa: SUB 00000cab: DUP2 00000cac: AND 00000cad: ISZERO 00000cae: PUSH2 0x0ccd 00000cb1: JUMPI 00000cb2: PUSH1 0x00 00000cb4: DUP1 00000cb5: SLOAD 00000cb6: PUSH1 0x01 00000cb8: PUSH1 0x01 00000cba: PUSH1 0xa0 00000cbc: SHL 00000cbd: SUB 00000cbe: NOT 00000cbf: AND 00000cc0: PUSH1 0x01 00000cc2: PUSH1 0x01 00000cc4: PUSH1 0xa0 00000cc6: SHL 00000cc7: SUB 00000cc8: DUP4 00000cc9: AND 00000cca: OR 00000ccb: SWAP1 00000ccc: SSTORE 00000ccd: JUMPDEST 00000cce: POP 00000ccf: JUMP 00000cd0: INVALID 00000cd1: SLOAD 00000cd2: PUSH9 0x6520636f6e74726163 00000cdc: PUSH21 0x20776173206e6f7420696e697469616c697a65642e 00000cf2: UNKNOWN(0x4F) 00000cf3: PUSH15 0x6c792074686520736c617368657220 00000d03: PUSH4 0x616e2063 00000d08: PUSH2 0x6c6c 00000d0b: KECCAK256 00000d0c: PUSH21 0x6869732066756e6374696f6e2e5468652066756e63 00000d22: PUSH21 0x696f6e2063616e206f6e6c792062652063616c6c65 00000d38: PUSH5 0x2062792074 00000d3e: PUSH9 0x65206f776e65727468 00000d48: PUSH6 0x206465706f73 00000d4f: PUSH10 0x7420646f6573206e6f74 00000d5a: KECCAK256 00000d5b: PUSH14 0x6174636820746865207265717569 00000d6a: PUSH19 0x65642076616c75654f766572666c6f7720696e 00000d7e: KECCAK256 00000d7f: PUSH5 0x65706f7369 00000d85: PUSH21 0x416d6f756e742063616c63756c6174696f6e4f6e6c 00000d9b: PUSH26 0x20746865206465706f7369746f727350726f78792063616e2063 00000db6: PUSH2 0x6c6c 00000db9: KECCAK256 00000dba: PUSH21 0x6869732066756e6374696f6e2e54686520636f6e74 00000dd0: PUSH19 0x61637420697320616c726561647920696e6974 00000de4: PUSH10 0x616c697365642e546865 00000def: KECCAK256 00000df0: PUSH5 0x65706f7369 00000df6: PUSH21 0x2063616e6e6f742062652077697468647261776e20 00000e0c: PUSH26 0x65742e5f76616c75655065724465706f7369746f72206d757374 00000e27: KECCAK256 00000e28: PUSH3 0x652070 00000e2c: PUSH16 0x7369746976655468652072656c656173 00000e3d: PUSH6 0x2074696d6573 00000e44: PUSH21 0x616d70206d75737420626520696e20746865206675 00000e5a: PUSH21 0x757265a165627a7a72305820f49febad5a8273d02e 00000e70: DIFFICULTY 00000e71: STOP 00000e72: CLZ 00000e73: PUSH28
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x2d994407d3c4a94d3497f056da151dad89684ad84289ebc2cc44467650ad0cb6
call_targets:
0xd56a61ad1b16f1f0326785902593c7adbf733e34
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2d994407d3c4a94d3497f056da151dad89684ad84289ebc2cc44467650ad0cb6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd56a61ad1b16f1f0326785902593c7adbf733e34"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1344271",
"selector": "0xb1344271",
"calldata_variants": [
"0xb1344271",
"0xb13442710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6b55f25",
"selector": "0xb6b55f25",
"calldata_variants": [
"0xb6b55f25",
"0xb6b55f250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc96be4cb",
"selector": "0xc96be4cb",
"calldata_variants": [
"0xc96be4cb",
"0xc96be4cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8823af1",
"selector": "0xe8823af1",
"calldata_variants": [
"0xe8823af1",
"0xe8823af10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeef49ee3",
"selector": "0xeef49ee3",
"calldata_variants": [
"0xeef49ee3",
"0xeef49ee30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a3f013f",
"selector": "0x0a3f013f",
"calldata_variants": [
"0x0a3f013f",
"0x0a3f013f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1586,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3030,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x2d994407d3c4a94d3497f056da151dad89684ad84289ebc2cc44467650ad0cb6
call_targets:
0xd56a61ad1b16f1f0326785902593c7adbf733e34
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2d994407d3c4a94d3497f056da151dad89684ad84289ebc2cc44467650ad0cb6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd56a61ad1b16f1f0326785902593c7adbf733e34"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1344271",
"selector": "0xb1344271",
"calldata_variants": [
"0xb1344271",
"0xb13442710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6b55f25",
"selector": "0xb6b55f25",
"calldata_variants": [
"0xb6b55f25",
"0xb6b55f250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc96be4cb",
"selector": "0xc96be4cb",
"calldata_variants": [
"0xc96be4cb",
"0xc96be4cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8823af1",
"selector": "0xe8823af1",
"calldata_variants": [
"0xe8823af1",
"0xe8823af10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeef49ee3",
"selector": "0xeef49ee3",
"calldata_variants": [
"0xeef49ee3",
"0xeef49ee30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a3f013f",
"selector": "0x0a3f013f",
"calldata_variants": [
"0x0a3f013f",
"0x0a3f013f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1586,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3030,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|