019b3844-9132-704d-b13b-3a69a39c62bf
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 |
|---|---|---|---|---|
| 12723 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 12724 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 84472 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 84473 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 84474 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 84475 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00d0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x16279055 0000003c: EQ 0000003d: PUSH2 0x015d 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x213a0317 00000047: EQ 00000048: PUSH2 0x01b8 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x2b825499 00000052: EQ 00000053: PUSH2 0x023e 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x5b2dd377 0000005d: EQ 0000005e: PUSH2 0x02ab 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x5d4fead3 00000068: EQ 00000069: PUSH2 0x03e4 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x62339bf8 00000073: EQ 00000074: PUSH2 0x0413 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x785959b3 0000007e: EQ 0000007f: PUSH2 0x047f 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x8bd0ba67 00000089: EQ 0000008a: PUSH2 0x04aa 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x8da5cb5b 00000094: EQ 00000095: PUSH2 0x050d 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xa6f9dae1 0000009f: EQ 000000a0: PUSH2 0x0564 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xa903774b 000000aa: EQ 000000ab: PUSH2 0x05a7 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xbee4a5da 000000b5: EQ 000000b6: PUSH2 0x0614 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xe2969ce8 000000c0: EQ 000000c1: PUSH2 0x0681 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xe9f0afc2 000000cb: EQ 000000cc: PUSH2 0x06ae 000000cf: JUMPI 000000d0: JUMPDEST 000000d1: PUSH1 0x00 000000d3: ISZERO 000000d4: ISZERO 000000d5: PUSH1 0x05 000000d7: PUSH1 0x00 000000d9: SWAP1 000000da: SLOAD 000000db: SWAP1 000000dc: PUSH2 0x0100 000000df: EXP 000000e0: SWAP1 000000e1: DIV 000000e2: PUSH1 0xff 000000e4: AND 000000e5: ISZERO 000000e6: ISZERO 000000e7: EQ 000000e8: ISZERO 000000e9: ISZERO 000000ea: PUSH2 0x015b 000000ed: JUMPI 000000ee: PUSH1 0x40 000000f0: MLOAD 000000f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000112: DUP2 00000113: MSTORE 00000114: PUSH1 0x04 00000116: ADD 00000117: DUP1 00000118: DUP1 00000119: PUSH1 0x20 0000011b: ADD 0000011c: DUP3 0000011d: DUP2 0000011e: SUB 0000011f: DUP3 00000120: MSTORE 00000121: PUSH1 0x07 00000123: DUP2 00000124: MSTORE 00000125: PUSH1 0x20 00000127: ADD 00000128: DUP1 00000129: PUSH32 0x6973506175736500000000000000000000000000000000000000000000000000 0000014a: DUP2 0000014b: MSTORE 0000014c: POP 0000014d: PUSH1 0x20 0000014f: ADD 00000150: SWAP2 00000151: POP 00000152: POP 00000153: PUSH1 0x40 00000155: MLOAD 00000156: DUP1 00000157: SWAP2 00000158: SUB 00000159: SWAP1 0000015a: REVERT 0000015b: JUMPDEST 0000015c: STOP 0000015d: JUMPDEST 0000015e: CALLVALUE 0000015f: DUP1 00000160: ISZERO 00000161: PUSH2 0x0169 00000164: JUMPI 00000165: PUSH1 0x00 00000167: DUP1 00000168: REVERT 00000169: JUMPDEST 0000016a: POP 0000016b: PUSH2 0x019e 0000016e: PUSH1 0x04 00000170: DUP1 00000171: CALLDATASIZE 00000172: SUB 00000173: DUP2 00000174: ADD 00000175: SWAP1 00000176: DUP1 00000177: DUP1 00000178: CALLDATALOAD 00000179: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000018e: AND 0000018f: SWAP1 00000190: PUSH1 0x20 00000192: ADD 00000193: SWAP1 00000194: SWAP3 00000195: SWAP2 00000196: SWAP1 00000197: POP 00000198: POP 00000199: POP 0000019a: PUSH2 0x0714 0000019d: JUMP 0000019e: JUMPDEST 0000019f: PUSH1 0x40 000001a1: MLOAD 000001a2: DUP1 000001a3: DUP3 000001a4: ISZERO 000001a5: ISZERO 000001a6: ISZERO 000001a7: ISZERO 000001a8: DUP2 000001a9: MSTORE 000001aa: PUSH1 0x20 000001ac: ADD 000001ad: SWAP2 000001ae: POP 000001af: POP 000001b0: PUSH1 0x40 000001b2: MLOAD 000001b3: DUP1 000001b4: SWAP2 000001b5: SUB 000001b6: SWAP1 000001b7: RETURN 000001b8: JUMPDEST 000001b9: CALLVALUE 000001ba: DUP1 000001bb: ISZERO 000001bc: PUSH2 0x01c4 000001bf: JUMPI 000001c0: PUSH1 0x00 000001c2: DUP1 000001c3: REVERT 000001c4: JUMPDEST 000001c5: POP 000001c6: PUSH2 0x023c 000001c9: PUSH1 0x04 000001cb: DUP1 000001cc: CALLDATASIZE 000001cd: SUB 000001ce: DUP2 000001cf: ADD 000001d0: SWAP1 000001d1: DUP1 000001d2: DUP1 000001d3: CALLDATALOAD 000001d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e9: AND 000001ea: SWAP1 000001eb: PUSH1 0x20 000001ed: ADD 000001ee: SWAP1 000001ef: SWAP3 000001f0: SWAP2 000001f1: SWAP1 000001f2: DUP1 000001f3: CALLDATALOAD 000001f4: SWAP1 000001f5: PUSH1 0x20 000001f7: ADD 000001f8: SWAP1 000001f9: DUP3 000001fa: ADD 000001fb: DUP1 000001fc: CALLDATALOAD 000001fd: SWAP1 000001fe: PUSH1 0x20 00000200: ADD 00000201: SWAP1 00000202: DUP1 00000203: DUP1 00000204: PUSH1 0x20 00000206: MUL 00000207: PUSH1 0x20 00000209: ADD 0000020a: PUSH1 0x40 0000020c: MLOAD 0000020d: SWAP1 0000020e: DUP2 0000020f: ADD 00000210: PUSH1 0x40 00000212: MSTORE 00000213: DUP1 00000214: SWAP4 00000215: SWAP3 00000216: SWAP2 00000217: SWAP1 00000218: DUP2 00000219: DUP2 0000021a: MSTORE 0000021b: PUSH1 0x20 0000021d: ADD 0000021e: DUP4 0000021f: DUP4 00000220: PUSH1 0x20 00000222: MUL 00000223: DUP1 00000224: DUP3 00000225: DUP5 00000226: CALLDATACOPY 00000227: DUP3 00000228: ADD 00000229: SWAP2 0000022a: POP 0000022b: POP 0000022c: POP 0000022d: POP 0000022e: POP 0000022f: POP 00000230: SWAP2 00000231: SWAP3 00000232: SWAP2 00000233: SWAP3 00000234: SWAP1 00000235: POP 00000236: POP 00000237: POP 00000238: PUSH2 0x0727 0000023b: JUMP 0000023c: JUMPDEST 0000023d: STOP 0000023e: JUMPDEST 0000023f: CALLVALUE 00000240: DUP1 00000241: ISZERO 00000242: PUSH2 0x024a 00000245: JUMPI 00000246: PUSH1 0x00 00000248: DUP1 00000249: REVERT 0000024a: JUMPDEST 0000024b: POP 0000024c: PUSH2 0x0269 0000024f: PUSH1 0x04 00000251: DUP1 00000252: CALLDATASIZE 00000253: SUB 00000254: DUP2 00000255: ADD 00000256: SWAP1 00000257: DUP1 00000258: DUP1 00000259: CALLDATALOAD 0000025a: SWAP1 0000025b: PUSH1 0x20 0000025d: ADD 0000025e: SWAP1 0000025f: SWAP3 00000260: SWAP2 00000261: SWAP1 00000262: POP 00000263: POP 00000264: POP 00000265: PUSH2 0x081e 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: DUP1 0000026e: DUP3 0000026f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000284: AND 00000285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029a: AND 0000029b: DUP2 0000029c: MSTORE 0000029d: PUSH1 0x20 0000029f: ADD 000002a0: SWAP2 000002a1: POP 000002a2: POP 000002a3: PUSH1 0x40 000002a5: MLOAD 000002a6: DUP1 000002a7: SWAP2 000002a8: SUB 000002a9: SWAP1 000002aa: RETURN 000002ab: JUMPDEST 000002ac: CALLVALUE 000002ad: DUP1 000002ae: ISZERO 000002af: PUSH2 0x02b7 000002b2: JUMPI 000002b3: PUSH1 0x00 000002b5: DUP1 000002b6: REVERT 000002b7: JUMPDEST 000002b8: POP 000002b9: PUSH2 0x03e2 000002bc: PUSH1 0x04 000002be: DUP1 000002bf: CALLDATASIZE 000002c0: SUB 000002c1: DUP2 000002c2: ADD 000002c3: SWAP1 000002c4: DUP1 000002c5: DUP1 000002c6: CALLDATALOAD 000002c7: SWAP1 000002c8: PUSH1 0x20 000002ca: ADD 000002cb: SWAP1 000002cc: DUP3 000002cd: ADD 000002ce: DUP1 000002cf: CALLDATALOAD 000002d0: SWAP1 000002d1: PUSH1 0x20 000002d3: ADD 000002d4: SWAP1 000002d5: DUP1 000002d6: DUP1 000002d7: PUSH1 0x20 000002d9: MUL 000002da: PUSH1 0x20 000002dc: ADD 000002dd: PUSH1 0x40 000002df: MLOAD 000002e0: SWAP1 000002e1: DUP2 000002e2: ADD 000002e3: PUSH1 0x40 000002e5: MSTORE 000002e6: DUP1 000002e7: SWAP4 000002e8: SWAP3 000002e9: SWAP2 000002ea: SWAP1 000002eb: DUP2 000002ec: DUP2 000002ed: MSTORE 000002ee: PUSH1 0x20 000002f0: ADD 000002f1: DUP4 000002f2: DUP4 000002f3: PUSH1 0x20 000002f5: MUL 000002f6: DUP1 000002f7: DUP3 000002f8: DUP5 000002f9: CALLDATACOPY 000002fa: DUP3 000002fb: ADD 000002fc: SWAP2 000002fd: POP 000002fe: POP 000002ff: POP 00000300: POP 00000301: POP 00000302: POP 00000303: SWAP2 00000304: SWAP3 00000305: SWAP2 00000306: SWAP3 00000307: SWAP1 00000308: DUP1 00000309: CALLDATALOAD 0000030a: SWAP1 0000030b: PUSH1 0x20 0000030d: ADD 0000030e: SWAP1 0000030f: DUP3 00000310: ADD 00000311: DUP1 00000312: CALLDATALOAD 00000313: SWAP1 00000314: PUSH1 0x20 00000316: ADD 00000317: SWAP1 00000318: DUP1 00000319: DUP1 0000031a: PUSH1 0x20 0000031c: MUL 0000031d: PUSH1 0x20 0000031f: ADD 00000320: PUSH1 0x40 00000322: MLOAD 00000323: SWAP1 00000324: DUP2 00000325: ADD 00000326: PUSH1 0x40 00000328: MSTORE 00000329: DUP1 0000032a: SWAP4 0000032b: SWAP3 0000032c: SWAP2 0000032d: SWAP1 0000032e: DUP2 0000032f: DUP2 00000330: MSTORE 00000331: PUSH1 0x20 00000333: ADD 00000334: DUP4 00000335: DUP4 00000336: PUSH1 0x20 00000338: MUL 00000339: DUP1 0000033a: DUP3 0000033b: DUP5 0000033c: CALLDATACOPY 0000033d: DUP3 0000033e: ADD 0000033f: SWAP2 00000340: POP 00000341: POP 00000342: POP 00000343: POP 00000344: POP 00000345: POP 00000346: SWAP2 00000347: SWAP3 00000348: SWAP2 00000349: SWAP3 0000034a: SWAP1 0000034b: DUP1 0000034c: CALLDATALOAD 0000034d: SWAP1 0000034e: PUSH1 0x20 00000350: ADD 00000351: SWAP1 00000352: DUP3 00000353: ADD 00000354: DUP1 00000355: CALLDATALOAD 00000356: SWAP1 00000357: PUSH1 0x20 00000359: ADD 0000035a: SWAP1 0000035b: DUP1 0000035c: DUP1 0000035d: PUSH1 0x20 0000035f: MUL 00000360: PUSH1 0x20 00000362: ADD 00000363: PUSH1 0x40 00000365: MLOAD 00000366: SWAP1 00000367: DUP2 00000368: ADD 00000369: PUSH1 0x40 0000036b: MSTORE 0000036c: DUP1 0000036d: SWAP4 0000036e: SWAP3 0000036f: SWAP2 00000370: SWAP1 00000371: DUP2 00000372: DUP2 00000373: MSTORE 00000374: PUSH1 0x20 00000376: ADD 00000377: DUP4 00000378: DUP4 00000379: PUSH1 0x20 0000037b: MUL 0000037c: DUP1 0000037d: DUP3 0000037e: DUP5 0000037f: CALLDATACOPY 00000380: DUP3 00000381: ADD 00000382: SWAP2 00000383: POP 00000384: POP 00000385: POP 00000386: POP 00000387: POP 00000388: POP 00000389: SWAP2 0000038a: SWAP3 0000038b: SWAP2 0000038c: SWAP3 0000038d: SWAP1 0000038e: DUP1 0000038f: CALLDATALOAD 00000390: SWAP1 00000391: PUSH1 0x20 00000393: ADD 00000394: SWAP1 00000395: DUP3 00000396: ADD 00000397: DUP1 00000398: CALLDATALOAD 00000399: SWAP1 0000039a: PUSH1 0x20 0000039c: ADD 0000039d: SWAP1 0000039e: DUP1 0000039f: DUP1 000003a0: PUSH1 0x20 000003a2: MUL 000003a3: PUSH1 0x20 000003a5: ADD 000003a6: PUSH1 0x40 000003a8: MLOAD 000003a9: SWAP1 000003aa: DUP2 000003ab: ADD 000003ac: PUSH1 0x40 000003ae: MSTORE 000003af: DUP1 000003b0: SWAP4 000003b1: SWAP3 000003b2: SWAP2 000003b3: SWAP1 000003b4: DUP2 000003b5: DUP2 000003b6: MSTORE 000003b7: PUSH1 0x20 000003b9: ADD 000003ba: DUP4 000003bb: DUP4 000003bc: PUSH1 0x20 000003be: MUL 000003bf: DUP1 000003c0: DUP3 000003c1: DUP5 000003c2: CALLDATACOPY 000003c3: DUP3 000003c4: ADD 000003c5: SWAP2 000003c6: POP 000003c7: POP 000003c8: POP 000003c9: POP 000003ca: POP 000003cb: POP 000003cc: SWAP2 000003cd: SWAP3 000003ce: SWAP2 000003cf: SWAP3 000003d0: SWAP1 000003d1: DUP1 000003d2: CALLDATALOAD 000003d3: SWAP1 000003d4: PUSH1 0x20 000003d6: ADD 000003d7: SWAP1 000003d8: SWAP3 000003d9: SWAP2 000003da: SWAP1 000003db: POP 000003dc: POP 000003dd: POP 000003de: PUSH2 0x085c 000003e1: JUMP 000003e2: JUMPDEST 000003e3: STOP 000003e4: JUMPDEST 000003e5: CALLVALUE 000003e6: DUP1 000003e7: ISZERO 000003e8: PUSH2 0x03f0 000003eb: JUMPI 000003ec: PUSH1 0x00 000003ee: DUP1 000003ef: REVERT 000003f0: JUMPDEST 000003f1: POP 000003f2: PUSH2 0x0411 000003f5: PUSH1 0x04 000003f7: DUP1 000003f8: CALLDATASIZE 000003f9: SUB 000003fa: DUP2 000003fb: ADD 000003fc: SWAP1 000003fd: DUP1 000003fe: DUP1 000003ff: CALLDATALOAD 00000400: ISZERO 00000401: ISZERO 00000402: SWAP1 00000403: PUSH1 0x20 00000405: ADD 00000406: SWAP1 00000407: SWAP3 00000408: SWAP2 00000409: SWAP1 0000040a: POP 0000040b: POP 0000040c: POP 0000040d: PUSH2 0x0d46 00000410: JUMP 00000411: JUMPDEST 00000412: STOP 00000413: JUMPDEST 00000414: CALLVALUE 00000415: DUP1 00000416: ISZERO 00000417: PUSH2 0x041f 0000041a: JUMPI 0000041b: PUSH1 0x00 0000041d: DUP1 0000041e: REVERT 0000041f: JUMPDEST 00000420: POP 00000421: PUSH2 0x0428 00000424: PUSH2 0x0e28 00000427: JUMP 00000428: JUMPDEST 00000429: PUSH1 0x40 0000042b: MLOAD 0000042c: DUP1 0000042d: DUP1 0000042e: PUSH1 0x20 00000430: ADD 00000431: DUP3 00000432: DUP2 00000433: SUB 00000434: DUP3 00000435: MSTORE 00000436: DUP4 00000437: DUP2 00000438: DUP2 00000439: MLOAD 0000043a: DUP2 0000043b: MSTORE 0000043c: PUSH1 0x20 0000043e: ADD 0000043f: SWAP2 00000440: POP 00000441: DUP1 00000442: MLOAD 00000443: SWAP1 00000444: PUSH1 0x20 00000446: ADD 00000447: SWAP1 00000448: PUSH1 0x20 0000044a: MUL 0000044b: DUP1 0000044c: DUP4 0000044d: DUP4 0000044e: PUSH1 0x00 00000450: JUMPDEST 00000451: DUP4 00000452: DUP2 00000453: LT 00000454: ISZERO 00000455: PUSH2 0x046b 00000458: JUMPI 00000459: DUP1 0000045a: DUP3 0000045b: ADD 0000045c: MLOAD 0000045d: DUP2 0000045e: DUP5 0000045f: ADD 00000460: MSTORE 00000461: PUSH1 0x20 00000463: DUP2 00000464: ADD 00000465: SWAP1 00000466: POP 00000467: PUSH2 0x0450 0000046a: JUMP 0000046b: JUMPDEST 0000046c: POP 0000046d: POP 0000046e: POP 0000046f: POP 00000470: SWAP1 00000471: POP 00000472: ADD 00000473: SWAP3 00000474: POP 00000475: POP 00000476: POP 00000477: PUSH1 0x40 00000479: MLOAD 0000047a: DUP1 0000047b: SWAP2 0000047c: SUB 0000047d: SWAP1 0000047e: RETURN 0000047f: JUMPDEST 00000480: CALLVALUE 00000481: DUP1 00000482: ISZERO 00000483: PUSH2 0x048b 00000486: JUMPI 00000487: PUSH1 0x00 00000489: DUP1 0000048a: REVERT 0000048b: JUMPDEST 0000048c: POP 0000048d: PUSH2 0x0494 00000490: PUSH2 0x0eb6 00000493: JUMP 00000494: JUMPDEST 00000495: PUSH1 0x40 00000497: MLOAD 00000498: DUP1 00000499: DUP3 0000049a: DUP2 0000049b: MSTORE 0000049c: PUSH1 0x20 0000049e: ADD 0000049f: SWAP2 000004a0: POP 000004a1: POP 000004a2: PUSH1 0x40 000004a4: MLOAD 000004a5: DUP1 000004a6: SWAP2 000004a7: SUB 000004a8: SWAP1 000004a9: RETURN 000004aa: JUMPDEST 000004ab: CALLVALUE 000004ac: DUP1 000004ad: ISZERO 000004ae: PUSH2 0x04b6 000004b1: JUMPI 000004b2: PUSH1 0x00 000004b4: DUP1 000004b5: REVERT 000004b6: JUMPDEST 000004b7: POP 000004b8: PUSH2 0x050b 000004bb: PUSH1 0x04 000004bd: DUP1 000004be: CALLDATASIZE 000004bf: SUB 000004c0: DUP2 000004c1: ADD 000004c2: SWAP1 000004c3: DUP1 000004c4: DUP1 000004c5: CALLDATALOAD 000004c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004db: AND 000004dc: SWAP1 000004dd: PUSH1 0x20 000004df: ADD 000004e0: SWAP1 000004e1: SWAP3 000004e2: SWAP2 000004e3: SWAP1 000004e4: DUP1 000004e5: CALLDATALOAD 000004e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004fb: AND 000004fc: SWAP1 000004fd: PUSH1 0x20 000004ff: ADD 00000500: SWAP1 00000501: SWAP3 00000502: SWAP2 00000503: SWAP1 00000504: POP 00000505: POP 00000506: POP 00000507: PUSH2 0x0ec0 0000050a: JUMP 0000050b: JUMPDEST 0000050c: STOP 0000050d: JUMPDEST 0000050e: CALLVALUE 0000050f: DUP1 00000510: ISZERO 00000511: PUSH2 0x0519 00000514: JUMPI 00000515: PUSH1 0x00 00000517: DUP1 00000518: REVERT 00000519: JUMPDEST 0000051a: POP 0000051b: PUSH2 0x0522 0000051e: PUSH2 0x10bd 00000521: JUMP 00000522: JUMPDEST 00000523: PUSH1 0x40 00000525: MLOAD 00000526: DUP1 00000527: DUP3 00000528: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053d: AND 0000053e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000553: AND 00000554: DUP2 00000555: MSTORE 00000556: PUSH1 0x20 00000558: ADD 00000559: SWAP2 0000055a: POP 0000055b: POP 0000055c: PUSH1 0x40 0000055e: MLOAD 0000055f: DUP1 00000560: SWAP2 00000561: SUB 00000562: SWAP1 00000563: RETURN 00000564: JUMPDEST 00000565: CALLVALUE 00000566: DUP1 00000567: ISZERO 00000568: PUSH2 0x0570 0000056b: JUMPI 0000056c: PUSH1 0x00 0000056e: DUP1 0000056f: REVERT 00000570: JUMPDEST 00000571: POP 00000572: PUSH2 0x05a5 00000575: PUSH1 0x04 00000577: DUP1 00000578: CALLDATASIZE 00000579: SUB 0000057a: DUP2 0000057b: ADD 0000057c: SWAP1 0000057d: DUP1 0000057e: DUP1 0000057f: CALLDATALOAD 00000580: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000595: AND 00000596: SWAP1 00000597: PUSH1 0x20 00000599: ADD 0000059a: SWAP1 0000059b: SWAP3 0000059c: SWAP2 0000059d: SWAP1 0000059e: POP 0000059f: POP 000005a0: POP 000005a1: PUSH2 0x10e3 000005a4: JUMP 000005a5: JUMPDEST 000005a6: STOP 000005a7: JUMPDEST 000005a8: CALLVALUE 000005a9: DUP1 000005aa: ISZERO 000005ab: PUSH2 0x05b3 000005ae: JUMPI 000005af: PUSH1 0x00 000005b1: DUP1 000005b2: REVERT 000005b3: JUMPDEST 000005b4: POP 000005b5: PUSH2 0x05d2 000005b8: PUSH1 0x04 000005ba: DUP1 000005bb: CALLDATASIZE 000005bc: SUB 000005bd: DUP2 000005be: ADD 000005bf: SWAP1 000005c0: DUP1 000005c1: DUP1 000005c2: CALLDATALOAD 000005c3: SWAP1 000005c4: PUSH1 0x20 000005c6: ADD 000005c7: SWAP1 000005c8: SWAP3 000005c9: SWAP2 000005ca: SWAP1 000005cb: POP 000005cc: POP 000005cd: POP 000005ce: PUSH2 0x11ec 000005d1: JUMP 000005d2: JUMPDEST 000005d3: PUSH1 0x40 000005d5: MLOAD 000005d6: DUP1 000005d7: DUP3 000005d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ed: AND 000005ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000603: AND 00000604: DUP2 00000605: MSTORE 00000606: PUSH1 0x20 00000608: ADD 00000609: SWAP2 0000060a: POP 0000060b: POP 0000060c: PUSH1 0x40 0000060e: MLOAD 0000060f: DUP1 00000610: SWAP2 00000611: SUB 00000612: SWAP1 00000613: RETURN 00000614: JUMPDEST 00000615: CALLVALUE 00000616: DUP1 00000617: ISZERO 00000618: PUSH2 0x0620 0000061b: JUMPI 0000061c: PUSH1 0x00 0000061e: DUP1 0000061f: REVERT 00000620: JUMPDEST 00000621: POP 00000622: PUSH2 0x063f 00000625: PUSH1 0x04 00000627: DUP1 00000628: CALLDATASIZE 00000629: SUB 0000062a: DUP2 0000062b: ADD 0000062c: SWAP1 0000062d: DUP1 0000062e: DUP1 0000062f: CALLDATALOAD 00000630: SWAP1 00000631: PUSH1 0x20 00000633: ADD 00000634: SWAP1 00000635: SWAP3 00000636: SWAP2 00000637: SWAP1 00000638: POP 00000639: POP 0000063a: POP 0000063b: PUSH2 0x122a 0000063e: JUMP 0000063f: JUMPDEST 00000640: PUSH1 0x40 00000642: MLOAD 00000643: DUP1 00000644: DUP3 00000645: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065a: AND 0000065b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000670: AND 00000671: DUP2 00000672: MSTORE 00000673: PUSH1 0x20 00000675: ADD 00000676: SWAP2 00000677: POP 00000678: POP 00000679: PUSH1 0x40 0000067b: MLOAD 0000067c: DUP1 0000067d: SWAP2 0000067e: SUB 0000067f: SWAP1 00000680: RETURN 00000681: JUMPDEST 00000682: CALLVALUE 00000683: DUP1 00000684: ISZERO 00000685: PUSH2 0x068d 00000688: JUMPI 00000689: PUSH1 0x00 0000068b: DUP1 0000068c: REVERT 0000068d: JUMPDEST 0000068e: POP 0000068f: PUSH2 0x06ac 00000692: PUSH1 0x04 00000694: DUP1 00000695: CALLDATASIZE 00000696: SUB 00000697: DUP2 00000698: ADD 00000699: SWAP1 0000069a: DUP1 0000069b: DUP1 0000069c: CALLDATALOAD 0000069d: SWAP1 0000069e: PUSH1 0x20 000006a0: ADD 000006a1: SWAP1 000006a2: SWAP3 000006a3: SWAP2 000006a4: SWAP1 000006a5: POP 000006a6: POP 000006a7: POP 000006a8: PUSH2 0x1268 000006ab: JUMP 000006ac: JUMPDEST 000006ad: STOP 000006ae: JUMPDEST 000006af: CALLVALUE 000006b0: DUP1 000006b1: ISZERO 000006b2: PUSH2 0x06ba 000006b5: JUMPI 000006b6: PUSH1 0x00 000006b8: DUP1 000006b9: REVERT 000006ba: JUMPDEST 000006bb: POP 000006bc: PUSH2 0x0712 000006bf: PUSH1 0x04 000006c1: DUP1 000006c2: CALLDATASIZE 000006c3: SUB 000006c4: DUP2 000006c5: ADD 000006c6: SWAP1 000006c7: DUP1 000006c8: DUP1 000006c9: CALLDATALOAD 000006ca: SWAP1 000006cb: PUSH1 0x20 000006cd: ADD 000006ce: SWAP1 000006cf: DUP3 000006d0: ADD 000006d1: DUP1 000006d2: CALLDATALOAD 000006d3: SWAP1 000006d4: PUSH1 0x20 000006d6: ADD 000006d7: SWAP1 000006d8: DUP1 000006d9: DUP1 000006da: PUSH1 0x20 000006dc: MUL 000006dd: PUSH1 0x20 000006df: ADD 000006e0: PUSH1 0x40 000006e2: MLOAD 000006e3: SWAP1 000006e4: DUP2 000006e5: ADD 000006e6: PUSH1 0x40 000006e8: MSTORE 000006e9: DUP1 000006ea: SWAP4 000006eb: SWAP3 000006ec: SWAP2 000006ed: SWAP1 000006ee: DUP2 000006ef: DUP2 000006f0: MSTORE 000006f1: PUSH1 0x20 000006f3: ADD 000006f4: DUP4 000006f5: DUP4 000006f6: PUSH1 0x20 000006f8: MUL 000006f9: DUP1 000006fa: DUP3 000006fb: DUP5 000006fc: CALLDATACOPY 000006fd: DUP3 000006fe: ADD 000006ff: SWAP2 00000700: POP 00000701: POP 00000702: POP 00000703: POP 00000704: POP 00000705: POP 00000706: SWAP2 00000707: SWAP3 00000708: SWAP2 00000709: SWAP3 0000070a: SWAP1 0000070b: POP 0000070c: POP 0000070d: POP 0000070e: PUSH2 0x1337 00000711: JUMP 00000712: JUMPDEST 00000713: STOP 00000714: JUMPDEST 00000715: PUSH1 0x00 00000717: DUP1 00000718: DUP3 00000719: EXTCODESIZE 0000071a: SWAP1 0000071b: POP 0000071c: PUSH1 0x00 0000071e: DUP2 0000071f: GT 00000720: SWAP2 00000721: POP 00000722: POP 00000723: SWAP2 00000724: SWAP1 00000725: POP 00000726: JUMP 00000727: JUMPDEST 00000728: PUSH1 0x00 0000072a: DUP1 0000072b: PUSH1 0x00 0000072d: DUP4 0000072e: MLOAD 0000072f: SWAP3 00000730: POP 00000731: PUSH1 0x00 00000733: SWAP2 00000734: POP 00000735: JUMPDEST 00000736: DUP3 00000737: DUP3 00000738: LT 00000739: ISZERO 0000073a: PUSH2 0x0817 0000073d: JUMPI 0000073e: DUP4 0000073f: DUP3 00000740: DUP2 00000741: MLOAD 00000742: DUP2 00000743: LT 00000744: ISZERO 00000745: ISZERO 00000746: PUSH2 0x074b 00000749: JUMPI 0000074a: INVALID 0000074b: JUMPDEST 0000074c: SWAP1 0000074d: PUSH1 0x20 0000074f: ADD 00000750: SWAP1 00000751: PUSH1 0x20 00000753: MUL 00000754: ADD 00000755: MLOAD 00000756: SWAP1 00000757: POP 00000758: DUP1 00000759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076e: AND 0000076f: PUSH4 0x4a7902d2 00000774: DUP7 00000775: PUSH1 0x40 00000777: MLOAD 00000778: DUP3 00000779: PUSH4 0xffffffff 0000077e: AND 0000077f: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000079d: MUL 0000079e: DUP2 0000079f: MSTORE 000007a0: PUSH1 0x04 000007a2: ADD 000007a3: DUP1 000007a4: DUP3 000007a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ba: AND 000007bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d0: AND 000007d1: DUP2 000007d2: MSTORE 000007d3: PUSH1 0x20 000007d5: ADD 000007d6: SWAP2 000007d7: POP 000007d8: POP 000007d9: PUSH1 0x00 000007db: PUSH1 0x40 000007dd: MLOAD 000007de: DUP1 000007df: DUP4 000007e0: SUB 000007e1: DUP2 000007e2: PUSH1 0x00 000007e4: DUP8 000007e5: DUP1 000007e6: EXTCODESIZE 000007e7: ISZERO 000007e8: DUP1 000007e9: ISZERO 000007ea: PUSH2 0x07f2 000007ed: JUMPI 000007ee: PUSH1 0x00 000007f0: DUP1 000007f1: REVERT 000007f2: JUMPDEST 000007f3: POP 000007f4: GAS 000007f5: CALL 000007f6: ISZERO 000007f7: DUP1 000007f8: ISZERO 000007f9: PUSH2 0x0806 000007fc: JUMPI 000007fd: RETURNDATASIZE 000007fe: PUSH1 0x00 00000800: DUP1 00000801: RETURNDATACOPY 00000802: RETURNDATASIZE 00000803: PUSH1 0x00 00000805: REVERT 00000806: JUMPDEST 00000807: POP 00000808: POP 00000809: POP 0000080a: POP 0000080b: DUP2 0000080c: DUP1 0000080d: PUSH1 0x01 0000080f: ADD 00000810: SWAP3 00000811: POP 00000812: POP 00000813: PUSH2 0x0735 00000816: JUMP 00000817: JUMPDEST 00000818: POP 00000819: POP 0000081a: POP 0000081b: POP 0000081c: POP 0000081d: JUMP 0000081e: JUMPDEST 0000081f: PUSH1 0x02 00000821: DUP2 00000822: DUP2 00000823: SLOAD 00000824: DUP2 00000825: LT 00000826: ISZERO 00000827: ISZERO 00000828: PUSH2 0x082d 0000082b: JUMPI 0000082c: INVALID 0000082d: JUMPDEST 0000082e: SWAP1 0000082f: PUSH1 0x00 00000831: MSTORE 00000832: PUSH1 0x20 00000834: PUSH1 0x00 00000836: KECCAK256 00000837: ADD 00000838: PUSH1 0x00 0000083a: SWAP2 0000083b: POP 0000083c: SLOAD 0000083d: SWAP1 0000083e: PUSH2 0x0100 00000841: EXP 00000842: SWAP1 00000843: DIV 00000844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000859: AND 0000085a: DUP2 0000085b: JUMP 0000085c: JUMPDEST 0000085d: PUSH1 0x00 0000085f: DUP1 00000860: PUSH1 0x00 00000862: DUP1 00000863: PUSH1 0x03 00000865: PUSH1 0x00 00000867: SWAP1 00000868: SLOAD 00000869: SWAP1 0000086a: PUSH2 0x0100 0000086d: EXP 0000086e: SWAP1 0000086f: DIV 00000870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000885: AND 00000886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089b: AND 0000089c: CALLER 0000089d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b2: AND 000008b3: EQ 000008b4: ISZERO 000008b5: ISZERO 000008b6: PUSH2 0x0927 000008b9: JUMPI 000008ba: PUSH1 0x40 000008bc: MLOAD 000008bd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008de: DUP2 000008df: MSTORE 000008e0: PUSH1 0x04 000008e2: ADD 000008e3: DUP1 000008e4: DUP1 000008e5: PUSH1 0x20 000008e7: ADD 000008e8: DUP3 000008e9: DUP2 000008ea: SUB 000008eb: DUP3 000008ec: MSTORE 000008ed: PUSH1 0x10 000008ef: DUP2 000008f0: MSTORE 000008f1: PUSH1 0x20 000008f3: ADD 000008f4: DUP1 000008f5: PUSH32 0x6f776e6572202072657175697265642e00000000000000000000000000000000 00000916: DUP2 00000917: MSTORE 00000918: POP 00000919: PUSH1 0x20 0000091b: ADD 0000091c: SWAP2 0000091d: POP 0000091e: POP 0000091f: PUSH1 0x40 00000921: MLOAD 00000922: DUP1 00000923: SWAP2 00000924: SUB 00000925: SWAP1 00000926: REVERT 00000927: JUMPDEST 00000928: DUP6 00000929: MLOAD 0000092a: DUP8 0000092b: MLOAD 0000092c: EQ 0000092d: ISZERO 0000092e: ISZERO 0000092f: PUSH2 0x09a0 00000932: JUMPI 00000933: PUSH1 0x40 00000935: MLOAD 00000936: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000957: DUP2 00000958: MSTORE 00000959: PUSH1 0x04 0000095b: ADD 0000095c: DUP1 0000095d: DUP1 0000095e: PUSH1 0x20 00000960: ADD 00000961: DUP3 00000962: DUP2 00000963: SUB 00000964: DUP3 00000965: MSTORE 00000966: PUSH1 0x11 00000968: DUP2 00000969: MSTORE 0000096a: PUSH1 0x20 0000096c: ADD 0000096d: DUP1 0000096e: PUSH32 0x616d6f756e74202072657175697265642e000000000000000000000000000000 0000098f: DUP2 00000990: MSTORE 00000991: POP 00000992: PUSH1 0x20 00000994: ADD 00000995: SWAP2 00000996: POP 00000997: POP 00000998: PUSH1 0x40 0000099a: MLOAD 0000099b: DUP1 0000099c: SWAP2 0000099d: SUB 0000099e: SWAP1 0000099f: REVERT 000009a0: JUMPDEST 000009a1: DUP8 000009a2: MLOAD 000009a3: DUP10 000009a4: MLOAD 000009a5: EQ 000009a6: ISZERO 000009a7: ISZERO 000009a8: PUSH2 0x0a19 000009ab: JUMPI 000009ac: PUSH1 0x40 000009ae: MLOAD 000009af: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009d0: DUP2 000009d1: MSTORE 000009d2: PUSH1 0x04 000009d4: ADD 000009d5: DUP1 000009d6: DUP1 000009d7: PUSH1 0x20 000009d9: ADD 000009da: DUP3 000009db: DUP2 000009dc: SUB 000009dd: DUP3 000009de: MSTORE 000009df: PUSH1 0x11 000009e1: DUP2 000009e2: MSTORE 000009e3: PUSH1 0x20 000009e5: ADD 000009e6: DUP1 000009e7: PUSH32 0x616d6f756e74202072657175697265642e000000000000000000000000000000 00000a08: DUP2 00000a09: MSTORE 00000a0a: POP 00000a0b: PUSH1 0x20 00000a0d: ADD 00000a0e: SWAP2 00000a0f: POP 00000a10: POP 00000a11: PUSH1 0x40 00000a13: MLOAD 00000a14: DUP1 00000a15: SWAP2 00000a16: SUB 00000a17: SWAP1 00000a18: REVERT 00000a19: JUMPDEST 00000a1a: DUP9 00000a1b: MLOAD 00000a1c: SWAP4 00000a1d: POP 00000a1e: PUSH1 0x00 00000a20: SWAP3 00000a21: POP 00000a22: JUMPDEST 00000a23: DUP4 00000a24: DUP4 00000a25: LT 00000a26: ISZERO 00000a27: PUSH2 0x0ba0 00000a2a: JUMPI 00000a2b: ADDRESS 00000a2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a41: AND 00000a42: PUSH4 0x16279055 00000a47: DUP11 00000a48: DUP6 00000a49: DUP2 00000a4a: MLOAD 00000a4b: DUP2 00000a4c: LT 00000a4d: ISZERO 00000a4e: ISZERO 00000a4f: PUSH2 0x0a54 00000a52: JUMPI 00000a53: INVALID 00000a54: JUMPDEST 00000a55: SWAP1 00000a56: PUSH1 0x20 00000a58: ADD 00000a59: SWAP1 00000a5a: PUSH1 0x20 00000a5c: MUL 00000a5d: ADD 00000a5e: MLOAD 00000a5f: PUSH1 0x40 00000a61: MLOAD 00000a62: DUP3 00000a63: PUSH4 0xffffffff 00000a68: AND 00000a69: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a87: MUL 00000a88: DUP2 00000a89: MSTORE 00000a8a: PUSH1 0x04 00000a8c: ADD 00000a8d: DUP1 00000a8e: DUP3 00000a8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa4: AND 00000aa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aba: AND 00000abb: DUP2 00000abc: MSTORE 00000abd: PUSH1 0x20 00000abf: ADD 00000ac0: SWAP2 00000ac1: POP 00000ac2: POP 00000ac3: PUSH1 0x20 00000ac5: PUSH1 0x40 00000ac7: MLOAD 00000ac8: DUP1 00000ac9: DUP4 00000aca: SUB 00000acb: DUP2 00000acc: PUSH1 0x00 00000ace: DUP8 00000acf: DUP1 00000ad0: EXTCODESIZE 00000ad1: ISZERO 00000ad2: DUP1 00000ad3: ISZERO 00000ad4: PUSH2 0x0adc 00000ad7: JUMPI 00000ad8: PUSH1 0x00 00000ada: DUP1 00000adb: REVERT 00000adc: JUMPDEST 00000add: POP 00000ade: GAS 00000adf: CALL 00000ae0: ISZERO 00000ae1: DUP1 00000ae2: ISZERO 00000ae3: PUSH2 0x0af0 00000ae6: JUMPI 00000ae7: RETURNDATASIZE 00000ae8: PUSH1 0x00 00000aea: DUP1 00000aeb: RETURNDATACOPY 00000aec: RETURNDATASIZE 00000aed: PUSH1 0x00 00000aef: REVERT 00000af0: JUMPDEST 00000af1: POP 00000af2: POP 00000af3: POP 00000af4: POP 00000af5: PUSH1 0x40 00000af7: MLOAD 00000af8: RETURNDATASIZE 00000af9: PUSH1 0x20 00000afb: DUP2 00000afc: LT 00000afd: ISZERO 00000afe: PUSH2 0x0b06 00000b01: JUMPI 00000b02: PUSH1 0x00 00000b04: DUP1 00000b05: REVERT 00000b06: JUMPDEST 00000b07: DUP2 00000b08: ADD 00000b09: SWAP1 00000b0a: DUP1 00000b0b: DUP1 00000b0c: MLOAD 00000b0d: SWAP1 00000b0e: PUSH1 0x20 00000b10: ADD 00000b11: SWAP1 00000b12: SWAP3 00000b13: SWAP2 00000b14: SWAP1 00000b15: POP 00000b16: POP 00000b17: POP 00000b18: ISZERO 00000b19: ISZERO 00000b1a: PUSH2 0x0b93 00000b1d: JUMPI 00000b1e: DUP9 00000b1f: DUP4 00000b20: DUP2 00000b21: MLOAD 00000b22: DUP2 00000b23: LT 00000b24: ISZERO 00000b25: ISZERO 00000b26: PUSH2 0x0b2b 00000b29: JUMPI 00000b2a: INVALID 00000b2b: JUMPDEST 00000b2c: SWAP1 00000b2d: PUSH1 0x20 00000b2f: ADD 00000b30: SWAP1 00000b31: PUSH1 0x20 00000b33: MUL 00000b34: ADD 00000b35: MLOAD 00000b36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b4b: AND 00000b4c: PUSH2 0x08fc 00000b4f: DUP10 00000b50: DUP6 00000b51: DUP2 00000b52: MLOAD 00000b53: DUP2 00000b54: LT 00000b55: ISZERO 00000b56: ISZERO 00000b57: PUSH2 0x0b5c 00000b5a: JUMPI 00000b5b: INVALID 00000b5c: JUMPDEST 00000b5d: SWAP1 00000b5e: PUSH1 0x20 00000b60: ADD 00000b61: SWAP1 00000b62: PUSH1 0x20 00000b64: MUL 00000b65: ADD 00000b66: MLOAD 00000b67: SWAP1 00000b68: DUP2 00000b69: ISZERO 00000b6a: MUL 00000b6b: SWAP1 00000b6c: PUSH1 0x40 00000b6e: MLOAD 00000b6f: PUSH1 0x00 00000b71: PUSH1 0x40 00000b73: MLOAD 00000b74: DUP1 00000b75: DUP4 00000b76: SUB 00000b77: DUP2 00000b78: DUP6 00000b79: DUP9 00000b7a: DUP9 00000b7b: CALL 00000b7c: SWAP4 00000b7d: POP 00000b7e: POP 00000b7f: POP 00000b80: POP 00000b81: ISZERO 00000b82: DUP1 00000b83: ISZERO 00000b84: PUSH2 0x0b91 00000b87: JUMPI 00000b88: RETURNDATASIZE 00000b89: PUSH1 0x00 00000b8b: DUP1 00000b8c: RETURNDATACOPY 00000b8d: RETURNDATASIZE 00000b8e: PUSH1 0x00 00000b90: REVERT 00000b91: JUMPDEST 00000b92: POP 00000b93: JUMPDEST 00000b94: DUP3 00000b95: DUP1 00000b96: PUSH1 0x01 00000b98: ADD 00000b99: SWAP4 00000b9a: POP 00000b9b: POP 00000b9c: PUSH2 0x0a22 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: DUP7 00000ba2: MLOAD 00000ba3: SWAP2 00000ba4: POP 00000ba5: PUSH1 0x00 00000ba7: SWAP1 00000ba8: POP 00000ba9: JUMPDEST 00000baa: DUP2 00000bab: DUP2 00000bac: LT 00000bad: ISZERO 00000bae: PUSH2 0x0d27 00000bb1: JUMPI 00000bb2: ADDRESS 00000bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc8: AND 00000bc9: PUSH4 0x16279055 00000bce: DUP9 00000bcf: DUP4 00000bd0: DUP2 00000bd1: MLOAD 00000bd2: DUP2 00000bd3: LT 00000bd4: ISZERO 00000bd5: ISZERO 00000bd6: PUSH2 0x0bdb 00000bd9: JUMPI 00000bda: INVALID 00000bdb: JUMPDEST 00000bdc: SWAP1 00000bdd: PUSH1 0x20 00000bdf: ADD 00000be0: SWAP1 00000be1: PUSH1 0x20 00000be3: MUL 00000be4: ADD 00000be5: MLOAD 00000be6: PUSH1 0x40 00000be8: MLOAD 00000be9: DUP3 00000bea: PUSH4 0xffffffff 00000bef: AND 00000bf0: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000c0e: MUL 00000c0f: DUP2 00000c10: MSTORE 00000c11: PUSH1 0x04 00000c13: ADD 00000c14: DUP1 00000c15: DUP3 00000c16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2b: AND 00000c2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c41: AND 00000c42: DUP2 00000c43: MSTORE 00000c44: PUSH1 0x20 00000c46: ADD 00000c47: SWAP2 00000c48: POP 00000c49: POP 00000c4a: PUSH1 0x20 00000c4c: PUSH1 0x40 00000c4e: MLOAD 00000c4f: DUP1 00000c50: DUP4 00000c51: SUB 00000c52: DUP2 00000c53: PUSH1 0x00 00000c55: DUP8 00000c56: DUP1 00000c57: EXTCODESIZE 00000c58: ISZERO 00000c59: DUP1 00000c5a: ISZERO 00000c5b: PUSH2 0x0c63 00000c5e: JUMPI 00000c5f: PUSH1 0x00 00000c61: DUP1 00000c62: REVERT 00000c63: JUMPDEST 00000c64: POP 00000c65: GAS 00000c66: CALL 00000c67: ISZERO 00000c68: DUP1 00000c69: ISZERO 00000c6a: PUSH2 0x0c77 00000c6d: JUMPI 00000c6e: RETURNDATASIZE 00000c6f: PUSH1 0x00 00000c71: DUP1 00000c72: RETURNDATACOPY 00000c73: RETURNDATASIZE 00000c74: PUSH1 0x00 00000c76: REVERT 00000c77: JUMPDEST 00000c78: POP 00000c79: POP 00000c7a: POP 00000c7b: POP 00000c7c: PUSH1 0x40 00000c7e: MLOAD 00000c7f: RETURNDATASIZE 00000c80: PUSH1 0x20 00000c82: DUP2 00000c83: LT 00000c84: ISZERO 00000c85: PUSH2 0x0c8d 00000c88: JUMPI 00000c89: PUSH1 0x00 00000c8b: DUP1 00000c8c: REVERT 00000c8d: JUMPDEST 00000c8e: DUP2 00000c8f: ADD 00000c90: SWAP1 00000c91: DUP1 00000c92: DUP1 00000c93: MLOAD 00000c94: SWAP1 00000c95: PUSH1 0x20 00000c97: ADD 00000c98: SWAP1 00000c99: SWAP3 00000c9a: SWAP2 00000c9b: SWAP1 00000c9c: POP 00000c9d: POP 00000c9e: POP 00000c9f: ISZERO 00000ca0: ISZERO 00000ca1: PUSH2 0x0d1a 00000ca4: JUMPI 00000ca5: DUP7 00000ca6: DUP2 00000ca7: DUP2 00000ca8: MLOAD 00000ca9: DUP2 00000caa: LT 00000cab: ISZERO 00000cac: ISZERO 00000cad: PUSH2 0x0cb2 00000cb0: JUMPI 00000cb1: INVALID 00000cb2: JUMPDEST 00000cb3: SWAP1 00000cb4: PUSH1 0x20 00000cb6: ADD 00000cb7: SWAP1 00000cb8: PUSH1 0x20 00000cba: MUL 00000cbb: ADD 00000cbc: MLOAD 00000cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd2: AND 00000cd3: PUSH2 0x08fc 00000cd6: DUP8 00000cd7: DUP4 00000cd8: DUP2 00000cd9: MLOAD 00000cda: DUP2 00000cdb: LT 00000cdc: ISZERO 00000cdd: ISZERO 00000cde: PUSH2 0x0ce3 00000ce1: JUMPI 00000ce2: INVALID 00000ce3: JUMPDEST 00000ce4: SWAP1 00000ce5: PUSH1 0x20 00000ce7: ADD 00000ce8: SWAP1 00000ce9: PUSH1 0x20 00000ceb: MUL 00000cec: ADD 00000ced: MLOAD 00000cee: SWAP1 00000cef: DUP2 00000cf0: ISZERO 00000cf1: MUL 00000cf2: SWAP1 00000cf3: PUSH1 0x40 00000cf5: MLOAD 00000cf6: PUSH1 0x00 00000cf8: PUSH1 0x40 00000cfa: MLOAD 00000cfb: DUP1 00000cfc: DUP4 00000cfd: SUB 00000cfe: DUP2 00000cff: DUP6 00000d00: DUP9 00000d01: DUP9 00000d02: CALL 00000d03: SWAP4 00000d04: POP 00000d05: POP 00000d06: POP 00000d07: POP 00000d08: ISZERO 00000d09: DUP1 00000d0a: ISZERO 00000d0b: PUSH2 0x0d18 00000d0e: JUMPI 00000d0f: RETURNDATASIZE 00000d10: PUSH1 0x00 00000d12: DUP1 00000d13: RETURNDATACOPY 00000d14: RETURNDATASIZE 00000d15: PUSH1 0x00 00000d17: REVERT 00000d18: JUMPDEST 00000d19: POP 00000d1a: JUMPDEST 00000d1b: DUP1 00000d1c: DUP1 00000d1d: PUSH1 0x01 00000d1f: ADD 00000d20: SWAP2 00000d21: POP 00000d22: POP 00000d23: PUSH2 0x0ba9 00000d26: JUMP 00000d27: JUMPDEST 00000d28: PUSH1 0x00 00000d2a: DUP6 00000d2b: EQ 00000d2c: ISZERO 00000d2d: ISZERO 00000d2e: PUSH2 0x0d3b 00000d31: JUMPI 00000d32: PUSH2 0x0d3a 00000d35: DUP6 00000d36: PUSH2 0x1268 00000d39: JUMP 00000d3a: JUMPDEST 00000d3b: JUMPDEST 00000d3c: POP 00000d3d: POP 00000d3e: POP 00000d3f: POP 00000d40: POP 00000d41: POP 00000d42: POP 00000d43: POP 00000d44: POP 00000d45: JUMP 00000d46: JUMPDEST 00000d47: PUSH1 0x03 00000d49: PUSH1 0x00 00000d4b: SWAP1 00000d4c: SLOAD 00000d4d: SWAP1 00000d4e: PUSH2 0x0100 00000d51: EXP 00000d52: SWAP1 00000d53: DIV 00000d54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d69: AND 00000d6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d7f: AND 00000d80: CALLER 00000d81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d96: AND 00000d97: EQ 00000d98: ISZERO 00000d99: ISZERO 00000d9a: PUSH2 0x0e0b 00000d9d: JUMPI 00000d9e: PUSH1 0x40 00000da0: MLOAD 00000da1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000dc2: DUP2 00000dc3: MSTORE 00000dc4: PUSH1 0x04 00000dc6: ADD 00000dc7: DUP1 00000dc8: DUP1 00000dc9: PUSH1 0x20 00000dcb: ADD 00000dcc: DUP3 00000dcd: DUP2 00000dce: SUB 00000dcf: DUP3 00000dd0: MSTORE 00000dd1: PUSH1 0x0f 00000dd3: DUP2 00000dd4: MSTORE 00000dd5: PUSH1 0x20 00000dd7: ADD 00000dd8: DUP1 00000dd9: PUSH32 0x726f6f74202072657175697265642e0000000000000000000000000000000000 00000dfa: DUP2 00000dfb: MSTORE 00000dfc: POP 00000dfd: PUSH1 0x20 00000dff: ADD 00000e00: SWAP2 00000e01: POP 00000e02: POP 00000e03: PUSH1 0x40 00000e05: MLOAD 00000e06: DUP1 00000e07: SWAP2 00000e08: SUB 00000e09: SWAP1 00000e0a: REVERT 00000e0b: JUMPDEST 00000e0c: DUP1 00000e0d: PUSH1 0x05 00000e0f: PUSH1 0x00 00000e11: PUSH2 0x0100 00000e14: EXP 00000e15: DUP2 00000e16: SLOAD 00000e17: DUP2 00000e18: PUSH1 0xff 00000e1a: MUL 00000e1b: NOT 00000e1c: AND 00000e1d: SWAP1 00000e1e: DUP4 00000e1f: ISZERO 00000e20: ISZERO 00000e21: MUL 00000e22: OR 00000e23: SWAP1 00000e24: SSTORE 00000e25: POP 00000e26: POP 00000e27: JUMP 00000e28: JUMPDEST 00000e29: PUSH1 0x60 00000e2b: PUSH1 0x00 00000e2d: DUP1 00000e2e: SLOAD 00000e2f: DUP1 00000e30: PUSH1 0x20 00000e32: MUL 00000e33: PUSH1 0x20 00000e35: ADD 00000e36: PUSH1 0x40 00000e38: MLOAD 00000e39: SWAP1 00000e3a: DUP2 00000e3b: ADD 00000e3c: PUSH1 0x40 00000e3e: MSTORE 00000e3f: DUP1 00000e40: SWAP3 00000e41: SWAP2 00000e42: SWAP1 00000e43: DUP2 00000e44: DUP2 00000e45: MSTORE 00000e46: PUSH1 0x20 00000e48: ADD 00000e49: DUP3 00000e4a: DUP1 00000e4b: SLOAD 00000e4c: DUP1 00000e4d: ISZERO 00000e4e: PUSH2 0x0eac 00000e51: JUMPI 00000e52: PUSH1 0x20 00000e54: MUL 00000e55: DUP3 00000e56: ADD 00000e57: SWAP2 00000e58: SWAP1 00000e59: PUSH1 0x00 00000e5b: MSTORE 00000e5c: PUSH1 0x20 00000e5e: PUSH1 0x00 00000e60: KECCAK256 00000e61: SWAP1 00000e62: JUMPDEST 00000e63: DUP2 00000e64: PUSH1 0x00 00000e66: SWAP1 00000e67: SLOAD 00000e68: SWAP1 00000e69: PUSH2 0x0100 00000e6c: EXP 00000e6d: SWAP1 00000e6e: DIV 00000e6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e84: AND 00000e85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9a: AND 00000e9b: DUP2 00000e9c: MSTORE 00000e9d: PUSH1 0x20 00000e9f: ADD 00000ea0: SWAP1 00000ea1: PUSH1 0x01 00000ea3: ADD 00000ea4: SWAP1 00000ea5: DUP1 00000ea6: DUP4 00000ea7: GT 00000ea8: PUSH2 0x0e62 00000eab: JUMPI 00000eac: JUMPDEST 00000ead: POP 00000eae: POP 00000eaf: POP 00000eb0: POP 00000eb1: POP 00000eb2: SWAP1 00000eb3: POP 00000eb4: SWAP1 00000eb5: JUMP 00000eb6: JUMPDEST 00000eb7: PUSH1 0x00 00000eb9: PUSH1 0x04 00000ebb: SLOAD 00000ebc: SWAP1 00000ebd: POP 00000ebe: SWAP1 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: PUSH1 0x00 00000ec3: DUP1 00000ec4: PUSH1 0x03 00000ec6: PUSH1 0x00 00000ec8: SWAP1 00000ec9: SLOAD 00000eca: SWAP1 00000ecb: PUSH2 0x0100 00000ece: EXP 00000ecf: SWAP1 00000ed0: DIV 00000ed1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee6: AND 00000ee7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000efc: AND 00000efd: CALLER 00000efe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f13: AND 00000f14: EQ 00000f15: ISZERO 00000f16: ISZERO 00000f17: PUSH2 0x0f88 00000f1a: JUMPI 00000f1b: PUSH1 0x40 00000f1d: MLOAD 00000f1e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f3f: DUP2 00000f40: MSTORE 00000f41: PUSH1 0x04 00000f43: ADD 00000f44: DUP1 00000f45: DUP1 00000f46: PUSH1 0x20 00000f48: ADD 00000f49: DUP3 00000f4a: DUP2 00000f4b: SUB 00000f4c: DUP3 00000f4d: MSTORE 00000f4e: PUSH1 0x10 00000f50: DUP2 00000f51: MSTORE 00000f52: PUSH1 0x20 00000f54: ADD 00000f55: DUP1 00000f56: PUSH32 0x6f776e6572202072657175697265642e00000000000000000000000000000000 00000f77: DUP2 00000f78: MSTORE 00000f79: POP 00000f7a: PUSH1 0x20 00000f7c: ADD 00000f7d: SWAP2 00000f7e: POP 00000f7f: POP 00000f80: PUSH1 0x40 00000f82: MLOAD 00000f83: DUP1 00000f84: SWAP2 00000f85: SUB 00000f86: SWAP1 00000f87: REVERT 00000f88: JUMPDEST 00000f89: ADDRESS 00000f8a: SWAP2 00000f8b: POP 00000f8c: DUP2 00000f8d: DUP5 00000f8e: DUP5 00000f8f: PUSH2 0x0f96 00000f92: PUSH2 0x149f 00000f95: JUMP 00000f96: JUMPDEST 00000f97: DUP1 00000f98: DUP5 00000f99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fae: AND 00000faf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc4: AND 00000fc5: DUP2 00000fc6: MSTORE 00000fc7: PUSH1 0x20 00000fc9: ADD 00000fca: DUP4 00000fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe0: AND 00000fe1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff6: AND 00000ff7: DUP2 00000ff8: MSTORE 00000ff9: PUSH1 0x20 00000ffb: ADD 00000ffc: DUP3 00000ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001012: AND 00001013: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001028: AND 00001029: DUP2 0000102a: MSTORE 0000102b: PUSH1 0x20 0000102d: ADD 0000102e: SWAP4 0000102f: POP 00001030: POP 00001031: POP 00001032: POP 00001033: PUSH1 0x40 00001035: MLOAD 00001036: DUP1 00001037: SWAP2 00001038: SUB 00001039: SWAP1 0000103a: PUSH1 0x00 0000103c: CREATE 0000103d: DUP1 0000103e: ISZERO 0000103f: DUP1 00001040: ISZERO 00001041: PUSH2 0x104e 00001044: JUMPI 00001045: RETURNDATASIZE 00001046: PUSH1 0x00 00001048: DUP1 00001049: RETURNDATACOPY 0000104a: RETURNDATASIZE 0000104b: PUSH1 0x00 0000104d: REVERT 0000104e: JUMPDEST 0000104f: POP 00001050: SWAP1 00001051: POP 00001052: PUSH1 0x00 00001054: DUP2 00001055: SWAP1 00001056: DUP1 00001057: PUSH1 0x01 00001059: DUP2 0000105a: SLOAD 0000105b: ADD 0000105c: DUP1 0000105d: DUP3 0000105e: SSTORE 0000105f: DUP1 00001060: SWAP2 00001061: POP 00001062: POP 00001063: SWAP1 00001064: PUSH1 0x01 00001066: DUP3 00001067: SUB 00001068: SWAP1 00001069: PUSH1 0x00 0000106b: MSTORE 0000106c: PUSH1 0x20 0000106e: PUSH1 0x00 00001070: KECCAK256 00001071: ADD 00001072: PUSH1 0x00 00001074: SWAP1 00001075: SWAP2 00001076: SWAP3 00001077: SWAP1 00001078: SWAP2 00001079: SWAP1 0000107a: SWAP2 0000107b: PUSH2 0x0100 0000107e: EXP 0000107f: DUP2 00001080: SLOAD 00001081: DUP2 00001082: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001097: MUL 00001098: NOT 00001099: AND 0000109a: SWAP1 0000109b: DUP4 0000109c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b1: AND 000010b2: MUL 000010b3: OR 000010b4: SWAP1 000010b5: SSTORE 000010b6: POP 000010b7: POP 000010b8: POP 000010b9: POP 000010ba: POP 000010bb: POP 000010bc: JUMP 000010bd: JUMPDEST 000010be: PUSH1 0x03 000010c0: PUSH1 0x00 000010c2: SWAP1 000010c3: SLOAD 000010c4: SWAP1 000010c5: PUSH2 0x0100 000010c8: EXP 000010c9: SWAP1 000010ca: DIV 000010cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e0: AND 000010e1: DUP2 000010e2: JUMP 000010e3: JUMPDEST 000010e4: PUSH1 0x03 000010e6: PUSH1 0x00 000010e8: SWAP1 000010e9: SLOAD 000010ea: SWAP1 000010eb: PUSH2 0x0100 000010ee: EXP 000010ef: SWAP1 000010f0: DIV 000010f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001106: AND 00001107: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000111c: AND 0000111d: CALLER 0000111e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001133: AND 00001134: EQ 00001135: ISZERO 00001136: ISZERO 00001137: PUSH2 0x11a8 0000113a: JUMPI 0000113b: PUSH1 0x40 0000113d: MLOAD 0000113e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000115f: DUP2 00001160: MSTORE 00001161: PUSH1 0x04 00001163: ADD 00001164: DUP1 00001165: DUP1 00001166: PUSH1 0x20 00001168: ADD 00001169: DUP3 0000116a: DUP2 0000116b: SUB 0000116c: DUP3 0000116d: MSTORE 0000116e: PUSH1 0x10 00001170: DUP2 00001171: MSTORE 00001172: PUSH1 0x20 00001174: ADD 00001175: DUP1 00001176: PUSH32 0x6f776e6572202072657175697265642e00000000000000000000000000000000 00001197: DUP2 00001198: MSTORE 00001199: POP 0000119a: PUSH1 0x20 0000119c: ADD 0000119d: SWAP2 0000119e: POP 0000119f: POP 000011a0: PUSH1 0x40 000011a2: MLOAD 000011a3: DUP1 000011a4: SWAP2 000011a5: SUB 000011a6: SWAP1 000011a7: REVERT 000011a8: JUMPDEST 000011a9: DUP1 000011aa: PUSH1 0x03 000011ac: PUSH1 0x00 000011ae: PUSH2 0x0100 000011b1: EXP 000011b2: DUP2 000011b3: SLOAD 000011b4: DUP2 000011b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ca: MUL 000011cb: NOT 000011cc: AND 000011cd: SWAP1 000011ce: DUP4 000011cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e4: AND 000011e5: MUL 000011e6: OR 000011e7: SWAP1 000011e8: SSTORE 000011e9: POP 000011ea: POP 000011eb: JUMP 000011ec: JUMPDEST 000011ed: PUSH1 0x01 000011ef: DUP2 000011f0: DUP2 000011f1: SLOAD 000011f2: DUP2 000011f3: LT 000011f4: ISZERO 000011f5: ISZERO 000011f6: PUSH2 0x11fb 000011f9: JUMPI 000011fa: INVALID 000011fb: JUMPDEST 000011fc: SWAP1 000011fd: PUSH1 0x00 000011ff: MSTORE 00001200: PUSH1 0x20 00001202: PUSH1 0x00 00001204: KECCAK256 00001205: ADD 00001206: PUSH1 0x00 00001208: SWAP2 00001209: POP 0000120a: SLOAD 0000120b: SWAP1 0000120c: PUSH2 0x0100 0000120f: EXP 00001210: SWAP1 00001211: DIV 00001212: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001227: AND 00001228: DUP2 00001229: JUMP 0000122a: JUMPDEST 0000122b: PUSH1 0x00 0000122d: DUP2 0000122e: DUP2 0000122f: SLOAD 00001230: DUP2 00001231: LT 00001232: ISZERO 00001233: ISZERO 00001234: PUSH2 0x1239 00001237: JUMPI 00001238: INVALID 00001239: JUMPDEST 0000123a: SWAP1 0000123b: PUSH1 0x00 0000123d: MSTORE 0000123e: PUSH1 0x20 00001240: PUSH1 0x00 00001242: KECCAK256 00001243: ADD 00001244: PUSH1 0x00 00001246: SWAP2 00001247: POP 00001248: SLOAD 00001249: SWAP1 0000124a: PUSH2 0x0100 0000124d: EXP 0000124e: SWAP1 0000124f: DIV 00001250: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001265: AND 00001266: DUP2 00001267: JUMP 00001268: JUMPDEST 00001269: PUSH1 0x03 0000126b: PUSH1 0x00 0000126d: SWAP1 0000126e: SLOAD 0000126f: SWAP1 00001270: PUSH2 0x0100 00001273: EXP 00001274: SWAP1 00001275: DIV 00001276: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000128b: AND 0000128c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a1: AND 000012a2: CALLER 000012a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b8: AND 000012b9: EQ 000012ba: ISZERO 000012bb: ISZERO 000012bc: PUSH2 0x132d 000012bf: JUMPI 000012c0: PUSH1 0x40 000012c2: MLOAD 000012c3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012e4: DUP2 000012e5: MSTORE 000012e6: PUSH1 0x04 000012e8: ADD 000012e9: DUP1 000012ea: DUP1 000012eb: PUSH1 0x20 000012ed: ADD 000012ee: DUP3 000012ef: DUP2 000012f0: SUB 000012f1: DUP3 000012f2: MSTORE 000012f3: PUSH1 0x10 000012f5: DUP2 000012f6: MSTORE 000012f7: PUSH1 0x20 000012f9: ADD 000012fa: DUP1 000012fb: PUSH32 0x6f776e6572202072657175697265642e00000000000000000000000000000000 0000131c: DUP2 0000131d: MSTORE 0000131e: POP 0000131f: PUSH1 0x20 00001321: ADD 00001322: SWAP2 00001323: POP 00001324: POP 00001325: PUSH1 0x40 00001327: MLOAD 00001328: DUP1 00001329: SWAP2 0000132a: SUB 0000132b: SWAP1 0000132c: REVERT 0000132d: JUMPDEST 0000132e: DUP1 0000132f: PUSH1 0x04 00001331: DUP2 00001332: SWAP1 00001333: SSTORE 00001334: POP 00001335: POP 00001336: JUMP 00001337: JUMPDEST 00001338: PUSH1 0x00 0000133a: DUP1 0000133b: PUSH1 0x03 0000133d: PUSH1 0x00 0000133f: SWAP1 00001340: SLOAD 00001341: SWAP1 00001342: PUSH2 0x0100 00001345: EXP 00001346: SWAP1 00001347: DIV 00001348: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000135d: AND 0000135e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001373: AND 00001374: CALLER 00001375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000138a: AND 0000138b: EQ 0000138c: ISZERO 0000138d: ISZERO 0000138e: PUSH2 0x13ff 00001391: JUMPI 00001392: PUSH1 0x40 00001394: MLOAD 00001395: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013b6: DUP2 000013b7: MSTORE 000013b8: PUSH1 0x04 000013ba: ADD 000013bb: DUP1 000013bc: DUP1 000013bd: PUSH1 0x20 000013bf: ADD 000013c0: DUP3 000013c1: DUP2 000013c2: SUB 000013c3: DUP3 000013c4: MSTORE 000013c5: PUSH1 0x10 000013c7: DUP2 000013c8: MSTORE 000013c9: PUSH1 0x20 000013cb: ADD 000013cc: DUP1 000013cd: PUSH32 0x6f776e6572202072657175697265642e00000000000000000000000000000000 000013ee: DUP2 000013ef: MSTORE 000013f0: POP 000013f1: PUSH1 0x20 000013f3: ADD 000013f4: SWAP2 000013f5: POP 000013f6: POP 000013f7: PUSH1 0x40 000013f9: MLOAD 000013fa: DUP1 000013fb: SWAP2 000013fc: SUB 000013fd: SWAP1 000013fe: REVERT 000013ff: JUMPDEST 00001400: DUP3 00001401: MLOAD 00001402: SWAP2 00001403: POP 00001404: PUSH1 0x00 00001406: SWAP1 00001407: POP 00001408: JUMPDEST 00001409: DUP2 0000140a: DUP2 0000140b: LT 0000140c: ISZERO 0000140d: PUSH2 0x149a 00001410: JUMPI 00001411: PUSH1 0x00 00001413: DUP4 00001414: DUP3 00001415: DUP2 00001416: MLOAD 00001417: DUP2 00001418: LT 00001419: ISZERO 0000141a: ISZERO 0000141b: PUSH2 0x1420 0000141e: JUMPI 0000141f: INVALID 00001420: JUMPDEST 00001421: SWAP1 00001422: PUSH1 0x20 00001424: ADD 00001425: SWAP1 00001426: PUSH1 0x20 00001428: MUL 00001429: ADD 0000142a: MLOAD 0000142b: SWAP1 0000142c: DUP1 0000142d: PUSH1 0x01 0000142f: DUP2 00001430: SLOAD 00001431: ADD 00001432: DUP1 00001433: DUP3 00001434: SSTORE 00001435: DUP1 00001436: SWAP2 00001437: POP 00001438: POP 00001439: SWAP1 0000143a: PUSH1 0x01 0000143c: DUP3 0000143d: SUB 0000143e: SWAP1 0000143f: PUSH1 0x00 00001441: MSTORE 00001442: PUSH1 0x20 00001444: PUSH1 0x00 00001446: KECCAK256 00001447: ADD 00001448: PUSH1 0x00 0000144a: SWAP1 0000144b: SWAP2 0000144c: SWAP3 0000144d: SWAP1 0000144e: SWAP2 0000144f: SWAP1 00001450: SWAP2 00001451: PUSH2 0x0100 00001454: EXP 00001455: DUP2 00001456: SLOAD 00001457: DUP2 00001458: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000146d: MUL 0000146e: NOT 0000146f: AND 00001470: SWAP1 00001471: DUP4 00001472: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001487: AND 00001488: MUL 00001489: OR 0000148a: SWAP1 0000148b: SSTORE 0000148c: POP 0000148d: POP 0000148e: DUP1 0000148f: DUP1 00001490: PUSH1 0x01 00001492: ADD 00001493: SWAP2 00001494: POP 00001495: POP 00001496: PUSH2 0x1408 00001499: JUMP 0000149a: JUMPDEST 0000149b: POP 0000149c: POP 0000149d: POP 0000149e: JUMP 0000149f: JUMPDEST 000014a0: PUSH1 0x40 000014a2: MLOAD 000014a3: PUSH2 0x0456 000014a6: DUP1 000014a7: PUSH2 0x14b0 000014aa: DUP4 000014ab: CODECOPY 000014ac: ADD 000014ad: SWAP1 000014ae: JUMP 000014af: STOP 000014b0: PUSH1 0x80 000014b2: PUSH1 0x40 000014b4: MSTORE 000014b5: CALLVALUE 000014b6: DUP1 000014b7: ISZERO 000014b8: PUSH2 0x0010 000014bb: JUMPI 000014bc: PUSH1 0x00 000014be: DUP1 000014bf: REVERT 000014c0: JUMPDEST 000014c1: POP 000014c2: PUSH1 0x40 000014c4: MLOAD 000014c5: PUSH1 0x60 000014c7: DUP1 000014c8: PUSH2 0x0456 000014cb: DUP4 000014cc: CODECOPY 000014cd: DUP2 000014ce: ADD 000014cf: DUP1 000014d0: PUSH1 0x40 000014d2: MSTORE 000014d3: DUP2 000014d4: ADD 000014d5: SWAP1 000014d6: DUP1 000014d7: DUP1 000014d8: MLOAD 000014d9: SWAP1 000014da: PUSH1 0x20 000014dc: ADD 000014dd: SWAP1 000014de: SWAP3 000014df: SWAP2 000014e0: SWAP1 000014e1: DUP1 000014e2: MLOAD 000014e3: SWAP1 000014e4: PUSH1 0x20 000014e6: ADD 000014e7: SWAP1 000014e8: SWAP3 000014e9: SWAP2 000014ea: SWAP1 000014eb: DUP1 000014ec: MLOAD 000014ed: SWAP1 000014ee: PUSH1 0x20 000014f0: ADD 000014f1: SWAP1 000014f2: SWAP3 000014f3: SWAP2 000014f4: SWAP1 000014f5: POP 000014f6: POP 000014f7: POP 000014f8: DUP3 000014f9: PUSH1 0x02 000014fb: PUSH1 0x00 000014fd: PUSH2 0x0100 00001500: EXP 00001501: DUP2 00001502: SLOAD 00001503: DUP2 00001504: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001519: MUL 0000151a: NOT 0000151b: AND 0000151c: SWAP1 0000151d: DUP4 0000151e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001533: AND 00001534: MUL 00001535: OR 00001536: SWAP1 00001537: SSTORE 00001538: POP 00001539: DUP2 0000153a: PUSH1 0x01 0000153c: PUSH1 0x00 0000153e: PUSH2 0x0100 00001541: EXP 00001542: DUP2 00001543: SLOAD 00001544: DUP2 00001545: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000155a: MUL 0000155b: NOT 0000155c: AND 0000155d: SWAP1 0000155e: DUP4 0000155f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001574: AND 00001575: MUL 00001576: OR 00001577: SWAP1 00001578: SSTORE 00001579: POP 0000157a: DUP1 0000157b: PUSH1 0x00 0000157d: DUP1 0000157e: PUSH2 0x0100 00001581: EXP 00001582: DUP2 00001583: SLOAD 00001584: DUP2 00001585: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000159a: MUL 0000159b: NOT 0000159c: AND 0000159d: SWAP1 0000159e: DUP4 0000159f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b4: AND 000015b5: MUL 000015b6: OR 000015b7: SWAP1 000015b8: SSTORE 000015b9: POP 000015ba: POP 000015bb: POP 000015bc: POP 000015bd: PUSH2 0x033b 000015c0: DUP1 000015c1: PUSH2 0x011b 000015c4: PUSH1 0x00 000015c6: CODECOPY 000015c7: PUSH1 0x00 000015c9: RETURN 000015ca: STOP 000015cb: PUSH1 0x80 000015cd: PUSH1 0x40 000015cf: MSTORE 000015d0: PUSH1 0x04 000015d2: CALLDATASIZE 000015d3: LT 000015d4: PUSH2 0x0057 000015d7: JUMPI 000015d8: PUSH1 0x00 000015da: CALLDATALOAD 000015db: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000015f9: SWAP1 000015fa: DIV 000015fb: PUSH4 0xffffffff 00001600: AND 00001601: DUP1 00001602: PUSH4 0x4a7902d2 00001607: EQ 00001608: PUSH2 0x00c2 0000160b: JUMPI 0000160c: DUP1 0000160d: PUSH4 0x80f76021 00001612: EQ 00001613: PUSH2 0x0105 00001616: JUMPI 00001617: DUP1 00001618: PUSH4 0x893d20e8 0000161d: EQ 0000161e: PUSH2 0x015c 00001621: JUMPI 00001622: JUMPDEST 00001623: PUSH1 0x02 00001625: PUSH1 0x00 00001627: SWAP1 00001628: SLOAD 00001629: SWAP1 0000162a: PUSH2 0x0100 0000162d: EXP 0000162e: SWAP1 0000162f: DIV 00001630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001645: AND 00001646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000165b: AND 0000165c: PUSH2 0x08fc 0000165f: CALLVALUE 00001660: SWAP1 00001661: DUP2 00001662: ISZERO 00001663: MUL 00001664: SWAP1 00001665: PUSH1 0x40 00001667: MLOAD 00001668: PUSH1 0x00 0000166a: PUSH1 0x40 0000166c: MLOAD 0000166d: DUP1 0000166e: DUP4 0000166f: SUB 00001670: DUP2 00001671: DUP6 00001672: DUP9 00001673: DUP9 00001674: CALL 00001675: SWAP4 00001676: POP 00001677: POP 00001678: POP 00001679: POP 0000167a: ISZERO 0000167b: DUP1 0000167c: ISZERO 0000167d: PUSH2 0x00bf 00001680: JUMPI 00001681: RETURNDATASIZE 00001682: PUSH1 0x00 00001684: DUP1 00001685: RETURNDATACOPY 00001686: RETURNDATASIZE 00001687: PUSH1 0x00 00001689: REVERT 0000168a: JUMPDEST 0000168b: POP 0000168c: STOP 0000168d: JUMPDEST 0000168e: CALLVALUE 0000168f: DUP1 00001690: ISZERO 00001691: PUSH2 0x00ce 00001694: JUMPI 00001695: PUSH1 0x00 00001697: DUP1 00001698: REVERT 00001699: JUMPDEST 0000169a: POP 0000169b: PUSH2 0x0103 0000169e: PUSH1 0x04 000016a0: DUP1 000016a1: CALLDATASIZE 000016a2: SUB 000016a3: DUP2 000016a4: ADD 000016a5: SWAP1 000016a6: DUP1 000016a7: DUP1 000016a8: CALLDATALOAD 000016a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016be: AND 000016bf: SWAP1 000016c0: PUSH1 0x20 000016c2: ADD 000016c3: SWAP1 000016c4: SWAP3 000016c5: SWAP2 000016c6: SWAP1 000016c7: POP 000016c8: POP 000016c9: POP 000016ca: PUSH2 0x01b3 000016cd: JUMP 000016ce: JUMPDEST 000016cf: STOP 000016d0: JUMPDEST 000016d1: CALLVALUE 000016d2: DUP1 000016d3: ISZERO 000016d4: PUSH2 0x0111 000016d7: JUMPI 000016d8: PUSH1 0x00 000016da: DUP1 000016db: REVERT 000016dc: JUMPDEST 000016dd: POP 000016de: PUSH2 0x011a 000016e1: PUSH2 0x02bc 000016e4: JUMP 000016e5: JUMPDEST 000016e6: PUSH1 0x40 000016e8: MLOAD 000016e9: DUP1 000016ea: DUP3 000016eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001700: AND 00001701: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001716: AND 00001717: DUP2 00001718: MSTORE 00001719: PUSH1 0x20 0000171b: ADD 0000171c: SWAP2 0000171d: POP 0000171e: POP 0000171f: PUSH1 0x40 00001721: MLOAD 00001722: DUP1 00001723: SWAP2 00001724: SUB 00001725: SWAP1 00001726: RETURN 00001727: JUMPDEST 00001728: CALLVALUE 00001729: DUP1 0000172a: ISZERO 0000172b: PUSH2 0x0168 0000172e: JUMPI 0000172f: PUSH1 0x00 00001731: DUP1 00001732: REVERT 00001733: JUMPDEST 00001734: POP 00001735: PUSH2 0x0171 00001738: PUSH2 0x02e6 0000173b: JUMP 0000173c: JUMPDEST 0000173d: PUSH1 0x40 0000173f: MLOAD 00001740: DUP1 00001741: DUP3 00001742: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001757: AND 00001758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000176d: AND 0000176e: DUP2 0000176f: MSTORE 00001770: PUSH1 0x20 00001772: ADD 00001773: SWAP2 00001774: POP 00001775: POP 00001776: PUSH1 0x40 00001778: MLOAD 00001779: DUP1 0000177a: SWAP2 0000177b: SUB 0000177c: SWAP1 0000177d: RETURN 0000177e: JUMPDEST 0000177f: PUSH1 0x02 00001781: PUSH1 0x00 00001783: SWAP1 00001784: SLOAD 00001785: SWAP1 00001786: PUSH2 0x0100 00001789: EXP 0000178a: SWAP1 0000178b: DIV 0000178c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a1: AND 000017a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017b7: AND 000017b8: CALLER 000017b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017ce: AND 000017cf: EQ 000017d0: ISZERO 000017d1: ISZERO 000017d2: PUSH2 0x0278 000017d5: JUMPI 000017d6: PUSH1 0x40 000017d8: MLOAD 000017d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017fa: DUP2 000017fb: MSTORE 000017fc: PUSH1 0x04 000017fe: ADD 000017ff: DUP1 00001800: DUP1 00001801: PUSH1 0x20 00001803: ADD 00001804: DUP3 00001805: DUP2 00001806: SUB 00001807: DUP3 00001808: MSTORE 00001809: PUSH1 0x0f 0000180b: DUP2 0000180c: MSTORE 0000180d: PUSH1 0x20 0000180f: ADD 00001810: DUP1 00001811: PUSH32 0x726f6f74202072657175697265642e0000000000000000000000000000000000 00001832: DUP2 00001833: MSTORE 00001834: POP 00001835: PUSH1 0x20 00001837: ADD 00001838: SWAP2 00001839: POP 0000183a: POP 0000183b: PUSH1 0x40 0000183d: MLOAD 0000183e: DUP1 0000183f: SWAP2 00001840: SUB 00001841: SWAP1 00001842: REVERT 00001843: JUMPDEST 00001844: DUP1 00001845: PUSH1 0x02 00001847: PUSH1 0x00 00001849: PUSH2 0x0100 0000184c: EXP 0000184d: DUP2 0000184e: SLOAD 0000184f: DUP2 00001850: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001865: MUL 00001866: NOT 00001867: AND 00001868: SWAP1 00001869: DUP4 0000186a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000187f: AND 00001880: MUL 00001881: OR 00001882: SWAP1 00001883: SSTORE 00001884: POP 00001885: POP 00001886: JUMP 00001887: JUMPDEST 00001888: PUSH1 0x00 0000188a: PUSH1 0x01 0000188c: PUSH1 0x00 0000188e: SWAP1 0000188f: SLOAD 00001890: SWAP1 00001891: PUSH2 0x0100 00001894: EXP 00001895: SWAP1 00001896: DIV 00001897: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ac: AND 000018ad: SWAP1 000018ae: POP 000018af: SWAP1 000018b0: JUMP 000018b1: JUMPDEST 000018b2: PUSH1 0x00 000018b4: DUP1 000018b5: PUSH1 0x00 000018b7: SWAP1 000018b8: SLOAD 000018b9: SWAP1 000018ba: PUSH2 0x0100 000018bd: EXP 000018be: SWAP1 000018bf: DIV 000018c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018d5: AND 000018d6: SWAP1 000018d7: POP 000018d8: SWAP1 000018d9: JUMP 000018da: STOP 000018db: LOG1 000018dc: PUSH6 0x627a7a723058 000018e3: KECCAK256 000018e4: UNKNOWN(0xB4) 000018e5: RETURNDATASIZE 000018e6: PUSH10 0xba26b181daa8b6619826 000018f1: UNKNOWN(0xB8) 000018f2: PUSH8 0xabe191c468cf8bd0 000018fb: CODESIZE 000018fc: UNKNOWN(0xE0) 000018fd: OR 000018fe: UNKNOWN(0xC1) 000018ff: DUP14 00001900: SWAP2 00001901: BYTE 00001902: UNKNOWN(0xB4) 00001903: SELFBALANCE 00001904: STOP 00001905: UNKNOWN(0x29) 00001906: LOG1 00001907: PUSH6 0x627a7a723058 0000190e: KECCAK256 0000190f: SWAP16 00001910: DELEGATECALL 00001911: UNKNOWN(0xE8) 00001912: NOT 00001913: DIV 00001914: UNKNOWN(0xB6) 00001915: OR 00001916: PUSH23 0x6713b749293b50e48ceb8b660ec097ee9f225b36c2c0df 0000192e: UNKNOWN(0x28) 0000192f: STOP 00001930: UNKNOWN(0x29)
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x5947f7d3ed6548d17e8e83a8778474f88912eea48f3abe2eab65643855ff1a6d
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x5947f7d3ed6548d17e8e83a8778474f88912eea48f3abe2eab65643855ff1a6d",
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16279055",
"selector": "0x16279055",
"calldata_variants": [
"0x16279055",
"0x162790550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x213a0317",
"selector": "0x213a0317",
"calldata_variants": [
"0x213a0317",
"0x213a03170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b825499",
"selector": "0x2b825499",
"calldata_variants": [
"0x2b825499",
"0x2b8254990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b2dd377",
"selector": "0x5b2dd377",
"calldata_variants": [
"0x5b2dd377",
"0x5b2dd3770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d4fead3",
"selector": "0x5d4fead3",
"calldata_variants": [
"0x5d4fead3",
"0x5d4fead30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62339bf8",
"selector": "0x62339bf8",
"calldata_variants": [
"0x62339bf8",
"0x62339bf80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x785959b3",
"selector": "0x785959b3",
"calldata_variants": [
"0x785959b3",
"0x785959b30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6416,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 2204,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3456,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3837,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4381,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4770,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4980,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6072,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x3a034a16ae0366aed53d4be481a07e1955098e5bf3c0b47cd17d9d92d5f1d8d0
call_targets:
0x8e2be11e2c5dca2bd69d483d5d109be5f82fae32
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3a034a16ae0366aed53d4be481a07e1955098e5bf3c0b47cd17d9d92d5f1d8d0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8e2be11e2c5dca2bd69d483d5d109be5f82fae32"
],
"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": "0x16279055",
"selector": "0x16279055",
"calldata_variants": [
"0x16279055",
"0x162790550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x213a0317",
"selector": "0x213a0317",
"calldata_variants": [
"0x213a0317",
"0x213a03170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b825499",
"selector": "0x2b825499",
"calldata_variants": [
"0x2b825499",
"0x2b8254990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b2dd377",
"selector": "0x5b2dd377",
"calldata_variants": [
"0x5b2dd377",
"0x5b2dd3770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d4fead3",
"selector": "0x5d4fead3",
"calldata_variants": [
"0x5d4fead3",
"0x5d4fead30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62339bf8",
"selector": "0x62339bf8",
"calldata_variants": [
"0x62339bf8",
"0x62339bf80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x785959b3",
"selector": "0x785959b3",
"calldata_variants": [
"0x785959b3",
"0x785959b30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2037,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2783,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2939,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 2204,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3456,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3837,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4381,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4770,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4980,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6072,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x3a034a16ae0366aed53d4be481a07e1955098e5bf3c0b47cd17d9d92d5f1d8d0
call_targets:
0x8e2be11e2c5dca2bd69d483d5d109be5f82fae32
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3a034a16ae0366aed53d4be481a07e1955098e5bf3c0b47cd17d9d92d5f1d8d0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8e2be11e2c5dca2bd69d483d5d109be5f82fae32"
],
"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": "0x16279055",
"selector": "0x16279055",
"calldata_variants": [
"0x16279055",
"0x162790550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x213a0317",
"selector": "0x213a0317",
"calldata_variants": [
"0x213a0317",
"0x213a03170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b825499",
"selector": "0x2b825499",
"calldata_variants": [
"0x2b825499",
"0x2b8254990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b2dd377",
"selector": "0x5b2dd377",
"calldata_variants": [
"0x5b2dd377",
"0x5b2dd3770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d4fead3",
"selector": "0x5d4fead3",
"calldata_variants": [
"0x5d4fead3",
"0x5d4fead30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62339bf8",
"selector": "0x62339bf8",
"calldata_variants": [
"0x62339bf8",
"0x62339bf80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x785959b3",
"selector": "0x785959b3",
"calldata_variants": [
"0x785959b3",
"0x785959b30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2037,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2783,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2939,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 2204,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3456,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3837,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4381,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4770,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4980,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6072,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x0414ace38f8401009897c8bfeb12c5a55405b949d7c8ebf804b1ea6777929552
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x0414ace38f8401009897c8bfeb12c5a55405b949d7c8ebf804b1ea6777929552",
"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": "0x16279055",
"selector": "0x16279055",
"calldata_variants": [
"0x16279055",
"0x162790550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x213a0317",
"selector": "0x213a0317",
"calldata_variants": [
"0x213a0317",
"0x213a03170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b825499",
"selector": "0x2b825499",
"calldata_variants": [
"0x2b825499",
"0x2b8254990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b2dd377",
"selector": "0x5b2dd377",
"calldata_variants": [
"0x5b2dd377",
"0x5b2dd3770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d4fead3",
"selector": "0x5d4fead3",
"calldata_variants": [
"0x5d4fead3",
"0x5d4fead30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62339bf8",
"selector": "0x62339bf8",
"calldata_variants": [
"0x62339bf8",
"0x62339bf80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x785959b3",
"selector": "0x785959b3",
"calldata_variants": [
"0x785959b3",
"0x785959b30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|