019b477e-c179-72bb-bbf2-ce37f3af5bee
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 |
|---|---|---|---|---|
| 24865 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24866 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68674 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 68675 | capability.graph | complete | 1 / 3 | 1 week ago |
| 68676 | detector.run | complete | 1 / 3 | 1 week ago |
| 68677 | 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: PUSH3 0x000050 0000000d: JUMPI 0000000e: PUSH1 0x00 00000010: CALLDATALOAD 00000011: PUSH1 0xe0 00000013: SHR 00000014: DUP1 00000015: PUSH4 0x715018a6 0000001a: EQ 0000001b: PUSH3 0x000055 0000001f: JUMPI 00000020: DUP1 00000021: PUSH4 0x89ab50a7 00000026: EQ 00000027: PUSH3 0x00006f 0000002b: JUMPI 0000002c: DUP1 0000002d: PUSH4 0x8da5cb5b 00000032: EQ 00000033: PUSH3 0x00009d 00000037: JUMPI 00000038: DUP1 00000039: PUSH4 0xde99ba55 0000003e: EQ 0000003f: PUSH3 0x0000cd 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0xf2fde38b 0000004a: EQ 0000004b: PUSH3 0x0000d9 0000004f: JUMPI 00000050: JUMPDEST 00000051: PUSH1 0x00 00000053: DUP1 00000054: REVERT 00000055: JUMPDEST 00000056: CALLVALUE 00000057: DUP1 00000058: ISZERO 00000059: PUSH3 0x000062 0000005d: JUMPI 0000005e: PUSH1 0x00 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: POP 00000064: PUSH3 0x00006d 00000068: PUSH3 0x000107 0000006c: JUMP 0000006d: JUMPDEST 0000006e: STOP 0000006f: JUMPDEST 00000070: CALLVALUE 00000071: DUP1 00000072: ISZERO 00000073: PUSH3 0x00007c 00000077: JUMPI 00000078: PUSH1 0x00 0000007a: DUP1 0000007b: REVERT 0000007c: JUMPDEST 0000007d: POP 0000007e: PUSH3 0x00009b 00000082: PUSH1 0x04 00000084: DUP1 00000085: CALLDATASIZE 00000086: SUB 00000087: DUP2 00000088: ADD 00000089: SWAP1 0000008a: PUSH3 0x000095 0000008e: SWAP2 0000008f: SWAP1 00000090: PUSH3 0x000ad1 00000094: JUMP 00000095: JUMPDEST 00000096: PUSH3 0x000198 0000009a: JUMP 0000009b: JUMPDEST 0000009c: STOP 0000009d: JUMPDEST 0000009e: CALLVALUE 0000009f: DUP1 000000a0: ISZERO 000000a1: PUSH3 0x0000aa 000000a5: JUMPI 000000a6: PUSH1 0x00 000000a8: DUP1 000000a9: REVERT 000000aa: JUMPDEST 000000ab: POP 000000ac: PUSH3 0x0000b5 000000b0: PUSH3 0x00034e 000000b4: JUMP 000000b5: JUMPDEST 000000b6: PUSH1 0x40 000000b8: MLOAD 000000b9: PUSH3 0x0000c4 000000bd: SWAP2 000000be: SWAP1 000000bf: PUSH3 0x000cc9 000000c3: JUMP 000000c4: JUMPDEST 000000c5: PUSH1 0x40 000000c7: MLOAD 000000c8: DUP1 000000c9: SWAP2 000000ca: SUB 000000cb: SWAP1 000000cc: RETURN 000000cd: JUMPDEST 000000ce: PUSH3 0x0000d7 000000d2: PUSH3 0x000377 000000d6: JUMP 000000d7: JUMPDEST 000000d8: STOP 000000d9: JUMPDEST 000000da: CALLVALUE 000000db: DUP1 000000dc: ISZERO 000000dd: PUSH3 0x0000e6 000000e1: JUMPI 000000e2: PUSH1 0x00 000000e4: DUP1 000000e5: REVERT 000000e6: JUMPDEST 000000e7: POP 000000e8: PUSH3 0x000105 000000ec: PUSH1 0x04 000000ee: DUP1 000000ef: CALLDATASIZE 000000f0: SUB 000000f1: DUP2 000000f2: ADD 000000f3: SWAP1 000000f4: PUSH3 0x0000ff 000000f8: SWAP2 000000f9: SWAP1 000000fa: PUSH3 0x000a79 000000fe: JUMP 000000ff: JUMPDEST 00000100: PUSH3 0x0006ab 00000104: JUMP 00000105: JUMPDEST 00000106: STOP 00000107: JUMPDEST 00000108: PUSH3 0x000111 0000010c: PUSH3 0x0007af 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000127: AND 00000128: PUSH3 0x000131 0000012c: PUSH3 0x00034e 00000130: JUMP 00000131: JUMPDEST 00000132: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000147: AND 00000148: EQ 00000149: PUSH3 0x00018a 0000014d: JUMPI 0000014e: PUSH1 0x40 00000150: MLOAD 00000151: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000172: DUP2 00000173: MSTORE 00000174: PUSH1 0x04 00000176: ADD 00000177: PUSH3 0x000181 0000017b: SWAP1 0000017c: PUSH3 0x000d89 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH1 0x40 00000184: MLOAD 00000185: DUP1 00000186: SWAP2 00000187: SUB 00000188: SWAP1 00000189: REVERT 0000018a: JUMPDEST 0000018b: PUSH3 0x000196 0000018f: PUSH1 0x00 00000191: PUSH3 0x0007b7 00000195: JUMP 00000196: JUMPDEST 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH3 0x0001a2 0000019d: PUSH3 0x0007af 000001a1: JUMP 000001a2: JUMPDEST 000001a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b8: AND 000001b9: PUSH3 0x0001c2 000001bd: PUSH3 0x00034e 000001c1: JUMP 000001c2: JUMPDEST 000001c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d8: AND 000001d9: EQ 000001da: PUSH3 0x00021b 000001de: JUMPI 000001df: PUSH1 0x40 000001e1: MLOAD 000001e2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000203: DUP2 00000204: MSTORE 00000205: PUSH1 0x04 00000207: ADD 00000208: PUSH3 0x000212 0000020c: SWAP1 0000020d: PUSH3 0x000d89 00000211: JUMP 00000212: JUMPDEST 00000213: PUSH1 0x40 00000215: MLOAD 00000216: DUP1 00000217: SWAP2 00000218: SUB 00000219: SWAP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: PUSH1 0x00 0000021e: DUP4 0000021f: SWAP1 00000220: POP 00000221: JUMPDEST 00000222: DUP3 00000223: DUP2 00000224: GT 00000225: PUSH3 0x000347 00000229: JUMPI 0000022a: PUSH1 0x00 0000022c: DUP6 0000022d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000242: AND 00000243: PUSH4 0x6352211e 00000248: DUP4 00000249: PUSH1 0x40 0000024b: MLOAD 0000024c: DUP3 0000024d: PUSH4 0xffffffff 00000252: AND 00000253: PUSH1 0xe0 00000255: SHL 00000256: DUP2 00000257: MSTORE 00000258: PUSH1 0x04 0000025a: ADD 0000025b: PUSH3 0x000266 0000025f: SWAP2 00000260: SWAP1 00000261: PUSH3 0x000dab 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH1 0x20 00000269: PUSH1 0x40 0000026b: MLOAD 0000026c: DUP1 0000026d: DUP4 0000026e: SUB 0000026f: DUP2 00000270: DUP7 00000271: DUP1 00000272: EXTCODESIZE 00000273: ISZERO 00000274: DUP1 00000275: ISZERO 00000276: PUSH3 0x00027f 0000027a: JUMPI 0000027b: PUSH1 0x00 0000027d: DUP1 0000027e: REVERT 0000027f: JUMPDEST 00000280: POP 00000281: GAS 00000282: STATICCALL 00000283: ISZERO 00000284: DUP1 00000285: ISZERO 00000286: PUSH3 0x000294 0000028a: JUMPI 0000028b: RETURNDATASIZE 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: RETURNDATACOPY 00000290: RETURNDATASIZE 00000291: PUSH1 0x00 00000293: REVERT 00000294: JUMPDEST 00000295: POP 00000296: POP 00000297: POP 00000298: POP 00000299: PUSH1 0x40 0000029b: MLOAD 0000029c: RETURNDATASIZE 0000029d: PUSH1 0x1f 0000029f: NOT 000002a0: PUSH1 0x1f 000002a2: DUP3 000002a3: ADD 000002a4: AND 000002a5: DUP3 000002a6: ADD 000002a7: DUP1 000002a8: PUSH1 0x40 000002aa: MSTORE 000002ab: POP 000002ac: DUP2 000002ad: ADD 000002ae: SWAP1 000002af: PUSH3 0x0002ba 000002b3: SWAP2 000002b4: SWAP1 000002b5: PUSH3 0x000aa5 000002b9: JUMP 000002ba: JUMPDEST 000002bb: SWAP1 000002bc: POP 000002bd: DUP6 000002be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d3: AND 000002d4: PUSH4 0x23b872dd 000002d9: DUP3 000002da: DUP6 000002db: DUP6 000002dc: PUSH1 0x40 000002de: MLOAD 000002df: DUP5 000002e0: PUSH4 0xffffffff 000002e5: AND 000002e6: PUSH1 0xe0 000002e8: SHL 000002e9: DUP2 000002ea: MSTORE 000002eb: PUSH1 0x04 000002ed: ADD 000002ee: PUSH3 0x0002fb 000002f2: SWAP4 000002f3: SWAP3 000002f4: SWAP2 000002f5: SWAP1 000002f6: PUSH3 0x000ce6 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH1 0x00 000002fe: PUSH1 0x40 00000300: MLOAD 00000301: DUP1 00000302: DUP4 00000303: SUB 00000304: DUP2 00000305: PUSH1 0x00 00000307: DUP8 00000308: DUP1 00000309: EXTCODESIZE 0000030a: ISZERO 0000030b: DUP1 0000030c: ISZERO 0000030d: PUSH3 0x000316 00000311: JUMPI 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: POP 00000318: GAS 00000319: CALL 0000031a: ISZERO 0000031b: DUP1 0000031c: ISZERO 0000031d: PUSH3 0x00032b 00000321: JUMPI 00000322: RETURNDATASIZE 00000323: PUSH1 0x00 00000325: DUP1 00000326: RETURNDATACOPY 00000327: RETURNDATASIZE 00000328: PUSH1 0x00 0000032a: REVERT 0000032b: JUMPDEST 0000032c: POP 0000032d: POP 0000032e: POP 0000032f: POP 00000330: POP 00000331: PUSH1 0x01 00000333: DUP2 00000334: PUSH3 0x00033f 00000338: SWAP2 00000339: SWAP1 0000033a: PUSH3 0x000e0d 0000033e: JUMP 0000033f: JUMPDEST 00000340: SWAP1 00000341: POP 00000342: PUSH3 0x000221 00000346: JUMP 00000347: JUMPDEST 00000348: POP 00000349: POP 0000034a: POP 0000034b: POP 0000034c: POP 0000034d: JUMP 0000034e: JUMPDEST 0000034f: PUSH1 0x00 00000351: DUP1 00000352: PUSH1 0x00 00000354: SWAP1 00000355: SLOAD 00000356: SWAP1 00000357: PUSH2 0x0100 0000035a: EXP 0000035b: SWAP1 0000035c: DIV 0000035d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000372: AND 00000373: SWAP1 00000374: POP 00000375: SWAP1 00000376: JUMP 00000377: JUMPDEST 00000378: PUSH3 0x000381 0000037c: PUSH3 0x0007af 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000397: AND 00000398: PUSH3 0x0003a1 0000039c: PUSH3 0x00034e 000003a0: JUMP 000003a1: JUMPDEST 000003a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b7: AND 000003b8: EQ 000003b9: PUSH3 0x0003fa 000003bd: JUMPI 000003be: PUSH1 0x40 000003c0: MLOAD 000003c1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003e2: DUP2 000003e3: MSTORE 000003e4: PUSH1 0x04 000003e6: ADD 000003e7: PUSH3 0x0003f1 000003eb: SWAP1 000003ec: PUSH3 0x000d89 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: DUP1 000003f6: SWAP2 000003f7: SUB 000003f8: SWAP1 000003f9: REVERT 000003fa: JUMPDEST 000003fb: PUSH1 0x00 000003fd: PUSH20 0x315bc085a14e251f129a361afa37205e3313bf15 00000412: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000427: AND 00000428: PUSH4 0xcea943ee 0000042d: PUSH1 0x40 0000042f: MLOAD 00000430: DUP2 00000431: PUSH4 0xffffffff 00000436: AND 00000437: PUSH1 0xe0 00000439: SHL 0000043a: DUP2 0000043b: MSTORE 0000043c: PUSH1 0x04 0000043e: ADD 0000043f: PUSH1 0x80 00000441: PUSH1 0x40 00000443: MLOAD 00000444: DUP1 00000445: DUP4 00000446: SUB 00000447: DUP2 00000448: PUSH1 0x00 0000044a: DUP8 0000044b: DUP1 0000044c: EXTCODESIZE 0000044d: ISZERO 0000044e: DUP1 0000044f: ISZERO 00000450: PUSH3 0x000459 00000454: JUMPI 00000455: PUSH1 0x00 00000457: DUP1 00000458: REVERT 00000459: JUMPDEST 0000045a: POP 0000045b: GAS 0000045c: CALL 0000045d: ISZERO 0000045e: DUP1 0000045f: ISZERO 00000460: PUSH3 0x00046e 00000464: JUMPI 00000465: RETURNDATASIZE 00000466: PUSH1 0x00 00000468: DUP1 00000469: RETURNDATACOPY 0000046a: RETURNDATASIZE 0000046b: PUSH1 0x00 0000046d: REVERT 0000046e: JUMPDEST 0000046f: POP 00000470: POP 00000471: POP 00000472: POP 00000473: PUSH1 0x40 00000475: MLOAD 00000476: RETURNDATASIZE 00000477: PUSH1 0x1f 00000479: NOT 0000047a: PUSH1 0x1f 0000047c: DUP3 0000047d: ADD 0000047e: AND 0000047f: DUP3 00000480: ADD 00000481: DUP1 00000482: PUSH1 0x40 00000484: MSTORE 00000485: POP 00000486: DUP2 00000487: ADD 00000488: SWAP1 00000489: PUSH3 0x000494 0000048d: SWAP2 0000048e: SWAP1 0000048f: PUSH3 0x000b3d 00000493: JUMP 00000494: JUMPDEST 00000495: SWAP1 00000496: POP 00000497: PUSH1 0x00 00000499: PUSH20 0x9c57d0278199c931cf149cc769f37bb7847091e7 000004ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c3: AND 000004c4: PUSH4 0x18160ddd 000004c9: PUSH1 0x40 000004cb: MLOAD 000004cc: DUP2 000004cd: PUSH4 0xffffffff 000004d2: AND 000004d3: PUSH1 0xe0 000004d5: SHL 000004d6: DUP2 000004d7: MSTORE 000004d8: PUSH1 0x04 000004da: ADD 000004db: PUSH1 0x20 000004dd: PUSH1 0x40 000004df: MLOAD 000004e0: DUP1 000004e1: DUP4 000004e2: SUB 000004e3: DUP2 000004e4: DUP7 000004e5: DUP1 000004e6: EXTCODESIZE 000004e7: ISZERO 000004e8: DUP1 000004e9: ISZERO 000004ea: PUSH3 0x0004f3 000004ee: JUMPI 000004ef: PUSH1 0x00 000004f1: DUP1 000004f2: REVERT 000004f3: JUMPDEST 000004f4: POP 000004f5: GAS 000004f6: STATICCALL 000004f7: ISZERO 000004f8: DUP1 000004f9: ISZERO 000004fa: PUSH3 0x000508 000004fe: JUMPI 000004ff: RETURNDATASIZE 00000500: PUSH1 0x00 00000502: DUP1 00000503: RETURNDATACOPY 00000504: RETURNDATASIZE 00000505: PUSH1 0x00 00000507: REVERT 00000508: JUMPDEST 00000509: POP 0000050a: POP 0000050b: POP 0000050c: POP 0000050d: PUSH1 0x40 0000050f: MLOAD 00000510: RETURNDATASIZE 00000511: PUSH1 0x1f 00000513: NOT 00000514: PUSH1 0x1f 00000516: DUP3 00000517: ADD 00000518: AND 00000519: DUP3 0000051a: ADD 0000051b: DUP1 0000051c: PUSH1 0x40 0000051e: MSTORE 0000051f: POP 00000520: DUP2 00000521: ADD 00000522: SWAP1 00000523: PUSH3 0x00052e 00000527: SWAP2 00000528: SWAP1 00000529: PUSH3 0x000b69 0000052d: JUMP 0000052e: JUMPDEST 0000052f: SWAP1 00000530: POP 00000531: PUSH1 0x00 00000533: DUP2 00000534: DUP4 00000535: PUSH1 0x60 00000537: ADD 00000538: MLOAD 00000539: PUSH8 0xffffffffffffffff 00000542: AND 00000543: PUSH3 0x00054e 00000547: SWAP2 00000548: SWAP1 00000549: PUSH3 0x000f03 0000054d: JUMP 0000054e: JUMPDEST 0000054f: SWAP1 00000550: POP 00000551: PUSH1 0x00 00000553: DUP2 00000554: EQ 00000555: ISZERO 00000556: PUSH3 0x000563 0000055a: JUMPI 0000055b: POP 0000055c: POP 0000055d: POP 0000055e: PUSH3 0x0006a9 00000562: JUMP 00000563: JUMPDEST 00000564: PUSH1 0x00 00000566: TIMESTAMP 00000567: SWAP1 00000568: POP 00000569: DUP4 0000056a: PUSH1 0x20 0000056c: ADD 0000056d: MLOAD 0000056e: PUSH8 0xffffffffffffffff 00000577: AND 00000578: DUP2 00000579: LT 0000057a: DUP1 0000057b: PUSH3 0x000592 0000057f: JUMPI 00000580: POP 00000581: DUP4 00000582: PUSH1 0x40 00000584: ADD 00000585: MLOAD 00000586: PUSH8 0xffffffffffffffff 0000058f: AND 00000590: DUP2 00000591: GT 00000592: JUMPDEST 00000593: ISZERO 00000594: PUSH3 0x0005a2 00000598: JUMPI 00000599: POP 0000059a: POP 0000059b: POP 0000059c: POP 0000059d: PUSH3 0x0006a9 000005a1: JUMP 000005a2: JUMPDEST 000005a3: PUSH1 0x00 000005a5: PUSH8 0x016345785d8a0000 000005ae: CALLVALUE 000005af: PUSH3 0x0005ba 000005b3: SWAP2 000005b4: SWAP1 000005b5: PUSH3 0x000e6a 000005b9: JUMP 000005ba: JUMPDEST 000005bb: SWAP1 000005bc: POP 000005bd: DUP3 000005be: DUP2 000005bf: GT 000005c0: ISZERO 000005c1: PUSH3 0x0005c9 000005c5: JUMPI 000005c6: DUP3 000005c7: SWAP1 000005c8: POP 000005c9: JUMPDEST 000005ca: PUSH1 0x00 000005cc: DUP1 000005cd: JUMPDEST 000005ce: PUSH1 0x05 000005d0: DUP3 000005d1: DUP5 000005d2: PUSH3 0x0005dd 000005d6: SWAP2 000005d7: SWAP1 000005d8: PUSH3 0x000f03 000005dc: JUMP 000005dd: JUMPDEST 000005de: LT 000005df: PUSH3 0x000673 000005e3: JUMPI 000005e4: PUSH1 0x00 000005e6: PUSH1 0x40 000005e8: MLOAD 000005e9: DUP1 000005ea: PUSH1 0x20 000005ec: ADD 000005ed: PUSH3 0x0005f7 000005f1: SWAP1 000005f2: PUSH3 0x000979 000005f6: JUMP 000005f7: JUMPDEST 000005f8: PUSH1 0x20 000005fa: DUP3 000005fb: ADD 000005fc: DUP2 000005fd: SUB 000005fe: DUP3 000005ff: MSTORE 00000600: PUSH1 0x1f 00000602: NOT 00000603: PUSH1 0x1f 00000605: DUP3 00000606: ADD 00000607: AND 00000608: PUSH1 0x40 0000060a: MSTORE 0000060b: POP 0000060c: SWAP1 0000060d: POP 0000060e: PUSH1 0x00 00000610: DUP4 00000611: DUP9 00000612: PUSH3 0x00061d 00000616: SWAP2 00000617: SWAP1 00000618: PUSH3 0x000e0d 0000061c: JUMP 0000061d: JUMPDEST 0000061e: PUSH1 0x40 00000620: MLOAD 00000621: PUSH1 0x20 00000623: ADD 00000624: PUSH3 0x00062f 00000628: SWAP2 00000629: SWAP1 0000062a: PUSH3 0x000cac 0000062e: JUMP 0000062f: JUMPDEST 00000630: PUSH1 0x40 00000632: MLOAD 00000633: PUSH1 0x20 00000635: DUP2 00000636: DUP4 00000637: SUB 00000638: SUB 00000639: DUP2 0000063a: MSTORE 0000063b: SWAP1 0000063c: PUSH1 0x40 0000063e: MSTORE 0000063f: DUP1 00000640: MLOAD 00000641: SWAP1 00000642: PUSH1 0x20 00000644: ADD 00000645: KECCAK256 00000646: SWAP1 00000647: POP 00000648: DUP1 00000649: DUP3 0000064a: MLOAD 0000064b: PUSH1 0x20 0000064d: DUP5 0000064e: ADD 0000064f: PUSH8 0x06f05b59d3b20000 00000658: CREATE2 00000659: SWAP3 0000065a: POP 0000065b: POP 0000065c: POP 0000065d: PUSH1 0x05 0000065f: DUP3 00000660: PUSH3 0x00066b 00000664: SWAP2 00000665: SWAP1 00000666: PUSH3 0x000e0d 0000066a: JUMP 0000066b: JUMPDEST 0000066c: SWAP2 0000066d: POP 0000066e: PUSH3 0x0005cd 00000672: JUMP 00000673: JUMPDEST 00000674: PUSH3 0x0006a1 00000678: CALLER 00000679: PUSH8 0x016345785d8a0000 00000682: DUP5 00000683: PUSH3 0x00068e 00000687: SWAP2 00000688: SWAP1 00000689: PUSH3 0x000ea2 0000068d: JUMP 0000068e: JUMPDEST 0000068f: CALLVALUE 00000690: PUSH3 0x00069b 00000694: SWAP2 00000695: SWAP1 00000696: PUSH3 0x000f03 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH3 0x00087b 000006a0: JUMP 000006a1: JUMPDEST 000006a2: POP 000006a3: POP 000006a4: POP 000006a5: POP 000006a6: POP 000006a7: POP 000006a8: POP 000006a9: JUMPDEST 000006aa: JUMP 000006ab: JUMPDEST 000006ac: PUSH3 0x0006b5 000006b0: PUSH3 0x0007af 000006b4: JUMP 000006b5: JUMPDEST 000006b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006cb: AND 000006cc: PUSH3 0x0006d5 000006d0: PUSH3 0x00034e 000006d4: JUMP 000006d5: JUMPDEST 000006d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006eb: AND 000006ec: EQ 000006ed: PUSH3 0x00072e 000006f1: JUMPI 000006f2: PUSH1 0x40 000006f4: MLOAD 000006f5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000716: DUP2 00000717: MSTORE 00000718: PUSH1 0x04 0000071a: ADD 0000071b: PUSH3 0x000725 0000071f: SWAP1 00000720: PUSH3 0x000d89 00000724: JUMP 00000725: JUMPDEST 00000726: PUSH1 0x40 00000728: MLOAD 00000729: DUP1 0000072a: SWAP2 0000072b: SUB 0000072c: SWAP1 0000072d: REVERT 0000072e: JUMPDEST 0000072f: PUSH1 0x00 00000731: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000746: AND 00000747: DUP2 00000748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075d: AND 0000075e: EQ 0000075f: ISZERO 00000760: PUSH3 0x0007a1 00000764: JUMPI 00000765: PUSH1 0x40 00000767: MLOAD 00000768: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000789: DUP2 0000078a: MSTORE 0000078b: PUSH1 0x04 0000078d: ADD 0000078e: PUSH3 0x000798 00000792: SWAP1 00000793: PUSH3 0x000d23 00000797: JUMP 00000798: JUMPDEST 00000799: PUSH1 0x40 0000079b: MLOAD 0000079c: DUP1 0000079d: SWAP2 0000079e: SUB 0000079f: SWAP1 000007a0: REVERT 000007a1: JUMPDEST 000007a2: PUSH3 0x0007ac 000007a6: DUP2 000007a7: PUSH3 0x0007b7 000007ab: JUMP 000007ac: JUMPDEST 000007ad: POP 000007ae: JUMP 000007af: JUMPDEST 000007b0: PUSH1 0x00 000007b2: CALLER 000007b3: SWAP1 000007b4: POP 000007b5: SWAP1 000007b6: JUMP 000007b7: JUMPDEST 000007b8: PUSH1 0x00 000007ba: DUP1 000007bb: PUSH1 0x00 000007bd: SWAP1 000007be: SLOAD 000007bf: SWAP1 000007c0: PUSH2 0x0100 000007c3: EXP 000007c4: SWAP1 000007c5: DIV 000007c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007db: AND 000007dc: SWAP1 000007dd: POP 000007de: DUP2 000007df: PUSH1 0x00 000007e1: DUP1 000007e2: PUSH2 0x0100 000007e5: EXP 000007e6: DUP2 000007e7: SLOAD 000007e8: DUP2 000007e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007fe: MUL 000007ff: NOT 00000800: AND 00000801: SWAP1 00000802: DUP4 00000803: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000818: AND 00000819: MUL 0000081a: OR 0000081b: SWAP1 0000081c: SSTORE 0000081d: POP 0000081e: DUP2 0000081f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000834: AND 00000835: DUP2 00000836: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084b: AND 0000084c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000086d: PUSH1 0x40 0000086f: MLOAD 00000870: PUSH1 0x40 00000872: MLOAD 00000873: DUP1 00000874: SWAP2 00000875: SUB 00000876: SWAP1 00000877: LOG3 00000878: POP 00000879: POP 0000087a: JUMP 0000087b: JUMPDEST 0000087c: DUP1 0000087d: SELFBALANCE 0000087e: LT 0000087f: ISZERO 00000880: PUSH3 0x0008c1 00000884: JUMPI 00000885: PUSH1 0x40 00000887: MLOAD 00000888: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008a9: DUP2 000008aa: MSTORE 000008ab: PUSH1 0x04 000008ad: ADD 000008ae: PUSH3 0x0008b8 000008b2: SWAP1 000008b3: PUSH3 0x000d67 000008b7: JUMP 000008b8: JUMPDEST 000008b9: PUSH1 0x40 000008bb: MLOAD 000008bc: DUP1 000008bd: SWAP2 000008be: SUB 000008bf: SWAP1 000008c0: REVERT 000008c1: JUMPDEST 000008c2: PUSH1 0x00 000008c4: DUP3 000008c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008da: AND 000008db: DUP3 000008dc: PUSH1 0x40 000008de: MLOAD 000008df: PUSH3 0x0008e9 000008e3: SWAP1 000008e4: PUSH3 0x000c95 000008e8: JUMP 000008e9: JUMPDEST 000008ea: PUSH1 0x00 000008ec: PUSH1 0x40 000008ee: MLOAD 000008ef: DUP1 000008f0: DUP4 000008f1: SUB 000008f2: DUP2 000008f3: DUP6 000008f4: DUP8 000008f5: GAS 000008f6: CALL 000008f7: SWAP3 000008f8: POP 000008f9: POP 000008fa: POP 000008fb: RETURNDATASIZE 000008fc: DUP1 000008fd: PUSH1 0x00 000008ff: DUP2 00000900: EQ 00000901: PUSH3 0x000928 00000905: JUMPI 00000906: PUSH1 0x40 00000908: MLOAD 00000909: SWAP2 0000090a: POP 0000090b: PUSH1 0x1f 0000090d: NOT 0000090e: PUSH1 0x3f 00000910: RETURNDATASIZE 00000911: ADD 00000912: AND 00000913: DUP3 00000914: ADD 00000915: PUSH1 0x40 00000917: MSTORE 00000918: RETURNDATASIZE 00000919: DUP3 0000091a: MSTORE 0000091b: RETURNDATASIZE 0000091c: PUSH1 0x00 0000091e: PUSH1 0x20 00000920: DUP5 00000921: ADD 00000922: RETURNDATACOPY 00000923: PUSH3 0x00092d 00000927: JUMP 00000928: JUMPDEST 00000929: PUSH1 0x60 0000092b: SWAP2 0000092c: POP 0000092d: JUMPDEST 0000092e: POP 0000092f: POP 00000930: SWAP1 00000931: POP 00000932: DUP1 00000933: PUSH3 0x000974 00000937: JUMPI 00000938: PUSH1 0x40 0000093a: MLOAD 0000093b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000095c: DUP2 0000095d: MSTORE 0000095e: PUSH1 0x04 00000960: ADD 00000961: PUSH3 0x00096b 00000965: SWAP1 00000966: PUSH3 0x000d45 0000096a: JUMP 0000096b: JUMPDEST 0000096c: PUSH1 0x40 0000096e: MLOAD 0000096f: DUP1 00000970: SWAP2 00000971: SUB 00000972: SWAP1 00000973: REVERT 00000974: JUMPDEST 00000975: POP 00000976: POP 00000977: POP 00000978: JUMP 00000979: JUMPDEST 0000097a: PUSH2 0x0198 0000097d: DUP1 0000097e: PUSH3 0x0011b0 00000982: DUP4 00000983: CODECOPY 00000984: ADD 00000985: SWAP1 00000986: JUMP 00000987: JUMPDEST 00000988: PUSH1 0x00 0000098a: DUP2 0000098b: CALLDATALOAD 0000098c: SWAP1 0000098d: POP 0000098e: PUSH3 0x000998 00000992: DUP2 00000993: PUSH3 0x001161 00000997: JUMP 00000998: JUMPDEST 00000999: SWAP3 0000099a: SWAP2 0000099b: POP 0000099c: POP 0000099d: JUMP 0000099e: JUMPDEST 0000099f: PUSH1 0x00 000009a1: DUP2 000009a2: MLOAD 000009a3: SWAP1 000009a4: POP 000009a5: PUSH3 0x0009af 000009a9: DUP2 000009aa: PUSH3 0x001161 000009ae: JUMP 000009af: JUMPDEST 000009b0: SWAP3 000009b1: SWAP2 000009b2: POP 000009b3: POP 000009b4: JUMP 000009b5: JUMPDEST 000009b6: PUSH1 0x00 000009b8: PUSH1 0x80 000009ba: DUP3 000009bb: DUP5 000009bc: SUB 000009bd: SLT 000009be: ISZERO 000009bf: PUSH3 0x0009c8 000009c3: JUMPI 000009c4: PUSH1 0x00 000009c6: DUP1 000009c7: REVERT 000009c8: JUMPDEST 000009c9: PUSH3 0x0009d4 000009cd: PUSH1 0x80 000009cf: PUSH3 0x000dc8 000009d3: JUMP 000009d4: JUMPDEST 000009d5: SWAP1 000009d6: POP 000009d7: PUSH1 0x00 000009d9: PUSH3 0x0009e6 000009dd: DUP5 000009de: DUP3 000009df: DUP6 000009e0: ADD 000009e1: PUSH3 0x000a62 000009e5: JUMP 000009e6: JUMPDEST 000009e7: PUSH1 0x00 000009e9: DUP4 000009ea: ADD 000009eb: MSTORE 000009ec: POP 000009ed: PUSH1 0x20 000009ef: PUSH3 0x0009fc 000009f3: DUP5 000009f4: DUP3 000009f5: DUP6 000009f6: ADD 000009f7: PUSH3 0x000a62 000009fb: JUMP 000009fc: JUMPDEST 000009fd: PUSH1 0x20 000009ff: DUP4 00000a00: ADD 00000a01: MSTORE 00000a02: POP 00000a03: PUSH1 0x40 00000a05: PUSH3 0x000a12 00000a09: DUP5 00000a0a: DUP3 00000a0b: DUP6 00000a0c: ADD 00000a0d: PUSH3 0x000a62 00000a11: JUMP 00000a12: JUMPDEST 00000a13: PUSH1 0x40 00000a15: DUP4 00000a16: ADD 00000a17: MSTORE 00000a18: POP 00000a19: PUSH1 0x60 00000a1b: PUSH3 0x000a28 00000a1f: DUP5 00000a20: DUP3 00000a21: DUP6 00000a22: ADD 00000a23: PUSH3 0x000a62 00000a27: JUMP 00000a28: JUMPDEST 00000a29: PUSH1 0x60 00000a2b: DUP4 00000a2c: ADD 00000a2d: MSTORE 00000a2e: POP 00000a2f: SWAP3 00000a30: SWAP2 00000a31: POP 00000a32: POP 00000a33: JUMP 00000a34: JUMPDEST 00000a35: PUSH1 0x00 00000a37: DUP2 00000a38: CALLDATALOAD 00000a39: SWAP1 00000a3a: POP 00000a3b: PUSH3 0x000a45 00000a3f: DUP2 00000a40: PUSH3 0x00117b 00000a44: JUMP 00000a45: JUMPDEST 00000a46: SWAP3 00000a47: SWAP2 00000a48: POP 00000a49: POP 00000a4a: JUMP 00000a4b: JUMPDEST 00000a4c: PUSH1 0x00 00000a4e: DUP2 00000a4f: MLOAD 00000a50: SWAP1 00000a51: POP 00000a52: PUSH3 0x000a5c 00000a56: DUP2 00000a57: PUSH3 0x00117b 00000a5b: JUMP 00000a5c: JUMPDEST 00000a5d: SWAP3 00000a5e: SWAP2 00000a5f: POP 00000a60: POP 00000a61: JUMP 00000a62: JUMPDEST 00000a63: PUSH1 0x00 00000a65: DUP2 00000a66: MLOAD 00000a67: SWAP1 00000a68: POP 00000a69: PUSH3 0x000a73 00000a6d: DUP2 00000a6e: PUSH3 0x001195 00000a72: JUMP 00000a73: JUMPDEST 00000a74: SWAP3 00000a75: SWAP2 00000a76: POP 00000a77: POP 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: PUSH1 0x00 00000a7c: PUSH1 0x20 00000a7e: DUP3 00000a7f: DUP5 00000a80: SUB 00000a81: SLT 00000a82: ISZERO 00000a83: PUSH3 0x000a8c 00000a87: JUMPI 00000a88: PUSH1 0x00 00000a8a: DUP1 00000a8b: REVERT 00000a8c: JUMPDEST 00000a8d: PUSH1 0x00 00000a8f: PUSH3 0x000a9c 00000a93: DUP5 00000a94: DUP3 00000a95: DUP6 00000a96: ADD 00000a97: PUSH3 0x000987 00000a9b: JUMP 00000a9c: JUMPDEST 00000a9d: SWAP2 00000a9e: POP 00000a9f: POP 00000aa0: SWAP3 00000aa1: SWAP2 00000aa2: POP 00000aa3: POP 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: PUSH1 0x00 00000aa8: PUSH1 0x20 00000aaa: DUP3 00000aab: DUP5 00000aac: SUB 00000aad: SLT 00000aae: ISZERO 00000aaf: PUSH3 0x000ab8 00000ab3: JUMPI 00000ab4: PUSH1 0x00 00000ab6: DUP1 00000ab7: REVERT 00000ab8: JUMPDEST 00000ab9: PUSH1 0x00 00000abb: PUSH3 0x000ac8 00000abf: DUP5 00000ac0: DUP3 00000ac1: DUP6 00000ac2: ADD 00000ac3: PUSH3 0x00099e 00000ac7: JUMP 00000ac8: JUMPDEST 00000ac9: SWAP2 00000aca: POP 00000acb: POP 00000acc: SWAP3 00000acd: SWAP2 00000ace: POP 00000acf: POP 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH1 0x00 00000ad4: DUP1 00000ad5: PUSH1 0x00 00000ad7: DUP1 00000ad8: PUSH1 0x80 00000ada: DUP6 00000adb: DUP8 00000adc: SUB 00000add: SLT 00000ade: ISZERO 00000adf: PUSH3 0x000ae8 00000ae3: JUMPI 00000ae4: PUSH1 0x00 00000ae6: DUP1 00000ae7: REVERT 00000ae8: JUMPDEST 00000ae9: PUSH1 0x00 00000aeb: PUSH3 0x000af8 00000aef: DUP8 00000af0: DUP3 00000af1: DUP9 00000af2: ADD 00000af3: PUSH3 0x000987 00000af7: JUMP 00000af8: JUMPDEST 00000af9: SWAP5 00000afa: POP 00000afb: POP 00000afc: PUSH1 0x20 00000afe: PUSH3 0x000b0b 00000b02: DUP8 00000b03: DUP3 00000b04: DUP9 00000b05: ADD 00000b06: PUSH3 0x000a34 00000b0a: JUMP 00000b0b: JUMPDEST 00000b0c: SWAP4 00000b0d: POP 00000b0e: POP 00000b0f: PUSH1 0x40 00000b11: PUSH3 0x000b1e 00000b15: DUP8 00000b16: DUP3 00000b17: DUP9 00000b18: ADD 00000b19: PUSH3 0x000a34 00000b1d: JUMP 00000b1e: JUMPDEST 00000b1f: SWAP3 00000b20: POP 00000b21: POP 00000b22: PUSH1 0x60 00000b24: PUSH3 0x000b31 00000b28: DUP8 00000b29: DUP3 00000b2a: DUP9 00000b2b: ADD 00000b2c: PUSH3 0x000987 00000b30: JUMP 00000b31: JUMPDEST 00000b32: SWAP2 00000b33: POP 00000b34: POP 00000b35: SWAP3 00000b36: SWAP6 00000b37: SWAP2 00000b38: SWAP5 00000b39: POP 00000b3a: SWAP3 00000b3b: POP 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: PUSH1 0x00 00000b40: PUSH1 0x80 00000b42: DUP3 00000b43: DUP5 00000b44: SUB 00000b45: SLT 00000b46: ISZERO 00000b47: PUSH3 0x000b50 00000b4b: JUMPI 00000b4c: PUSH1 0x00 00000b4e: DUP1 00000b4f: REVERT 00000b50: JUMPDEST 00000b51: PUSH1 0x00 00000b53: PUSH3 0x000b60 00000b57: DUP5 00000b58: DUP3 00000b59: DUP6 00000b5a: ADD 00000b5b: PUSH3 0x0009b5 00000b5f: JUMP 00000b60: JUMPDEST 00000b61: SWAP2 00000b62: POP 00000b63: POP 00000b64: SWAP3 00000b65: SWAP2 00000b66: POP 00000b67: POP 00000b68: JUMP 00000b69: JUMPDEST 00000b6a: PUSH1 0x00 00000b6c: PUSH1 0x20 00000b6e: DUP3 00000b6f: DUP5 00000b70: SUB 00000b71: SLT 00000b72: ISZERO 00000b73: PUSH3 0x000b7c 00000b77: JUMPI 00000b78: PUSH1 0x00 00000b7a: DUP1 00000b7b: REVERT 00000b7c: JUMPDEST 00000b7d: PUSH1 0x00 00000b7f: PUSH3 0x000b8c 00000b83: DUP5 00000b84: DUP3 00000b85: DUP6 00000b86: ADD 00000b87: PUSH3 0x000a4b 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: SWAP2 00000b8e: POP 00000b8f: POP 00000b90: SWAP3 00000b91: SWAP2 00000b92: POP 00000b93: POP 00000b94: JUMP 00000b95: JUMPDEST 00000b96: PUSH3 0x000ba0 00000b9a: DUP2 00000b9b: PUSH3 0x000f3e 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: DUP3 00000ba2: MSTORE 00000ba3: POP 00000ba4: POP 00000ba5: JUMP 00000ba6: JUMPDEST 00000ba7: PUSH1 0x00 00000ba9: PUSH3 0x000bb5 00000bad: PUSH1 0x26 00000baf: DUP4 00000bb0: PUSH3 0x000dfc 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: SWAP2 00000bb7: POP 00000bb8: PUSH3 0x000bc2 00000bbc: DUP3 00000bbd: PUSH3 0x00106e 00000bc1: JUMP 00000bc2: JUMPDEST 00000bc3: PUSH1 0x40 00000bc5: DUP3 00000bc6: ADD 00000bc7: SWAP1 00000bc8: POP 00000bc9: SWAP2 00000bca: SWAP1 00000bcb: POP 00000bcc: JUMP 00000bcd: JUMPDEST 00000bce: PUSH1 0x00 00000bd0: PUSH3 0x000bdc 00000bd4: PUSH1 0x3a 00000bd6: DUP4 00000bd7: PUSH3 0x000dfc 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: SWAP2 00000bde: POP 00000bdf: PUSH3 0x000be9 00000be3: DUP3 00000be4: PUSH3 0x0010bd 00000be8: JUMP 00000be9: JUMPDEST 00000bea: PUSH1 0x40 00000bec: DUP3 00000bed: ADD 00000bee: SWAP1 00000bef: POP 00000bf0: SWAP2 00000bf1: SWAP1 00000bf2: POP 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: PUSH1 0x00 00000bf7: PUSH3 0x000c03 00000bfb: PUSH1 0x1d 00000bfd: DUP4 00000bfe: PUSH3 0x000dfc 00000c02: JUMP 00000c03: JUMPDEST 00000c04: SWAP2 00000c05: POP 00000c06: PUSH3 0x000c10 00000c0a: DUP3 00000c0b: PUSH3 0x00110c 00000c0f: JUMP 00000c10: JUMPDEST 00000c11: PUSH1 0x20 00000c13: DUP3 00000c14: ADD 00000c15: SWAP1 00000c16: POP 00000c17: SWAP2 00000c18: SWAP1 00000c19: POP 00000c1a: JUMP 00000c1b: JUMPDEST 00000c1c: PUSH1 0x00 00000c1e: PUSH3 0x000c2a 00000c22: PUSH1 0x20 00000c24: DUP4 00000c25: PUSH3 0x000dfc 00000c29: JUMP 00000c2a: JUMPDEST 00000c2b: SWAP2 00000c2c: POP 00000c2d: PUSH3 0x000c37 00000c31: DUP3 00000c32: PUSH3 0x001135 00000c36: JUMP 00000c37: JUMPDEST 00000c38: PUSH1 0x20 00000c3a: DUP3 00000c3b: ADD 00000c3c: SWAP1 00000c3d: POP 00000c3e: SWAP2 00000c3f: SWAP1 00000c40: POP 00000c41: JUMP 00000c42: JUMPDEST 00000c43: PUSH1 0x00 00000c45: PUSH3 0x000c51 00000c49: PUSH1 0x00 00000c4b: DUP4 00000c4c: PUSH3 0x000df1 00000c50: JUMP 00000c51: JUMPDEST 00000c52: SWAP2 00000c53: POP 00000c54: PUSH3 0x000c5e 00000c58: DUP3 00000c59: PUSH3 0x00115e 00000c5d: JUMP 00000c5e: JUMPDEST 00000c5f: PUSH1 0x00 00000c61: DUP3 00000c62: ADD 00000c63: SWAP1 00000c64: POP 00000c65: SWAP2 00000c66: SWAP1 00000c67: POP 00000c68: JUMP 00000c69: JUMPDEST 00000c6a: PUSH3 0x000c74 00000c6e: DUP2 00000c6f: PUSH3 0x000f72 00000c73: JUMP 00000c74: JUMPDEST 00000c75: DUP3 00000c76: MSTORE 00000c77: POP 00000c78: POP 00000c79: JUMP 00000c7a: JUMPDEST 00000c7b: PUSH3 0x000c8f 00000c7f: PUSH3 0x000c89 00000c83: DUP3 00000c84: PUSH3 0x000f72 00000c88: JUMP 00000c89: JUMPDEST 00000c8a: PUSH3 0x000fc6 00000c8e: JUMP 00000c8f: JUMPDEST 00000c90: DUP3 00000c91: MSTORE 00000c92: POP 00000c93: POP 00000c94: JUMP 00000c95: JUMPDEST 00000c96: PUSH1 0x00 00000c98: PUSH3 0x000ca2 00000c9c: DUP3 00000c9d: PUSH3 0x000c42 00000ca1: JUMP 00000ca2: JUMPDEST 00000ca3: SWAP2 00000ca4: POP 00000ca5: DUP2 00000ca6: SWAP1 00000ca7: POP 00000ca8: SWAP2 00000ca9: SWAP1 00000caa: POP 00000cab: JUMP 00000cac: JUMPDEST 00000cad: PUSH1 0x00 00000caf: PUSH3 0x000cba 00000cb3: DUP3 00000cb4: DUP5 00000cb5: PUSH3 0x000c7a 00000cb9: JUMP 00000cba: JUMPDEST 00000cbb: PUSH1 0x20 00000cbd: DUP3 00000cbe: ADD 00000cbf: SWAP2 00000cc0: POP 00000cc1: DUP2 00000cc2: SWAP1 00000cc3: POP 00000cc4: SWAP3 00000cc5: SWAP2 00000cc6: POP 00000cc7: POP 00000cc8: JUMP 00000cc9: JUMPDEST 00000cca: PUSH1 0x00 00000ccc: PUSH1 0x20 00000cce: DUP3 00000ccf: ADD 00000cd0: SWAP1 00000cd1: POP 00000cd2: PUSH3 0x000ce0 00000cd6: PUSH1 0x00 00000cd8: DUP4 00000cd9: ADD 00000cda: DUP5 00000cdb: PUSH3 0x000b95 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: SWAP3 00000ce2: SWAP2 00000ce3: POP 00000ce4: POP 00000ce5: JUMP 00000ce6: JUMPDEST 00000ce7: PUSH1 0x00 00000ce9: PUSH1 0x60 00000ceb: DUP3 00000cec: ADD 00000ced: SWAP1 00000cee: POP 00000cef: PUSH3 0x000cfd 00000cf3: PUSH1 0x00 00000cf5: DUP4 00000cf6: ADD 00000cf7: DUP7 00000cf8: PUSH3 0x000b95 00000cfc: JUMP 00000cfd: JUMPDEST 00000cfe: PUSH3 0x000d0c 00000d02: PUSH1 0x20 00000d04: DUP4 00000d05: ADD 00000d06: DUP6 00000d07: PUSH3 0x000b95 00000d0b: JUMP 00000d0c: JUMPDEST 00000d0d: PUSH3 0x000d1b 00000d11: PUSH1 0x40 00000d13: DUP4 00000d14: ADD 00000d15: DUP5 00000d16: PUSH3 0x000c69 00000d1a: JUMP 00000d1b: JUMPDEST 00000d1c: SWAP5 00000d1d: SWAP4 00000d1e: POP 00000d1f: POP 00000d20: POP 00000d21: POP 00000d22: JUMP 00000d23: JUMPDEST 00000d24: PUSH1 0x00 00000d26: PUSH1 0x20 00000d28: DUP3 00000d29: ADD 00000d2a: SWAP1 00000d2b: POP 00000d2c: DUP2 00000d2d: DUP2 00000d2e: SUB 00000d2f: PUSH1 0x00 00000d31: DUP4 00000d32: ADD 00000d33: MSTORE 00000d34: PUSH3 0x000d3e 00000d38: DUP2 00000d39: PUSH3 0x000ba6 00000d3d: JUMP 00000d3e: JUMPDEST 00000d3f: SWAP1 00000d40: POP 00000d41: SWAP2 00000d42: SWAP1 00000d43: POP 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH1 0x00 00000d48: PUSH1 0x20 00000d4a: DUP3 00000d4b: ADD 00000d4c: SWAP1 00000d4d: POP 00000d4e: DUP2 00000d4f: DUP2 00000d50: SUB 00000d51: PUSH1 0x00 00000d53: DUP4 00000d54: ADD 00000d55: MSTORE 00000d56: PUSH3 0x000d60 00000d5a: DUP2 00000d5b: PUSH3 0x000bcd 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: SWAP1 00000d62: POP 00000d63: SWAP2 00000d64: SWAP1 00000d65: POP 00000d66: JUMP 00000d67: JUMPDEST 00000d68: PUSH1 0x00 00000d6a: PUSH1 0x20 00000d6c: DUP3 00000d6d: ADD 00000d6e: SWAP1 00000d6f: POP 00000d70: DUP2 00000d71: DUP2 00000d72: SUB 00000d73: PUSH1 0x00 00000d75: DUP4 00000d76: ADD 00000d77: MSTORE 00000d78: PUSH3 0x000d82 00000d7c: DUP2 00000d7d: PUSH3 0x000bf4 00000d81: JUMP 00000d82: JUMPDEST 00000d83: SWAP1 00000d84: POP 00000d85: SWAP2 00000d86: SWAP1 00000d87: POP 00000d88: JUMP 00000d89: JUMPDEST 00000d8a: PUSH1 0x00 00000d8c: PUSH1 0x20 00000d8e: DUP3 00000d8f: ADD 00000d90: SWAP1 00000d91: POP 00000d92: DUP2 00000d93: DUP2 00000d94: SUB 00000d95: PUSH1 0x00 00000d97: DUP4 00000d98: ADD 00000d99: MSTORE 00000d9a: PUSH3 0x000da4 00000d9e: DUP2 00000d9f: PUSH3 0x000c1b 00000da3: JUMP 00000da4: JUMPDEST 00000da5: SWAP1 00000da6: POP 00000da7: SWAP2 00000da8: SWAP1 00000da9: POP 00000daa: JUMP 00000dab: JUMPDEST 00000dac: PUSH1 0x00 00000dae: PUSH1 0x20 00000db0: DUP3 00000db1: ADD 00000db2: SWAP1 00000db3: POP 00000db4: PUSH3 0x000dc2 00000db8: PUSH1 0x00 00000dba: DUP4 00000dbb: ADD 00000dbc: DUP5 00000dbd: PUSH3 0x000c69 00000dc1: JUMP 00000dc2: JUMPDEST 00000dc3: SWAP3 00000dc4: SWAP2 00000dc5: POP 00000dc6: POP 00000dc7: JUMP 00000dc8: JUMPDEST 00000dc9: PUSH1 0x00 00000dcb: PUSH3 0x000dd4 00000dcf: PUSH3 0x000de7 00000dd3: JUMP 00000dd4: JUMPDEST 00000dd5: SWAP1 00000dd6: POP 00000dd7: PUSH3 0x000de2 00000ddb: DUP3 00000ddc: DUP3 00000ddd: PUSH3 0x000f90 00000de1: JUMP 00000de2: JUMPDEST 00000de3: SWAP2 00000de4: SWAP1 00000de5: POP 00000de6: JUMP 00000de7: JUMPDEST 00000de8: PUSH1 0x00 00000dea: PUSH1 0x40 00000dec: MLOAD 00000ded: SWAP1 00000dee: POP 00000def: SWAP1 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH1 0x00 00000df4: DUP2 00000df5: SWAP1 00000df6: POP 00000df7: SWAP3 00000df8: SWAP2 00000df9: POP 00000dfa: POP 00000dfb: JUMP 00000dfc: JUMPDEST 00000dfd: PUSH1 0x00 00000dff: DUP3 00000e00: DUP3 00000e01: MSTORE 00000e02: PUSH1 0x20 00000e04: DUP3 00000e05: ADD 00000e06: SWAP1 00000e07: POP 00000e08: SWAP3 00000e09: SWAP2 00000e0a: POP 00000e0b: POP 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: PUSH1 0x00 00000e10: PUSH3 0x000e1a 00000e14: DUP3 00000e15: PUSH3 0x000f72 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: SWAP2 00000e1c: POP 00000e1d: PUSH3 0x000e27 00000e21: DUP4 00000e22: PUSH3 0x000f72 00000e26: JUMP 00000e27: JUMPDEST 00000e28: SWAP3 00000e29: POP 00000e2a: DUP3 00000e2b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000e4c: SUB 00000e4d: DUP3 00000e4e: GT 00000e4f: ISZERO 00000e50: PUSH3 0x000e5f 00000e54: JUMPI 00000e55: PUSH3 0x000e5e 00000e59: PUSH3 0x000fd0 00000e5d: JUMP 00000e5e: JUMPDEST 00000e5f: JUMPDEST 00000e60: DUP3 00000e61: DUP3 00000e62: ADD 00000e63: SWAP1 00000e64: POP 00000e65: SWAP3 00000e66: SWAP2 00000e67: POP 00000e68: POP 00000e69: JUMP 00000e6a: JUMPDEST 00000e6b: PUSH1 0x00 00000e6d: PUSH3 0x000e77 00000e71: DUP3 00000e72: PUSH3 0x000f72 00000e76: JUMP 00000e77: JUMPDEST 00000e78: SWAP2 00000e79: POP 00000e7a: PUSH3 0x000e84 00000e7e: DUP4 00000e7f: PUSH3 0x000f72 00000e83: JUMP 00000e84: JUMPDEST 00000e85: SWAP3 00000e86: POP 00000e87: DUP3 00000e88: PUSH3 0x000e97 00000e8c: JUMPI 00000e8d: PUSH3 0x000e96 00000e91: PUSH3 0x000fff 00000e95: JUMP 00000e96: JUMPDEST 00000e97: JUMPDEST 00000e98: DUP3 00000e99: DUP3 00000e9a: DIV 00000e9b: SWAP1 00000e9c: POP 00000e9d: SWAP3 00000e9e: SWAP2 00000e9f: POP 00000ea0: POP 00000ea1: JUMP 00000ea2: JUMPDEST 00000ea3: PUSH1 0x00 00000ea5: PUSH3 0x000eaf 00000ea9: DUP3 00000eaa: PUSH3 0x000f72 00000eae: JUMP 00000eaf: JUMPDEST 00000eb0: SWAP2 00000eb1: POP 00000eb2: PUSH3 0x000ebc 00000eb6: DUP4 00000eb7: PUSH3 0x000f72 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: SWAP3 00000ebe: POP 00000ebf: DUP2 00000ec0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000ee1: DIV 00000ee2: DUP4 00000ee3: GT 00000ee4: DUP3 00000ee5: ISZERO 00000ee6: ISZERO 00000ee7: AND 00000ee8: ISZERO 00000ee9: PUSH3 0x000ef8 00000eed: JUMPI 00000eee: PUSH3 0x000ef7 00000ef2: PUSH3 0x000fd0 00000ef6: JUMP 00000ef7: JUMPDEST 00000ef8: JUMPDEST 00000ef9: DUP3 00000efa: DUP3 00000efb: MUL 00000efc: SWAP1 00000efd: POP 00000efe: SWAP3 00000eff: SWAP2 00000f00: POP 00000f01: POP 00000f02: JUMP 00000f03: JUMPDEST 00000f04: PUSH1 0x00 00000f06: PUSH3 0x000f10 00000f0a: DUP3 00000f0b: PUSH3 0x000f72 00000f0f: JUMP 00000f10: JUMPDEST 00000f11: SWAP2 00000f12: POP 00000f13: PUSH3 0x000f1d 00000f17: DUP4 00000f18: PUSH3 0x000f72 00000f1c: JUMP 00000f1d: JUMPDEST 00000f1e: SWAP3 00000f1f: POP 00000f20: DUP3 00000f21: DUP3 00000f22: LT 00000f23: ISZERO 00000f24: PUSH3 0x000f33 00000f28: JUMPI 00000f29: PUSH3 0x000f32 00000f2d: PUSH3 0x000fd0 00000f31: JUMP 00000f32: JUMPDEST 00000f33: JUMPDEST 00000f34: DUP3 00000f35: DUP3 00000f36: SUB 00000f37: SWAP1 00000f38: POP 00000f39: SWAP3 00000f3a: SWAP2 00000f3b: POP 00000f3c: POP 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: PUSH1 0x00 00000f41: PUSH3 0x000f4b 00000f45: DUP3 00000f46: PUSH3 0x000f52 00000f4a: JUMP 00000f4b: JUMPDEST 00000f4c: SWAP1 00000f4d: POP 00000f4e: SWAP2 00000f4f: SWAP1 00000f50: POP 00000f51: JUMP 00000f52: JUMPDEST 00000f53: PUSH1 0x00 00000f55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6a: DUP3 00000f6b: AND 00000f6c: SWAP1 00000f6d: POP 00000f6e: SWAP2 00000f6f: SWAP1 00000f70: POP 00000f71: JUMP 00000f72: JUMPDEST 00000f73: PUSH1 0x00 00000f75: DUP2 00000f76: SWAP1 00000f77: POP 00000f78: SWAP2 00000f79: SWAP1 00000f7a: POP 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: PUSH1 0x00 00000f7f: PUSH8 0xffffffffffffffff 00000f88: DUP3 00000f89: AND 00000f8a: SWAP1 00000f8b: POP 00000f8c: SWAP2 00000f8d: SWAP1 00000f8e: POP 00000f8f: JUMP 00000f90: JUMPDEST 00000f91: PUSH3 0x000f9b 00000f95: DUP3 00000f96: PUSH3 0x00105d 00000f9a: JUMP 00000f9b: JUMPDEST 00000f9c: DUP2 00000f9d: ADD 00000f9e: DUP2 00000f9f: DUP2 00000fa0: LT 00000fa1: PUSH8 0xffffffffffffffff 00000faa: DUP3 00000fab: GT 00000fac: OR 00000fad: ISZERO 00000fae: PUSH3 0x000fbd 00000fb2: JUMPI 00000fb3: PUSH3 0x000fbc 00000fb7: PUSH3 0x00102e 00000fbb: JUMP 00000fbc: JUMPDEST 00000fbd: JUMPDEST 00000fbe: DUP1 00000fbf: PUSH1 0x40 00000fc1: MSTORE 00000fc2: POP 00000fc3: POP 00000fc4: POP 00000fc5: JUMP 00000fc6: JUMPDEST 00000fc7: PUSH1 0x00 00000fc9: DUP2 00000fca: SWAP1 00000fcb: POP 00000fcc: SWAP2 00000fcd: SWAP1 00000fce: POP 00000fcf: JUMP 00000fd0: JUMPDEST 00000fd1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000ff2: PUSH1 0x00 00000ff4: MSTORE 00000ff5: PUSH1 0x11 00000ff7: PUSH1 0x04 00000ff9: MSTORE 00000ffa: PUSH1 0x24 00000ffc: PUSH1 0x00 00000ffe: REVERT 00000fff: JUMPDEST 00001000: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001021: PUSH1 0x00 00001023: MSTORE 00001024: PUSH1 0x12 00001026: PUSH1 0x04 00001028: MSTORE 00001029: PUSH1 0x24 0000102b: PUSH1 0x00 0000102d: REVERT 0000102e: JUMPDEST 0000102f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001050: PUSH1 0x00 00001052: MSTORE 00001053: PUSH1 0x41 00001055: PUSH1 0x04 00001057: MSTORE 00001058: PUSH1 0x24 0000105a: PUSH1 0x00 0000105c: REVERT 0000105d: JUMPDEST 0000105e: PUSH1 0x00 00001060: PUSH1 0x1f 00001062: NOT 00001063: PUSH1 0x1f 00001065: DUP4 00001066: ADD 00001067: AND 00001068: SWAP1 00001069: POP 0000106a: SWAP2 0000106b: SWAP1 0000106c: POP 0000106d: JUMP 0000106e: JUMPDEST 0000106f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001090: PUSH1 0x00 00001092: DUP3 00001093: ADD 00001094: MSTORE 00001095: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 000010b6: PUSH1 0x20 000010b8: DUP3 000010b9: ADD 000010ba: MSTORE 000010bb: POP 000010bc: JUMP 000010bd: JUMPDEST 000010be: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 000010df: PUSH1 0x00 000010e1: DUP3 000010e2: ADD 000010e3: MSTORE 000010e4: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00001105: PUSH1 0x20 00001107: DUP3 00001108: ADD 00001109: MSTORE 0000110a: POP 0000110b: JUMP 0000110c: JUMPDEST 0000110d: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 0000112e: PUSH1 0x00 00001130: DUP3 00001131: ADD 00001132: MSTORE 00001133: POP 00001134: JUMP 00001135: JUMPDEST 00001136: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001157: PUSH1 0x00 00001159: DUP3 0000115a: ADD 0000115b: MSTORE 0000115c: POP 0000115d: JUMP 0000115e: JUMPDEST 0000115f: POP 00001160: JUMP 00001161: JUMPDEST 00001162: PUSH3 0x00116c 00001166: DUP2 00001167: PUSH3 0x000f3e 0000116b: JUMP 0000116c: JUMPDEST 0000116d: DUP2 0000116e: EQ 0000116f: PUSH3 0x001178 00001173: JUMPI 00001174: PUSH1 0x00 00001176: DUP1 00001177: REVERT 00001178: JUMPDEST 00001179: POP 0000117a: JUMP 0000117b: JUMPDEST 0000117c: PUSH3 0x001186 00001180: DUP2 00001181: PUSH3 0x000f72 00001185: JUMP 00001186: JUMPDEST 00001187: DUP2 00001188: EQ 00001189: PUSH3 0x001192 0000118d: JUMPI 0000118e: PUSH1 0x00 00001190: DUP1 00001191: REVERT 00001192: JUMPDEST 00001193: POP 00001194: JUMP 00001195: JUMPDEST 00001196: PUSH3 0x0011a0 0000119a: DUP2 0000119b: PUSH3 0x000f7c 0000119f: JUMP 000011a0: JUMPDEST 000011a1: DUP2 000011a2: EQ 000011a3: PUSH3 0x0011ac 000011a7: JUMPI 000011a8: PUSH1 0x00 000011aa: DUP1 000011ab: REVERT 000011ac: JUMPDEST 000011ad: POP 000011ae: JUMP 000011af: INVALID 000011b0: PUSH1 0x80 000011b2: PUSH1 0x40 000011b4: MSTORE 000011b5: PUSH20 0xf6d5cf127e41341ab2d179decb28525663e5514a 000011ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011df: AND 000011e0: PUSH1 0x40 000011e2: MLOAD 000011e3: DUP1 000011e4: PUSH1 0x40 000011e6: ADD 000011e7: PUSH1 0x40 000011e9: MSTORE 000011ea: DUP1 000011eb: PUSH1 0x04 000011ed: DUP2 000011ee: MSTORE 000011ef: PUSH1 0x20 000011f1: ADD 000011f2: PUSH32 0x0f59f83a00000000000000000000000000000000000000000000000000000000 00001213: DUP2 00001214: MSTORE 00001215: POP 00001216: PUSH1 0x40 00001218: MLOAD 00001219: PUSH2 0x0072 0000121c: SWAP2 0000121d: SWAP1 0000121e: PUSH2 0x00eb 00001221: JUMP 00001222: JUMPDEST 00001223: PUSH1 0x00 00001225: PUSH1 0x40 00001227: MLOAD 00001228: DUP1 00001229: DUP4 0000122a: SUB 0000122b: DUP2 0000122c: DUP6 0000122d: GAS 0000122e: DELEGATECALL 0000122f: SWAP2 00001230: POP 00001231: POP 00001232: RETURNDATASIZE 00001233: DUP1 00001234: PUSH1 0x00 00001236: DUP2 00001237: EQ 00001238: PUSH2 0x00ad 0000123b: JUMPI 0000123c: PUSH1 0x40 0000123e: MLOAD 0000123f: SWAP2 00001240: POP 00001241: PUSH1 0x1f 00001243: NOT 00001244: PUSH1 0x3f 00001246: RETURNDATASIZE 00001247: ADD 00001248: AND 00001249: DUP3 0000124a: ADD 0000124b: PUSH1 0x40 0000124d: MSTORE 0000124e: RETURNDATASIZE 0000124f: DUP3 00001250: MSTORE 00001251: RETURNDATASIZE 00001252: PUSH1 0x00 00001254: PUSH1 0x20 00001256: DUP5 00001257: ADD 00001258: RETURNDATACOPY 00001259: PUSH2 0x00b2 0000125c: JUMP 0000125d: JUMPDEST 0000125e: PUSH1 0x60 00001260: SWAP2 00001261: POP 00001262: JUMPDEST 00001263: POP 00001264: POP 00001265: POP 00001266: PUSH2 0x014b 00001269: JUMP 0000126a: JUMPDEST 0000126b: PUSH1 0x00 0000126d: PUSH2 0x00c5 00001270: DUP3 00001271: PUSH2 0x0102 00001274: JUMP 00001275: JUMPDEST 00001276: PUSH2 0x00cf 00001279: DUP2 0000127a: DUP6 0000127b: PUSH2 0x010d 0000127e: JUMP 0000127f: JUMPDEST 00001280: SWAP4 00001281: POP 00001282: PUSH2 0x00df 00001285: DUP2 00001286: DUP6 00001287: PUSH1 0x20 00001289: DUP7 0000128a: ADD 0000128b: PUSH2 0x0118 0000128e: JUMP 0000128f: JUMPDEST 00001290: DUP1 00001291: DUP5 00001292: ADD 00001293: SWAP2 00001294: POP 00001295: POP 00001296: SWAP3 00001297: SWAP2 00001298: POP 00001299: POP 0000129a: JUMP 0000129b: JUMPDEST 0000129c: PUSH1 0x00 0000129e: PUSH2 0x00f7 000012a1: DUP3 000012a2: DUP5 000012a3: PUSH2 0x00ba 000012a6: JUMP 000012a7: JUMPDEST 000012a8: SWAP2 000012a9: POP 000012aa: DUP2 000012ab: SWAP1 000012ac: POP 000012ad: SWAP3 000012ae: SWAP2 000012af: POP 000012b0: POP 000012b1: JUMP 000012b2: JUMPDEST 000012b3: PUSH1 0x00 000012b5: DUP2 000012b6: MLOAD 000012b7: SWAP1 000012b8: POP 000012b9: SWAP2 000012ba: SWAP1 000012bb: POP 000012bc: JUMP 000012bd: JUMPDEST 000012be: PUSH1 0x00 000012c0: DUP2 000012c1: SWAP1 000012c2: POP 000012c3: SWAP3 000012c4: SWAP2 000012c5: POP 000012c6: POP 000012c7: JUMP 000012c8: JUMPDEST 000012c9: PUSH1 0x00 000012cb: JUMPDEST 000012cc: DUP4 000012cd: DUP2 000012ce: LT 000012cf: ISZERO 000012d0: PUSH2 0x0136 000012d3: JUMPI 000012d4: DUP1 000012d5: DUP3 000012d6: ADD 000012d7: MLOAD 000012d8: DUP2 000012d9: DUP5 000012da: ADD 000012db: MSTORE 000012dc: PUSH1 0x20 000012de: DUP2 000012df: ADD 000012e0: SWAP1 000012e1: POP 000012e2: PUSH2 0x011b 000012e5: JUMP 000012e6: JUMPDEST 000012e7: DUP4 000012e8: DUP2 000012e9: GT 000012ea: ISZERO 000012eb: PUSH2 0x0145 000012ee: JUMPI 000012ef: PUSH1 0x00 000012f1: DUP5 000012f2: DUP5 000012f3: ADD 000012f4: MSTORE 000012f5: JUMPDEST 000012f6: POP 000012f7: POP 000012f8: POP 000012f9: POP 000012fa: JUMP 000012fb: JUMPDEST 000012fc: PUSH1 0x3f 000012fe: DUP1 000012ff: PUSH2 0x0159 00001302: PUSH1 0x00 00001304: CODECOPY 00001305: PUSH1 0x00 00001307: RETURN 00001308: INVALID 00001309: PUSH1 0x80 0000130b: PUSH1 0x40 0000130d: MSTORE 0000130e: PUSH1 0x00 00001310: DUP1 00001311: REVERT 00001312: INVALID 00001313: LOG2 00001314: PUSH5 0x6970667358 0000131a: UNKNOWN(0x22) 0000131b: SLT 0000131c: KECCAK256 0000131d: UNKNOWN(0xC4) 0000131e: UNKNOWN(0xFB) 0000131f: PUSH4 0xf29f2ebb 00001324: UNKNOWN(0xAF) 00001325: CODESIZE 00001326: STATICCALL 00001327: UNKNOWN(0xAB) 00001328: SLT 00001329: UNKNOWN(0x2F) 0000132a: UNKNOWN(0x28) 0000132b: STATICCALL 0000132c: UNKNOWN(0xD8) 0000132d: EXP 0000132e: PUSH30 0x00d33f52be0b29986859f5be36a964736f6c63430008040033a264697066 0000134d: PUSH20 0x582212206bda4bc2323d7998d1814d1b813db05c 00001362: PUSH17 0x8aa9046ff874a180189e480926f2a76473 00001374: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xe915b22e4d9744afaf48ef71e74a35999ff789702c34ede6b2c98ea587414087
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 60,
"trace_id": "0xe915b22e4d9744afaf48ef71e74a35999ff789702c34ede6b2c98ea587414087",
"confirmed": false,
"trace_mode": "callTracer",
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89ab50a7",
"selector": "0x89ab50a7",
"calldata_variants": [
"0x89ab50a7",
"0x89ab50a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde99ba55",
"selector": "0xde99ba55",
"calldata_variants": [
"0xde99ba55",
"0xde99ba550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4654,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xcc5f3f53529c551dcc1bbf83c1c53645c97a193661fc31e5cfdc50a2e7193d13
call_targets:
0x76991f152a9202db42b5d6b47560d683d33759c8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcc5f3f53529c551dcc1bbf83c1c53645c97a193661fc31e5cfdc50a2e7193d13",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x76991f152a9202db42b5d6b47560d683d33759c8"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89ab50a7",
"selector": "0x89ab50a7",
"calldata_variants": [
"0x89ab50a7",
"0x89ab50a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde99ba55",
"selector": "0xde99ba55",
"calldata_variants": [
"0xde99ba55",
"0xde99ba550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 793,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1116,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2294,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xcc5f3f53529c551dcc1bbf83c1c53645c97a193661fc31e5cfdc50a2e7193d13
call_targets:
0x76991f152a9202db42b5d6b47560d683d33759c8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcc5f3f53529c551dcc1bbf83c1c53645c97a193661fc31e5cfdc50a2e7193d13",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x76991f152a9202db42b5d6b47560d683d33759c8"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89ab50a7",
"selector": "0x89ab50a7",
"calldata_variants": [
"0x89ab50a7",
"0x89ab50a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde99ba55",
"selector": "0xde99ba55",
"calldata_variants": [
"0xde99ba55",
"0xde99ba550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 793,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1116,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2294,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xa7c5d65710c4304548856c003348d09b193c20983fa4281babcbe55a373c8543
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 10,
"trace_id": "0xa7c5d65710c4304548856c003348d09b193c20983fa4281babcbe55a373c8543",
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89ab50a7",
"selector": "0x89ab50a7",
"calldata_variants": [
"0x89ab50a7",
"0x89ab50a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde99ba55",
"selector": "0xde99ba55",
"calldata_variants": [
"0xde99ba55",
"0xde99ba550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|