019b3844-9398-7036-8e8d-71a970281052
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 |
|---|---|---|---|---|
| 13075 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 13076 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 55904 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 55905 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 55906 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 55907 | 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 0x00c5 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x16fd381a 0000003c: EQ 0000003d: PUSH2 0x00c7 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x4d61537f 00000047: EQ 00000048: PUSH2 0x00f4 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x6b5c5f39 00000052: EQ 00000053: PUSH2 0x014b 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x8da5cb5b 0000005d: EQ 0000005e: PUSH2 0x01a2 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xb539cd55 00000068: EQ 00000069: PUSH2 0x01f9 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xc1075329 00000073: EQ 00000074: PUSH2 0x0224 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xd06c54fb 0000007e: EQ 0000007f: PUSH2 0x0271 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xd579fd44 00000089: EQ 0000008a: PUSH2 0x0288 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xdf88126f 00000094: EQ 00000095: PUSH2 0x02cb 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xe71c9697 0000009f: EQ 000000a0: PUSH2 0x031a 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xf8bb201c 000000aa: EQ 000000ab: PUSH2 0x034e 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xf9c230a4 000000b5: EQ 000000b6: PUSH2 0x0391 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xfbd668a9 000000c0: EQ 000000c1: PUSH2 0x0401 000000c4: JUMPI 000000c5: JUMPDEST 000000c6: STOP 000000c7: JUMPDEST 000000c8: CALLVALUE 000000c9: DUP1 000000ca: ISZERO 000000cb: PUSH2 0x00d3 000000ce: JUMPI 000000cf: PUSH1 0x00 000000d1: DUP1 000000d2: REVERT 000000d3: JUMPDEST 000000d4: POP 000000d5: PUSH2 0x00f2 000000d8: PUSH1 0x04 000000da: DUP1 000000db: CALLDATASIZE 000000dc: SUB 000000dd: DUP2 000000de: ADD 000000df: SWAP1 000000e0: DUP1 000000e1: DUP1 000000e2: CALLDATALOAD 000000e3: SWAP1 000000e4: PUSH1 0x20 000000e6: ADD 000000e7: SWAP1 000000e8: SWAP3 000000e9: SWAP2 000000ea: SWAP1 000000eb: POP 000000ec: POP 000000ed: POP 000000ee: PUSH2 0x042e 000000f1: JUMP 000000f2: JUMPDEST 000000f3: STOP 000000f4: JUMPDEST 000000f5: CALLVALUE 000000f6: DUP1 000000f7: ISZERO 000000f8: PUSH2 0x0100 000000fb: JUMPI 000000fc: PUSH1 0x00 000000fe: DUP1 000000ff: REVERT 00000100: JUMPDEST 00000101: POP 00000102: PUSH2 0x0109 00000105: PUSH2 0x0904 00000108: JUMP 00000109: JUMPDEST 0000010a: PUSH1 0x40 0000010c: MLOAD 0000010d: DUP1 0000010e: DUP3 0000010f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000124: AND 00000125: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000013a: AND 0000013b: DUP2 0000013c: MSTORE 0000013d: PUSH1 0x20 0000013f: ADD 00000140: SWAP2 00000141: POP 00000142: POP 00000143: PUSH1 0x40 00000145: MLOAD 00000146: DUP1 00000147: SWAP2 00000148: SUB 00000149: SWAP1 0000014a: RETURN 0000014b: JUMPDEST 0000014c: CALLVALUE 0000014d: DUP1 0000014e: ISZERO 0000014f: PUSH2 0x0157 00000152: JUMPI 00000153: PUSH1 0x00 00000155: DUP1 00000156: REVERT 00000157: JUMPDEST 00000158: POP 00000159: PUSH2 0x0160 0000015c: PUSH2 0x092a 0000015f: JUMP 00000160: JUMPDEST 00000161: PUSH1 0x40 00000163: MLOAD 00000164: DUP1 00000165: DUP3 00000166: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000017b: AND 0000017c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000191: AND 00000192: DUP2 00000193: MSTORE 00000194: PUSH1 0x20 00000196: ADD 00000197: SWAP2 00000198: POP 00000199: POP 0000019a: PUSH1 0x40 0000019c: MLOAD 0000019d: DUP1 0000019e: SWAP2 0000019f: SUB 000001a0: SWAP1 000001a1: RETURN 000001a2: JUMPDEST 000001a3: CALLVALUE 000001a4: DUP1 000001a5: ISZERO 000001a6: PUSH2 0x01ae 000001a9: JUMPI 000001aa: PUSH1 0x00 000001ac: DUP1 000001ad: REVERT 000001ae: JUMPDEST 000001af: POP 000001b0: PUSH2 0x01b7 000001b3: PUSH2 0x0950 000001b6: JUMP 000001b7: JUMPDEST 000001b8: PUSH1 0x40 000001ba: MLOAD 000001bb: DUP1 000001bc: DUP3 000001bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d2: AND 000001d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e8: AND 000001e9: DUP2 000001ea: MSTORE 000001eb: PUSH1 0x20 000001ed: ADD 000001ee: SWAP2 000001ef: POP 000001f0: POP 000001f1: PUSH1 0x40 000001f3: MLOAD 000001f4: DUP1 000001f5: SWAP2 000001f6: SUB 000001f7: SWAP1 000001f8: RETURN 000001f9: JUMPDEST 000001fa: CALLVALUE 000001fb: DUP1 000001fc: ISZERO 000001fd: PUSH2 0x0205 00000200: JUMPI 00000201: PUSH1 0x00 00000203: DUP1 00000204: REVERT 00000205: JUMPDEST 00000206: POP 00000207: PUSH2 0x020e 0000020a: PUSH2 0x0976 0000020d: JUMP 0000020e: JUMPDEST 0000020f: PUSH1 0x40 00000211: MLOAD 00000212: DUP1 00000213: DUP3 00000214: DUP2 00000215: MSTORE 00000216: PUSH1 0x20 00000218: ADD 00000219: SWAP2 0000021a: POP 0000021b: POP 0000021c: PUSH1 0x40 0000021e: MLOAD 0000021f: DUP1 00000220: SWAP2 00000221: SUB 00000222: SWAP1 00000223: RETURN 00000224: JUMPDEST 00000225: CALLVALUE 00000226: DUP1 00000227: ISZERO 00000228: PUSH2 0x0230 0000022b: JUMPI 0000022c: PUSH1 0x00 0000022e: DUP1 0000022f: REVERT 00000230: JUMPDEST 00000231: POP 00000232: PUSH2 0x026f 00000235: PUSH1 0x04 00000237: DUP1 00000238: CALLDATASIZE 00000239: SUB 0000023a: DUP2 0000023b: ADD 0000023c: SWAP1 0000023d: DUP1 0000023e: DUP1 0000023f: CALLDATALOAD 00000240: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000255: AND 00000256: SWAP1 00000257: PUSH1 0x20 00000259: ADD 0000025a: SWAP1 0000025b: SWAP3 0000025c: SWAP2 0000025d: SWAP1 0000025e: DUP1 0000025f: CALLDATALOAD 00000260: SWAP1 00000261: PUSH1 0x20 00000263: ADD 00000264: SWAP1 00000265: SWAP3 00000266: SWAP2 00000267: SWAP1 00000268: POP 00000269: POP 0000026a: POP 0000026b: PUSH2 0x097c 0000026e: JUMP 0000026f: JUMPDEST 00000270: STOP 00000271: JUMPDEST 00000272: CALLVALUE 00000273: DUP1 00000274: ISZERO 00000275: PUSH2 0x027d 00000278: JUMPI 00000279: PUSH1 0x00 0000027b: DUP1 0000027c: REVERT 0000027d: JUMPDEST 0000027e: POP 0000027f: PUSH2 0x0286 00000282: PUSH2 0x0b2b 00000285: JUMP 00000286: JUMPDEST 00000287: STOP 00000288: JUMPDEST 00000289: CALLVALUE 0000028a: DUP1 0000028b: ISZERO 0000028c: PUSH2 0x0294 0000028f: JUMPI 00000290: PUSH1 0x00 00000292: DUP1 00000293: REVERT 00000294: JUMPDEST 00000295: POP 00000296: PUSH2 0x02c9 00000299: PUSH1 0x04 0000029b: DUP1 0000029c: CALLDATASIZE 0000029d: SUB 0000029e: DUP2 0000029f: ADD 000002a0: SWAP1 000002a1: DUP1 000002a2: DUP1 000002a3: CALLDATALOAD 000002a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b9: AND 000002ba: SWAP1 000002bb: PUSH1 0x20 000002bd: ADD 000002be: SWAP1 000002bf: SWAP3 000002c0: SWAP2 000002c1: SWAP1 000002c2: POP 000002c3: POP 000002c4: POP 000002c5: PUSH2 0x0c7b 000002c8: JUMP 000002c9: JUMPDEST 000002ca: STOP 000002cb: JUMPDEST 000002cc: CALLVALUE 000002cd: DUP1 000002ce: ISZERO 000002cf: PUSH2 0x02d7 000002d2: JUMPI 000002d3: PUSH1 0x00 000002d5: DUP1 000002d6: REVERT 000002d7: JUMPDEST 000002d8: POP 000002d9: PUSH2 0x02e0 000002dc: PUSH2 0x0e70 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH1 0x40 000002e3: MLOAD 000002e4: DUP1 000002e5: DUP3 000002e6: PUSH16 0xffffffffffffffffffffffffffffffff 000002f7: AND 000002f8: PUSH16 0xffffffffffffffffffffffffffffffff 00000309: AND 0000030a: DUP2 0000030b: MSTORE 0000030c: PUSH1 0x20 0000030e: ADD 0000030f: SWAP2 00000310: POP 00000311: POP 00000312: PUSH1 0x40 00000314: MLOAD 00000315: DUP1 00000316: SWAP2 00000317: SUB 00000318: SWAP1 00000319: RETURN 0000031a: JUMPDEST 0000031b: PUSH2 0x034c 0000031e: PUSH1 0x04 00000320: DUP1 00000321: CALLDATASIZE 00000322: SUB 00000323: DUP2 00000324: ADD 00000325: SWAP1 00000326: DUP1 00000327: DUP1 00000328: CALLDATALOAD 00000329: SWAP1 0000032a: PUSH1 0x20 0000032c: ADD 0000032d: SWAP1 0000032e: SWAP3 0000032f: SWAP2 00000330: SWAP1 00000331: DUP1 00000332: CALLDATALOAD 00000333: SWAP1 00000334: PUSH1 0x20 00000336: ADD 00000337: SWAP1 00000338: SWAP3 00000339: SWAP2 0000033a: SWAP1 0000033b: DUP1 0000033c: CALLDATALOAD 0000033d: SWAP1 0000033e: PUSH1 0x20 00000340: ADD 00000341: SWAP1 00000342: SWAP3 00000343: SWAP2 00000344: SWAP1 00000345: POP 00000346: POP 00000347: POP 00000348: PUSH2 0x0e91 0000034b: JUMP 0000034c: JUMPDEST 0000034d: STOP 0000034e: JUMPDEST 0000034f: CALLVALUE 00000350: DUP1 00000351: ISZERO 00000352: PUSH2 0x035a 00000355: JUMPI 00000356: PUSH1 0x00 00000358: DUP1 00000359: REVERT 0000035a: JUMPDEST 0000035b: POP 0000035c: PUSH2 0x038f 0000035f: PUSH1 0x04 00000361: DUP1 00000362: CALLDATASIZE 00000363: SUB 00000364: DUP2 00000365: ADD 00000366: SWAP1 00000367: DUP1 00000368: DUP1 00000369: CALLDATALOAD 0000036a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037f: AND 00000380: SWAP1 00000381: PUSH1 0x20 00000383: ADD 00000384: SWAP1 00000385: SWAP3 00000386: SWAP2 00000387: SWAP1 00000388: POP 00000389: POP 0000038a: POP 0000038b: PUSH2 0x14fd 0000038e: JUMP 0000038f: JUMPDEST 00000390: STOP 00000391: JUMPDEST 00000392: CALLVALUE 00000393: DUP1 00000394: ISZERO 00000395: PUSH2 0x039d 00000398: JUMPI 00000399: PUSH1 0x00 0000039b: DUP1 0000039c: REVERT 0000039d: JUMPDEST 0000039e: POP 0000039f: PUSH2 0x03e4 000003a2: PUSH1 0x04 000003a4: DUP1 000003a5: CALLDATASIZE 000003a6: SUB 000003a7: DUP2 000003a8: ADD 000003a9: SWAP1 000003aa: DUP1 000003ab: DUP1 000003ac: CALLDATALOAD 000003ad: SWAP1 000003ae: PUSH1 0x20 000003b0: ADD 000003b1: SWAP1 000003b2: SWAP3 000003b3: SWAP2 000003b4: SWAP1 000003b5: DUP1 000003b6: CALLDATALOAD 000003b7: SWAP1 000003b8: PUSH1 0x20 000003ba: ADD 000003bb: SWAP1 000003bc: SWAP3 000003bd: SWAP2 000003be: SWAP1 000003bf: DUP1 000003c0: CALLDATALOAD 000003c1: SWAP1 000003c2: PUSH1 0x20 000003c4: ADD 000003c5: SWAP1 000003c6: SWAP3 000003c7: SWAP2 000003c8: SWAP1 000003c9: DUP1 000003ca: CALLDATALOAD 000003cb: SWAP1 000003cc: PUSH1 0x20 000003ce: ADD 000003cf: SWAP1 000003d0: SWAP3 000003d1: SWAP2 000003d2: SWAP1 000003d3: DUP1 000003d4: CALLDATALOAD 000003d5: SWAP1 000003d6: PUSH1 0x20 000003d8: ADD 000003d9: SWAP1 000003da: SWAP3 000003db: SWAP2 000003dc: SWAP1 000003dd: POP 000003de: POP 000003df: POP 000003e0: PUSH2 0x162c 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH1 0x40 000003e7: MLOAD 000003e8: DUP1 000003e9: DUP4 000003ea: DUP2 000003eb: MSTORE 000003ec: PUSH1 0x20 000003ee: ADD 000003ef: DUP3 000003f0: DUP2 000003f1: MSTORE 000003f2: PUSH1 0x20 000003f4: ADD 000003f5: SWAP3 000003f6: POP 000003f7: POP 000003f8: POP 000003f9: PUSH1 0x40 000003fb: MLOAD 000003fc: DUP1 000003fd: SWAP2 000003fe: SUB 000003ff: SWAP1 00000400: RETURN 00000401: JUMPDEST 00000402: CALLVALUE 00000403: DUP1 00000404: ISZERO 00000405: PUSH2 0x040d 00000408: JUMPI 00000409: PUSH1 0x00 0000040b: DUP1 0000040c: REVERT 0000040d: JUMPDEST 0000040e: POP 0000040f: PUSH2 0x042c 00000412: PUSH1 0x04 00000414: DUP1 00000415: CALLDATASIZE 00000416: SUB 00000417: DUP2 00000418: ADD 00000419: SWAP1 0000041a: DUP1 0000041b: DUP1 0000041c: CALLDATALOAD 0000041d: SWAP1 0000041e: PUSH1 0x20 00000420: ADD 00000421: SWAP1 00000422: SWAP3 00000423: SWAP2 00000424: SWAP1 00000425: POP 00000426: POP 00000427: POP 00000428: PUSH2 0x19d7 0000042b: JUMP 0000042c: JUMPDEST 0000042d: STOP 0000042e: JUMPDEST 0000042f: PUSH1 0x00 00000431: DUP1 00000432: PUSH1 0x00 00000434: DUP1 00000435: PUSH1 0x00 00000437: DUP1 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: PUSH1 0x00 0000043d: DUP1 0000043e: PUSH1 0x00 00000440: PUSH1 0x04 00000442: PUSH1 0x00 00000444: SWAP1 00000445: SLOAD 00000446: SWAP1 00000447: PUSH2 0x0100 0000044a: EXP 0000044b: SWAP1 0000044c: DIV 0000044d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000462: AND 00000463: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000478: AND 00000479: CALLER 0000047a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048f: AND 00000490: EQ 00000491: ISZERO 00000492: ISZERO 00000493: PUSH2 0x052a 00000496: JUMPI 00000497: PUSH1 0x40 00000499: MLOAD 0000049a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004bb: DUP2 000004bc: MSTORE 000004bd: PUSH1 0x04 000004bf: ADD 000004c0: DUP1 000004c1: DUP1 000004c2: PUSH1 0x20 000004c4: ADD 000004c5: DUP3 000004c6: DUP2 000004c7: SUB 000004c8: DUP3 000004c9: MSTORE 000004ca: PUSH1 0x2c 000004cc: DUP2 000004cd: MSTORE 000004ce: PUSH1 0x20 000004d0: ADD 000004d1: DUP1 000004d2: PUSH32 0x4f6e6c7943726f7570696572206d6574686f64732063616c6c6564206279206e 000004f3: DUP2 000004f4: MSTORE 000004f5: PUSH1 0x20 000004f7: ADD 000004f8: PUSH32 0x6f6e2d63726f75706965722e0000000000000000000000000000000000000000 00000519: DUP2 0000051a: MSTORE 0000051b: POP 0000051c: PUSH1 0x40 0000051e: ADD 0000051f: SWAP2 00000520: POP 00000521: POP 00000522: PUSH1 0x40 00000524: MLOAD 00000525: DUP1 00000526: SWAP2 00000527: SUB 00000528: SWAP1 00000529: REVERT 0000052a: JUMPDEST 0000052b: DUP12 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: PUSH1 0x20 00000531: ADD 00000532: DUP1 00000533: DUP3 00000534: DUP2 00000535: MSTORE 00000536: PUSH1 0x20 00000538: ADD 00000539: SWAP2 0000053a: POP 0000053b: POP 0000053c: PUSH1 0x40 0000053e: MLOAD 0000053f: PUSH1 0x20 00000541: DUP2 00000542: DUP4 00000543: SUB 00000544: SUB 00000545: DUP2 00000546: MSTORE 00000547: SWAP1 00000548: PUSH1 0x40 0000054a: MSTORE 0000054b: PUSH1 0x40 0000054d: MLOAD 0000054e: DUP1 0000054f: DUP3 00000550: DUP1 00000551: MLOAD 00000552: SWAP1 00000553: PUSH1 0x20 00000555: ADD 00000556: SWAP1 00000557: DUP1 00000558: DUP4 00000559: DUP4 0000055a: JUMPDEST 0000055b: PUSH1 0x20 0000055d: DUP4 0000055e: LT 0000055f: ISZERO 00000560: ISZERO 00000561: PUSH2 0x057f 00000564: JUMPI 00000565: DUP1 00000566: MLOAD 00000567: DUP3 00000568: MSTORE 00000569: PUSH1 0x20 0000056b: DUP3 0000056c: ADD 0000056d: SWAP2 0000056e: POP 0000056f: PUSH1 0x20 00000571: DUP2 00000572: ADD 00000573: SWAP1 00000574: POP 00000575: PUSH1 0x20 00000577: DUP4 00000578: SUB 00000579: SWAP3 0000057a: POP 0000057b: PUSH2 0x055a 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH1 0x01 00000582: DUP4 00000583: PUSH1 0x20 00000585: SUB 00000586: PUSH2 0x0100 00000589: EXP 0000058a: SUB 0000058b: DUP1 0000058c: NOT 0000058d: DUP3 0000058e: MLOAD 0000058f: AND 00000590: DUP2 00000591: DUP5 00000592: MLOAD 00000593: AND 00000594: DUP1 00000595: DUP3 00000596: OR 00000597: DUP6 00000598: MSTORE 00000599: POP 0000059a: POP 0000059b: POP 0000059c: POP 0000059d: POP 0000059e: POP 0000059f: SWAP1 000005a0: POP 000005a1: ADD 000005a2: SWAP2 000005a3: POP 000005a4: POP 000005a5: PUSH1 0x40 000005a7: MLOAD 000005a8: DUP1 000005a9: SWAP2 000005aa: SUB 000005ab: SWAP1 000005ac: KECCAK256 000005ad: PUSH1 0x01 000005af: SWAP1 000005b0: DIV 000005b1: SWAP11 000005b2: POP 000005b3: PUSH1 0x05 000005b5: PUSH1 0x00 000005b7: DUP13 000005b8: DUP2 000005b9: MSTORE 000005ba: PUSH1 0x20 000005bc: ADD 000005bd: SWAP1 000005be: DUP2 000005bf: MSTORE 000005c0: PUSH1 0x20 000005c2: ADD 000005c3: PUSH1 0x00 000005c5: KECCAK256 000005c6: SWAP10 000005c7: POP 000005c8: DUP10 000005c9: PUSH1 0x01 000005cb: ADD 000005cc: PUSH1 0x02 000005ce: SWAP1 000005cf: SLOAD 000005d0: SWAP1 000005d1: PUSH2 0x0100 000005d4: EXP 000005d5: SWAP1 000005d6: DIV 000005d7: PUSH5 0xffffffffff 000005dd: AND 000005de: PUSH5 0xffffffffff 000005e4: AND 000005e5: SWAP9 000005e6: POP 000005e7: DUP9 000005e8: NUMBER 000005e9: GT 000005ea: ISZERO 000005eb: ISZERO 000005ec: PUSH2 0x0683 000005ef: JUMPI 000005f0: PUSH1 0x40 000005f2: MLOAD 000005f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000614: DUP2 00000615: MSTORE 00000616: PUSH1 0x04 00000618: ADD 00000619: DUP1 0000061a: DUP1 0000061b: PUSH1 0x20 0000061d: ADD 0000061e: DUP3 0000061f: DUP2 00000620: SUB 00000621: DUP3 00000622: MSTORE 00000623: PUSH1 0x33 00000625: DUP2 00000626: MSTORE 00000627: PUSH1 0x20 00000629: ADD 0000062a: DUP1 0000062b: PUSH32 0x736574746c6542657420696e207468652073616d6520626c6f636b2061732070 0000064c: DUP2 0000064d: MSTORE 0000064e: PUSH1 0x20 00000650: ADD 00000651: PUSH32 0x6c6163654265742c206f72206265666f72652e00000000000000000000000000 00000672: DUP2 00000673: MSTORE 00000674: POP 00000675: PUSH1 0x40 00000677: ADD 00000678: SWAP2 00000679: POP 0000067a: POP 0000067b: PUSH1 0x40 0000067d: MLOAD 0000067e: DUP1 0000067f: SWAP2 00000680: SUB 00000681: SWAP1 00000682: REVERT 00000683: JUMPDEST 00000684: DUP10 00000685: PUSH1 0x00 00000687: ADD 00000688: SLOAD 00000689: SWAP8 0000068a: POP 0000068b: DUP10 0000068c: PUSH1 0x01 0000068e: ADD 0000068f: PUSH1 0x00 00000691: SWAP1 00000692: SLOAD 00000693: SWAP1 00000694: PUSH2 0x0100 00000697: EXP 00000698: SWAP1 00000699: DIV 0000069a: PUSH1 0xff 0000069c: AND 0000069d: PUSH1 0xff 0000069f: AND 000006a0: SWAP7 000006a1: POP 000006a2: DUP10 000006a3: PUSH1 0x01 000006a5: ADD 000006a6: PUSH1 0x01 000006a8: SWAP1 000006a9: SLOAD 000006aa: SWAP1 000006ab: PUSH2 0x0100 000006ae: EXP 000006af: SWAP1 000006b0: DIV 000006b1: PUSH1 0xff 000006b3: AND 000006b4: PUSH1 0xff 000006b6: AND 000006b7: SWAP6 000006b8: POP 000006b9: DUP10 000006ba: PUSH1 0x01 000006bc: ADD 000006bd: PUSH1 0x0c 000006bf: SWAP1 000006c0: SLOAD 000006c1: SWAP1 000006c2: PUSH2 0x0100 000006c5: EXP 000006c6: SWAP1 000006c7: DIV 000006c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006dd: AND 000006de: SWAP5 000006df: POP 000006e0: PUSH1 0x00 000006e2: DUP9 000006e3: EQ 000006e4: ISZERO 000006e5: ISZERO 000006e6: ISZERO 000006e7: PUSH2 0x077e 000006ea: JUMPI 000006eb: PUSH1 0x40 000006ed: MLOAD 000006ee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000070f: DUP2 00000710: MSTORE 00000711: PUSH1 0x04 00000713: ADD 00000714: DUP1 00000715: DUP1 00000716: PUSH1 0x20 00000718: ADD 00000719: DUP3 0000071a: DUP2 0000071b: SUB 0000071c: DUP3 0000071d: MSTORE 0000071e: PUSH1 0x22 00000720: DUP2 00000721: MSTORE 00000722: PUSH1 0x20 00000724: ADD 00000725: DUP1 00000726: PUSH32 0x4265742073686f756c6420626520696e20616e20276163746976652720737461 00000747: DUP2 00000748: MSTORE 00000749: PUSH1 0x20 0000074b: ADD 0000074c: PUSH32 0x7465000000000000000000000000000000000000000000000000000000000000 0000076d: DUP2 0000076e: MSTORE 0000076f: POP 00000770: PUSH1 0x40 00000772: ADD 00000773: SWAP2 00000774: POP 00000775: POP 00000776: PUSH1 0x40 00000778: MLOAD 00000779: DUP1 0000077a: SWAP2 0000077b: SUB 0000077c: SWAP1 0000077d: REVERT 0000077e: JUMPDEST 0000077f: PUSH1 0x00 00000781: DUP11 00000782: PUSH1 0x00 00000784: ADD 00000785: DUP2 00000786: SWAP1 00000787: SSTORE 00000788: POP 00000789: DUP12 0000078a: DUP10 0000078b: PUSH1 0x40 0000078d: MLOAD 0000078e: PUSH1 0x20 00000790: ADD 00000791: DUP1 00000792: DUP4 00000793: DUP2 00000794: MSTORE 00000795: PUSH1 0x20 00000797: ADD 00000798: DUP3 00000799: DUP2 0000079a: MSTORE 0000079b: PUSH1 0x20 0000079d: ADD 0000079e: SWAP3 0000079f: POP 000007a0: POP 000007a1: POP 000007a2: PUSH1 0x40 000007a4: MLOAD 000007a5: PUSH1 0x20 000007a7: DUP2 000007a8: DUP4 000007a9: SUB 000007aa: SUB 000007ab: DUP2 000007ac: MSTORE 000007ad: SWAP1 000007ae: PUSH1 0x40 000007b0: MSTORE 000007b1: PUSH1 0x40 000007b3: MLOAD 000007b4: DUP1 000007b5: DUP3 000007b6: DUP1 000007b7: MLOAD 000007b8: SWAP1 000007b9: PUSH1 0x20 000007bb: ADD 000007bc: SWAP1 000007bd: DUP1 000007be: DUP4 000007bf: DUP4 000007c0: JUMPDEST 000007c1: PUSH1 0x20 000007c3: DUP4 000007c4: LT 000007c5: ISZERO 000007c6: ISZERO 000007c7: PUSH2 0x07e5 000007ca: JUMPI 000007cb: DUP1 000007cc: MLOAD 000007cd: DUP3 000007ce: MSTORE 000007cf: PUSH1 0x20 000007d1: DUP3 000007d2: ADD 000007d3: SWAP2 000007d4: POP 000007d5: PUSH1 0x20 000007d7: DUP2 000007d8: ADD 000007d9: SWAP1 000007da: POP 000007db: PUSH1 0x20 000007dd: DUP4 000007de: SUB 000007df: SWAP3 000007e0: POP 000007e1: PUSH2 0x07c0 000007e4: JUMP 000007e5: JUMPDEST 000007e6: PUSH1 0x01 000007e8: DUP4 000007e9: PUSH1 0x20 000007eb: SUB 000007ec: PUSH2 0x0100 000007ef: EXP 000007f0: SUB 000007f1: DUP1 000007f2: NOT 000007f3: DUP3 000007f4: MLOAD 000007f5: AND 000007f6: DUP2 000007f7: DUP5 000007f8: MLOAD 000007f9: AND 000007fa: DUP1 000007fb: DUP3 000007fc: OR 000007fd: DUP6 000007fe: MSTORE 000007ff: POP 00000800: POP 00000801: POP 00000802: POP 00000803: POP 00000804: POP 00000805: SWAP1 00000806: POP 00000807: ADD 00000808: SWAP2 00000809: POP 0000080a: POP 0000080b: PUSH1 0x40 0000080d: MLOAD 0000080e: DUP1 0000080f: SWAP2 00000810: SUB 00000811: SWAP1 00000812: KECCAK256 00000813: SWAP4 00000814: POP 00000815: DUP7 00000816: DUP5 00000817: PUSH1 0x01 00000819: SWAP1 0000081a: DIV 0000081b: DUP2 0000081c: ISZERO 0000081d: ISZERO 0000081e: PUSH2 0x0823 00000821: JUMPI 00000822: INVALID 00000823: JUMPDEST 00000824: MOD 00000825: SWAP3 00000826: POP 00000827: PUSH2 0x0831 0000082a: DUP9 0000082b: DUP9 0000082c: DUP9 0000082d: PUSH2 0x1b73 00000830: JUMP 00000831: JUMPDEST 00000832: SWAP2 00000833: POP 00000834: PUSH1 0x00 00000836: SWAP1 00000837: POP 00000838: PUSH1 0x28 0000083a: DUP8 0000083b: GT 0000083c: ISZERO 0000083d: ISZERO 0000083e: PUSH2 0x0875 00000841: JUMPI 00000842: PUSH1 0x00 00000844: DUP11 00000845: PUSH1 0x01 00000847: ADD 00000848: PUSH1 0x07 0000084a: SWAP1 0000084b: SLOAD 0000084c: SWAP1 0000084d: PUSH2 0x0100 00000850: EXP 00000851: SWAP1 00000852: DIV 00000853: PUSH5 0xffffffffff 00000859: AND 0000085a: PUSH5 0xffffffffff 00000860: AND 00000861: DUP5 00000862: PUSH1 0x02 00000864: EXP 00000865: AND 00000866: EQ 00000867: ISZERO 00000868: ISZERO 00000869: PUSH2 0x0870 0000086c: JUMPI 0000086d: DUP2 0000086e: SWAP1 0000086f: POP 00000870: JUMPDEST 00000871: PUSH2 0x0882 00000874: JUMP 00000875: JUMPDEST 00000876: DUP6 00000877: DUP4 00000878: LT 00000879: ISZERO 0000087a: PUSH2 0x0881 0000087d: JUMPI 0000087e: DUP2 0000087f: SWAP1 00000880: POP 00000881: JUMPDEST 00000882: JUMPDEST 00000883: DUP2 00000884: PUSH1 0x00 00000886: DUP1 00000887: DUP3 00000888: DUP3 00000889: DUP3 0000088a: SWAP1 0000088b: SLOAD 0000088c: SWAP1 0000088d: PUSH2 0x0100 00000890: EXP 00000891: SWAP1 00000892: DIV 00000893: PUSH16 0xffffffffffffffffffffffffffffffff 000008a4: AND 000008a5: SUB 000008a6: SWAP3 000008a7: POP 000008a8: PUSH2 0x0100 000008ab: EXP 000008ac: DUP2 000008ad: SLOAD 000008ae: DUP2 000008af: PUSH16 0xffffffffffffffffffffffffffffffff 000008c0: MUL 000008c1: NOT 000008c2: AND 000008c3: SWAP1 000008c4: DUP4 000008c5: PUSH16 0xffffffffffffffffffffffffffffffff 000008d6: AND 000008d7: MUL 000008d8: OR 000008d9: SWAP1 000008da: SSTORE 000008db: POP 000008dc: PUSH2 0x08f6 000008df: DUP6 000008e0: PUSH1 0x00 000008e2: DUP4 000008e3: EQ 000008e4: PUSH2 0x08ed 000008e7: JUMPI 000008e8: DUP3 000008e9: PUSH2 0x08f0 000008ec: JUMP 000008ed: JUMPDEST 000008ee: PUSH1 0x01 000008f0: JUMPDEST 000008f1: DUP4 000008f2: PUSH2 0x1cde 000008f5: JUMP 000008f6: JUMPDEST 000008f7: POP 000008f8: POP 000008f9: POP 000008fa: POP 000008fb: POP 000008fc: POP 000008fd: POP 000008fe: POP 000008ff: POP 00000900: POP 00000901: POP 00000902: POP 00000903: JUMP 00000904: JUMPDEST 00000905: PUSH1 0x03 00000907: PUSH1 0x00 00000909: SWAP1 0000090a: SLOAD 0000090b: SWAP1 0000090c: PUSH2 0x0100 0000090f: EXP 00000910: SWAP1 00000911: DIV 00000912: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000927: AND 00000928: DUP2 00000929: JUMP 0000092a: JUMPDEST 0000092b: PUSH1 0x04 0000092d: PUSH1 0x00 0000092f: SWAP1 00000930: SLOAD 00000931: SWAP1 00000932: PUSH2 0x0100 00000935: EXP 00000936: SWAP1 00000937: DIV 00000938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094d: AND 0000094e: DUP2 0000094f: JUMP 00000950: JUMPDEST 00000951: PUSH1 0x01 00000953: PUSH1 0x00 00000955: SWAP1 00000956: SLOAD 00000957: SWAP1 00000958: PUSH2 0x0100 0000095b: EXP 0000095c: SWAP1 0000095d: DIV 0000095e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000973: AND 00000974: DUP2 00000975: JUMP 00000976: JUMPDEST 00000977: PUSH1 0x06 00000979: SLOAD 0000097a: DUP2 0000097b: JUMP 0000097c: JUMPDEST 0000097d: PUSH1 0x01 0000097f: PUSH1 0x00 00000981: SWAP1 00000982: SLOAD 00000983: SWAP1 00000984: PUSH2 0x0100 00000987: EXP 00000988: SWAP1 00000989: DIV 0000098a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099f: AND 000009a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b5: AND 000009b6: CALLER 000009b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009cc: AND 000009cd: EQ 000009ce: ISZERO 000009cf: ISZERO 000009d0: PUSH2 0x0a67 000009d3: JUMPI 000009d4: PUSH1 0x40 000009d6: MLOAD 000009d7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009f8: DUP2 000009f9: MSTORE 000009fa: PUSH1 0x04 000009fc: ADD 000009fd: DUP1 000009fe: DUP1 000009ff: PUSH1 0x20 00000a01: ADD 00000a02: DUP3 00000a03: DUP2 00000a04: SUB 00000a05: DUP3 00000a06: MSTORE 00000a07: PUSH1 0x26 00000a09: DUP2 00000a0a: MSTORE 00000a0b: PUSH1 0x20 00000a0d: ADD 00000a0e: DUP1 00000a0f: PUSH32 0x4f6e6c794f776e6572206d6574686f64732063616c6c6564206279206e6f6e2d 00000a30: DUP2 00000a31: MSTORE 00000a32: PUSH1 0x20 00000a34: ADD 00000a35: PUSH32 0x6f776e65722e0000000000000000000000000000000000000000000000000000 00000a56: DUP2 00000a57: MSTORE 00000a58: POP 00000a59: PUSH1 0x40 00000a5b: ADD 00000a5c: SWAP2 00000a5d: POP 00000a5e: POP 00000a5f: PUSH1 0x40 00000a61: MLOAD 00000a62: DUP1 00000a63: SWAP2 00000a64: SUB 00000a65: SWAP1 00000a66: REVERT 00000a67: JUMPDEST 00000a68: ADDRESS 00000a69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7e: AND 00000a7f: BALANCE 00000a80: DUP2 00000a81: GT 00000a82: ISZERO 00000a83: ISZERO 00000a84: ISZERO 00000a85: PUSH2 0x0b1c 00000a88: JUMPI 00000a89: PUSH1 0x40 00000a8b: MLOAD 00000a8c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000aad: DUP2 00000aae: MSTORE 00000aaf: PUSH1 0x04 00000ab1: ADD 00000ab2: DUP1 00000ab3: DUP1 00000ab4: PUSH1 0x20 00000ab6: ADD 00000ab7: DUP3 00000ab8: DUP2 00000ab9: SUB 00000aba: DUP3 00000abb: MSTORE 00000abc: PUSH1 0x24 00000abe: DUP2 00000abf: MSTORE 00000ac0: PUSH1 0x20 00000ac2: ADD 00000ac3: DUP1 00000ac4: PUSH32 0x496e63726561736520616d6f756e74206c6172676572207468616e2062616c61 00000ae5: DUP2 00000ae6: MSTORE 00000ae7: PUSH1 0x20 00000ae9: ADD 00000aea: PUSH32 0x6e63652e00000000000000000000000000000000000000000000000000000000 00000b0b: DUP2 00000b0c: MSTORE 00000b0d: POP 00000b0e: PUSH1 0x40 00000b10: ADD 00000b11: SWAP2 00000b12: POP 00000b13: POP 00000b14: PUSH1 0x40 00000b16: MLOAD 00000b17: DUP1 00000b18: SWAP2 00000b19: SUB 00000b1a: SWAP1 00000b1b: REVERT 00000b1c: JUMPDEST 00000b1d: PUSH2 0x0b27 00000b20: DUP3 00000b21: DUP3 00000b22: DUP4 00000b23: PUSH2 0x1cde 00000b26: JUMP 00000b27: JUMPDEST 00000b28: POP 00000b29: POP 00000b2a: JUMP 00000b2b: JUMPDEST 00000b2c: PUSH1 0x02 00000b2e: PUSH1 0x00 00000b30: SWAP1 00000b31: SLOAD 00000b32: SWAP1 00000b33: PUSH2 0x0100 00000b36: EXP 00000b37: SWAP1 00000b38: DIV 00000b39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b4e: AND 00000b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b64: AND 00000b65: CALLER 00000b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7b: AND 00000b7c: EQ 00000b7d: ISZERO 00000b7e: ISZERO 00000b7f: PUSH2 0x0c16 00000b82: JUMPI 00000b83: PUSH1 0x40 00000b85: MLOAD 00000b86: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ba7: DUP2 00000ba8: MSTORE 00000ba9: PUSH1 0x04 00000bab: ADD 00000bac: DUP1 00000bad: DUP1 00000bae: PUSH1 0x20 00000bb0: ADD 00000bb1: DUP3 00000bb2: DUP2 00000bb3: SUB 00000bb4: DUP3 00000bb5: MSTORE 00000bb6: PUSH1 0x26 00000bb8: DUP2 00000bb9: MSTORE 00000bba: PUSH1 0x20 00000bbc: ADD 00000bbd: DUP1 00000bbe: PUSH32 0x43616e206f6e6c792061636365707420707265617070726f766564206e657720 00000bdf: DUP2 00000be0: MSTORE 00000be1: PUSH1 0x20 00000be3: ADD 00000be4: PUSH32 0x6f776e65722e0000000000000000000000000000000000000000000000000000 00000c05: DUP2 00000c06: MSTORE 00000c07: POP 00000c08: PUSH1 0x40 00000c0a: ADD 00000c0b: SWAP2 00000c0c: POP 00000c0d: POP 00000c0e: PUSH1 0x40 00000c10: MLOAD 00000c11: DUP1 00000c12: SWAP2 00000c13: SUB 00000c14: SWAP1 00000c15: REVERT 00000c16: JUMPDEST 00000c17: PUSH1 0x02 00000c19: PUSH1 0x00 00000c1b: SWAP1 00000c1c: SLOAD 00000c1d: SWAP1 00000c1e: PUSH2 0x0100 00000c21: EXP 00000c22: SWAP1 00000c23: DIV 00000c24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c39: AND 00000c3a: PUSH1 0x01 00000c3c: PUSH1 0x00 00000c3e: PUSH2 0x0100 00000c41: EXP 00000c42: DUP2 00000c43: SLOAD 00000c44: DUP2 00000c45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5a: MUL 00000c5b: NOT 00000c5c: AND 00000c5d: SWAP1 00000c5e: DUP4 00000c5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c74: AND 00000c75: MUL 00000c76: OR 00000c77: SWAP1 00000c78: SSTORE 00000c79: POP 00000c7a: JUMP 00000c7b: JUMPDEST 00000c7c: PUSH1 0x01 00000c7e: PUSH1 0x00 00000c80: SWAP1 00000c81: SLOAD 00000c82: SWAP1 00000c83: PUSH2 0x0100 00000c86: EXP 00000c87: SWAP1 00000c88: DIV 00000c89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c9e: AND 00000c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb4: AND 00000cb5: CALLER 00000cb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ccb: AND 00000ccc: EQ 00000ccd: ISZERO 00000cce: ISZERO 00000ccf: PUSH2 0x0d66 00000cd2: JUMPI 00000cd3: PUSH1 0x40 00000cd5: MLOAD 00000cd6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cf7: DUP2 00000cf8: MSTORE 00000cf9: PUSH1 0x04 00000cfb: ADD 00000cfc: DUP1 00000cfd: DUP1 00000cfe: PUSH1 0x20 00000d00: ADD 00000d01: DUP3 00000d02: DUP2 00000d03: SUB 00000d04: DUP3 00000d05: MSTORE 00000d06: PUSH1 0x26 00000d08: DUP2 00000d09: MSTORE 00000d0a: PUSH1 0x20 00000d0c: ADD 00000d0d: DUP1 00000d0e: PUSH32 0x4f6e6c794f776e6572206d6574686f64732063616c6c6564206279206e6f6e2d 00000d2f: DUP2 00000d30: MSTORE 00000d31: PUSH1 0x20 00000d33: ADD 00000d34: PUSH32 0x6f776e65722e0000000000000000000000000000000000000000000000000000 00000d55: DUP2 00000d56: MSTORE 00000d57: POP 00000d58: PUSH1 0x40 00000d5a: ADD 00000d5b: SWAP2 00000d5c: POP 00000d5d: POP 00000d5e: PUSH1 0x40 00000d60: MLOAD 00000d61: DUP1 00000d62: SWAP2 00000d63: SUB 00000d64: SWAP1 00000d65: REVERT 00000d66: JUMPDEST 00000d67: PUSH1 0x01 00000d69: PUSH1 0x00 00000d6b: SWAP1 00000d6c: SLOAD 00000d6d: SWAP1 00000d6e: PUSH2 0x0100 00000d71: EXP 00000d72: SWAP1 00000d73: DIV 00000d74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d89: AND 00000d8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9f: AND 00000da0: DUP2 00000da1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db6: AND 00000db7: EQ 00000db8: ISZERO 00000db9: ISZERO 00000dba: ISZERO 00000dbb: PUSH2 0x0e2c 00000dbe: JUMPI 00000dbf: PUSH1 0x40 00000dc1: MLOAD 00000dc2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000de3: DUP2 00000de4: MSTORE 00000de5: PUSH1 0x04 00000de7: ADD 00000de8: DUP1 00000de9: DUP1 00000dea: PUSH1 0x20 00000dec: ADD 00000ded: DUP3 00000dee: DUP2 00000def: SUB 00000df0: DUP3 00000df1: MSTORE 00000df2: PUSH1 0x1d 00000df4: DUP2 00000df5: MSTORE 00000df6: PUSH1 0x20 00000df8: ADD 00000df9: DUP1 00000dfa: PUSH32 0x43616e6e6f7420617070726f76652063757272656e74206f776e65722e000000 00000e1b: DUP2 00000e1c: MSTORE 00000e1d: POP 00000e1e: PUSH1 0x20 00000e20: ADD 00000e21: SWAP2 00000e22: POP 00000e23: POP 00000e24: PUSH1 0x40 00000e26: MLOAD 00000e27: DUP1 00000e28: SWAP2 00000e29: SUB 00000e2a: SWAP1 00000e2b: REVERT 00000e2c: JUMPDEST 00000e2d: DUP1 00000e2e: PUSH1 0x02 00000e30: PUSH1 0x00 00000e32: PUSH2 0x0100 00000e35: EXP 00000e36: DUP2 00000e37: SLOAD 00000e38: DUP2 00000e39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e4e: MUL 00000e4f: NOT 00000e50: AND 00000e51: SWAP1 00000e52: DUP4 00000e53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e68: AND 00000e69: MUL 00000e6a: OR 00000e6b: SWAP1 00000e6c: SSTORE 00000e6d: POP 00000e6e: POP 00000e6f: JUMP 00000e70: JUMPDEST 00000e71: PUSH1 0x00 00000e73: DUP1 00000e74: SWAP1 00000e75: SLOAD 00000e76: SWAP1 00000e77: PUSH2 0x0100 00000e7a: EXP 00000e7b: SWAP1 00000e7c: DIV 00000e7d: PUSH16 0xffffffffffffffffffffffffffffffff 00000e8e: AND 00000e8f: DUP2 00000e90: JUMP 00000e91: JUMPDEST 00000e92: PUSH1 0x00 00000e94: DUP1 00000e95: PUSH1 0x00 00000e97: DUP1 00000e98: PUSH1 0x00 00000e9a: PUSH1 0x05 00000e9c: PUSH1 0x00 00000e9e: DUP8 00000e9f: DUP2 00000ea0: MSTORE 00000ea1: PUSH1 0x20 00000ea3: ADD 00000ea4: SWAP1 00000ea5: DUP2 00000ea6: MSTORE 00000ea7: PUSH1 0x20 00000ea9: ADD 00000eaa: PUSH1 0x00 00000eac: KECCAK256 00000ead: SWAP5 00000eae: POP 00000eaf: PUSH1 0x00 00000eb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec6: AND 00000ec7: DUP6 00000ec8: PUSH1 0x01 00000eca: ADD 00000ecb: PUSH1 0x0c 00000ecd: SWAP1 00000ece: SLOAD 00000ecf: SWAP1 00000ed0: PUSH2 0x0100 00000ed3: EXP 00000ed4: SWAP1 00000ed5: DIV 00000ed6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eeb: AND 00000eec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f01: AND 00000f02: EQ 00000f03: ISZERO 00000f04: ISZERO 00000f05: PUSH2 0x0f9c 00000f08: JUMPI 00000f09: PUSH1 0x40 00000f0b: MLOAD 00000f0c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f2d: DUP2 00000f2e: MSTORE 00000f2f: PUSH1 0x04 00000f31: ADD 00000f32: DUP1 00000f33: DUP1 00000f34: PUSH1 0x20 00000f36: ADD 00000f37: DUP3 00000f38: DUP2 00000f39: SUB 00000f3a: DUP3 00000f3b: MSTORE 00000f3c: PUSH1 0x21 00000f3e: DUP2 00000f3f: MSTORE 00000f40: PUSH1 0x20 00000f42: ADD 00000f43: DUP1 00000f44: PUSH32 0x4265742073686f756c6420626520696e20612027636c65616e27207374617465 00000f65: DUP2 00000f66: MSTORE 00000f67: PUSH1 0x20 00000f69: ADD 00000f6a: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00000f8b: DUP2 00000f8c: MSTORE 00000f8d: POP 00000f8e: PUSH1 0x40 00000f90: ADD 00000f91: SWAP2 00000f92: POP 00000f93: POP 00000f94: PUSH1 0x40 00000f96: MLOAD 00000f97: DUP1 00000f98: SWAP2 00000f99: SUB 00000f9a: SWAP1 00000f9b: REVERT 00000f9c: JUMPDEST 00000f9d: CALLVALUE 00000f9e: SWAP4 00000f9f: POP 00000fa0: PUSH1 0x01 00000fa2: DUP8 00000fa3: GT 00000fa4: DUP1 00000fa5: ISZERO 00000fa6: PUSH2 0x0fb0 00000fa9: JUMPI 00000faa: POP 00000fab: PUSH1 0x06 00000fad: DUP8 00000fae: GT 00000faf: ISZERO 00000fb0: JUMPDEST 00000fb1: ISZERO 00000fb2: ISZERO 00000fb3: PUSH2 0x1024 00000fb6: JUMPI 00000fb7: PUSH1 0x40 00000fb9: MLOAD 00000fba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fdb: DUP2 00000fdc: MSTORE 00000fdd: PUSH1 0x04 00000fdf: ADD 00000fe0: DUP1 00000fe1: DUP1 00000fe2: PUSH1 0x20 00000fe4: ADD 00000fe5: DUP3 00000fe6: DUP2 00000fe7: SUB 00000fe8: DUP3 00000fe9: MSTORE 00000fea: PUSH1 0x1e 00000fec: DUP2 00000fed: MSTORE 00000fee: PUSH1 0x20 00000ff0: ADD 00000ff1: DUP1 00000ff2: PUSH32 0x4d6f64756c6f2073686f756c642062652077697468696e2072616e67652e0000 00001013: DUP2 00001014: MSTORE 00001015: POP 00001016: PUSH1 0x20 00001018: ADD 00001019: SWAP2 0000101a: POP 0000101b: POP 0000101c: PUSH1 0x40 0000101e: MLOAD 0000101f: DUP1 00001020: SWAP2 00001021: SUB 00001022: SWAP1 00001023: REVERT 00001024: JUMPDEST 00001025: PUSH7 0x2386f26fc10000 0000102d: DUP5 0000102e: LT 0000102f: ISZERO 00001030: DUP1 00001031: ISZERO 00001032: PUSH2 0x1045 00001035: JUMPI 00001036: POP 00001037: PUSH10 0x3f870857a3e0e3800000 00001042: DUP5 00001043: GT 00001044: ISZERO 00001045: JUMPDEST 00001046: ISZERO 00001047: ISZERO 00001048: PUSH2 0x10b9 0000104b: JUMPI 0000104c: PUSH1 0x40 0000104e: MLOAD 0000104f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001070: DUP2 00001071: MSTORE 00001072: PUSH1 0x04 00001074: ADD 00001075: DUP1 00001076: DUP1 00001077: PUSH1 0x20 00001079: ADD 0000107a: DUP3 0000107b: DUP2 0000107c: SUB 0000107d: DUP3 0000107e: MSTORE 0000107f: PUSH1 0x1e 00001081: DUP2 00001082: MSTORE 00001083: PUSH1 0x20 00001085: ADD 00001086: DUP1 00001087: PUSH32 0x416d6f756e742073686f756c642062652077697468696e2072616e67652e0000 000010a8: DUP2 000010a9: MSTORE 000010aa: POP 000010ab: PUSH1 0x20 000010ad: ADD 000010ae: SWAP2 000010af: POP 000010b0: POP 000010b1: PUSH1 0x40 000010b3: MLOAD 000010b4: DUP1 000010b5: SWAP2 000010b6: SUB 000010b7: SWAP1 000010b8: REVERT 000010b9: JUMPDEST 000010ba: PUSH1 0x00 000010bc: DUP9 000010bd: GT 000010be: DUP1 000010bf: ISZERO 000010c0: PUSH2 0x10cc 000010c3: JUMPI 000010c4: POP 000010c5: PUSH1 0x28 000010c7: PUSH1 0x02 000010c9: EXP 000010ca: DUP9 000010cb: LT 000010cc: JUMPDEST 000010cd: ISZERO 000010ce: ISZERO 000010cf: PUSH2 0x1140 000010d2: JUMPI 000010d3: PUSH1 0x40 000010d5: MLOAD 000010d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010f7: DUP2 000010f8: MSTORE 000010f9: PUSH1 0x04 000010fb: ADD 000010fc: DUP1 000010fd: DUP1 000010fe: PUSH1 0x20 00001100: ADD 00001101: DUP3 00001102: DUP2 00001103: SUB 00001104: DUP3 00001105: MSTORE 00001106: PUSH1 0x1c 00001108: DUP2 00001109: MSTORE 0000110a: PUSH1 0x20 0000110c: ADD 0000110d: DUP1 0000110e: PUSH32 0x4d61736b2073686f756c642062652077697468696e2072616e67652e00000000 0000112f: DUP2 00001130: MSTORE 00001131: POP 00001132: PUSH1 0x20 00001134: ADD 00001135: SWAP2 00001136: POP 00001137: POP 00001138: PUSH1 0x40 0000113a: MLOAD 0000113b: DUP1 0000113c: SWAP2 0000113d: SUB 0000113e: SWAP1 0000113f: REVERT 00001140: JUMPDEST 00001141: PUSH1 0x28 00001143: DUP8 00001144: GT 00001145: ISZERO 00001146: ISZERO 00001147: PUSH2 0x119e 0000114a: JUMPI 0000114b: PUSH1 0x3f 0000114d: PUSH31 0x01041041041041041041041041041041041041041041041041041041041041 0000116d: PUSH26 0x2000000000100000000008000000000400000000020000000001 00001188: DUP11 00001189: MUL 0000118a: AND 0000118b: DUP2 0000118c: ISZERO 0000118d: ISZERO 0000118e: PUSH2 0x1193 00001191: JUMPI 00001192: INVALID 00001193: JUMPDEST 00001194: MOD 00001195: SWAP3 00001196: POP 00001197: DUP8 00001198: SWAP2 00001199: POP 0000119a: PUSH2 0x124c 0000119d: JUMP 0000119e: JUMPDEST 0000119f: PUSH1 0x00 000011a1: DUP9 000011a2: GT 000011a3: DUP1 000011a4: ISZERO 000011a5: PUSH2 0x11ae 000011a8: JUMPI 000011a9: POP 000011aa: DUP7 000011ab: DUP9 000011ac: GT 000011ad: ISZERO 000011ae: JUMPDEST 000011af: ISZERO 000011b0: ISZERO 000011b1: PUSH2 0x1248 000011b4: JUMPI 000011b5: PUSH1 0x40 000011b7: MLOAD 000011b8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011d9: DUP2 000011da: MSTORE 000011db: PUSH1 0x04 000011dd: ADD 000011de: DUP1 000011df: DUP1 000011e0: PUSH1 0x20 000011e2: ADD 000011e3: DUP3 000011e4: DUP2 000011e5: SUB 000011e6: DUP3 000011e7: MSTORE 000011e8: PUSH1 0x2e 000011ea: DUP2 000011eb: MSTORE 000011ec: PUSH1 0x20 000011ee: ADD 000011ef: DUP1 000011f0: PUSH32 0x48696768206d6f64756c6f2072616e67652c206265744d61736b206c61726765 00001211: DUP2 00001212: MSTORE 00001213: PUSH1 0x20 00001215: ADD 00001216: PUSH32 0x72207468616e206d6f64756c6f2e000000000000000000000000000000000000 00001237: DUP2 00001238: MSTORE 00001239: POP 0000123a: PUSH1 0x40 0000123c: ADD 0000123d: SWAP2 0000123e: POP 0000123f: POP 00001240: PUSH1 0x40 00001242: MLOAD 00001243: DUP1 00001244: SWAP2 00001245: SUB 00001246: SWAP1 00001247: REVERT 00001248: JUMPDEST 00001249: DUP8 0000124a: SWAP3 0000124b: POP 0000124c: JUMPDEST 0000124d: PUSH2 0x1257 00001250: DUP5 00001251: DUP9 00001252: DUP6 00001253: PUSH2 0x1b73 00001256: JUMP 00001257: JUMPDEST 00001258: SWAP1 00001259: POP 0000125a: PUSH1 0x06 0000125c: SLOAD 0000125d: DUP5 0000125e: ADD 0000125f: DUP2 00001260: GT 00001261: ISZERO 00001262: ISZERO 00001263: ISZERO 00001264: PUSH2 0x12d5 00001267: JUMPI 00001268: PUSH1 0x40 0000126a: MLOAD 0000126b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000128c: DUP2 0000128d: MSTORE 0000128e: PUSH1 0x04 00001290: ADD 00001291: DUP1 00001292: DUP1 00001293: PUSH1 0x20 00001295: ADD 00001296: DUP3 00001297: DUP2 00001298: SUB 00001299: DUP3 0000129a: MSTORE 0000129b: PUSH1 0x1a 0000129d: DUP2 0000129e: MSTORE 0000129f: PUSH1 0x20 000012a1: ADD 000012a2: DUP1 000012a3: PUSH32 0x6d617850726f666974206c696d69742076696f6c6174696f6e2e000000000000 000012c4: DUP2 000012c5: MSTORE 000012c6: POP 000012c7: PUSH1 0x20 000012c9: ADD 000012ca: SWAP2 000012cb: POP 000012cc: POP 000012cd: PUSH1 0x40 000012cf: MLOAD 000012d0: DUP1 000012d1: SWAP2 000012d2: SUB 000012d3: SWAP1 000012d4: REVERT 000012d5: JUMPDEST 000012d6: DUP1 000012d7: PUSH1 0x00 000012d9: DUP1 000012da: DUP3 000012db: DUP3 000012dc: DUP3 000012dd: SWAP1 000012de: SLOAD 000012df: SWAP1 000012e0: PUSH2 0x0100 000012e3: EXP 000012e4: SWAP1 000012e5: DIV 000012e6: PUSH16 0xffffffffffffffffffffffffffffffff 000012f7: AND 000012f8: ADD 000012f9: SWAP3 000012fa: POP 000012fb: PUSH2 0x0100 000012fe: EXP 000012ff: DUP2 00001300: SLOAD 00001301: DUP2 00001302: PUSH16 0xffffffffffffffffffffffffffffffff 00001313: MUL 00001314: NOT 00001315: AND 00001316: SWAP1 00001317: DUP4 00001318: PUSH16 0xffffffffffffffffffffffffffffffff 00001329: AND 0000132a: MUL 0000132b: OR 0000132c: SWAP1 0000132d: SSTORE 0000132e: POP 0000132f: ADDRESS 00001330: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001345: AND 00001346: BALANCE 00001347: PUSH1 0x00 00001349: DUP1 0000134a: SWAP1 0000134b: SLOAD 0000134c: SWAP1 0000134d: PUSH2 0x0100 00001350: EXP 00001351: SWAP1 00001352: DIV 00001353: PUSH16 0xffffffffffffffffffffffffffffffff 00001364: AND 00001365: PUSH16 0xffffffffffffffffffffffffffffffff 00001376: AND 00001377: GT 00001378: ISZERO 00001379: ISZERO 0000137a: ISZERO 0000137b: PUSH2 0x13ec 0000137e: JUMPI 0000137f: PUSH1 0x40 00001381: MLOAD 00001382: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013a3: DUP2 000013a4: MSTORE 000013a5: PUSH1 0x04 000013a7: ADD 000013a8: DUP1 000013a9: DUP1 000013aa: PUSH1 0x20 000013ac: ADD 000013ad: DUP3 000013ae: DUP2 000013af: SUB 000013b0: DUP3 000013b1: MSTORE 000013b2: PUSH1 0x1f 000013b4: DUP2 000013b5: MSTORE 000013b6: PUSH1 0x20 000013b8: ADD 000013b9: DUP1 000013ba: PUSH32 0x43616e6e6f74206166666f726420746f206c6f73652074686973206265742e00 000013db: DUP2 000013dc: MSTORE 000013dd: POP 000013de: PUSH1 0x20 000013e0: ADD 000013e1: SWAP2 000013e2: POP 000013e3: POP 000013e4: PUSH1 0x40 000013e6: MLOAD 000013e7: DUP1 000013e8: SWAP2 000013e9: SUB 000013ea: SWAP1 000013eb: REVERT 000013ec: JUMPDEST 000013ed: PUSH32 0x5bdd2fc99022530157777690475b670d3872f32262eb1d47d9ba8000dad58f87 0000140e: DUP7 0000140f: PUSH1 0x40 00001411: MLOAD 00001412: DUP1 00001413: DUP3 00001414: DUP2 00001415: MSTORE 00001416: PUSH1 0x20 00001418: ADD 00001419: SWAP2 0000141a: POP 0000141b: POP 0000141c: PUSH1 0x40 0000141e: MLOAD 0000141f: DUP1 00001420: SWAP2 00001421: SUB 00001422: SWAP1 00001423: LOG1 00001424: DUP4 00001425: DUP6 00001426: PUSH1 0x00 00001428: ADD 00001429: DUP2 0000142a: SWAP1 0000142b: SSTORE 0000142c: POP 0000142d: DUP7 0000142e: DUP6 0000142f: PUSH1 0x01 00001431: ADD 00001432: PUSH1 0x00 00001434: PUSH2 0x0100 00001437: EXP 00001438: DUP2 00001439: SLOAD 0000143a: DUP2 0000143b: PUSH1 0xff 0000143d: MUL 0000143e: NOT 0000143f: AND 00001440: SWAP1 00001441: DUP4 00001442: PUSH1 0xff 00001444: AND 00001445: MUL 00001446: OR 00001447: SWAP1 00001448: SSTORE 00001449: POP 0000144a: DUP3 0000144b: DUP6 0000144c: PUSH1 0x01 0000144e: ADD 0000144f: PUSH1 0x01 00001451: PUSH2 0x0100 00001454: EXP 00001455: DUP2 00001456: SLOAD 00001457: DUP2 00001458: PUSH1 0xff 0000145a: MUL 0000145b: NOT 0000145c: AND 0000145d: SWAP1 0000145e: DUP4 0000145f: PUSH1 0xff 00001461: AND 00001462: MUL 00001463: OR 00001464: SWAP1 00001465: SSTORE 00001466: POP 00001467: NUMBER 00001468: DUP6 00001469: PUSH1 0x01 0000146b: ADD 0000146c: PUSH1 0x02 0000146e: PUSH2 0x0100 00001471: EXP 00001472: DUP2 00001473: SLOAD 00001474: DUP2 00001475: PUSH5 0xffffffffff 0000147b: MUL 0000147c: NOT 0000147d: AND 0000147e: SWAP1 0000147f: DUP4 00001480: PUSH5 0xffffffffff 00001486: AND 00001487: MUL 00001488: OR 00001489: SWAP1 0000148a: SSTORE 0000148b: POP 0000148c: DUP2 0000148d: DUP6 0000148e: PUSH1 0x01 00001490: ADD 00001491: PUSH1 0x07 00001493: PUSH2 0x0100 00001496: EXP 00001497: DUP2 00001498: SLOAD 00001499: DUP2 0000149a: PUSH5 0xffffffffff 000014a0: MUL 000014a1: NOT 000014a2: AND 000014a3: SWAP1 000014a4: DUP4 000014a5: PUSH5 0xffffffffff 000014ab: AND 000014ac: MUL 000014ad: OR 000014ae: SWAP1 000014af: SSTORE 000014b0: POP 000014b1: CALLER 000014b2: DUP6 000014b3: PUSH1 0x01 000014b5: ADD 000014b6: PUSH1 0x0c 000014b8: PUSH2 0x0100 000014bb: EXP 000014bc: DUP2 000014bd: SLOAD 000014be: DUP2 000014bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d4: MUL 000014d5: NOT 000014d6: AND 000014d7: SWAP1 000014d8: DUP4 000014d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ee: AND 000014ef: MUL 000014f0: OR 000014f1: SWAP1 000014f2: SSTORE 000014f3: POP 000014f4: POP 000014f5: POP 000014f6: POP 000014f7: POP 000014f8: POP 000014f9: POP 000014fa: POP 000014fb: POP 000014fc: JUMP 000014fd: JUMPDEST 000014fe: PUSH1 0x01 00001500: PUSH1 0x00 00001502: SWAP1 00001503: SLOAD 00001504: SWAP1 00001505: PUSH2 0x0100 00001508: EXP 00001509: SWAP1 0000150a: DIV 0000150b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001520: AND 00001521: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001536: AND 00001537: CALLER 00001538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000154d: AND 0000154e: EQ 0000154f: ISZERO 00001550: ISZERO 00001551: PUSH2 0x15e8 00001554: JUMPI 00001555: PUSH1 0x40 00001557: MLOAD 00001558: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001579: DUP2 0000157a: MSTORE 0000157b: PUSH1 0x04 0000157d: ADD 0000157e: DUP1 0000157f: DUP1 00001580: PUSH1 0x20 00001582: ADD 00001583: DUP3 00001584: DUP2 00001585: SUB 00001586: DUP3 00001587: MSTORE 00001588: PUSH1 0x26 0000158a: DUP2 0000158b: MSTORE 0000158c: PUSH1 0x20 0000158e: ADD 0000158f: DUP1 00001590: PUSH32 0x4f6e6c794f776e6572206d6574686f64732063616c6c6564206279206e6f6e2d 000015b1: DUP2 000015b2: MSTORE 000015b3: PUSH1 0x20 000015b5: ADD 000015b6: PUSH32 0x6f776e65722e0000000000000000000000000000000000000000000000000000 000015d7: DUP2 000015d8: MSTORE 000015d9: POP 000015da: PUSH1 0x40 000015dc: ADD 000015dd: SWAP2 000015de: POP 000015df: POP 000015e0: PUSH1 0x40 000015e2: MLOAD 000015e3: DUP1 000015e4: SWAP2 000015e5: SUB 000015e6: SWAP1 000015e7: REVERT 000015e8: JUMPDEST 000015e9: DUP1 000015ea: PUSH1 0x04 000015ec: PUSH1 0x00 000015ee: PUSH2 0x0100 000015f1: EXP 000015f2: DUP2 000015f3: SLOAD 000015f4: DUP2 000015f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000160a: MUL 0000160b: NOT 0000160c: AND 0000160d: SWAP1 0000160e: DUP4 0000160f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001624: AND 00001625: MUL 00001626: OR 00001627: SWAP1 00001628: SSTORE 00001629: POP 0000162a: POP 0000162b: JUMP 0000162c: JUMPDEST 0000162d: PUSH1 0x00 0000162f: DUP1 00001630: PUSH1 0x00 00001632: DUP1 00001633: PUSH1 0x00 00001635: DUP1 00001636: PUSH1 0x00 00001638: PUSH1 0x01 0000163a: DUP12 0000163b: GT 0000163c: DUP1 0000163d: ISZERO 0000163e: PUSH2 0x1648 00001641: JUMPI 00001642: POP 00001643: PUSH1 0x06 00001645: DUP12 00001646: GT 00001647: ISZERO 00001648: JUMPDEST 00001649: ISZERO 0000164a: ISZERO 0000164b: PUSH2 0x16bc 0000164e: JUMPI 0000164f: PUSH1 0x40 00001651: MLOAD 00001652: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001673: DUP2 00001674: MSTORE 00001675: PUSH1 0x04 00001677: ADD 00001678: DUP1 00001679: DUP1 0000167a: PUSH1 0x20 0000167c: ADD 0000167d: DUP3 0000167e: DUP2 0000167f: SUB 00001680: DUP3 00001681: MSTORE 00001682: PUSH1 0x1e 00001684: DUP2 00001685: MSTORE 00001686: PUSH1 0x20 00001688: ADD 00001689: DUP1 0000168a: PUSH32 0x4d6f64756c6f2073686f756c642062652077697468696e2072616e67652e0000 000016ab: DUP2 000016ac: MSTORE 000016ad: POP 000016ae: PUSH1 0x20 000016b0: ADD 000016b1: SWAP2 000016b2: POP 000016b3: POP 000016b4: PUSH1 0x40 000016b6: MLOAD 000016b7: DUP1 000016b8: SWAP2 000016b9: SUB 000016ba: SWAP1 000016bb: REVERT 000016bc: JUMPDEST 000016bd: PUSH7 0x2386f26fc10000 000016c5: DUP10 000016c6: LT 000016c7: ISZERO 000016c8: DUP1 000016c9: ISZERO 000016ca: PUSH2 0x16dd 000016cd: JUMPI 000016ce: POP 000016cf: PUSH10 0x3f870857a3e0e3800000 000016da: DUP10 000016db: GT 000016dc: ISZERO 000016dd: JUMPDEST 000016de: ISZERO 000016df: ISZERO 000016e0: PUSH2 0x1751 000016e3: JUMPI 000016e4: PUSH1 0x40 000016e6: MLOAD 000016e7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001708: DUP2 00001709: MSTORE 0000170a: PUSH1 0x04 0000170c: ADD 0000170d: DUP1 0000170e: DUP1 0000170f: PUSH1 0x20 00001711: ADD 00001712: DUP3 00001713: DUP2 00001714: SUB 00001715: DUP3 00001716: MSTORE 00001717: PUSH1 0x1e 00001719: DUP2 0000171a: MSTORE 0000171b: PUSH1 0x20 0000171d: ADD 0000171e: DUP1 0000171f: PUSH32 0x416d6f756e742073686f756c642062652077697468696e2072616e67652e0000 00001740: DUP2 00001741: MSTORE 00001742: POP 00001743: PUSH1 0x20 00001745: ADD 00001746: SWAP2 00001747: POP 00001748: POP 00001749: PUSH1 0x40 0000174b: MLOAD 0000174c: DUP1 0000174d: SWAP2 0000174e: SUB 0000174f: SWAP1 00001750: REVERT 00001751: JUMPDEST 00001752: PUSH1 0x00 00001754: DUP13 00001755: GT 00001756: DUP1 00001757: ISZERO 00001758: PUSH2 0x1764 0000175b: JUMPI 0000175c: POP 0000175d: PUSH1 0x28 0000175f: PUSH1 0x02 00001761: EXP 00001762: DUP13 00001763: LT 00001764: JUMPDEST 00001765: ISZERO 00001766: ISZERO 00001767: PUSH2 0x17d8 0000176a: JUMPI 0000176b: PUSH1 0x40 0000176d: MLOAD 0000176e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000178f: DUP2 00001790: MSTORE 00001791: PUSH1 0x04 00001793: ADD 00001794: DUP1 00001795: DUP1 00001796: PUSH1 0x20 00001798: ADD 00001799: DUP3 0000179a: DUP2 0000179b: SUB 0000179c: DUP3 0000179d: MSTORE 0000179e: PUSH1 0x1c 000017a0: DUP2 000017a1: MSTORE 000017a2: PUSH1 0x20 000017a4: ADD 000017a5: DUP1 000017a6: PUSH32 0x4d61736b2073686f756c642062652077697468696e2072616e67652e00000000 000017c7: DUP2 000017c8: MSTORE 000017c9: POP 000017ca: PUSH1 0x20 000017cc: ADD 000017cd: SWAP2 000017ce: POP 000017cf: POP 000017d0: PUSH1 0x40 000017d2: MLOAD 000017d3: DUP1 000017d4: SWAP2 000017d5: SUB 000017d6: SWAP1 000017d7: REVERT 000017d8: JUMPDEST 000017d9: PUSH1 0x28 000017db: DUP12 000017dc: GT 000017dd: ISZERO 000017de: ISZERO 000017df: PUSH2 0x1836 000017e2: JUMPI 000017e3: PUSH1 0x3f 000017e5: PUSH31 0x01041041041041041041041041041041041041041041041041041041041041 00001805: PUSH26 0x2000000000100000000008000000000400000000020000000001 00001820: DUP15 00001821: MUL 00001822: AND 00001823: DUP2 00001824: ISZERO 00001825: ISZERO 00001826: PUSH2 0x182b 00001829: JUMPI 0000182a: INVALID 0000182b: JUMPDEST 0000182c: MOD 0000182d: SWAP5 0000182e: POP 0000182f: DUP12 00001830: SWAP4 00001831: POP 00001832: PUSH2 0x18e4 00001835: JUMP 00001836: JUMPDEST 00001837: PUSH1 0x00 00001839: DUP13 0000183a: GT 0000183b: DUP1 0000183c: ISZERO 0000183d: PUSH2 0x1846 00001840: JUMPI 00001841: POP 00001842: DUP11 00001843: DUP13 00001844: GT 00001845: ISZERO 00001846: JUMPDEST 00001847: ISZERO 00001848: ISZERO 00001849: PUSH2 0x18e0 0000184c: JUMPI 0000184d: PUSH1 0x40 0000184f: MLOAD 00001850: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001871: DUP2 00001872: MSTORE 00001873: PUSH1 0x04 00001875: ADD 00001876: DUP1 00001877: DUP1 00001878: PUSH1 0x20 0000187a: ADD 0000187b: DUP3 0000187c: DUP2 0000187d: SUB 0000187e: DUP3 0000187f: MSTORE 00001880: PUSH1 0x2e 00001882: DUP2 00001883: MSTORE 00001884: PUSH1 0x20 00001886: ADD 00001887: DUP1 00001888: PUSH32 0x48696768206d6f64756c6f2072616e67652c206265744d61736b206c61726765 000018a9: DUP2 000018aa: MSTORE 000018ab: PUSH1 0x20 000018ad: ADD 000018ae: PUSH32 0x72207468616e206d6f64756c6f2e000000000000000000000000000000000000 000018cf: DUP2 000018d0: MSTORE 000018d1: POP 000018d2: PUSH1 0x40 000018d4: ADD 000018d5: SWAP2 000018d6: POP 000018d7: POP 000018d8: PUSH1 0x40 000018da: MLOAD 000018db: DUP1 000018dc: SWAP2 000018dd: SUB 000018de: SWAP1 000018df: REVERT 000018e0: JUMPDEST 000018e1: DUP12 000018e2: SWAP5 000018e3: POP 000018e4: JUMPDEST 000018e5: DUP10 000018e6: DUP9 000018e7: PUSH1 0x40 000018e9: MLOAD 000018ea: PUSH1 0x20 000018ec: ADD 000018ed: DUP1 000018ee: DUP4 000018ef: DUP2 000018f0: MSTORE 000018f1: PUSH1 0x20 000018f3: ADD 000018f4: DUP3 000018f5: DUP2 000018f6: MSTORE 000018f7: PUSH1 0x20 000018f9: ADD 000018fa: SWAP3 000018fb: POP 000018fc: POP 000018fd: POP 000018fe: PUSH1 0x40 00001900: MLOAD 00001901: PUSH1 0x20 00001903: DUP2 00001904: DUP4 00001905: SUB 00001906: SUB 00001907: DUP2 00001908: MSTORE 00001909: SWAP1 0000190a: PUSH1 0x40 0000190c: MSTORE 0000190d: PUSH1 0x40 0000190f: MLOAD 00001910: DUP1 00001911: DUP3 00001912: DUP1 00001913: MLOAD 00001914: SWAP1 00001915: PUSH1 0x20 00001917: ADD 00001918: SWAP1 00001919: DUP1 0000191a: DUP4 0000191b: DUP4 0000191c: JUMPDEST 0000191d: PUSH1 0x20 0000191f: DUP4 00001920: LT 00001921: ISZERO 00001922: ISZERO 00001923: PUSH2 0x1941 00001926: JUMPI 00001927: DUP1 00001928: MLOAD 00001929: DUP3 0000192a: MSTORE 0000192b: PUSH1 0x20 0000192d: DUP3 0000192e: ADD 0000192f: SWAP2 00001930: POP 00001931: PUSH1 0x20 00001933: DUP2 00001934: ADD 00001935: SWAP1 00001936: POP 00001937: PUSH1 0x20 00001939: DUP4 0000193a: SUB 0000193b: SWAP3 0000193c: POP 0000193d: PUSH2 0x191c 00001940: JUMP 00001941: JUMPDEST 00001942: PUSH1 0x01 00001944: DUP4 00001945: PUSH1 0x20 00001947: SUB 00001948: PUSH2 0x0100 0000194b: EXP 0000194c: SUB 0000194d: DUP1 0000194e: NOT 0000194f: DUP3 00001950: MLOAD 00001951: AND 00001952: DUP2 00001953: DUP5 00001954: MLOAD 00001955: AND 00001956: DUP1 00001957: DUP3 00001958: OR 00001959: DUP6 0000195a: MSTORE 0000195b: POP 0000195c: POP 0000195d: POP 0000195e: POP 0000195f: POP 00001960: POP 00001961: SWAP1 00001962: POP 00001963: ADD 00001964: SWAP2 00001965: POP 00001966: POP 00001967: PUSH1 0x40 00001969: MLOAD 0000196a: DUP1 0000196b: SWAP2 0000196c: SUB 0000196d: SWAP1 0000196e: KECCAK256 0000196f: SWAP3 00001970: POP 00001971: DUP11 00001972: DUP4 00001973: PUSH1 0x01 00001975: SWAP1 00001976: DIV 00001977: DUP2 00001978: ISZERO 00001979: ISZERO 0000197a: PUSH2 0x197f 0000197d: JUMPI 0000197e: INVALID 0000197f: JUMPDEST 00001980: MOD 00001981: SWAP2 00001982: POP 00001983: PUSH2 0x198d 00001986: DUP10 00001987: DUP13 00001988: DUP8 00001989: PUSH2 0x1b73 0000198c: JUMP 0000198d: JUMPDEST 0000198e: SWAP1 0000198f: POP 00001990: PUSH1 0x00 00001992: SWAP6 00001993: POP 00001994: DUP2 00001995: PUSH1 0x02 00001997: EXP 00001998: SWAP7 00001999: POP 0000199a: PUSH1 0x28 0000199c: DUP12 0000199d: GT 0000199e: ISZERO 0000199f: ISZERO 000019a0: PUSH2 0x19bb 000019a3: JUMPI 000019a4: PUSH1 0x00 000019a6: DUP13 000019a7: DUP4 000019a8: PUSH1 0x02 000019aa: EXP 000019ab: AND 000019ac: EQ 000019ad: ISZERO 000019ae: ISZERO 000019af: PUSH2 0x19b6 000019b2: JUMPI 000019b3: DUP1 000019b4: SWAP6 000019b5: POP 000019b6: JUMPDEST 000019b7: PUSH2 0x19c8 000019ba: JUMP 000019bb: JUMPDEST 000019bc: DUP5 000019bd: DUP3 000019be: LT 000019bf: ISZERO 000019c0: PUSH2 0x19c7 000019c3: JUMPI 000019c4: DUP1 000019c5: SWAP6 000019c6: POP 000019c7: JUMPDEST 000019c8: JUMPDEST 000019c9: POP 000019ca: POP 000019cb: POP 000019cc: POP 000019cd: POP 000019ce: SWAP6 000019cf: POP 000019d0: SWAP6 000019d1: SWAP4 000019d2: POP 000019d3: POP 000019d4: POP 000019d5: POP 000019d6: JUMP 000019d7: JUMPDEST 000019d8: PUSH1 0x01 000019da: PUSH1 0x00 000019dc: SWAP1 000019dd: SLOAD 000019de: SWAP1 000019df: PUSH2 0x0100 000019e2: EXP 000019e3: SWAP1 000019e4: DIV 000019e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019fa: AND 000019fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a10: AND 00001a11: CALLER 00001a12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a27: AND 00001a28: EQ 00001a29: ISZERO 00001a2a: ISZERO 00001a2b: PUSH2 0x1ac2 00001a2e: JUMPI 00001a2f: PUSH1 0x40 00001a31: MLOAD 00001a32: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a53: DUP2 00001a54: MSTORE 00001a55: PUSH1 0x04 00001a57: ADD 00001a58: DUP1 00001a59: DUP1 00001a5a: PUSH1 0x20 00001a5c: ADD 00001a5d: DUP3 00001a5e: DUP2 00001a5f: SUB 00001a60: DUP3 00001a61: MSTORE 00001a62: PUSH1 0x26 00001a64: DUP2 00001a65: MSTORE 00001a66: PUSH1 0x20 00001a68: ADD 00001a69: DUP1 00001a6a: PUSH32 0x4f6e6c794f776e6572206d6574686f64732063616c6c6564206279206e6f6e2d 00001a8b: DUP2 00001a8c: MSTORE 00001a8d: PUSH1 0x20 00001a8f: ADD 00001a90: PUSH32 0x6f776e65722e0000000000000000000000000000000000000000000000000000 00001ab1: DUP2 00001ab2: MSTORE 00001ab3: POP 00001ab4: PUSH1 0x40 00001ab6: ADD 00001ab7: SWAP2 00001ab8: POP 00001ab9: POP 00001aba: PUSH1 0x40 00001abc: MLOAD 00001abd: DUP1 00001abe: SWAP2 00001abf: SUB 00001ac0: SWAP1 00001ac1: REVERT 00001ac2: JUMPDEST 00001ac3: PUSH10 0x3f870857a3e0e3800000 00001ace: DUP2 00001acf: LT 00001ad0: ISZERO 00001ad1: ISZERO 00001ad2: PUSH2 0x1b69 00001ad5: JUMPI 00001ad6: PUSH1 0x40 00001ad8: MLOAD 00001ad9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001afa: DUP2 00001afb: MSTORE 00001afc: PUSH1 0x04 00001afe: ADD 00001aff: DUP1 00001b00: DUP1 00001b01: PUSH1 0x20 00001b03: ADD 00001b04: DUP3 00001b05: DUP2 00001b06: SUB 00001b07: DUP3 00001b08: MSTORE 00001b09: PUSH1 0x22 00001b0b: DUP2 00001b0c: MSTORE 00001b0d: PUSH1 0x20 00001b0f: ADD 00001b10: DUP1 00001b11: PUSH32 0x6d617850726f6669742073686f756c6420626520612073616e65206e756d6265 00001b32: DUP2 00001b33: MSTORE 00001b34: PUSH1 0x20 00001b36: ADD 00001b37: PUSH32 0x722e000000000000000000000000000000000000000000000000000000000000 00001b58: DUP2 00001b59: MSTORE 00001b5a: POP 00001b5b: PUSH1 0x40 00001b5d: ADD 00001b5e: SWAP2 00001b5f: POP 00001b60: POP 00001b61: PUSH1 0x40 00001b63: MLOAD 00001b64: DUP1 00001b65: SWAP2 00001b66: SUB 00001b67: SWAP1 00001b68: REVERT 00001b69: JUMPDEST 00001b6a: DUP1 00001b6b: PUSH1 0x06 00001b6d: DUP2 00001b6e: SWAP1 00001b6f: SSTORE 00001b70: POP 00001b71: POP 00001b72: JUMP 00001b73: JUMPDEST 00001b74: PUSH1 0x00 00001b76: DUP1 00001b77: DUP3 00001b78: PUSH1 0x00 00001b7a: LT 00001b7b: DUP1 00001b7c: ISZERO 00001b7d: PUSH2 0x1b86 00001b80: JUMPI 00001b81: POP 00001b82: DUP4 00001b83: DUP4 00001b84: GT 00001b85: ISZERO 00001b86: JUMPDEST 00001b87: ISZERO 00001b88: ISZERO 00001b89: PUSH2 0x1bfa 00001b8c: JUMPI 00001b8d: PUSH1 0x40 00001b8f: MLOAD 00001b90: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001bb1: DUP2 00001bb2: MSTORE 00001bb3: PUSH1 0x04 00001bb5: ADD 00001bb6: DUP1 00001bb7: DUP1 00001bb8: PUSH1 0x20 00001bba: ADD 00001bbb: DUP3 00001bbc: DUP2 00001bbd: SUB 00001bbe: DUP3 00001bbf: MSTORE 00001bc0: PUSH1 0x1d 00001bc2: DUP2 00001bc3: MSTORE 00001bc4: PUSH1 0x20 00001bc6: ADD 00001bc7: DUP1 00001bc8: PUSH32 0x57696e2070726f626162696c697479206f7574206f662072616e67652e000000 00001be9: DUP2 00001bea: MSTORE 00001beb: POP 00001bec: PUSH1 0x20 00001bee: ADD 00001bef: SWAP2 00001bf0: POP 00001bf1: POP 00001bf2: PUSH1 0x40 00001bf4: MLOAD 00001bf5: DUP1 00001bf6: SWAP2 00001bf7: SUB 00001bf8: SWAP1 00001bf9: REVERT 00001bfa: JUMPDEST 00001bfb: PUSH1 0x64 00001bfd: PUSH1 0x01 00001bff: DUP7 00001c00: MUL 00001c01: DUP2 00001c02: ISZERO 00001c03: ISZERO 00001c04: PUSH2 0x1c09 00001c07: JUMPI 00001c08: INVALID 00001c09: JUMPDEST 00001c0a: DIV 00001c0b: SWAP1 00001c0c: POP 00001c0d: PUSH7 0x0110d9316ec000 00001c15: DUP2 00001c16: LT 00001c17: ISZERO 00001c18: PUSH2 0x1c26 00001c1b: JUMPI 00001c1c: PUSH7 0x0110d9316ec000 00001c24: SWAP1 00001c25: POP 00001c26: JUMPDEST 00001c27: DUP5 00001c28: DUP2 00001c29: GT 00001c2a: ISZERO 00001c2b: ISZERO 00001c2c: ISZERO 00001c2d: PUSH2 0x1cc4 00001c30: JUMPI 00001c31: PUSH1 0x40 00001c33: MLOAD 00001c34: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c55: DUP2 00001c56: MSTORE 00001c57: PUSH1 0x04 00001c59: ADD 00001c5a: DUP1 00001c5b: DUP1 00001c5c: PUSH1 0x20 00001c5e: ADD 00001c5f: DUP3 00001c60: DUP2 00001c61: SUB 00001c62: DUP3 00001c63: MSTORE 00001c64: PUSH1 0x22 00001c66: DUP2 00001c67: MSTORE 00001c68: PUSH1 0x20 00001c6a: ADD 00001c6b: DUP1 00001c6c: PUSH32 0x42657420646f65736e2774206576656e20636f76657220686f75736520656467 00001c8d: DUP2 00001c8e: MSTORE 00001c8f: PUSH1 0x20 00001c91: ADD 00001c92: PUSH32 0x652e000000000000000000000000000000000000000000000000000000000000 00001cb3: DUP2 00001cb4: MSTORE 00001cb5: POP 00001cb6: PUSH1 0x40 00001cb8: ADD 00001cb9: SWAP2 00001cba: POP 00001cbb: POP 00001cbc: PUSH1 0x40 00001cbe: MLOAD 00001cbf: DUP1 00001cc0: SWAP2 00001cc1: SUB 00001cc2: SWAP1 00001cc3: REVERT 00001cc4: JUMPDEST 00001cc5: DUP3 00001cc6: DUP5 00001cc7: DUP3 00001cc8: DUP8 00001cc9: SUB 00001cca: MUL 00001ccb: DUP2 00001ccc: ISZERO 00001ccd: ISZERO 00001cce: PUSH2 0x1cd3 00001cd1: JUMPI 00001cd2: INVALID 00001cd3: JUMPDEST 00001cd4: DIV 00001cd5: SWAP2 00001cd6: POP 00001cd7: POP 00001cd8: SWAP4 00001cd9: SWAP3 00001cda: POP 00001cdb: POP 00001cdc: POP 00001cdd: JUMP 00001cde: JUMPDEST 00001cdf: DUP3 00001ce0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cf5: AND 00001cf6: PUSH2 0x08fc 00001cf9: DUP4 00001cfa: SWAP1 00001cfb: DUP2 00001cfc: ISZERO 00001cfd: MUL 00001cfe: SWAP1 00001cff: PUSH1 0x40 00001d01: MLOAD 00001d02: PUSH1 0x00 00001d04: PUSH1 0x40 00001d06: MLOAD 00001d07: DUP1 00001d08: DUP4 00001d09: SUB 00001d0a: DUP2 00001d0b: DUP6 00001d0c: DUP9 00001d0d: DUP9 00001d0e: CALL 00001d0f: SWAP4 00001d10: POP 00001d11: POP 00001d12: POP 00001d13: POP 00001d14: ISZERO 00001d15: PUSH2 0x1d6b 00001d18: JUMPI 00001d19: DUP3 00001d1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d2f: AND 00001d30: PUSH32 0xd4f43975feb89f48dd30cabbb32011045be187d1e11c8ea9faa43efc35282519 00001d51: DUP3 00001d52: PUSH1 0x40 00001d54: MLOAD 00001d55: DUP1 00001d56: DUP3 00001d57: DUP2 00001d58: MSTORE 00001d59: PUSH1 0x20 00001d5b: ADD 00001d5c: SWAP2 00001d5d: POP 00001d5e: POP 00001d5f: PUSH1 0x40 00001d61: MLOAD 00001d62: DUP1 00001d63: SWAP2 00001d64: SUB 00001d65: SWAP1 00001d66: LOG2 00001d67: PUSH2 0x1dba 00001d6a: JUMP 00001d6b: JUMPDEST 00001d6c: DUP3 00001d6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d82: AND 00001d83: PUSH32 0xac464fe4d3a86b9121261ac0a01dd981bfe0777c7c9d9c8f4473d31a9c0f9d2d 00001da4: DUP4 00001da5: PUSH1 0x40 00001da7: MLOAD 00001da8: DUP1 00001da9: DUP3 00001daa: DUP2 00001dab: MSTORE 00001dac: PUSH1 0x20 00001dae: ADD 00001daf: SWAP2 00001db0: POP 00001db1: POP 00001db2: PUSH1 0x40 00001db4: MLOAD 00001db5: DUP1 00001db6: SWAP2 00001db7: SUB 00001db8: SWAP1 00001db9: LOG2 00001dba: JUMPDEST 00001dbb: POP 00001dbc: POP 00001dbd: POP 00001dbe: JUMP 00001dbf: STOP 00001dc0: LOG1 00001dc1: PUSH6 0x627a7a723058 00001dc8: KECCAK256 00001dc9: PUSH5 0xad4412fe9e 00001dcf: SWAP2 00001dd0: UNKNOWN(0xC5) 00001dd1: SWAP9 00001dd2: UNKNOWN(0xDF) 00001dd3: SWAP5 00001dd4: UNKNOWN(0xED) 00001dd5: DUP8 00001dd6: ADDMOD 00001dd7: UNKNOWN(0xDC) 00001dd8: UNKNOWN(0xD9) 00001dd9: PUSH13 0x5e74104b0e0d4e1eea9851bcc0 00001de7: AND 00001de8: BLOCKHASH 00001de9: STOP 00001dea: 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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x3980467e5a14342fbbfd866be58e89c3e5405df94d85c7ae937cbdf49bff8480
call_targets:
0x2543603ef7b630508fb26123cb249aec6f1ccbc5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3980467e5a14342fbbfd866be58e89c3e5405df94d85c7ae937cbdf49bff8480",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2543603ef7b630508fb26123cb249aec6f1ccbc5"
],
"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": "0x16fd381a",
"selector": "0x16fd381a",
"calldata_variants": [
"0x16fd381a",
"0x16fd381a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d61537f",
"selector": "0x4d61537f",
"calldata_variants": [
"0x4d61537f",
"0x4d61537f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b5c5f39",
"selector": "0x6b5c5f39",
"calldata_variants": [
"0x6b5c5f39",
"0x6b5c5f390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb539cd55",
"selector": "0xb539cd55",
"calldata_variants": [
"0xb539cd55",
"0xb539cd550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1075329",
"selector": "0xc1075329",
"calldata_variants": [
"0xc1075329",
"0xc10753290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd06c54fb",
"selector": "0xd06c54fb",
"calldata_variants": [
"0xd06c54fb",
"0xd06c54fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7438,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 1145,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2486,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2917,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3253,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5431,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6673,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x3980467e5a14342fbbfd866be58e89c3e5405df94d85c7ae937cbdf49bff8480
call_targets:
0x2543603ef7b630508fb26123cb249aec6f1ccbc5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3980467e5a14342fbbfd866be58e89c3e5405df94d85c7ae937cbdf49bff8480",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2543603ef7b630508fb26123cb249aec6f1ccbc5"
],
"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": "0x16fd381a",
"selector": "0x16fd381a",
"calldata_variants": [
"0x16fd381a",
"0x16fd381a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d61537f",
"selector": "0x4d61537f",
"calldata_variants": [
"0x4d61537f",
"0x4d61537f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b5c5f39",
"selector": "0x6b5c5f39",
"calldata_variants": [
"0x6b5c5f39",
"0x6b5c5f390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb539cd55",
"selector": "0xb539cd55",
"calldata_variants": [
"0xb539cd55",
"0xb539cd550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1075329",
"selector": "0xc1075329",
"calldata_variants": [
"0xc1075329",
"0xc10753290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd06c54fb",
"selector": "0xd06c54fb",
"calldata_variants": [
"0xd06c54fb",
"0xd06c54fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7438,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 1145,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2486,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2917,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3253,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5431,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6673,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|