019b477e-ac17-72ae-9018-166220e77edb
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 |
|---|---|---|---|---|
| 21145 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21146 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 88985 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 88986 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 88987 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 88988 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00af 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x0f24f5c8 0000003c: EQ 0000003d: PUSH2 0x00b1 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x2268a358 00000047: EQ 00000048: PUSH2 0x00f3 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x3cebb823 00000052: EQ 00000053: PUSH2 0x012c 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x4783c35b 0000005d: EQ 0000005e: PUSH2 0x0165 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x79ba5097 00000068: EQ 00000069: PUSH2 0x01ba 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x8da5cb5b 00000073: EQ 00000074: PUSH2 0x01cf 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xa6f9dae1 0000007e: EQ 0000007f: PUSH2 0x0224 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xce3f865f 00000089: EQ 0000008a: PUSH2 0x025d 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xd4ee1d90 00000094: EQ 00000095: PUSH2 0x0280 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xea2c23da 0000009f: EQ 000000a0: PUSH2 0x02d5 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xf77c4791 000000aa: EQ 000000ab: PUSH2 0x02f8 000000ae: JUMPI 000000af: JUMPDEST 000000b0: STOP 000000b1: JUMPDEST 000000b2: CALLVALUE 000000b3: ISZERO 000000b4: PUSH2 0x00bc 000000b7: JUMPI 000000b8: PUSH1 0x00 000000ba: DUP1 000000bb: REVERT 000000bc: JUMPDEST 000000bd: PUSH2 0x00f1 000000c0: PUSH1 0x04 000000c2: DUP1 000000c3: DUP1 000000c4: CALLDATALOAD 000000c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000da: AND 000000db: SWAP1 000000dc: PUSH1 0x20 000000de: ADD 000000df: SWAP1 000000e0: SWAP2 000000e1: SWAP1 000000e2: DUP1 000000e3: CALLDATALOAD 000000e4: SWAP1 000000e5: PUSH1 0x20 000000e7: ADD 000000e8: SWAP1 000000e9: SWAP2 000000ea: SWAP1 000000eb: POP 000000ec: POP 000000ed: PUSH2 0x034d 000000f0: JUMP 000000f1: JUMPDEST 000000f2: STOP 000000f3: JUMPDEST 000000f4: CALLVALUE 000000f5: ISZERO 000000f6: PUSH2 0x00fe 000000f9: JUMPI 000000fa: PUSH1 0x00 000000fc: DUP1 000000fd: REVERT 000000fe: JUMPDEST 000000ff: PUSH2 0x012a 00000102: PUSH1 0x04 00000104: DUP1 00000105: DUP1 00000106: CALLDATALOAD 00000107: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000011c: AND 0000011d: SWAP1 0000011e: PUSH1 0x20 00000120: ADD 00000121: SWAP1 00000122: SWAP2 00000123: SWAP1 00000124: POP 00000125: POP 00000126: PUSH2 0x0621 00000129: JUMP 0000012a: JUMPDEST 0000012b: STOP 0000012c: JUMPDEST 0000012d: CALLVALUE 0000012e: ISZERO 0000012f: PUSH2 0x0137 00000132: JUMPI 00000133: PUSH1 0x00 00000135: DUP1 00000136: REVERT 00000137: JUMPDEST 00000138: PUSH2 0x0163 0000013b: PUSH1 0x04 0000013d: DUP1 0000013e: DUP1 0000013f: CALLDATALOAD 00000140: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000155: AND 00000156: SWAP1 00000157: PUSH1 0x20 00000159: ADD 0000015a: SWAP1 0000015b: SWAP2 0000015c: SWAP1 0000015d: POP 0000015e: POP 0000015f: PUSH2 0x06c1 00000162: JUMP 00000163: JUMPDEST 00000164: STOP 00000165: JUMPDEST 00000166: CALLVALUE 00000167: ISZERO 00000168: PUSH2 0x0170 0000016b: JUMPI 0000016c: PUSH1 0x00 0000016e: DUP1 0000016f: REVERT 00000170: JUMPDEST 00000171: PUSH2 0x0178 00000174: PUSH2 0x0760 00000177: JUMP 00000178: JUMPDEST 00000179: PUSH1 0x40 0000017b: MLOAD 0000017c: DUP1 0000017d: DUP3 0000017e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000193: AND 00000194: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a9: AND 000001aa: DUP2 000001ab: MSTORE 000001ac: PUSH1 0x20 000001ae: ADD 000001af: SWAP2 000001b0: POP 000001b1: POP 000001b2: PUSH1 0x40 000001b4: MLOAD 000001b5: DUP1 000001b6: SWAP2 000001b7: SUB 000001b8: SWAP1 000001b9: RETURN 000001ba: JUMPDEST 000001bb: CALLVALUE 000001bc: ISZERO 000001bd: PUSH2 0x01c5 000001c0: JUMPI 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: PUSH2 0x01cd 000001c9: PUSH2 0x0786 000001cc: JUMP 000001cd: JUMPDEST 000001ce: STOP 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: ISZERO 000001d2: PUSH2 0x01da 000001d5: JUMPI 000001d6: PUSH1 0x00 000001d8: DUP1 000001d9: REVERT 000001da: JUMPDEST 000001db: PUSH2 0x01e2 000001de: PUSH2 0x0847 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH1 0x40 000001e5: MLOAD 000001e6: DUP1 000001e7: DUP3 000001e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001fd: AND 000001fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000213: AND 00000214: DUP2 00000215: MSTORE 00000216: PUSH1 0x20 00000218: ADD 00000219: SWAP2 0000021a: POP 0000021b: POP 0000021c: PUSH1 0x40 0000021e: MLOAD 0000021f: DUP1 00000220: SWAP2 00000221: SUB 00000222: SWAP1 00000223: RETURN 00000224: JUMPDEST 00000225: CALLVALUE 00000226: ISZERO 00000227: PUSH2 0x022f 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: PUSH2 0x025b 00000233: PUSH1 0x04 00000235: DUP1 00000236: DUP1 00000237: CALLDATALOAD 00000238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024d: AND 0000024e: SWAP1 0000024f: PUSH1 0x20 00000251: ADD 00000252: SWAP1 00000253: SWAP2 00000254: SWAP1 00000255: POP 00000256: POP 00000257: PUSH2 0x086d 0000025a: JUMP 0000025b: JUMPDEST 0000025c: STOP 0000025d: JUMPDEST 0000025e: CALLVALUE 0000025f: ISZERO 00000260: PUSH2 0x0268 00000263: JUMPI 00000264: PUSH1 0x00 00000266: DUP1 00000267: REVERT 00000268: JUMPDEST 00000269: PUSH2 0x027e 0000026c: PUSH1 0x04 0000026e: DUP1 0000026f: DUP1 00000270: CALLDATALOAD 00000271: SWAP1 00000272: PUSH1 0x20 00000274: ADD 00000275: SWAP1 00000276: SWAP2 00000277: SWAP1 00000278: POP 00000279: POP 0000027a: PUSH2 0x090d 0000027d: JUMP 0000027e: JUMPDEST 0000027f: STOP 00000280: JUMPDEST 00000281: CALLVALUE 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: PUSH2 0x0293 0000028f: PUSH2 0x0ae7 00000292: JUMP 00000293: JUMPDEST 00000294: PUSH1 0x40 00000296: MLOAD 00000297: DUP1 00000298: DUP3 00000299: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ae: AND 000002af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c4: AND 000002c5: DUP2 000002c6: MSTORE 000002c7: PUSH1 0x20 000002c9: ADD 000002ca: SWAP2 000002cb: POP 000002cc: POP 000002cd: PUSH1 0x40 000002cf: MLOAD 000002d0: DUP1 000002d1: SWAP2 000002d2: SUB 000002d3: SWAP1 000002d4: RETURN 000002d5: JUMPDEST 000002d6: CALLVALUE 000002d7: ISZERO 000002d8: PUSH2 0x02e0 000002db: JUMPI 000002dc: PUSH1 0x00 000002de: DUP1 000002df: REVERT 000002e0: JUMPDEST 000002e1: PUSH2 0x02f6 000002e4: PUSH1 0x04 000002e6: DUP1 000002e7: DUP1 000002e8: CALLDATALOAD 000002e9: SWAP1 000002ea: PUSH1 0x20 000002ec: ADD 000002ed: SWAP1 000002ee: SWAP2 000002ef: SWAP1 000002f0: POP 000002f1: POP 000002f2: PUSH2 0x0b0d 000002f5: JUMP 000002f6: JUMPDEST 000002f7: STOP 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: ISZERO 000002fb: PUSH2 0x0303 000002fe: JUMPI 000002ff: PUSH1 0x00 00000301: DUP1 00000302: REVERT 00000303: JUMPDEST 00000304: PUSH2 0x030b 00000307: PUSH2 0x0c79 0000030a: JUMP 0000030b: JUMPDEST 0000030c: PUSH1 0x40 0000030e: MLOAD 0000030f: DUP1 00000310: DUP3 00000311: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000326: AND 00000327: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033c: AND 0000033d: DUP2 0000033e: MSTORE 0000033f: PUSH1 0x20 00000341: ADD 00000342: SWAP2 00000343: POP 00000344: POP 00000345: PUSH1 0x40 00000347: MLOAD 00000348: DUP1 00000349: SWAP2 0000034a: SUB 0000034b: SWAP1 0000034c: RETURN 0000034d: JUMPDEST 0000034e: PUSH1 0x00 00000350: DUP1 00000351: SWAP1 00000352: SLOAD 00000353: SWAP1 00000354: PUSH2 0x0100 00000357: EXP 00000358: SWAP1 00000359: DIV 0000035a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000036f: AND 00000370: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000385: AND 00000386: CALLER 00000387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039c: AND 0000039d: EQ 0000039e: ISZERO 0000039f: ISZERO 000003a0: PUSH2 0x03a8 000003a3: JUMPI 000003a4: PUSH1 0x00 000003a6: DUP1 000003a7: REVERT 000003a8: JUMPDEST 000003a9: DUP2 000003aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003bf: AND 000003c0: PUSH4 0xa9059cbb 000003c5: PUSH1 0x03 000003c7: PUSH1 0x00 000003c9: SWAP1 000003ca: SLOAD 000003cb: SWAP1 000003cc: PUSH2 0x0100 000003cf: EXP 000003d0: SWAP1 000003d1: DIV 000003d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e7: AND 000003e8: DUP4 000003e9: PUSH1 0x00 000003eb: PUSH1 0x40 000003ed: MLOAD 000003ee: PUSH1 0x20 000003f0: ADD 000003f1: MSTORE 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: DUP4 000003f6: PUSH4 0xffffffff 000003fb: AND 000003fc: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000041a: MUL 0000041b: DUP2 0000041c: MSTORE 0000041d: PUSH1 0x04 0000041f: ADD 00000420: DUP1 00000421: DUP4 00000422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000437: AND 00000438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044d: AND 0000044e: DUP2 0000044f: MSTORE 00000450: PUSH1 0x20 00000452: ADD 00000453: DUP3 00000454: DUP2 00000455: MSTORE 00000456: PUSH1 0x20 00000458: ADD 00000459: SWAP3 0000045a: POP 0000045b: POP 0000045c: POP 0000045d: PUSH1 0x20 0000045f: PUSH1 0x40 00000461: MLOAD 00000462: DUP1 00000463: DUP4 00000464: SUB 00000465: DUP2 00000466: PUSH1 0x00 00000468: DUP8 00000469: DUP1 0000046a: EXTCODESIZE 0000046b: ISZERO 0000046c: ISZERO 0000046d: PUSH2 0x0475 00000470: JUMPI 00000471: PUSH1 0x00 00000473: DUP1 00000474: REVERT 00000475: JUMPDEST 00000476: PUSH2 0x02c6 00000479: GAS 0000047a: SUB 0000047b: CALL 0000047c: ISZERO 0000047d: ISZERO 0000047e: PUSH2 0x0486 00000481: JUMPI 00000482: PUSH1 0x00 00000484: DUP1 00000485: REVERT 00000486: JUMPDEST 00000487: POP 00000488: POP 00000489: POP 0000048a: PUSH1 0x40 0000048c: MLOAD 0000048d: DUP1 0000048e: MLOAD 0000048f: SWAP1 00000490: POP 00000491: ISZERO 00000492: PUSH2 0x055b 00000495: JUMPI 00000496: PUSH32 0x6061ea9d0c0fdeeec460ee910083c8602bbc3146855db158f07b08658b2c8966 000004b7: PUSH1 0x03 000004b9: PUSH1 0x00 000004bb: SWAP1 000004bc: SLOAD 000004bd: SWAP1 000004be: PUSH2 0x0100 000004c1: EXP 000004c2: SWAP1 000004c3: DIV 000004c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d9: AND 000004da: DUP3 000004db: DUP5 000004dc: PUSH1 0x40 000004de: MLOAD 000004df: DUP1 000004e0: DUP5 000004e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f6: AND 000004f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050c: AND 0000050d: DUP2 0000050e: MSTORE 0000050f: PUSH1 0x20 00000511: ADD 00000512: DUP4 00000513: DUP2 00000514: MSTORE 00000515: PUSH1 0x20 00000517: ADD 00000518: DUP3 00000519: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052e: AND 0000052f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000544: AND 00000545: DUP2 00000546: MSTORE 00000547: PUSH1 0x20 00000549: ADD 0000054a: SWAP4 0000054b: POP 0000054c: POP 0000054d: POP 0000054e: POP 0000054f: PUSH1 0x40 00000551: MLOAD 00000552: DUP1 00000553: SWAP2 00000554: SUB 00000555: SWAP1 00000556: LOG1 00000557: PUSH2 0x061d 0000055a: JUMP 0000055b: JUMPDEST 0000055c: PUSH32 0xece398e3b6ddd70196407914a6d10a866df7f660c2dcd20d571bc2b726779185 0000057d: PUSH1 0x03 0000057f: PUSH1 0x00 00000581: SWAP1 00000582: SLOAD 00000583: SWAP1 00000584: PUSH2 0x0100 00000587: EXP 00000588: SWAP1 00000589: DIV 0000058a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000059f: AND 000005a0: DUP3 000005a1: DUP5 000005a2: PUSH1 0x40 000005a4: MLOAD 000005a5: DUP1 000005a6: DUP5 000005a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005bc: AND 000005bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d2: AND 000005d3: DUP2 000005d4: MSTORE 000005d5: PUSH1 0x20 000005d7: ADD 000005d8: DUP4 000005d9: DUP2 000005da: MSTORE 000005db: PUSH1 0x20 000005dd: ADD 000005de: DUP3 000005df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f4: AND 000005f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060a: AND 0000060b: DUP2 0000060c: MSTORE 0000060d: PUSH1 0x20 0000060f: ADD 00000610: SWAP4 00000611: POP 00000612: POP 00000613: POP 00000614: POP 00000615: PUSH1 0x40 00000617: MLOAD 00000618: DUP1 00000619: SWAP2 0000061a: SUB 0000061b: SWAP1 0000061c: LOG1 0000061d: JUMPDEST 0000061e: POP 0000061f: POP 00000620: JUMP 00000621: JUMPDEST 00000622: PUSH1 0x01 00000624: PUSH1 0x00 00000626: SWAP1 00000627: SLOAD 00000628: SWAP1 00000629: PUSH2 0x0100 0000062c: EXP 0000062d: SWAP1 0000062e: DIV 0000062f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000644: AND 00000645: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065a: AND 0000065b: CALLER 0000065c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000671: AND 00000672: EQ 00000673: ISZERO 00000674: ISZERO 00000675: PUSH2 0x067d 00000678: JUMPI 00000679: PUSH1 0x00 0000067b: DUP1 0000067c: REVERT 0000067d: JUMPDEST 0000067e: DUP1 0000067f: PUSH1 0x03 00000681: PUSH1 0x00 00000683: PUSH2 0x0100 00000686: EXP 00000687: DUP2 00000688: SLOAD 00000689: DUP2 0000068a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069f: MUL 000006a0: NOT 000006a1: AND 000006a2: SWAP1 000006a3: DUP4 000006a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b9: AND 000006ba: MUL 000006bb: OR 000006bc: SWAP1 000006bd: SSTORE 000006be: POP 000006bf: POP 000006c0: JUMP 000006c1: JUMPDEST 000006c2: PUSH1 0x01 000006c4: PUSH1 0x00 000006c6: SWAP1 000006c7: SLOAD 000006c8: SWAP1 000006c9: PUSH2 0x0100 000006cc: EXP 000006cd: SWAP1 000006ce: DIV 000006cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e4: AND 000006e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006fa: AND 000006fb: CALLER 000006fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000711: AND 00000712: EQ 00000713: ISZERO 00000714: ISZERO 00000715: PUSH2 0x071d 00000718: JUMPI 00000719: PUSH1 0x00 0000071b: DUP1 0000071c: REVERT 0000071d: JUMPDEST 0000071e: DUP1 0000071f: PUSH1 0x00 00000721: DUP1 00000722: PUSH2 0x0100 00000725: EXP 00000726: DUP2 00000727: SLOAD 00000728: DUP2 00000729: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000073e: MUL 0000073f: NOT 00000740: AND 00000741: SWAP1 00000742: DUP4 00000743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000758: AND 00000759: MUL 0000075a: OR 0000075b: SWAP1 0000075c: SSTORE 0000075d: POP 0000075e: POP 0000075f: JUMP 00000760: JUMPDEST 00000761: PUSH1 0x03 00000763: PUSH1 0x00 00000765: SWAP1 00000766: SLOAD 00000767: SWAP1 00000768: PUSH2 0x0100 0000076b: EXP 0000076c: SWAP1 0000076d: DIV 0000076e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000783: AND 00000784: DUP2 00000785: JUMP 00000786: JUMPDEST 00000787: PUSH1 0x02 00000789: PUSH1 0x00 0000078b: SWAP1 0000078c: SLOAD 0000078d: SWAP1 0000078e: PUSH2 0x0100 00000791: EXP 00000792: SWAP1 00000793: DIV 00000794: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a9: AND 000007aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007bf: AND 000007c0: CALLER 000007c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d6: AND 000007d7: EQ 000007d8: ISZERO 000007d9: ISZERO 000007da: PUSH2 0x07e2 000007dd: JUMPI 000007de: PUSH1 0x00 000007e0: DUP1 000007e1: REVERT 000007e2: JUMPDEST 000007e3: PUSH1 0x02 000007e5: PUSH1 0x00 000007e7: SWAP1 000007e8: SLOAD 000007e9: SWAP1 000007ea: PUSH2 0x0100 000007ed: EXP 000007ee: SWAP1 000007ef: DIV 000007f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000805: AND 00000806: PUSH1 0x01 00000808: PUSH1 0x00 0000080a: PUSH2 0x0100 0000080d: EXP 0000080e: DUP2 0000080f: SLOAD 00000810: DUP2 00000811: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000826: MUL 00000827: NOT 00000828: AND 00000829: SWAP1 0000082a: DUP4 0000082b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000840: AND 00000841: MUL 00000842: OR 00000843: SWAP1 00000844: SSTORE 00000845: POP 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH1 0x01 0000084a: PUSH1 0x00 0000084c: SWAP1 0000084d: SLOAD 0000084e: SWAP1 0000084f: PUSH2 0x0100 00000852: EXP 00000853: SWAP1 00000854: DIV 00000855: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086a: AND 0000086b: DUP2 0000086c: JUMP 0000086d: JUMPDEST 0000086e: PUSH1 0x01 00000870: PUSH1 0x00 00000872: SWAP1 00000873: SLOAD 00000874: SWAP1 00000875: PUSH2 0x0100 00000878: EXP 00000879: SWAP1 0000087a: DIV 0000087b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000890: AND 00000891: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a6: AND 000008a7: CALLER 000008a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bd: AND 000008be: EQ 000008bf: ISZERO 000008c0: ISZERO 000008c1: PUSH2 0x08c9 000008c4: JUMPI 000008c5: PUSH1 0x00 000008c7: DUP1 000008c8: REVERT 000008c9: JUMPDEST 000008ca: DUP1 000008cb: PUSH1 0x02 000008cd: PUSH1 0x00 000008cf: PUSH2 0x0100 000008d2: EXP 000008d3: DUP2 000008d4: SLOAD 000008d5: DUP2 000008d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008eb: MUL 000008ec: NOT 000008ed: AND 000008ee: SWAP1 000008ef: DUP4 000008f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000905: AND 00000906: MUL 00000907: OR 00000908: SWAP1 00000909: SSTORE 0000090a: POP 0000090b: POP 0000090c: JUMP 0000090d: JUMPDEST 0000090e: PUSH1 0x00 00000910: DUP1 00000911: SWAP1 00000912: SLOAD 00000913: SWAP1 00000914: PUSH2 0x0100 00000917: EXP 00000918: SWAP1 00000919: DIV 0000091a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000092f: AND 00000930: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000945: AND 00000946: CALLER 00000947: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095c: AND 0000095d: EQ 0000095e: ISZERO 0000095f: ISZERO 00000960: PUSH2 0x0968 00000963: JUMPI 00000964: PUSH1 0x00 00000966: DUP1 00000967: REVERT 00000968: JUMPDEST 00000969: PUSH1 0x03 0000096b: PUSH1 0x00 0000096d: SWAP1 0000096e: SLOAD 0000096f: SWAP1 00000970: PUSH2 0x0100 00000973: EXP 00000974: SWAP1 00000975: DIV 00000976: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098b: AND 0000098c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a1: AND 000009a2: PUSH2 0x08fc 000009a5: DUP3 000009a6: SWAP1 000009a7: DUP2 000009a8: ISZERO 000009a9: MUL 000009aa: SWAP1 000009ab: PUSH1 0x40 000009ad: MLOAD 000009ae: PUSH1 0x00 000009b0: PUSH1 0x40 000009b2: MLOAD 000009b3: DUP1 000009b4: DUP4 000009b5: SUB 000009b6: DUP2 000009b7: DUP6 000009b8: DUP9 000009b9: DUP9 000009ba: CALL 000009bb: SWAP4 000009bc: POP 000009bd: POP 000009be: POP 000009bf: POP 000009c0: ISZERO 000009c1: PUSH2 0x0a56 000009c4: JUMPI 000009c5: PUSH32 0x2af97bbd758145073459f9d7da67411d6321d4b939fdf5962128a8fd5b436126 000009e6: PUSH1 0x03 000009e8: PUSH1 0x00 000009ea: SWAP1 000009eb: SLOAD 000009ec: SWAP1 000009ed: PUSH2 0x0100 000009f0: EXP 000009f1: SWAP1 000009f2: DIV 000009f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a08: AND 00000a09: DUP3 00000a0a: PUSH1 0x40 00000a0c: MLOAD 00000a0d: DUP1 00000a0e: DUP4 00000a0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a24: AND 00000a25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3a: AND 00000a3b: DUP2 00000a3c: MSTORE 00000a3d: PUSH1 0x20 00000a3f: ADD 00000a40: DUP3 00000a41: DUP2 00000a42: MSTORE 00000a43: PUSH1 0x20 00000a45: ADD 00000a46: SWAP3 00000a47: POP 00000a48: POP 00000a49: POP 00000a4a: PUSH1 0x40 00000a4c: MLOAD 00000a4d: DUP1 00000a4e: SWAP2 00000a4f: SUB 00000a50: SWAP1 00000a51: LOG1 00000a52: PUSH2 0x0ae4 00000a55: JUMP 00000a56: JUMPDEST 00000a57: PUSH32 0xfaad9d4a082dbdcf39f6eb75fa9ccf32a1851c4c5978d7d5c34e0636fda6da35 00000a78: PUSH1 0x03 00000a7a: PUSH1 0x00 00000a7c: SWAP1 00000a7d: SLOAD 00000a7e: SWAP1 00000a7f: PUSH2 0x0100 00000a82: EXP 00000a83: SWAP1 00000a84: DIV 00000a85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9a: AND 00000a9b: DUP3 00000a9c: PUSH1 0x40 00000a9e: MLOAD 00000a9f: DUP1 00000aa0: DUP4 00000aa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab6: AND 00000ab7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000acc: AND 00000acd: DUP2 00000ace: MSTORE 00000acf: PUSH1 0x20 00000ad1: ADD 00000ad2: DUP3 00000ad3: DUP2 00000ad4: MSTORE 00000ad5: PUSH1 0x20 00000ad7: ADD 00000ad8: SWAP3 00000ad9: POP 00000ada: POP 00000adb: POP 00000adc: PUSH1 0x40 00000ade: MLOAD 00000adf: DUP1 00000ae0: SWAP2 00000ae1: SUB 00000ae2: SWAP1 00000ae3: LOG1 00000ae4: JUMPDEST 00000ae5: POP 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: PUSH1 0x02 00000aea: PUSH1 0x00 00000aec: SWAP1 00000aed: SLOAD 00000aee: SWAP1 00000aef: PUSH2 0x0100 00000af2: EXP 00000af3: SWAP1 00000af4: DIV 00000af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b0a: AND 00000b0b: DUP2 00000b0c: JUMP 00000b0d: JUMPDEST 00000b0e: PUSH1 0x00 00000b10: DUP1 00000b11: PUSH1 0x00 00000b13: DUP1 00000b14: SWAP1 00000b15: SLOAD 00000b16: SWAP1 00000b17: PUSH2 0x0100 00000b1a: EXP 00000b1b: SWAP1 00000b1c: DIV 00000b1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b32: AND 00000b33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b48: AND 00000b49: CALLER 00000b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5f: AND 00000b60: EQ 00000b61: ISZERO 00000b62: ISZERO 00000b63: PUSH2 0x0b6b 00000b66: JUMPI 00000b67: PUSH1 0x00 00000b69: DUP1 00000b6a: REVERT 00000b6b: JUMPDEST 00000b6c: PUSH1 0x00 00000b6e: SWAP2 00000b6f: POP 00000b70: JUMPDEST 00000b71: DUP3 00000b72: DUP3 00000b73: LT 00000b74: ISZERO 00000b75: PUSH2 0x0c74 00000b78: JUMPI 00000b79: ADDRESS 00000b7a: PUSH1 0x00 00000b7c: DUP1 00000b7d: SWAP1 00000b7e: SLOAD 00000b7f: SWAP1 00000b80: PUSH2 0x0100 00000b83: EXP 00000b84: SWAP1 00000b85: DIV 00000b86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9b: AND 00000b9c: PUSH2 0x0ba3 00000b9f: PUSH2 0x0c9e 00000ba2: JUMP 00000ba3: JUMPDEST 00000ba4: DUP1 00000ba5: DUP4 00000ba6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bbb: AND 00000bbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd1: AND 00000bd2: DUP2 00000bd3: MSTORE 00000bd4: PUSH1 0x20 00000bd6: ADD 00000bd7: DUP3 00000bd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bed: AND 00000bee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c03: AND 00000c04: DUP2 00000c05: MSTORE 00000c06: PUSH1 0x20 00000c08: ADD 00000c09: SWAP3 00000c0a: POP 00000c0b: POP 00000c0c: POP 00000c0d: PUSH1 0x40 00000c0f: MLOAD 00000c10: DUP1 00000c11: SWAP2 00000c12: SUB 00000c13: SWAP1 00000c14: PUSH1 0x00 00000c16: CREATE 00000c17: DUP1 00000c18: ISZERO 00000c19: ISZERO 00000c1a: PUSH2 0x0c22 00000c1d: JUMPI 00000c1e: PUSH1 0x00 00000c20: DUP1 00000c21: REVERT 00000c22: JUMPDEST 00000c23: SWAP1 00000c24: POP 00000c25: DUP1 00000c26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c3b: AND 00000c3c: PUSH32 0x6eea8380ea51da435b54c3dd591909adaa8398f243a19750829224f40f79fdd7 00000c5d: PUSH1 0x40 00000c5f: MLOAD 00000c60: PUSH1 0x40 00000c62: MLOAD 00000c63: DUP1 00000c64: SWAP2 00000c65: SUB 00000c66: SWAP1 00000c67: LOG2 00000c68: DUP2 00000c69: DUP1 00000c6a: PUSH1 0x01 00000c6c: ADD 00000c6d: SWAP3 00000c6e: POP 00000c6f: POP 00000c70: PUSH2 0x0b70 00000c73: JUMP 00000c74: JUMPDEST 00000c75: POP 00000c76: POP 00000c77: POP 00000c78: JUMP 00000c79: JUMPDEST 00000c7a: PUSH1 0x00 00000c7c: DUP1 00000c7d: SWAP1 00000c7e: SLOAD 00000c7f: SWAP1 00000c80: PUSH2 0x0100 00000c83: EXP 00000c84: SWAP1 00000c85: DIV 00000c86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c9b: AND 00000c9c: DUP2 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: PUSH1 0x40 00000ca1: MLOAD 00000ca2: PUSH2 0x07e2 00000ca5: DUP1 00000ca6: PUSH2 0x0caf 00000ca9: DUP4 00000caa: CODECOPY 00000cab: ADD 00000cac: SWAP1 00000cad: JUMP 00000cae: STOP 00000caf: PUSH1 0x60 00000cb1: PUSH1 0x40 00000cb3: MSTORE 00000cb4: CALLVALUE 00000cb5: ISZERO 00000cb6: PUSH2 0x000f 00000cb9: JUMPI 00000cba: PUSH1 0x00 00000cbc: DUP1 00000cbd: REVERT 00000cbe: JUMPDEST 00000cbf: PUSH1 0x40 00000cc1: MLOAD 00000cc2: PUSH1 0x40 00000cc4: DUP1 00000cc5: PUSH2 0x07e2 00000cc8: DUP4 00000cc9: CODECOPY 00000cca: DUP2 00000ccb: ADD 00000ccc: PUSH1 0x40 00000cce: MSTORE 00000ccf: DUP1 00000cd0: DUP1 00000cd1: MLOAD 00000cd2: SWAP1 00000cd3: PUSH1 0x20 00000cd5: ADD 00000cd6: SWAP1 00000cd7: SWAP2 00000cd8: SWAP1 00000cd9: DUP1 00000cda: MLOAD 00000cdb: SWAP1 00000cdc: PUSH1 0x20 00000cde: ADD 00000cdf: SWAP1 00000ce0: SWAP2 00000ce1: SWAP1 00000ce2: POP 00000ce3: POP 00000ce4: DUP1 00000ce5: PUSH1 0x00 00000ce7: DUP2 00000ce8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cfd: AND 00000cfe: EQ 00000cff: ISZERO 00000d00: ISZERO 00000d01: ISZERO 00000d02: PUSH2 0x005b 00000d05: JUMPI 00000d06: PUSH1 0x00 00000d08: DUP1 00000d09: REVERT 00000d0a: JUMPDEST 00000d0b: DUP1 00000d0c: PUSH1 0x00 00000d0e: DUP1 00000d0f: PUSH2 0x0100 00000d12: EXP 00000d13: DUP2 00000d14: SLOAD 00000d15: DUP2 00000d16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2b: MUL 00000d2c: NOT 00000d2d: AND 00000d2e: SWAP1 00000d2f: DUP4 00000d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d45: AND 00000d46: MUL 00000d47: OR 00000d48: SWAP1 00000d49: SSTORE 00000d4a: POP 00000d4b: POP 00000d4c: DUP2 00000d4d: PUSH1 0x01 00000d4f: PUSH1 0x00 00000d51: PUSH2 0x0100 00000d54: EXP 00000d55: DUP2 00000d56: SLOAD 00000d57: DUP2 00000d58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d6d: MUL 00000d6e: NOT 00000d6f: AND 00000d70: SWAP1 00000d71: DUP4 00000d72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d87: AND 00000d88: MUL 00000d89: OR 00000d8a: SWAP1 00000d8b: SSTORE 00000d8c: POP 00000d8d: POP 00000d8e: POP 00000d8f: PUSH2 0x06f4 00000d92: DUP1 00000d93: PUSH2 0x00ee 00000d96: PUSH1 0x00 00000d98: CODECOPY 00000d99: PUSH1 0x00 00000d9b: RETURN 00000d9c: STOP 00000d9d: PUSH1 0x60 00000d9f: PUSH1 0x40 00000da1: MSTORE 00000da2: PUSH1 0x04 00000da4: CALLDATASIZE 00000da5: LT 00000da6: PUSH2 0x0062 00000da9: JUMPI 00000daa: PUSH1 0x00 00000dac: CALLDATALOAD 00000dad: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000dcb: SWAP1 00000dcc: DIV 00000dcd: PUSH4 0xffffffff 00000dd2: AND 00000dd3: DUP1 00000dd4: PUSH4 0x0f24f5c8 00000dd9: EQ 00000dda: PUSH2 0x0064 00000ddd: JUMPI 00000dde: DUP1 00000ddf: PUSH4 0x3cebb823 00000de4: EQ 00000de5: PUSH2 0x00a6 00000de8: JUMPI 00000de9: DUP1 00000dea: PUSH4 0xce3f865f 00000def: EQ 00000df0: PUSH2 0x00df 00000df3: JUMPI 00000df4: DUP1 00000df5: PUSH4 0xf77c4791 00000dfa: EQ 00000dfb: PUSH2 0x0102 00000dfe: JUMPI 00000dff: JUMPDEST 00000e00: STOP 00000e01: JUMPDEST 00000e02: CALLVALUE 00000e03: ISZERO 00000e04: PUSH2 0x006f 00000e07: JUMPI 00000e08: PUSH1 0x00 00000e0a: DUP1 00000e0b: REVERT 00000e0c: JUMPDEST 00000e0d: PUSH2 0x00a4 00000e10: PUSH1 0x04 00000e12: DUP1 00000e13: DUP1 00000e14: CALLDATALOAD 00000e15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2a: AND 00000e2b: SWAP1 00000e2c: PUSH1 0x20 00000e2e: ADD 00000e2f: SWAP1 00000e30: SWAP2 00000e31: SWAP1 00000e32: DUP1 00000e33: CALLDATALOAD 00000e34: SWAP1 00000e35: PUSH1 0x20 00000e37: ADD 00000e38: SWAP1 00000e39: SWAP2 00000e3a: SWAP1 00000e3b: POP 00000e3c: POP 00000e3d: PUSH2 0x0157 00000e40: JUMP 00000e41: JUMPDEST 00000e42: STOP 00000e43: JUMPDEST 00000e44: CALLVALUE 00000e45: ISZERO 00000e46: PUSH2 0x00b1 00000e49: JUMPI 00000e4a: PUSH1 0x00 00000e4c: DUP1 00000e4d: REVERT 00000e4e: JUMPDEST 00000e4f: PUSH2 0x00dd 00000e52: PUSH1 0x04 00000e54: DUP1 00000e55: DUP1 00000e56: CALLDATALOAD 00000e57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6c: AND 00000e6d: SWAP1 00000e6e: PUSH1 0x20 00000e70: ADD 00000e71: SWAP1 00000e72: SWAP2 00000e73: SWAP1 00000e74: POP 00000e75: POP 00000e76: PUSH2 0x042b 00000e79: JUMP 00000e7a: JUMPDEST 00000e7b: STOP 00000e7c: JUMPDEST 00000e7d: CALLVALUE 00000e7e: ISZERO 00000e7f: PUSH2 0x00ea 00000e82: JUMPI 00000e83: PUSH1 0x00 00000e85: DUP1 00000e86: REVERT 00000e87: JUMPDEST 00000e88: PUSH2 0x0100 00000e8b: PUSH1 0x04 00000e8d: DUP1 00000e8e: DUP1 00000e8f: CALLDATALOAD 00000e90: SWAP1 00000e91: PUSH1 0x20 00000e93: ADD 00000e94: SWAP1 00000e95: SWAP2 00000e96: SWAP1 00000e97: POP 00000e98: POP 00000e99: PUSH2 0x04c9 00000e9c: JUMP 00000e9d: JUMPDEST 00000e9e: STOP 00000e9f: JUMPDEST 00000ea0: CALLVALUE 00000ea1: ISZERO 00000ea2: PUSH2 0x010d 00000ea5: JUMPI 00000ea6: PUSH1 0x00 00000ea8: DUP1 00000ea9: REVERT 00000eaa: JUMPDEST 00000eab: PUSH2 0x0115 00000eae: PUSH2 0x06a3 00000eb1: JUMP 00000eb2: JUMPDEST 00000eb3: PUSH1 0x40 00000eb5: MLOAD 00000eb6: DUP1 00000eb7: DUP3 00000eb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ecd: AND 00000ece: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee3: AND 00000ee4: DUP2 00000ee5: MSTORE 00000ee6: PUSH1 0x20 00000ee8: ADD 00000ee9: SWAP2 00000eea: POP 00000eeb: POP 00000eec: PUSH1 0x40 00000eee: MLOAD 00000eef: DUP1 00000ef0: SWAP2 00000ef1: SUB 00000ef2: SWAP1 00000ef3: RETURN 00000ef4: JUMPDEST 00000ef5: PUSH1 0x00 00000ef7: DUP1 00000ef8: SWAP1 00000ef9: SLOAD 00000efa: SWAP1 00000efb: PUSH2 0x0100 00000efe: EXP 00000eff: SWAP1 00000f00: DIV 00000f01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f16: AND 00000f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2c: AND 00000f2d: CALLER 00000f2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f43: AND 00000f44: EQ 00000f45: ISZERO 00000f46: ISZERO 00000f47: PUSH2 0x01b2 00000f4a: JUMPI 00000f4b: PUSH1 0x00 00000f4d: DUP1 00000f4e: REVERT 00000f4f: JUMPDEST 00000f50: DUP2 00000f51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f66: AND 00000f67: PUSH4 0xa9059cbb 00000f6c: PUSH1 0x01 00000f6e: PUSH1 0x00 00000f70: SWAP1 00000f71: SLOAD 00000f72: SWAP1 00000f73: PUSH2 0x0100 00000f76: EXP 00000f77: SWAP1 00000f78: DIV 00000f79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f8e: AND 00000f8f: DUP4 00000f90: PUSH1 0x00 00000f92: PUSH1 0x40 00000f94: MLOAD 00000f95: PUSH1 0x20 00000f97: ADD 00000f98: MSTORE 00000f99: PUSH1 0x40 00000f9b: MLOAD 00000f9c: DUP4 00000f9d: PUSH4 0xffffffff 00000fa2: AND 00000fa3: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000fc1: MUL 00000fc2: DUP2 00000fc3: MSTORE 00000fc4: PUSH1 0x04 00000fc6: ADD 00000fc7: DUP1 00000fc8: DUP4 00000fc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fde: AND 00000fdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff4: AND 00000ff5: DUP2 00000ff6: MSTORE 00000ff7: PUSH1 0x20 00000ff9: ADD 00000ffa: DUP3 00000ffb: DUP2 00000ffc: MSTORE 00000ffd: PUSH1 0x20 00000fff: ADD 00001000: SWAP3 00001001: POP 00001002: POP 00001003: POP 00001004: PUSH1 0x20 00001006: PUSH1 0x40 00001008: MLOAD 00001009: DUP1 0000100a: DUP4 0000100b: SUB 0000100c: DUP2 0000100d: PUSH1 0x00 0000100f: DUP8 00001010: DUP1 00001011: EXTCODESIZE 00001012: ISZERO 00001013: ISZERO 00001014: PUSH2 0x027f 00001017: JUMPI 00001018: PUSH1 0x00 0000101a: DUP1 0000101b: REVERT 0000101c: JUMPDEST 0000101d: PUSH2 0x02c6 00001020: GAS 00001021: SUB 00001022: CALL 00001023: ISZERO 00001024: ISZERO 00001025: PUSH2 0x0290 00001028: JUMPI 00001029: PUSH1 0x00 0000102b: DUP1 0000102c: REVERT 0000102d: JUMPDEST 0000102e: POP 0000102f: POP 00001030: POP 00001031: PUSH1 0x40 00001033: MLOAD 00001034: DUP1 00001035: MLOAD 00001036: SWAP1 00001037: POP 00001038: ISZERO 00001039: PUSH2 0x0365 0000103c: JUMPI 0000103d: PUSH32 0x6061ea9d0c0fdeeec460ee910083c8602bbc3146855db158f07b08658b2c8966 0000105e: PUSH1 0x01 00001060: PUSH1 0x00 00001062: SWAP1 00001063: SLOAD 00001064: SWAP1 00001065: PUSH2 0x0100 00001068: EXP 00001069: SWAP1 0000106a: DIV 0000106b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001080: AND 00001081: DUP3 00001082: DUP5 00001083: PUSH1 0x40 00001085: MLOAD 00001086: DUP1 00001087: DUP5 00001088: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109d: AND 0000109e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b3: AND 000010b4: DUP2 000010b5: MSTORE 000010b6: PUSH1 0x20 000010b8: ADD 000010b9: DUP4 000010ba: DUP2 000010bb: MSTORE 000010bc: PUSH1 0x20 000010be: ADD 000010bf: DUP3 000010c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d5: AND 000010d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010eb: AND 000010ec: DUP2 000010ed: MSTORE 000010ee: PUSH1 0x20 000010f0: ADD 000010f1: SWAP4 000010f2: POP 000010f3: POP 000010f4: POP 000010f5: POP 000010f6: PUSH1 0x40 000010f8: MLOAD 000010f9: DUP1 000010fa: SWAP2 000010fb: SUB 000010fc: SWAP1 000010fd: LOG1 000010fe: PUSH2 0x0427 00001101: JUMP 00001102: JUMPDEST 00001103: PUSH32 0xece398e3b6ddd70196407914a6d10a866df7f660c2dcd20d571bc2b726779185 00001124: PUSH1 0x01 00001126: PUSH1 0x00 00001128: SWAP1 00001129: SLOAD 0000112a: SWAP1 0000112b: PUSH2 0x0100 0000112e: EXP 0000112f: SWAP1 00001130: DIV 00001131: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001146: AND 00001147: DUP3 00001148: DUP5 00001149: PUSH1 0x40 0000114b: MLOAD 0000114c: DUP1 0000114d: DUP5 0000114e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001163: AND 00001164: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001179: AND 0000117a: DUP2 0000117b: MSTORE 0000117c: PUSH1 0x20 0000117e: ADD 0000117f: DUP4 00001180: DUP2 00001181: MSTORE 00001182: PUSH1 0x20 00001184: ADD 00001185: DUP3 00001186: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000119b: AND 0000119c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b1: AND 000011b2: DUP2 000011b3: MSTORE 000011b4: PUSH1 0x20 000011b6: ADD 000011b7: SWAP4 000011b8: POP 000011b9: POP 000011ba: POP 000011bb: POP 000011bc: PUSH1 0x40 000011be: MLOAD 000011bf: DUP1 000011c0: SWAP2 000011c1: SUB 000011c2: SWAP1 000011c3: LOG1 000011c4: JUMPDEST 000011c5: POP 000011c6: POP 000011c7: JUMP 000011c8: JUMPDEST 000011c9: PUSH1 0x00 000011cb: DUP1 000011cc: SWAP1 000011cd: SLOAD 000011ce: SWAP1 000011cf: PUSH2 0x0100 000011d2: EXP 000011d3: SWAP1 000011d4: DIV 000011d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ea: AND 000011eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001200: AND 00001201: CALLER 00001202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001217: AND 00001218: EQ 00001219: ISZERO 0000121a: ISZERO 0000121b: PUSH2 0x0486 0000121e: JUMPI 0000121f: PUSH1 0x00 00001221: DUP1 00001222: REVERT 00001223: JUMPDEST 00001224: DUP1 00001225: PUSH1 0x00 00001227: DUP1 00001228: PUSH2 0x0100 0000122b: EXP 0000122c: DUP2 0000122d: SLOAD 0000122e: DUP2 0000122f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001244: MUL 00001245: NOT 00001246: AND 00001247: SWAP1 00001248: DUP4 00001249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125e: AND 0000125f: MUL 00001260: OR 00001261: SWAP1 00001262: SSTORE 00001263: POP 00001264: POP 00001265: JUMP 00001266: JUMPDEST 00001267: PUSH1 0x00 00001269: DUP1 0000126a: SWAP1 0000126b: SLOAD 0000126c: SWAP1 0000126d: PUSH2 0x0100 00001270: EXP 00001271: SWAP1 00001272: DIV 00001273: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001288: AND 00001289: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000129e: AND 0000129f: CALLER 000012a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b5: AND 000012b6: EQ 000012b7: ISZERO 000012b8: ISZERO 000012b9: PUSH2 0x0524 000012bc: JUMPI 000012bd: PUSH1 0x00 000012bf: DUP1 000012c0: REVERT 000012c1: JUMPDEST 000012c2: PUSH1 0x01 000012c4: PUSH1 0x00 000012c6: SWAP1 000012c7: SLOAD 000012c8: SWAP1 000012c9: PUSH2 0x0100 000012cc: EXP 000012cd: SWAP1 000012ce: DIV 000012cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e4: AND 000012e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012fa: AND 000012fb: PUSH2 0x08fc 000012fe: DUP3 000012ff: SWAP1 00001300: DUP2 00001301: ISZERO 00001302: MUL 00001303: SWAP1 00001304: PUSH1 0x40 00001306: MLOAD 00001307: PUSH1 0x00 00001309: PUSH1 0x40 0000130b: MLOAD 0000130c: DUP1 0000130d: DUP4 0000130e: SUB 0000130f: DUP2 00001310: DUP6 00001311: DUP9 00001312: DUP9 00001313: CALL 00001314: SWAP4 00001315: POP 00001316: POP 00001317: POP 00001318: POP 00001319: ISZERO 0000131a: PUSH2 0x0612 0000131d: JUMPI 0000131e: PUSH32 0x2af97bbd758145073459f9d7da67411d6321d4b939fdf5962128a8fd5b436126 0000133f: PUSH1 0x01 00001341: PUSH1 0x00 00001343: SWAP1 00001344: SLOAD 00001345: SWAP1 00001346: PUSH2 0x0100 00001349: EXP 0000134a: SWAP1 0000134b: DIV 0000134c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001361: AND 00001362: DUP3 00001363: PUSH1 0x40 00001365: MLOAD 00001366: DUP1 00001367: DUP4 00001368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000137d: AND 0000137e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001393: AND 00001394: DUP2 00001395: MSTORE 00001396: PUSH1 0x20 00001398: ADD 00001399: DUP3 0000139a: DUP2 0000139b: MSTORE 0000139c: PUSH1 0x20 0000139e: ADD 0000139f: SWAP3 000013a0: POP 000013a1: POP 000013a2: POP 000013a3: PUSH1 0x40 000013a5: MLOAD 000013a6: DUP1 000013a7: SWAP2 000013a8: SUB 000013a9: SWAP1 000013aa: LOG1 000013ab: PUSH2 0x06a0 000013ae: JUMP 000013af: JUMPDEST 000013b0: PUSH32 0xfaad9d4a082dbdcf39f6eb75fa9ccf32a1851c4c5978d7d5c34e0636fda6da35 000013d1: PUSH1 0x01 000013d3: PUSH1 0x00 000013d5: SWAP1 000013d6: SLOAD 000013d7: SWAP1 000013d8: PUSH2 0x0100 000013db: EXP 000013dc: SWAP1 000013dd: DIV 000013de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f3: AND 000013f4: DUP3 000013f5: PUSH1 0x40 000013f7: MLOAD 000013f8: DUP1 000013f9: DUP4 000013fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140f: AND 00001410: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001425: AND 00001426: DUP2 00001427: MSTORE 00001428: PUSH1 0x20 0000142a: ADD 0000142b: DUP3 0000142c: DUP2 0000142d: MSTORE 0000142e: PUSH1 0x20 00001430: ADD 00001431: SWAP3 00001432: POP 00001433: POP 00001434: POP 00001435: PUSH1 0x40 00001437: MLOAD 00001438: DUP1 00001439: SWAP2 0000143a: SUB 0000143b: SWAP1 0000143c: LOG1 0000143d: JUMPDEST 0000143e: POP 0000143f: JUMP 00001440: JUMPDEST 00001441: PUSH1 0x00 00001443: DUP1 00001444: SWAP1 00001445: SLOAD 00001446: SWAP1 00001447: PUSH2 0x0100 0000144a: EXP 0000144b: SWAP1 0000144c: DIV 0000144d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001462: AND 00001463: DUP2 00001464: JUMP 00001465: STOP 00001466: LOG1 00001467: PUSH6 0x627a7a723058 0000146e: KECCAK256 0000146f: UNKNOWN(0xDE) 00001470: STOP 00001471: LOG4 00001472: RETURNDATASIZE 00001473: UNKNOWN(0xAD) 00001474: UNKNOWN(0xB2) 00001475: PUSH17 0x1e0ffc1366f4d8477adc79ba107ccfb0db 00001487: UNKNOWN(0xEC) 00001488: UNKNOWN(0xA8) 00001489: UNKNOWN(0xE7) 0000148a: UNKNOWN(0xC8) 0000148b: TSTORE 0000148c: CLZ 0000148d: UNKNOWN(0xAE) 0000148e: DIV 0000148f: STOP 00001490: UNKNOWN(0x29) 00001491: LOG1 00001492: PUSH6 0x627a7a723058 00001499: KECCAK256 0000149a: LOG1 0000149b: MLOAD 0000149c: UNKNOWN(0xED) 0000149d: ISZERO 0000149e: UNKNOWN(0xDE) 0000149f: SIGNEXTEND 000014a0: UNKNOWN(0xAB) 000014a1: DUP9 000014a2: PUSH17 0xdd615eef76483bf9c3be8c47bd3a76cfc7 000014b4: UNKNOWN(0xE6) 000014b5: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xce4a39b77d5d970c99a51e7e77a1e3f9c94f418db59b8d36611987b6426d36bf
call_targets:
0x26f28c99dbdb024ab764b8a8e0790a3a0745311c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xce4a39b77d5d970c99a51e7e77a1e3f9c94f418db59b8d36611987b6426d36bf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x26f28c99dbdb024ab764b8a8e0790a3a0745311c"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f24f5c8",
"selector": "0x0f24f5c8",
"calldata_variants": [
"0x0f24f5c8",
"0x0f24f5c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2268a358",
"selector": "0x2268a358",
"calldata_variants": [
"0x2268a358",
"0x2268a3580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3cebb823",
"selector": "0x3cebb823",
"calldata_variants": [
"0x3cebb823",
"0x3cebb8230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4783c35b",
"selector": "0x4783c35b",
"calldata_variants": [
"0x4783c35b",
"0x4783c35b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1147,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2490,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4130,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 902,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1627,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1787,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1984,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2215,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2374,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2889,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3885,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4609,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4767,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xce4a39b77d5d970c99a51e7e77a1e3f9c94f418db59b8d36611987b6426d36bf
call_targets:
0x26f28c99dbdb024ab764b8a8e0790a3a0745311c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xce4a39b77d5d970c99a51e7e77a1e3f9c94f418db59b8d36611987b6426d36bf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x26f28c99dbdb024ab764b8a8e0790a3a0745311c"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f24f5c8",
"selector": "0x0f24f5c8",
"calldata_variants": [
"0x0f24f5c8",
"0x0f24f5c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2268a358",
"selector": "0x2268a358",
"calldata_variants": [
"0x2268a358",
"0x2268a3580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3cebb823",
"selector": "0x3cebb823",
"calldata_variants": [
"0x3cebb823",
"0x3cebb8230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4783c35b",
"selector": "0x4783c35b",
"calldata_variants": [
"0x4783c35b",
"0x4783c35b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1147,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2490,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4130,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 902,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1627,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1787,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1984,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2215,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2374,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2889,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3885,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4609,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4767,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x9067df9b0870ff18518369bbb4752f7c6837ed40556de1e84689b5a27cb42739
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 24,
"trace_id": "0x9067df9b0870ff18518369bbb4752f7c6837ed40556de1e84689b5a27cb42739",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f24f5c8",
"selector": "0x0f24f5c8",
"calldata_variants": [
"0x0f24f5c8",
"0x0f24f5c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2268a358",
"selector": "0x2268a358",
"calldata_variants": [
"0x2268a358",
"0x2268a3580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3cebb823",
"selector": "0x3cebb823",
"calldata_variants": [
"0x3cebb823",
"0x3cebb8230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4783c35b",
"selector": "0x4783c35b",
"calldata_variants": [
"0x4783c35b",
"0x4783c35b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|