019b477e-bfa1-71c2-a5ce-6b26ba3364d4
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 |
|---|---|---|---|---|
| 24563 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24564 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102228 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 102229 | capability.graph | complete | 1 / 3 | 1 week ago |
| 102230 | detector.run | complete | 1 / 3 | 1 week ago |
| 102231 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00af 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x01173672 0000003c: EQ 0000003d: PUSH2 0x0126 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x02fb0c5e 00000047: EQ 00000048: PUSH2 0x01db 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x1398a5f6 00000052: EQ 00000053: PUSH2 0x01e5 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x5f43e63f 0000005d: EQ 0000005e: PUSH2 0x0210 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x6ad68826 00000068: EQ 00000069: PUSH2 0x023b 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x85b2566a 00000073: EQ 00000074: PUSH2 0x0292 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xa0e67e2b 0000007e: EQ 0000007f: PUSH2 0x0327 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xb7d5e564 00000089: EQ 0000008a: PUSH2 0x0393 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xc6a2a9f1 00000094: EQ 00000095: PUSH2 0x0440 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xd74f8edd 0000009f: EQ 000000a0: PUSH2 0x046b 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xf3acb258 000000aa: EQ 000000ab: PUSH2 0x0496 000000ae: JUMPI 000000af: JUMPDEST 000000b0: PUSH1 0x00 000000b2: CALLVALUE 000000b3: GT 000000b4: ISZERO 000000b5: PUSH2 0x0124 000000b8: JUMPI 000000b9: PUSH32 0x5af8184bef8e4b45eb9f6ed7734d04da38ced226495548f46e0c8ff8d7d9a524 000000da: CALLER 000000db: CALLVALUE 000000dc: PUSH1 0x40 000000de: MLOAD 000000df: DUP1 000000e0: DUP4 000000e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000f6: AND 000000f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000010c: AND 0000010d: DUP2 0000010e: MSTORE 0000010f: PUSH1 0x20 00000111: ADD 00000112: DUP3 00000113: DUP2 00000114: MSTORE 00000115: PUSH1 0x20 00000117: ADD 00000118: SWAP3 00000119: POP 0000011a: POP 0000011b: POP 0000011c: PUSH1 0x40 0000011e: MLOAD 0000011f: DUP1 00000120: SWAP2 00000121: SUB 00000122: SWAP1 00000123: LOG1 00000124: JUMPDEST 00000125: STOP 00000126: JUMPDEST 00000127: CALLVALUE 00000128: DUP1 00000129: ISZERO 0000012a: PUSH2 0x0132 0000012d: JUMPI 0000012e: PUSH1 0x00 00000130: DUP1 00000131: REVERT 00000132: JUMPDEST 00000133: POP 00000134: PUSH2 0x01d9 00000137: PUSH1 0x04 00000139: DUP1 0000013a: CALLDATASIZE 0000013b: SUB 0000013c: DUP2 0000013d: ADD 0000013e: SWAP1 0000013f: DUP1 00000140: DUP1 00000141: CALLDATALOAD 00000142: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000157: AND 00000158: SWAP1 00000159: PUSH1 0x20 0000015b: ADD 0000015c: SWAP1 0000015d: SWAP3 0000015e: SWAP2 0000015f: SWAP1 00000160: DUP1 00000161: CALLDATALOAD 00000162: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000177: AND 00000178: SWAP1 00000179: PUSH1 0x20 0000017b: ADD 0000017c: SWAP1 0000017d: SWAP3 0000017e: SWAP2 0000017f: SWAP1 00000180: DUP1 00000181: CALLDATALOAD 00000182: SWAP1 00000183: PUSH1 0x20 00000185: ADD 00000186: SWAP1 00000187: SWAP3 00000188: SWAP2 00000189: SWAP1 0000018a: DUP1 0000018b: CALLDATALOAD 0000018c: SWAP1 0000018d: PUSH1 0x20 0000018f: ADD 00000190: SWAP1 00000191: DUP3 00000192: ADD 00000193: DUP1 00000194: CALLDATALOAD 00000195: SWAP1 00000196: PUSH1 0x20 00000198: ADD 00000199: SWAP2 0000019a: SWAP1 0000019b: SWAP2 0000019c: SWAP3 0000019d: SWAP4 0000019e: SWAP2 0000019f: SWAP3 000001a0: SWAP4 000001a1: SWAP1 000001a2: DUP1 000001a3: CALLDATALOAD 000001a4: SWAP1 000001a5: PUSH1 0x20 000001a7: ADD 000001a8: SWAP1 000001a9: DUP3 000001aa: ADD 000001ab: DUP1 000001ac: CALLDATALOAD 000001ad: SWAP1 000001ae: PUSH1 0x20 000001b0: ADD 000001b1: SWAP2 000001b2: SWAP1 000001b3: SWAP2 000001b4: SWAP3 000001b5: SWAP4 000001b6: SWAP2 000001b7: SWAP3 000001b8: SWAP4 000001b9: SWAP1 000001ba: DUP1 000001bb: CALLDATALOAD 000001bc: SWAP1 000001bd: PUSH1 0x20 000001bf: ADD 000001c0: SWAP1 000001c1: DUP3 000001c2: ADD 000001c3: DUP1 000001c4: CALLDATALOAD 000001c5: SWAP1 000001c6: PUSH1 0x20 000001c8: ADD 000001c9: SWAP2 000001ca: SWAP1 000001cb: SWAP2 000001cc: SWAP3 000001cd: SWAP4 000001ce: SWAP2 000001cf: SWAP3 000001d0: SWAP4 000001d1: SWAP1 000001d2: POP 000001d3: POP 000001d4: POP 000001d5: PUSH2 0x04c1 000001d8: JUMP 000001d9: JUMPDEST 000001da: STOP 000001db: JUMPDEST 000001dc: PUSH2 0x01e3 000001df: PUSH2 0x085d 000001e2: JUMP 000001e3: JUMPDEST 000001e4: STOP 000001e5: JUMPDEST 000001e6: CALLVALUE 000001e7: DUP1 000001e8: ISZERO 000001e9: PUSH2 0x01f1 000001ec: JUMPI 000001ed: PUSH1 0x00 000001ef: DUP1 000001f0: REVERT 000001f1: JUMPDEST 000001f2: POP 000001f3: PUSH2 0x01fa 000001f6: PUSH2 0x0958 000001f9: JUMP 000001fa: JUMPDEST 000001fb: PUSH1 0x40 000001fd: MLOAD 000001fe: DUP1 000001ff: DUP3 00000200: DUP2 00000201: MSTORE 00000202: PUSH1 0x20 00000204: ADD 00000205: SWAP2 00000206: POP 00000207: POP 00000208: PUSH1 0x40 0000020a: MLOAD 0000020b: DUP1 0000020c: SWAP2 0000020d: SUB 0000020e: SWAP1 0000020f: RETURN 00000210: JUMPDEST 00000211: CALLVALUE 00000212: DUP1 00000213: ISZERO 00000214: PUSH2 0x021c 00000217: JUMPI 00000218: PUSH1 0x00 0000021a: DUP1 0000021b: REVERT 0000021c: JUMPDEST 0000021d: POP 0000021e: PUSH2 0x0225 00000221: PUSH2 0x0962 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH1 0x40 00000228: MLOAD 00000229: DUP1 0000022a: DUP3 0000022b: DUP2 0000022c: MSTORE 0000022d: PUSH1 0x20 0000022f: ADD 00000230: SWAP2 00000231: POP 00000232: POP 00000233: PUSH1 0x40 00000235: MLOAD 00000236: DUP1 00000237: SWAP2 00000238: SUB 00000239: SWAP1 0000023a: RETURN 0000023b: JUMPDEST 0000023c: CALLVALUE 0000023d: DUP1 0000023e: ISZERO 0000023f: PUSH2 0x0247 00000242: JUMPI 00000243: PUSH1 0x00 00000245: DUP1 00000246: REVERT 00000247: JUMPDEST 00000248: POP 00000249: PUSH2 0x027c 0000024c: PUSH1 0x04 0000024e: DUP1 0000024f: CALLDATASIZE 00000250: SUB 00000251: DUP2 00000252: ADD 00000253: SWAP1 00000254: DUP1 00000255: DUP1 00000256: CALLDATALOAD 00000257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000026c: AND 0000026d: SWAP1 0000026e: PUSH1 0x20 00000270: ADD 00000271: SWAP1 00000272: SWAP3 00000273: SWAP2 00000274: SWAP1 00000275: POP 00000276: POP 00000277: POP 00000278: PUSH2 0x0969 0000027b: JUMP 0000027c: JUMPDEST 0000027d: PUSH1 0x40 0000027f: MLOAD 00000280: DUP1 00000281: DUP3 00000282: DUP2 00000283: MSTORE 00000284: PUSH1 0x20 00000286: ADD 00000287: SWAP2 00000288: POP 00000289: POP 0000028a: PUSH1 0x40 0000028c: MLOAD 0000028d: DUP1 0000028e: SWAP2 0000028f: SUB 00000290: SWAP1 00000291: RETURN 00000292: JUMPDEST 00000293: CALLVALUE 00000294: DUP1 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: POP 000002a0: PUSH2 0x0325 000002a3: PUSH1 0x04 000002a5: DUP1 000002a6: CALLDATASIZE 000002a7: SUB 000002a8: DUP2 000002a9: ADD 000002aa: SWAP1 000002ab: DUP1 000002ac: DUP1 000002ad: CALLDATALOAD 000002ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c3: AND 000002c4: SWAP1 000002c5: PUSH1 0x20 000002c7: ADD 000002c8: SWAP1 000002c9: SWAP3 000002ca: SWAP2 000002cb: SWAP1 000002cc: DUP1 000002cd: CALLDATALOAD 000002ce: SWAP1 000002cf: PUSH1 0x20 000002d1: ADD 000002d2: SWAP1 000002d3: SWAP3 000002d4: SWAP2 000002d5: SWAP1 000002d6: DUP1 000002d7: CALLDATALOAD 000002d8: SWAP1 000002d9: PUSH1 0x20 000002db: ADD 000002dc: SWAP1 000002dd: DUP3 000002de: ADD 000002df: DUP1 000002e0: CALLDATALOAD 000002e1: SWAP1 000002e2: PUSH1 0x20 000002e4: ADD 000002e5: SWAP2 000002e6: SWAP1 000002e7: SWAP2 000002e8: SWAP3 000002e9: SWAP4 000002ea: SWAP2 000002eb: SWAP3 000002ec: SWAP4 000002ed: SWAP1 000002ee: DUP1 000002ef: CALLDATALOAD 000002f0: SWAP1 000002f1: PUSH1 0x20 000002f3: ADD 000002f4: SWAP1 000002f5: DUP3 000002f6: ADD 000002f7: DUP1 000002f8: CALLDATALOAD 000002f9: SWAP1 000002fa: PUSH1 0x20 000002fc: ADD 000002fd: SWAP2 000002fe: SWAP1 000002ff: SWAP2 00000300: SWAP3 00000301: SWAP4 00000302: SWAP2 00000303: SWAP3 00000304: SWAP4 00000305: SWAP1 00000306: DUP1 00000307: CALLDATALOAD 00000308: SWAP1 00000309: PUSH1 0x20 0000030b: ADD 0000030c: SWAP1 0000030d: DUP3 0000030e: ADD 0000030f: DUP1 00000310: CALLDATALOAD 00000311: SWAP1 00000312: PUSH1 0x20 00000314: ADD 00000315: SWAP2 00000316: SWAP1 00000317: SWAP2 00000318: SWAP3 00000319: SWAP4 0000031a: SWAP2 0000031b: SWAP3 0000031c: SWAP4 0000031d: SWAP1 0000031e: POP 0000031f: POP 00000320: POP 00000321: PUSH2 0x09b1 00000324: JUMP 00000325: JUMPDEST 00000326: STOP 00000327: JUMPDEST 00000328: CALLVALUE 00000329: DUP1 0000032a: ISZERO 0000032b: PUSH2 0x0333 0000032e: JUMPI 0000032f: PUSH1 0x00 00000331: DUP1 00000332: REVERT 00000333: JUMPDEST 00000334: POP 00000335: PUSH2 0x033c 00000338: PUSH2 0x0cc8 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH1 0x40 0000033f: MLOAD 00000340: DUP1 00000341: DUP1 00000342: PUSH1 0x20 00000344: ADD 00000345: DUP3 00000346: DUP2 00000347: SUB 00000348: DUP3 00000349: MSTORE 0000034a: DUP4 0000034b: DUP2 0000034c: DUP2 0000034d: MLOAD 0000034e: DUP2 0000034f: MSTORE 00000350: PUSH1 0x20 00000352: ADD 00000353: SWAP2 00000354: POP 00000355: DUP1 00000356: MLOAD 00000357: SWAP1 00000358: PUSH1 0x20 0000035a: ADD 0000035b: SWAP1 0000035c: PUSH1 0x20 0000035e: MUL 0000035f: DUP1 00000360: DUP4 00000361: DUP4 00000362: PUSH1 0x00 00000364: JUMPDEST 00000365: DUP4 00000366: DUP2 00000367: LT 00000368: ISZERO 00000369: PUSH2 0x037f 0000036c: JUMPI 0000036d: DUP1 0000036e: DUP3 0000036f: ADD 00000370: MLOAD 00000371: DUP2 00000372: DUP5 00000373: ADD 00000374: MSTORE 00000375: PUSH1 0x20 00000377: DUP2 00000378: ADD 00000379: SWAP1 0000037a: POP 0000037b: PUSH2 0x0364 0000037e: JUMP 0000037f: JUMPDEST 00000380: POP 00000381: POP 00000382: POP 00000383: POP 00000384: SWAP1 00000385: POP 00000386: ADD 00000387: SWAP3 00000388: POP 00000389: POP 0000038a: POP 0000038b: PUSH1 0x40 0000038d: MLOAD 0000038e: DUP1 0000038f: SWAP2 00000390: SUB 00000391: SWAP1 00000392: RETURN 00000393: JUMPDEST 00000394: CALLVALUE 00000395: DUP1 00000396: ISZERO 00000397: PUSH2 0x039f 0000039a: JUMPI 0000039b: PUSH1 0x00 0000039d: DUP1 0000039e: REVERT 0000039f: JUMPDEST 000003a0: POP 000003a1: PUSH2 0x043e 000003a4: PUSH1 0x04 000003a6: DUP1 000003a7: CALLDATASIZE 000003a8: SUB 000003a9: DUP2 000003aa: ADD 000003ab: SWAP1 000003ac: DUP1 000003ad: DUP1 000003ae: CALLDATALOAD 000003af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c4: AND 000003c5: SWAP1 000003c6: PUSH1 0x20 000003c8: ADD 000003c9: SWAP1 000003ca: SWAP3 000003cb: SWAP2 000003cc: SWAP1 000003cd: DUP1 000003ce: CALLDATALOAD 000003cf: SWAP1 000003d0: PUSH1 0x20 000003d2: ADD 000003d3: SWAP1 000003d4: SWAP3 000003d5: SWAP2 000003d6: SWAP1 000003d7: DUP1 000003d8: CALLDATALOAD 000003d9: SWAP1 000003da: PUSH1 0x20 000003dc: ADD 000003dd: SWAP1 000003de: DUP3 000003df: ADD 000003e0: DUP1 000003e1: CALLDATALOAD 000003e2: SWAP1 000003e3: PUSH1 0x20 000003e5: ADD 000003e6: SWAP2 000003e7: SWAP1 000003e8: SWAP2 000003e9: SWAP3 000003ea: SWAP4 000003eb: SWAP2 000003ec: SWAP3 000003ed: SWAP4 000003ee: SWAP1 000003ef: DUP1 000003f0: CALLDATALOAD 000003f1: SWAP1 000003f2: PUSH1 0x20 000003f4: ADD 000003f5: SWAP1 000003f6: DUP3 000003f7: ADD 000003f8: DUP1 000003f9: CALLDATALOAD 000003fa: SWAP1 000003fb: PUSH1 0x20 000003fd: ADD 000003fe: SWAP2 000003ff: SWAP1 00000400: SWAP2 00000401: SWAP3 00000402: SWAP4 00000403: SWAP2 00000404: SWAP3 00000405: SWAP4 00000406: SWAP1 00000407: DUP1 00000408: CALLDATALOAD 00000409: SWAP1 0000040a: PUSH1 0x20 0000040c: ADD 0000040d: SWAP1 0000040e: DUP3 0000040f: ADD 00000410: DUP1 00000411: CALLDATALOAD 00000412: SWAP1 00000413: PUSH1 0x20 00000415: ADD 00000416: SWAP2 00000417: SWAP1 00000418: SWAP2 00000419: SWAP3 0000041a: SWAP4 0000041b: SWAP2 0000041c: SWAP3 0000041d: SWAP4 0000041e: SWAP1 0000041f: DUP1 00000420: CALLDATALOAD 00000421: SWAP1 00000422: PUSH1 0x20 00000424: ADD 00000425: SWAP1 00000426: DUP3 00000427: ADD 00000428: DUP1 00000429: CALLDATALOAD 0000042a: SWAP1 0000042b: PUSH1 0x20 0000042d: ADD 0000042e: SWAP2 0000042f: SWAP1 00000430: SWAP2 00000431: SWAP3 00000432: SWAP4 00000433: SWAP2 00000434: SWAP3 00000435: SWAP4 00000436: SWAP1 00000437: POP 00000438: POP 00000439: POP 0000043a: PUSH2 0x0d56 0000043d: JUMP 0000043e: JUMPDEST 0000043f: STOP 00000440: JUMPDEST 00000441: CALLVALUE 00000442: DUP1 00000443: ISZERO 00000444: PUSH2 0x044c 00000447: JUMPI 00000448: PUSH1 0x00 0000044a: DUP1 0000044b: REVERT 0000044c: JUMPDEST 0000044d: POP 0000044e: PUSH2 0x0455 00000451: PUSH2 0x0fd1 00000454: JUMP 00000455: JUMPDEST 00000456: PUSH1 0x40 00000458: MLOAD 00000459: DUP1 0000045a: DUP3 0000045b: DUP2 0000045c: MSTORE 0000045d: PUSH1 0x20 0000045f: ADD 00000460: SWAP2 00000461: POP 00000462: POP 00000463: PUSH1 0x40 00000465: MLOAD 00000466: DUP1 00000467: SWAP2 00000468: SUB 00000469: SWAP1 0000046a: RETURN 0000046b: JUMPDEST 0000046c: CALLVALUE 0000046d: DUP1 0000046e: ISZERO 0000046f: PUSH2 0x0477 00000472: JUMPI 00000473: PUSH1 0x00 00000475: DUP1 00000476: REVERT 00000477: JUMPDEST 00000478: POP 00000479: PUSH2 0x0480 0000047c: PUSH2 0x0fdb 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH1 0x40 00000483: MLOAD 00000484: DUP1 00000485: DUP3 00000486: DUP2 00000487: MSTORE 00000488: PUSH1 0x20 0000048a: ADD 0000048b: SWAP2 0000048c: POP 0000048d: POP 0000048e: PUSH1 0x40 00000490: MLOAD 00000491: DUP1 00000492: SWAP2 00000493: SUB 00000494: SWAP1 00000495: RETURN 00000496: JUMPDEST 00000497: CALLVALUE 00000498: DUP1 00000499: ISZERO 0000049a: PUSH2 0x04a2 0000049d: JUMPI 0000049e: PUSH1 0x00 000004a0: DUP1 000004a1: REVERT 000004a2: JUMPDEST 000004a3: POP 000004a4: PUSH2 0x04ab 000004a7: PUSH2 0x0fe0 000004aa: JUMP 000004ab: JUMPDEST 000004ac: PUSH1 0x40 000004ae: MLOAD 000004af: DUP1 000004b0: DUP3 000004b1: DUP2 000004b2: MSTORE 000004b3: PUSH1 0x20 000004b5: ADD 000004b6: SWAP2 000004b7: POP 000004b8: POP 000004b9: PUSH1 0x40 000004bb: MLOAD 000004bc: DUP1 000004bd: SWAP2 000004be: SUB 000004bf: SWAP1 000004c0: RETURN 000004c1: JUMPDEST 000004c2: ADDRESS 000004c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d8: AND 000004d9: DUP10 000004da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ef: AND 000004f0: EQ 000004f1: ISZERO 000004f2: ISZERO 000004f3: ISZERO 000004f4: PUSH2 0x0565 000004f7: JUMPI 000004f8: PUSH1 0x40 000004fa: MLOAD 000004fb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000051c: DUP2 0000051d: MSTORE 0000051e: PUSH1 0x04 00000520: ADD 00000521: DUP1 00000522: DUP1 00000523: PUSH1 0x20 00000525: ADD 00000526: DUP3 00000527: DUP2 00000528: SUB 00000529: DUP3 0000052a: MSTORE 0000052b: PUSH1 0x1d 0000052d: DUP2 0000052e: MSTORE 0000052f: PUSH1 0x20 00000531: ADD 00000532: DUP1 00000533: PUSH32 0x4e6f7420616c6c6f772073656e64696e6720746f20796f757273656c66000000 00000554: DUP2 00000555: MSTORE 00000556: POP 00000557: PUSH1 0x20 00000559: ADD 0000055a: SWAP2 0000055b: POP 0000055c: POP 0000055d: PUSH1 0x40 0000055f: MLOAD 00000560: DUP1 00000561: SWAP2 00000562: SUB 00000563: SWAP1 00000564: REVERT 00000565: JUMPDEST 00000566: PUSH1 0x00 00000568: DUP8 00000569: GT 0000056a: ISZERO 0000056b: ISZERO 0000056c: PUSH2 0x05dd 0000056f: JUMPI 00000570: PUSH1 0x40 00000572: MLOAD 00000573: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000594: DUP2 00000595: MSTORE 00000596: PUSH1 0x04 00000598: ADD 00000599: DUP1 0000059a: DUP1 0000059b: PUSH1 0x20 0000059d: ADD 0000059e: DUP3 0000059f: DUP2 000005a0: SUB 000005a1: DUP3 000005a2: MSTORE 000005a3: PUSH1 0x19 000005a5: DUP2 000005a6: MSTORE 000005a7: PUSH1 0x20 000005a9: ADD 000005aa: DUP1 000005ab: PUSH32 0x4572633230207370656e642076616c756520696e76616c696400000000000000 000005cc: DUP2 000005cd: MSTORE 000005ce: POP 000005cf: PUSH1 0x20 000005d1: ADD 000005d2: SWAP2 000005d3: POP 000005d4: POP 000005d5: PUSH1 0x40 000005d7: MLOAD 000005d8: DUP1 000005d9: SWAP2 000005da: SUB 000005db: SWAP1 000005dc: REVERT 000005dd: JUMPDEST 000005de: PUSH2 0x0678 000005e1: DUP9 000005e2: DUP11 000005e3: DUP10 000005e4: DUP10 000005e5: DUP10 000005e6: DUP1 000005e7: DUP1 000005e8: PUSH1 0x20 000005ea: MUL 000005eb: PUSH1 0x20 000005ed: ADD 000005ee: PUSH1 0x40 000005f0: MLOAD 000005f1: SWAP1 000005f2: DUP2 000005f3: ADD 000005f4: PUSH1 0x40 000005f6: MSTORE 000005f7: DUP1 000005f8: SWAP4 000005f9: SWAP3 000005fa: SWAP2 000005fb: SWAP1 000005fc: DUP2 000005fd: DUP2 000005fe: MSTORE 000005ff: PUSH1 0x20 00000601: ADD 00000602: DUP4 00000603: DUP4 00000604: PUSH1 0x20 00000606: MUL 00000607: DUP1 00000608: DUP3 00000609: DUP5 0000060a: CALLDATACOPY 0000060b: DUP3 0000060c: ADD 0000060d: SWAP2 0000060e: POP 0000060f: POP 00000610: POP 00000611: POP 00000612: POP 00000613: POP 00000614: DUP9 00000615: DUP9 00000616: DUP1 00000617: DUP1 00000618: PUSH1 0x20 0000061a: MUL 0000061b: PUSH1 0x20 0000061d: ADD 0000061e: PUSH1 0x40 00000620: MLOAD 00000621: SWAP1 00000622: DUP2 00000623: ADD 00000624: PUSH1 0x40 00000626: MSTORE 00000627: DUP1 00000628: SWAP4 00000629: SWAP3 0000062a: SWAP2 0000062b: SWAP1 0000062c: DUP2 0000062d: DUP2 0000062e: MSTORE 0000062f: PUSH1 0x20 00000631: ADD 00000632: DUP4 00000633: DUP4 00000634: PUSH1 0x20 00000636: MUL 00000637: DUP1 00000638: DUP3 00000639: DUP5 0000063a: CALLDATACOPY 0000063b: DUP3 0000063c: ADD 0000063d: SWAP2 0000063e: POP 0000063f: POP 00000640: POP 00000641: POP 00000642: POP 00000643: POP 00000644: DUP8 00000645: DUP8 00000646: DUP1 00000647: DUP1 00000648: PUSH1 0x20 0000064a: MUL 0000064b: PUSH1 0x20 0000064d: ADD 0000064e: PUSH1 0x40 00000650: MLOAD 00000651: SWAP1 00000652: DUP2 00000653: ADD 00000654: PUSH1 0x40 00000656: MSTORE 00000657: DUP1 00000658: SWAP4 00000659: SWAP3 0000065a: SWAP2 0000065b: SWAP1 0000065c: DUP2 0000065d: DUP2 0000065e: MSTORE 0000065f: PUSH1 0x20 00000661: ADD 00000662: DUP4 00000663: DUP4 00000664: PUSH1 0x20 00000666: MUL 00000667: DUP1 00000668: DUP3 00000669: DUP5 0000066a: CALLDATACOPY 0000066b: DUP3 0000066c: ADD 0000066d: SWAP2 0000066e: POP 0000066f: POP 00000670: POP 00000671: POP 00000672: POP 00000673: POP 00000674: PUSH2 0x10c6 00000677: JUMP 00000678: JUMPDEST 00000679: ISZERO 0000067a: ISZERO 0000067b: PUSH2 0x06ec 0000067e: JUMPI 0000067f: PUSH1 0x40 00000681: MLOAD 00000682: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006a3: DUP2 000006a4: MSTORE 000006a5: PUSH1 0x04 000006a7: ADD 000006a8: DUP1 000006a9: DUP1 000006aa: PUSH1 0x20 000006ac: ADD 000006ad: DUP3 000006ae: DUP2 000006af: SUB 000006b0: DUP3 000006b1: MSTORE 000006b2: PUSH1 0x12 000006b4: DUP2 000006b5: MSTORE 000006b6: PUSH1 0x20 000006b8: ADD 000006b9: DUP1 000006ba: PUSH32 0x696e76616c6964207369676e6174757265730000000000000000000000000000 000006db: DUP2 000006dc: MSTORE 000006dd: POP 000006de: PUSH1 0x20 000006e0: ADD 000006e1: SWAP2 000006e2: POP 000006e3: POP 000006e4: PUSH1 0x40 000006e6: MLOAD 000006e7: DUP1 000006e8: SWAP2 000006e9: SUB 000006ea: SWAP1 000006eb: REVERT 000006ec: JUMPDEST 000006ed: PUSH1 0x01 000006ef: PUSH1 0x03 000006f1: SLOAD 000006f2: ADD 000006f3: PUSH1 0x03 000006f5: DUP2 000006f6: SWAP1 000006f7: SSTORE 000006f8: POP 000006f9: DUP8 000006fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070f: AND 00000710: PUSH4 0xa9059cbb 00000715: DUP11 00000716: DUP10 00000717: PUSH1 0x40 00000719: MLOAD 0000071a: DUP4 0000071b: PUSH4 0xffffffff 00000720: AND 00000721: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000073f: MUL 00000740: DUP2 00000741: MSTORE 00000742: PUSH1 0x04 00000744: ADD 00000745: DUP1 00000746: DUP4 00000747: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075c: AND 0000075d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000772: AND 00000773: DUP2 00000774: MSTORE 00000775: PUSH1 0x20 00000777: ADD 00000778: DUP3 00000779: DUP2 0000077a: MSTORE 0000077b: PUSH1 0x20 0000077d: ADD 0000077e: SWAP3 0000077f: POP 00000780: POP 00000781: POP 00000782: PUSH1 0x00 00000784: PUSH1 0x40 00000786: MLOAD 00000787: DUP1 00000788: DUP4 00000789: SUB 0000078a: DUP2 0000078b: PUSH1 0x00 0000078d: DUP8 0000078e: DUP1 0000078f: EXTCODESIZE 00000790: ISZERO 00000791: DUP1 00000792: ISZERO 00000793: PUSH2 0x079b 00000796: JUMPI 00000797: PUSH1 0x00 00000799: DUP1 0000079a: REVERT 0000079b: JUMPDEST 0000079c: POP 0000079d: GAS 0000079e: CALL 0000079f: ISZERO 000007a0: DUP1 000007a1: ISZERO 000007a2: PUSH2 0x07af 000007a5: JUMPI 000007a6: RETURNDATASIZE 000007a7: PUSH1 0x00 000007a9: DUP1 000007aa: RETURNDATACOPY 000007ab: RETURNDATASIZE 000007ac: PUSH1 0x00 000007ae: REVERT 000007af: JUMPDEST 000007b0: POP 000007b1: POP 000007b2: POP 000007b3: POP 000007b4: PUSH32 0x3d1915a2cdcecdfffc5eb2a7994c069bad5d4aa96aca85667dedbe60bb80491c 000007d5: DUP9 000007d6: DUP11 000007d7: DUP10 000007d8: PUSH1 0x40 000007da: MLOAD 000007db: DUP1 000007dc: DUP5 000007dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f2: AND 000007f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000808: AND 00000809: DUP2 0000080a: MSTORE 0000080b: PUSH1 0x20 0000080d: ADD 0000080e: DUP4 0000080f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000824: AND 00000825: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083a: AND 0000083b: DUP2 0000083c: MSTORE 0000083d: PUSH1 0x20 0000083f: ADD 00000840: DUP3 00000841: DUP2 00000842: MSTORE 00000843: PUSH1 0x20 00000845: ADD 00000846: SWAP4 00000847: POP 00000848: POP 00000849: POP 0000084a: POP 0000084b: PUSH1 0x40 0000084d: MLOAD 0000084e: DUP1 0000084f: SWAP2 00000850: SUB 00000851: SWAP1 00000852: LOG1 00000853: POP 00000854: POP 00000855: POP 00000856: POP 00000857: POP 00000858: POP 00000859: POP 0000085a: POP 0000085b: POP 0000085c: JUMP 0000085d: JUMPDEST 0000085e: PUSH1 0x00 00000860: DUP1 00000861: PUSH1 0x00 00000863: CALLER 00000864: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000879: AND 0000087a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088f: AND 00000890: DUP2 00000891: MSTORE 00000892: PUSH1 0x20 00000894: ADD 00000895: SWAP1 00000896: DUP2 00000897: MSTORE 00000898: PUSH1 0x20 0000089a: ADD 0000089b: PUSH1 0x00 0000089d: KECCAK256 0000089e: SLOAD 0000089f: GT 000008a0: ISZERO 000008a1: ISZERO 000008a2: PUSH2 0x0913 000008a5: JUMPI 000008a6: PUSH1 0x40 000008a8: MLOAD 000008a9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008ca: DUP2 000008cb: MSTORE 000008cc: PUSH1 0x04 000008ce: ADD 000008cf: DUP1 000008d0: DUP1 000008d1: PUSH1 0x20 000008d3: ADD 000008d4: DUP3 000008d5: DUP2 000008d6: SUB 000008d7: DUP3 000008d8: MSTORE 000008d9: PUSH1 0x0c 000008db: DUP2 000008dc: MSTORE 000008dd: PUSH1 0x20 000008df: ADD 000008e0: DUP1 000008e1: PUSH32 0x4e6f7420616e206f776e65720000000000000000000000000000000000000000 00000902: DUP2 00000903: MSTORE 00000904: POP 00000905: PUSH1 0x20 00000907: ADD 00000908: SWAP2 00000909: POP 0000090a: POP 0000090b: PUSH1 0x40 0000090d: MLOAD 0000090e: DUP1 0000090f: SWAP2 00000910: SUB 00000911: SWAP1 00000912: REVERT 00000913: JUMPDEST 00000914: NUMBER 00000915: PUSH1 0x00 00000917: DUP1 00000918: CALLER 00000919: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000092e: AND 0000092f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000944: AND 00000945: DUP2 00000946: MSTORE 00000947: PUSH1 0x20 00000949: ADD 0000094a: SWAP1 0000094b: DUP2 0000094c: MSTORE 0000094d: PUSH1 0x20 0000094f: ADD 00000950: PUSH1 0x00 00000952: KECCAK256 00000953: DUP2 00000954: SWAP1 00000955: SSTORE 00000956: POP 00000957: JUMP 00000958: JUMPDEST 00000959: PUSH1 0x00 0000095b: PUSH1 0x02 0000095d: SLOAD 0000095e: SWAP1 0000095f: POP 00000960: SWAP1 00000961: JUMP 00000962: JUMPDEST 00000963: PUSH3 0x2dc6c0 00000967: DUP2 00000968: JUMP 00000969: JUMPDEST 0000096a: PUSH1 0x00 0000096c: DUP1 0000096d: PUSH1 0x00 0000096f: DUP4 00000970: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000985: AND 00000986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099b: AND 0000099c: DUP2 0000099d: MSTORE 0000099e: PUSH1 0x20 000009a0: ADD 000009a1: SWAP1 000009a2: DUP2 000009a3: MSTORE 000009a4: PUSH1 0x20 000009a6: ADD 000009a7: PUSH1 0x00 000009a9: KECCAK256 000009aa: SLOAD 000009ab: SWAP1 000009ac: POP 000009ad: SWAP2 000009ae: SWAP1 000009af: POP 000009b0: JUMP 000009b1: JUMPDEST 000009b2: ADDRESS 000009b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c8: AND 000009c9: DUP9 000009ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009df: AND 000009e0: EQ 000009e1: ISZERO 000009e2: ISZERO 000009e3: ISZERO 000009e4: PUSH2 0x0a55 000009e7: JUMPI 000009e8: PUSH1 0x40 000009ea: MLOAD 000009eb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a0c: DUP2 00000a0d: MSTORE 00000a0e: PUSH1 0x04 00000a10: ADD 00000a11: DUP1 00000a12: DUP1 00000a13: PUSH1 0x20 00000a15: ADD 00000a16: DUP3 00000a17: DUP2 00000a18: SUB 00000a19: DUP3 00000a1a: MSTORE 00000a1b: PUSH1 0x1d 00000a1d: DUP2 00000a1e: MSTORE 00000a1f: PUSH1 0x20 00000a21: ADD 00000a22: DUP1 00000a23: PUSH32 0x4e6f7420616c6c6f772073656e64696e6720746f20796f757273656c66000000 00000a44: DUP2 00000a45: MSTORE 00000a46: POP 00000a47: PUSH1 0x20 00000a49: ADD 00000a4a: SWAP2 00000a4b: POP 00000a4c: POP 00000a4d: PUSH1 0x40 00000a4f: MLOAD 00000a50: DUP1 00000a51: SWAP2 00000a52: SUB 00000a53: SWAP1 00000a54: REVERT 00000a55: JUMPDEST 00000a56: DUP7 00000a57: ADDRESS 00000a58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6d: AND 00000a6e: BALANCE 00000a6f: LT 00000a70: ISZERO 00000a71: DUP1 00000a72: ISZERO 00000a73: PUSH2 0x0a7c 00000a76: JUMPI 00000a77: POP 00000a78: PUSH1 0x00 00000a7a: DUP8 00000a7b: GT 00000a7c: JUMPDEST 00000a7d: ISZERO 00000a7e: ISZERO 00000a7f: PUSH2 0x0af0 00000a82: JUMPI 00000a83: PUSH1 0x40 00000a85: MLOAD 00000a86: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000aa7: DUP2 00000aa8: MSTORE 00000aa9: PUSH1 0x04 00000aab: ADD 00000aac: DUP1 00000aad: DUP1 00000aae: PUSH1 0x20 00000ab0: ADD 00000ab1: DUP3 00000ab2: DUP2 00000ab3: SUB 00000ab4: DUP3 00000ab5: MSTORE 00000ab6: PUSH1 0x1e 00000ab8: DUP2 00000ab9: MSTORE 00000aba: PUSH1 0x20 00000abc: ADD 00000abd: DUP1 00000abe: PUSH32 0x62616c616e6365206f72207370656e642076616c756520696e76616c69640000 00000adf: DUP2 00000ae0: MSTORE 00000ae1: POP 00000ae2: PUSH1 0x20 00000ae4: ADD 00000ae5: SWAP2 00000ae6: POP 00000ae7: POP 00000ae8: PUSH1 0x40 00000aea: MLOAD 00000aeb: DUP1 00000aec: SWAP2 00000aed: SUB 00000aee: SWAP1 00000aef: REVERT 00000af0: JUMPDEST 00000af1: PUSH2 0x0b8c 00000af4: PUSH1 0x00 00000af6: DUP10 00000af7: DUP10 00000af8: DUP10 00000af9: DUP10 00000afa: DUP1 00000afb: DUP1 00000afc: PUSH1 0x20 00000afe: MUL 00000aff: PUSH1 0x20 00000b01: ADD 00000b02: PUSH1 0x40 00000b04: MLOAD 00000b05: SWAP1 00000b06: DUP2 00000b07: ADD 00000b08: PUSH1 0x40 00000b0a: MSTORE 00000b0b: DUP1 00000b0c: SWAP4 00000b0d: SWAP3 00000b0e: SWAP2 00000b0f: SWAP1 00000b10: DUP2 00000b11: DUP2 00000b12: MSTORE 00000b13: PUSH1 0x20 00000b15: ADD 00000b16: DUP4 00000b17: DUP4 00000b18: PUSH1 0x20 00000b1a: MUL 00000b1b: DUP1 00000b1c: DUP3 00000b1d: DUP5 00000b1e: CALLDATACOPY 00000b1f: DUP3 00000b20: ADD 00000b21: SWAP2 00000b22: POP 00000b23: POP 00000b24: POP 00000b25: POP 00000b26: POP 00000b27: POP 00000b28: DUP9 00000b29: DUP9 00000b2a: DUP1 00000b2b: DUP1 00000b2c: PUSH1 0x20 00000b2e: MUL 00000b2f: PUSH1 0x20 00000b31: ADD 00000b32: PUSH1 0x40 00000b34: MLOAD 00000b35: SWAP1 00000b36: DUP2 00000b37: ADD 00000b38: PUSH1 0x40 00000b3a: MSTORE 00000b3b: DUP1 00000b3c: SWAP4 00000b3d: SWAP3 00000b3e: SWAP2 00000b3f: SWAP1 00000b40: DUP2 00000b41: DUP2 00000b42: MSTORE 00000b43: PUSH1 0x20 00000b45: ADD 00000b46: DUP4 00000b47: DUP4 00000b48: PUSH1 0x20 00000b4a: MUL 00000b4b: DUP1 00000b4c: DUP3 00000b4d: DUP5 00000b4e: CALLDATACOPY 00000b4f: DUP3 00000b50: ADD 00000b51: SWAP2 00000b52: POP 00000b53: POP 00000b54: POP 00000b55: POP 00000b56: POP 00000b57: POP 00000b58: DUP8 00000b59: DUP8 00000b5a: DUP1 00000b5b: DUP1 00000b5c: PUSH1 0x20 00000b5e: MUL 00000b5f: PUSH1 0x20 00000b61: ADD 00000b62: PUSH1 0x40 00000b64: MLOAD 00000b65: SWAP1 00000b66: DUP2 00000b67: ADD 00000b68: PUSH1 0x40 00000b6a: MSTORE 00000b6b: DUP1 00000b6c: SWAP4 00000b6d: SWAP3 00000b6e: SWAP2 00000b6f: SWAP1 00000b70: DUP2 00000b71: DUP2 00000b72: MSTORE 00000b73: PUSH1 0x20 00000b75: ADD 00000b76: DUP4 00000b77: DUP4 00000b78: PUSH1 0x20 00000b7a: MUL 00000b7b: DUP1 00000b7c: DUP3 00000b7d: DUP5 00000b7e: CALLDATACOPY 00000b7f: DUP3 00000b80: ADD 00000b81: SWAP2 00000b82: POP 00000b83: POP 00000b84: POP 00000b85: POP 00000b86: POP 00000b87: POP 00000b88: PUSH2 0x10c6 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: ISZERO 00000b8e: ISZERO 00000b8f: PUSH2 0x0c00 00000b92: JUMPI 00000b93: PUSH1 0x40 00000b95: MLOAD 00000b96: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bb7: DUP2 00000bb8: MSTORE 00000bb9: PUSH1 0x04 00000bbb: ADD 00000bbc: DUP1 00000bbd: DUP1 00000bbe: PUSH1 0x20 00000bc0: ADD 00000bc1: DUP3 00000bc2: DUP2 00000bc3: SUB 00000bc4: DUP3 00000bc5: MSTORE 00000bc6: PUSH1 0x12 00000bc8: DUP2 00000bc9: MSTORE 00000bca: PUSH1 0x20 00000bcc: ADD 00000bcd: DUP1 00000bce: PUSH32 0x696e76616c6964207369676e6174757265730000000000000000000000000000 00000bef: DUP2 00000bf0: MSTORE 00000bf1: POP 00000bf2: PUSH1 0x20 00000bf4: ADD 00000bf5: SWAP2 00000bf6: POP 00000bf7: POP 00000bf8: PUSH1 0x40 00000bfa: MLOAD 00000bfb: DUP1 00000bfc: SWAP2 00000bfd: SUB 00000bfe: SWAP1 00000bff: REVERT 00000c00: JUMPDEST 00000c01: PUSH1 0x01 00000c03: PUSH1 0x03 00000c05: SLOAD 00000c06: ADD 00000c07: PUSH1 0x03 00000c09: DUP2 00000c0a: SWAP1 00000c0b: SSTORE 00000c0c: POP 00000c0d: DUP8 00000c0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c23: AND 00000c24: PUSH2 0x08fc 00000c27: DUP9 00000c28: SWAP1 00000c29: DUP2 00000c2a: ISZERO 00000c2b: MUL 00000c2c: SWAP1 00000c2d: PUSH1 0x40 00000c2f: MLOAD 00000c30: PUSH1 0x00 00000c32: PUSH1 0x40 00000c34: MLOAD 00000c35: DUP1 00000c36: DUP4 00000c37: SUB 00000c38: DUP2 00000c39: DUP6 00000c3a: DUP9 00000c3b: DUP9 00000c3c: CALL 00000c3d: SWAP4 00000c3e: POP 00000c3f: POP 00000c40: POP 00000c41: POP 00000c42: ISZERO 00000c43: DUP1 00000c44: ISZERO 00000c45: PUSH2 0x0c52 00000c48: JUMPI 00000c49: RETURNDATASIZE 00000c4a: PUSH1 0x00 00000c4c: DUP1 00000c4d: RETURNDATACOPY 00000c4e: RETURNDATASIZE 00000c4f: PUSH1 0x00 00000c51: REVERT 00000c52: JUMPDEST 00000c53: POP 00000c54: PUSH32 0xd3eec71143c45f28685b24760ea218d476917aa0ac0392a55e5304cef40bd2b6 00000c75: DUP9 00000c76: DUP9 00000c77: PUSH1 0x40 00000c79: MLOAD 00000c7a: DUP1 00000c7b: DUP4 00000c7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c91: AND 00000c92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca7: AND 00000ca8: DUP2 00000ca9: MSTORE 00000caa: PUSH1 0x20 00000cac: ADD 00000cad: DUP3 00000cae: DUP2 00000caf: MSTORE 00000cb0: PUSH1 0x20 00000cb2: ADD 00000cb3: SWAP3 00000cb4: POP 00000cb5: POP 00000cb6: POP 00000cb7: PUSH1 0x40 00000cb9: MLOAD 00000cba: DUP1 00000cbb: SWAP2 00000cbc: SUB 00000cbd: SWAP1 00000cbe: LOG1 00000cbf: POP 00000cc0: POP 00000cc1: POP 00000cc2: POP 00000cc3: POP 00000cc4: POP 00000cc5: POP 00000cc6: POP 00000cc7: JUMP 00000cc8: JUMPDEST 00000cc9: PUSH1 0x60 00000ccb: PUSH1 0x01 00000ccd: DUP1 00000cce: SLOAD 00000ccf: DUP1 00000cd0: PUSH1 0x20 00000cd2: MUL 00000cd3: PUSH1 0x20 00000cd5: ADD 00000cd6: PUSH1 0x40 00000cd8: MLOAD 00000cd9: SWAP1 00000cda: DUP2 00000cdb: ADD 00000cdc: PUSH1 0x40 00000cde: MSTORE 00000cdf: DUP1 00000ce0: SWAP3 00000ce1: SWAP2 00000ce2: SWAP1 00000ce3: DUP2 00000ce4: DUP2 00000ce5: MSTORE 00000ce6: PUSH1 0x20 00000ce8: ADD 00000ce9: DUP3 00000cea: DUP1 00000ceb: SLOAD 00000cec: DUP1 00000ced: ISZERO 00000cee: PUSH2 0x0d4c 00000cf1: JUMPI 00000cf2: PUSH1 0x20 00000cf4: MUL 00000cf5: DUP3 00000cf6: ADD 00000cf7: SWAP2 00000cf8: SWAP1 00000cf9: PUSH1 0x00 00000cfb: MSTORE 00000cfc: PUSH1 0x20 00000cfe: PUSH1 0x00 00000d00: KECCAK256 00000d01: SWAP1 00000d02: JUMPDEST 00000d03: DUP2 00000d04: PUSH1 0x00 00000d06: SWAP1 00000d07: SLOAD 00000d08: SWAP1 00000d09: PUSH2 0x0100 00000d0c: EXP 00000d0d: SWAP1 00000d0e: DIV 00000d0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d24: AND 00000d25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d3a: AND 00000d3b: DUP2 00000d3c: MSTORE 00000d3d: PUSH1 0x20 00000d3f: ADD 00000d40: SWAP1 00000d41: PUSH1 0x01 00000d43: ADD 00000d44: SWAP1 00000d45: DUP1 00000d46: DUP4 00000d47: GT 00000d48: PUSH2 0x0d02 00000d4b: JUMPI 00000d4c: JUMPDEST 00000d4d: POP 00000d4e: POP 00000d4f: POP 00000d50: POP 00000d51: POP 00000d52: SWAP1 00000d53: POP 00000d54: SWAP1 00000d55: JUMP 00000d56: JUMPDEST 00000d57: ADDRESS 00000d58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d6d: AND 00000d6e: DUP11 00000d6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d84: AND 00000d85: EQ 00000d86: ISZERO 00000d87: ISZERO 00000d88: ISZERO 00000d89: PUSH2 0x0dfa 00000d8c: JUMPI 00000d8d: PUSH1 0x40 00000d8f: MLOAD 00000d90: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000db1: DUP2 00000db2: MSTORE 00000db3: PUSH1 0x04 00000db5: ADD 00000db6: DUP1 00000db7: DUP1 00000db8: PUSH1 0x20 00000dba: ADD 00000dbb: DUP3 00000dbc: DUP2 00000dbd: SUB 00000dbe: DUP3 00000dbf: MSTORE 00000dc0: PUSH1 0x1d 00000dc2: DUP2 00000dc3: MSTORE 00000dc4: PUSH1 0x20 00000dc6: ADD 00000dc7: DUP1 00000dc8: PUSH32 0x4e6f7420616c6c6f772073656e64696e6720746f20796f757273656c66000000 00000de9: DUP2 00000dea: MSTORE 00000deb: POP 00000dec: PUSH1 0x20 00000dee: ADD 00000def: SWAP2 00000df0: POP 00000df1: POP 00000df2: PUSH1 0x40 00000df4: MLOAD 00000df5: DUP1 00000df6: SWAP2 00000df7: SUB 00000df8: SWAP1 00000df9: REVERT 00000dfa: JUMPDEST 00000dfb: PUSH2 0x0e96 00000dfe: PUSH1 0x09 00000e00: DUP12 00000e01: DUP12 00000e02: DUP12 00000e03: DUP12 00000e04: DUP1 00000e05: DUP1 00000e06: PUSH1 0x20 00000e08: MUL 00000e09: PUSH1 0x20 00000e0b: ADD 00000e0c: PUSH1 0x40 00000e0e: MLOAD 00000e0f: SWAP1 00000e10: DUP2 00000e11: ADD 00000e12: PUSH1 0x40 00000e14: MSTORE 00000e15: DUP1 00000e16: SWAP4 00000e17: SWAP3 00000e18: SWAP2 00000e19: SWAP1 00000e1a: DUP2 00000e1b: DUP2 00000e1c: MSTORE 00000e1d: PUSH1 0x20 00000e1f: ADD 00000e20: DUP4 00000e21: DUP4 00000e22: PUSH1 0x20 00000e24: MUL 00000e25: DUP1 00000e26: DUP3 00000e27: DUP5 00000e28: CALLDATACOPY 00000e29: DUP3 00000e2a: ADD 00000e2b: SWAP2 00000e2c: POP 00000e2d: POP 00000e2e: POP 00000e2f: POP 00000e30: POP 00000e31: POP 00000e32: DUP11 00000e33: DUP11 00000e34: DUP1 00000e35: DUP1 00000e36: PUSH1 0x20 00000e38: MUL 00000e39: PUSH1 0x20 00000e3b: ADD 00000e3c: PUSH1 0x40 00000e3e: MLOAD 00000e3f: SWAP1 00000e40: DUP2 00000e41: ADD 00000e42: PUSH1 0x40 00000e44: MSTORE 00000e45: DUP1 00000e46: SWAP4 00000e47: SWAP3 00000e48: SWAP2 00000e49: SWAP1 00000e4a: DUP2 00000e4b: DUP2 00000e4c: MSTORE 00000e4d: PUSH1 0x20 00000e4f: ADD 00000e50: DUP4 00000e51: DUP4 00000e52: PUSH1 0x20 00000e54: MUL 00000e55: DUP1 00000e56: DUP3 00000e57: DUP5 00000e58: CALLDATACOPY 00000e59: DUP3 00000e5a: ADD 00000e5b: SWAP2 00000e5c: POP 00000e5d: POP 00000e5e: POP 00000e5f: POP 00000e60: POP 00000e61: POP 00000e62: DUP10 00000e63: DUP10 00000e64: DUP1 00000e65: DUP1 00000e66: PUSH1 0x20 00000e68: MUL 00000e69: PUSH1 0x20 00000e6b: ADD 00000e6c: PUSH1 0x40 00000e6e: MLOAD 00000e6f: SWAP1 00000e70: DUP2 00000e71: ADD 00000e72: PUSH1 0x40 00000e74: MSTORE 00000e75: DUP1 00000e76: SWAP4 00000e77: SWAP3 00000e78: SWAP2 00000e79: SWAP1 00000e7a: DUP2 00000e7b: DUP2 00000e7c: MSTORE 00000e7d: PUSH1 0x20 00000e7f: ADD 00000e80: DUP4 00000e81: DUP4 00000e82: PUSH1 0x20 00000e84: MUL 00000e85: DUP1 00000e86: DUP3 00000e87: DUP5 00000e88: CALLDATACOPY 00000e89: DUP3 00000e8a: ADD 00000e8b: SWAP2 00000e8c: POP 00000e8d: POP 00000e8e: POP 00000e8f: POP 00000e90: POP 00000e91: POP 00000e92: PUSH2 0x10c6 00000e95: JUMP 00000e96: JUMPDEST 00000e97: ISZERO 00000e98: ISZERO 00000e99: PUSH2 0x0f0a 00000e9c: JUMPI 00000e9d: PUSH1 0x40 00000e9f: MLOAD 00000ea0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ec1: DUP2 00000ec2: MSTORE 00000ec3: PUSH1 0x04 00000ec5: ADD 00000ec6: DUP1 00000ec7: DUP1 00000ec8: PUSH1 0x20 00000eca: ADD 00000ecb: DUP3 00000ecc: DUP2 00000ecd: SUB 00000ece: DUP3 00000ecf: MSTORE 00000ed0: PUSH1 0x12 00000ed2: DUP2 00000ed3: MSTORE 00000ed4: PUSH1 0x20 00000ed6: ADD 00000ed7: DUP1 00000ed8: PUSH32 0x696e76616c6964207369676e6174757265730000000000000000000000000000 00000ef9: DUP2 00000efa: MSTORE 00000efb: POP 00000efc: PUSH1 0x20 00000efe: ADD 00000eff: SWAP2 00000f00: POP 00000f01: POP 00000f02: PUSH1 0x40 00000f04: MLOAD 00000f05: DUP1 00000f06: SWAP2 00000f07: SUB 00000f08: SWAP1 00000f09: REVERT 00000f0a: JUMPDEST 00000f0b: PUSH1 0x01 00000f0d: PUSH1 0x03 00000f0f: SLOAD 00000f10: ADD 00000f11: PUSH1 0x03 00000f13: DUP2 00000f14: SWAP1 00000f15: SSTORE 00000f16: POP 00000f17: DUP10 00000f18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2d: AND 00000f2e: DUP10 00000f2f: DUP4 00000f30: DUP4 00000f31: PUSH1 0x40 00000f33: MLOAD 00000f34: DUP1 00000f35: DUP4 00000f36: DUP4 00000f37: DUP1 00000f38: DUP3 00000f39: DUP5 00000f3a: CALLDATACOPY 00000f3b: DUP3 00000f3c: ADD 00000f3d: SWAP2 00000f3e: POP 00000f3f: POP 00000f40: SWAP3 00000f41: POP 00000f42: POP 00000f43: POP 00000f44: PUSH1 0x00 00000f46: PUSH1 0x40 00000f48: MLOAD 00000f49: DUP1 00000f4a: DUP4 00000f4b: SUB 00000f4c: DUP2 00000f4d: DUP6 00000f4e: DUP8 00000f4f: GAS 00000f50: CALL 00000f51: SWAP3 00000f52: POP 00000f53: POP 00000f54: POP 00000f55: ISZERO 00000f56: PUSH2 0x0fc5 00000f59: JUMPI 00000f5a: PUSH32 0x62ee6f1a2424e70e5cff9d61a0d928aa101e198f192d726c651f1bdad1cd40d9 00000f7b: DUP11 00000f7c: DUP11 00000f7d: PUSH1 0x40 00000f7f: MLOAD 00000f80: DUP1 00000f81: DUP4 00000f82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f97: AND 00000f98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fad: AND 00000fae: DUP2 00000faf: MSTORE 00000fb0: PUSH1 0x20 00000fb2: ADD 00000fb3: DUP3 00000fb4: DUP2 00000fb5: MSTORE 00000fb6: PUSH1 0x20 00000fb8: ADD 00000fb9: SWAP3 00000fba: POP 00000fbb: POP 00000fbc: POP 00000fbd: PUSH1 0x40 00000fbf: MLOAD 00000fc0: DUP1 00000fc1: SWAP2 00000fc2: SUB 00000fc3: SWAP1 00000fc4: LOG1 00000fc5: JUMPDEST 00000fc6: POP 00000fc7: POP 00000fc8: POP 00000fc9: POP 00000fca: POP 00000fcb: POP 00000fcc: POP 00000fcd: POP 00000fce: POP 00000fcf: POP 00000fd0: JUMP 00000fd1: JUMPDEST 00000fd2: PUSH1 0x00 00000fd4: PUSH1 0x03 00000fd6: SLOAD 00000fd7: SWAP1 00000fd8: POP 00000fd9: SWAP1 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: PUSH1 0x09 00000fde: DUP2 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH1 0x00 00000fe3: DUP1 00000fe4: PUSH1 0x00 00000fe6: DUP1 00000fe7: SWAP2 00000fe8: POP 00000fe9: PUSH1 0x00 00000feb: SWAP1 00000fec: POP 00000fed: JUMPDEST 00000fee: PUSH1 0x01 00000ff0: DUP1 00000ff1: SLOAD 00000ff2: SWAP1 00000ff3: POP 00000ff4: DUP2 00000ff5: LT 00000ff6: ISZERO 00000ff7: PUSH2 0x1095 00000ffa: JUMPI 00000ffb: NUMBER 00000ffc: PUSH3 0x2dc6c0 00001000: PUSH1 0x00 00001002: DUP1 00001003: PUSH1 0x01 00001005: DUP6 00001006: DUP2 00001007: SLOAD 00001008: DUP2 00001009: LT 0000100a: ISZERO 0000100b: ISZERO 0000100c: PUSH2 0x1011 0000100f: JUMPI 00001010: INVALID 00001011: JUMPDEST 00001012: SWAP1 00001013: PUSH1 0x00 00001015: MSTORE 00001016: PUSH1 0x20 00001018: PUSH1 0x00 0000101a: KECCAK256 0000101b: ADD 0000101c: PUSH1 0x00 0000101e: SWAP1 0000101f: SLOAD 00001020: SWAP1 00001021: PUSH2 0x0100 00001024: EXP 00001025: SWAP1 00001026: DIV 00001027: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000103c: AND 0000103d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001052: AND 00001053: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001068: AND 00001069: DUP2 0000106a: MSTORE 0000106b: PUSH1 0x20 0000106d: ADD 0000106e: SWAP1 0000106f: DUP2 00001070: MSTORE 00001071: PUSH1 0x20 00001073: ADD 00001074: PUSH1 0x00 00001076: KECCAK256 00001077: SLOAD 00001078: ADD 00001079: LT 0000107a: ISZERO 0000107b: ISZERO 0000107c: PUSH2 0x1088 0000107f: JUMPI 00001080: DUP2 00001081: DUP1 00001082: PUSH1 0x01 00001084: ADD 00001085: SWAP3 00001086: POP 00001087: POP 00001088: JUMPDEST 00001089: DUP1 0000108a: DUP1 0000108b: PUSH1 0x01 0000108d: ADD 0000108e: SWAP2 0000108f: POP 00001090: POP 00001091: PUSH2 0x0fed 00001094: JUMP 00001095: JUMPDEST 00001096: PUSH1 0x02 00001098: SLOAD 00001099: DUP3 0000109a: LT 0000109b: ISZERO 0000109c: ISZERO 0000109d: PUSH2 0x10aa 000010a0: JUMPI 000010a1: PUSH1 0x02 000010a3: SLOAD 000010a4: SWAP3 000010a5: POP 000010a6: PUSH2 0x10c1 000010a9: JUMP 000010aa: JUMPDEST 000010ab: PUSH1 0x01 000010ad: DUP3 000010ae: LT 000010af: ISZERO 000010b0: ISZERO 000010b1: PUSH2 0x10bc 000010b4: JUMPI 000010b5: DUP2 000010b6: SWAP3 000010b7: POP 000010b8: PUSH2 0x10c1 000010bb: JUMP 000010bc: JUMPDEST 000010bd: PUSH1 0x01 000010bf: SWAP3 000010c0: POP 000010c1: JUMPDEST 000010c2: POP 000010c3: POP 000010c4: SWAP1 000010c5: JUMP 000010c6: JUMPDEST 000010c7: PUSH1 0x00 000010c9: DUP1 000010ca: PUSH1 0x60 000010cc: PUSH1 0x00 000010ce: DUP6 000010cf: MLOAD 000010d0: DUP8 000010d1: MLOAD 000010d2: EQ 000010d3: ISZERO 000010d4: ISZERO 000010d5: PUSH2 0x10dd 000010d8: JUMPI 000010d9: PUSH1 0x00 000010db: DUP1 000010dc: REVERT 000010dd: JUMPDEST 000010de: DUP5 000010df: MLOAD 000010e0: DUP7 000010e1: MLOAD 000010e2: EQ 000010e3: ISZERO 000010e4: ISZERO 000010e5: PUSH2 0x10ed 000010e8: JUMPI 000010e9: PUSH1 0x00 000010eb: DUP1 000010ec: REVERT 000010ed: JUMPDEST 000010ee: PUSH1 0x01 000010f0: DUP1 000010f1: SLOAD 000010f2: SWAP1 000010f3: POP 000010f4: DUP8 000010f5: MLOAD 000010f6: GT 000010f7: ISZERO 000010f8: ISZERO 000010f9: ISZERO 000010fa: PUSH2 0x1102 000010fd: JUMPI 000010fe: PUSH1 0x00 00001100: DUP1 00001101: REVERT 00001102: JUMPDEST 00001103: PUSH2 0x110a 00001106: PUSH2 0x0fe0 00001109: JUMP 0000110a: JUMPDEST 0000110b: DUP8 0000110c: MLOAD 0000110d: LT 0000110e: ISZERO 0000110f: ISZERO 00001110: ISZERO 00001111: PUSH2 0x1119 00001114: JUMPI 00001115: PUSH1 0x00 00001117: DUP1 00001118: REVERT 00001119: JUMPDEST 0000111a: PUSH2 0x1124 0000111d: DUP11 0000111e: DUP11 0000111f: DUP11 00001120: PUSH2 0x1381 00001123: JUMP 00001124: JUMPDEST 00001125: SWAP3 00001126: POP 00001127: DUP7 00001128: MLOAD 00001129: PUSH1 0x40 0000112b: MLOAD 0000112c: SWAP1 0000112d: DUP1 0000112e: DUP3 0000112f: MSTORE 00001130: DUP1 00001131: PUSH1 0x20 00001133: MUL 00001134: PUSH1 0x20 00001136: ADD 00001137: DUP3 00001138: ADD 00001139: PUSH1 0x40 0000113b: MSTORE 0000113c: DUP1 0000113d: ISZERO 0000113e: PUSH2 0x1156 00001141: JUMPI 00001142: DUP2 00001143: PUSH1 0x20 00001145: ADD 00001146: PUSH1 0x20 00001148: DUP3 00001149: MUL 0000114a: DUP1 0000114b: CODESIZE 0000114c: DUP4 0000114d: CODECOPY 0000114e: DUP1 0000114f: DUP3 00001150: ADD 00001151: SWAP2 00001152: POP 00001153: POP 00001154: SWAP1 00001155: POP 00001156: JUMPDEST 00001157: POP 00001158: SWAP2 00001159: POP 0000115a: PUSH1 0x00 0000115c: SWAP1 0000115d: POP 0000115e: JUMPDEST 0000115f: DUP7 00001160: MLOAD 00001161: DUP2 00001162: LT 00001163: ISZERO 00001164: PUSH2 0x1287 00001167: JUMPI 00001168: PUSH1 0x01 0000116a: DUP4 0000116b: PUSH1 0x1b 0000116d: DUP10 0000116e: DUP5 0000116f: DUP2 00001170: MLOAD 00001171: DUP2 00001172: LT 00001173: ISZERO 00001174: ISZERO 00001175: PUSH2 0x117a 00001178: JUMPI 00001179: INVALID 0000117a: JUMPDEST 0000117b: SWAP1 0000117c: PUSH1 0x20 0000117e: ADD 0000117f: SWAP1 00001180: PUSH1 0x20 00001182: MUL 00001183: ADD 00001184: MLOAD 00001185: ADD 00001186: DUP9 00001187: DUP5 00001188: DUP2 00001189: MLOAD 0000118a: DUP2 0000118b: LT 0000118c: ISZERO 0000118d: ISZERO 0000118e: PUSH2 0x1193 00001191: JUMPI 00001192: INVALID 00001193: JUMPDEST 00001194: SWAP1 00001195: PUSH1 0x20 00001197: ADD 00001198: SWAP1 00001199: PUSH1 0x20 0000119b: MUL 0000119c: ADD 0000119d: MLOAD 0000119e: DUP9 0000119f: DUP6 000011a0: DUP2 000011a1: MLOAD 000011a2: DUP2 000011a3: LT 000011a4: ISZERO 000011a5: ISZERO 000011a6: PUSH2 0x11ab 000011a9: JUMPI 000011aa: INVALID 000011ab: JUMPDEST 000011ac: SWAP1 000011ad: PUSH1 0x20 000011af: ADD 000011b0: SWAP1 000011b1: PUSH1 0x20 000011b3: MUL 000011b4: ADD 000011b5: MLOAD 000011b6: PUSH1 0x40 000011b8: MLOAD 000011b9: PUSH1 0x00 000011bb: DUP2 000011bc: MSTORE 000011bd: PUSH1 0x20 000011bf: ADD 000011c0: PUSH1 0x40 000011c2: MSTORE 000011c3: PUSH1 0x40 000011c5: MLOAD 000011c6: DUP1 000011c7: DUP6 000011c8: PUSH1 0x00 000011ca: NOT 000011cb: AND 000011cc: PUSH1 0x00 000011ce: NOT 000011cf: AND 000011d0: DUP2 000011d1: MSTORE 000011d2: PUSH1 0x20 000011d4: ADD 000011d5: DUP5 000011d6: PUSH1 0xff 000011d8: AND 000011d9: PUSH1 0xff 000011db: AND 000011dc: DUP2 000011dd: MSTORE 000011de: PUSH1 0x20 000011e0: ADD 000011e1: DUP4 000011e2: PUSH1 0x00 000011e4: NOT 000011e5: AND 000011e6: PUSH1 0x00 000011e8: NOT 000011e9: AND 000011ea: DUP2 000011eb: MSTORE 000011ec: PUSH1 0x20 000011ee: ADD 000011ef: DUP3 000011f0: PUSH1 0x00 000011f2: NOT 000011f3: AND 000011f4: PUSH1 0x00 000011f6: NOT 000011f7: AND 000011f8: DUP2 000011f9: MSTORE 000011fa: PUSH1 0x20 000011fc: ADD 000011fd: SWAP5 000011fe: POP 000011ff: POP 00001200: POP 00001201: POP 00001202: POP 00001203: PUSH1 0x20 00001205: PUSH1 0x40 00001207: MLOAD 00001208: PUSH1 0x20 0000120a: DUP2 0000120b: SUB 0000120c: SWAP1 0000120d: DUP1 0000120e: DUP5 0000120f: SUB 00001210: SWAP1 00001211: PUSH1 0x00 00001213: DUP7 00001214: GAS 00001215: CALL 00001216: ISZERO 00001217: DUP1 00001218: ISZERO 00001219: PUSH2 0x1226 0000121c: JUMPI 0000121d: RETURNDATASIZE 0000121e: PUSH1 0x00 00001220: DUP1 00001221: RETURNDATACOPY 00001222: RETURNDATASIZE 00001223: PUSH1 0x00 00001225: REVERT 00001226: JUMPDEST 00001227: POP 00001228: POP 00001229: POP 0000122a: PUSH1 0x20 0000122c: PUSH1 0x40 0000122e: MLOAD 0000122f: SUB 00001230: MLOAD 00001231: DUP3 00001232: DUP3 00001233: DUP2 00001234: MLOAD 00001235: DUP2 00001236: LT 00001237: ISZERO 00001238: ISZERO 00001239: PUSH2 0x123e 0000123c: JUMPI 0000123d: INVALID 0000123e: JUMPDEST 0000123f: SWAP1 00001240: PUSH1 0x20 00001242: ADD 00001243: SWAP1 00001244: PUSH1 0x20 00001246: MUL 00001247: ADD 00001248: SWAP1 00001249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125e: AND 0000125f: SWAP1 00001260: DUP2 00001261: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001276: AND 00001277: DUP2 00001278: MSTORE 00001279: POP 0000127a: POP 0000127b: DUP1 0000127c: DUP1 0000127d: PUSH1 0x01 0000127f: ADD 00001280: SWAP2 00001281: POP 00001282: POP 00001283: PUSH2 0x115e 00001286: JUMP 00001287: JUMPDEST 00001288: PUSH2 0x1290 0000128b: DUP3 0000128c: PUSH2 0x14b5 0000128f: JUMP 00001290: JUMPDEST 00001291: ISZERO 00001292: ISZERO 00001293: PUSH2 0x129b 00001296: JUMPI 00001297: PUSH1 0x00 00001299: DUP1 0000129a: REVERT 0000129b: JUMPDEST 0000129c: PUSH2 0x12a4 0000129f: DUP3 000012a0: PUSH2 0x15e4 000012a3: JUMP 000012a4: JUMPDEST 000012a5: PUSH2 0x12ac 000012a8: PUSH2 0x0fe0 000012ab: JUMP 000012ac: JUMPDEST 000012ad: DUP8 000012ae: MLOAD 000012af: LT 000012b0: ISZERO 000012b1: ISZERO 000012b2: ISZERO 000012b3: PUSH2 0x1370 000012b6: JUMPI 000012b7: PUSH1 0x40 000012b9: MLOAD 000012ba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012db: DUP2 000012dc: MSTORE 000012dd: PUSH1 0x04 000012df: ADD 000012e0: DUP1 000012e1: DUP1 000012e2: PUSH1 0x20 000012e4: ADD 000012e5: DUP3 000012e6: DUP2 000012e7: SUB 000012e8: DUP3 000012e9: MSTORE 000012ea: PUSH1 0x50 000012ec: DUP2 000012ed: MSTORE 000012ee: PUSH1 0x20 000012f0: ADD 000012f1: DUP1 000012f2: PUSH32 0x416374697665206f776e65727320757064617465642061667465722074686520 00001313: DUP2 00001314: MSTORE 00001315: PUSH1 0x20 00001317: ADD 00001318: PUSH32 0x63616c6c2c20706c656173652063616c6c206163746976652829206265666f72 00001339: DUP2 0000133a: MSTORE 0000133b: PUSH1 0x20 0000133d: ADD 0000133e: PUSH32 0x652063616c6c696e67207370656e642e00000000000000000000000000000000 0000135f: DUP2 00001360: MSTORE 00001361: POP 00001362: PUSH1 0x60 00001364: ADD 00001365: SWAP2 00001366: POP 00001367: POP 00001368: PUSH1 0x40 0000136a: MLOAD 0000136b: DUP1 0000136c: SWAP2 0000136d: SUB 0000136e: SWAP1 0000136f: REVERT 00001370: JUMPDEST 00001371: PUSH1 0x01 00001373: SWAP4 00001374: POP 00001375: POP 00001376: POP 00001377: POP 00001378: SWAP7 00001379: SWAP6 0000137a: POP 0000137b: POP 0000137c: POP 0000137d: POP 0000137e: POP 0000137f: POP 00001380: JUMP 00001381: JUMPDEST 00001382: PUSH1 0x00 00001384: DUP1 00001385: PUSH1 0x60 00001387: PUSH2 0x1391 0000138a: DUP7 0000138b: DUP7 0000138c: DUP7 0000138d: PUSH2 0x16bd 00001390: JUMP 00001391: JUMPDEST 00001392: SWAP2 00001393: POP 00001394: PUSH1 0x40 00001396: DUP1 00001397: MLOAD 00001398: SWAP1 00001399: DUP2 0000139a: ADD 0000139b: PUSH1 0x40 0000139d: MSTORE 0000139e: DUP1 0000139f: PUSH1 0x1c 000013a1: DUP2 000013a2: MSTORE 000013a3: PUSH1 0x20 000013a5: ADD 000013a6: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 000013c7: DUP2 000013c8: MSTORE 000013c9: POP 000013ca: SWAP1 000013cb: POP 000013cc: DUP1 000013cd: DUP3 000013ce: PUSH1 0x40 000013d0: MLOAD 000013d1: PUSH1 0x20 000013d3: ADD 000013d4: DUP1 000013d5: DUP4 000013d6: DUP1 000013d7: MLOAD 000013d8: SWAP1 000013d9: PUSH1 0x20 000013db: ADD 000013dc: SWAP1 000013dd: DUP1 000013de: DUP4 000013df: DUP4 000013e0: JUMPDEST 000013e1: PUSH1 0x20 000013e3: DUP4 000013e4: LT 000013e5: ISZERO 000013e6: ISZERO 000013e7: PUSH2 0x1405 000013ea: JUMPI 000013eb: DUP1 000013ec: MLOAD 000013ed: DUP3 000013ee: MSTORE 000013ef: PUSH1 0x20 000013f1: DUP3 000013f2: ADD 000013f3: SWAP2 000013f4: POP 000013f5: PUSH1 0x20 000013f7: DUP2 000013f8: ADD 000013f9: SWAP1 000013fa: POP 000013fb: PUSH1 0x20 000013fd: DUP4 000013fe: SUB 000013ff: SWAP3 00001400: POP 00001401: PUSH2 0x13e0 00001404: JUMP 00001405: JUMPDEST 00001406: PUSH1 0x01 00001408: DUP4 00001409: PUSH1 0x20 0000140b: SUB 0000140c: PUSH2 0x0100 0000140f: EXP 00001410: SUB 00001411: DUP1 00001412: NOT 00001413: DUP3 00001414: MLOAD 00001415: AND 00001416: DUP2 00001417: DUP5 00001418: MLOAD 00001419: AND 0000141a: DUP1 0000141b: DUP3 0000141c: OR 0000141d: DUP6 0000141e: MSTORE 0000141f: POP 00001420: POP 00001421: POP 00001422: POP 00001423: POP 00001424: POP 00001425: SWAP1 00001426: POP 00001427: ADD 00001428: DUP3 00001429: PUSH1 0x00 0000142b: NOT 0000142c: AND 0000142d: PUSH1 0x00 0000142f: NOT 00001430: AND 00001431: DUP2 00001432: MSTORE 00001433: PUSH1 0x20 00001435: ADD 00001436: SWAP3 00001437: POP 00001438: POP 00001439: POP 0000143a: PUSH1 0x40 0000143c: MLOAD 0000143d: PUSH1 0x20 0000143f: DUP2 00001440: DUP4 00001441: SUB 00001442: SUB 00001443: DUP2 00001444: MSTORE 00001445: SWAP1 00001446: PUSH1 0x40 00001448: MSTORE 00001449: PUSH1 0x40 0000144b: MLOAD 0000144c: DUP1 0000144d: DUP3 0000144e: DUP1 0000144f: MLOAD 00001450: SWAP1 00001451: PUSH1 0x20 00001453: ADD 00001454: SWAP1 00001455: DUP1 00001456: DUP4 00001457: DUP4 00001458: JUMPDEST 00001459: PUSH1 0x20 0000145b: DUP4 0000145c: LT 0000145d: ISZERO 0000145e: ISZERO 0000145f: PUSH2 0x147d 00001462: JUMPI 00001463: DUP1 00001464: MLOAD 00001465: DUP3 00001466: MSTORE 00001467: PUSH1 0x20 00001469: DUP3 0000146a: ADD 0000146b: SWAP2 0000146c: POP 0000146d: PUSH1 0x20 0000146f: DUP2 00001470: ADD 00001471: SWAP1 00001472: POP 00001473: PUSH1 0x20 00001475: DUP4 00001476: SUB 00001477: SWAP3 00001478: POP 00001479: PUSH2 0x1458 0000147c: JUMP 0000147d: JUMPDEST 0000147e: PUSH1 0x01 00001480: DUP4 00001481: PUSH1 0x20 00001483: SUB 00001484: PUSH2 0x0100 00001487: EXP 00001488: SUB 00001489: DUP1 0000148a: NOT 0000148b: DUP3 0000148c: MLOAD 0000148d: AND 0000148e: DUP2 0000148f: DUP5 00001490: MLOAD 00001491: AND 00001492: DUP1 00001493: DUP3 00001494: OR 00001495: DUP6 00001496: MSTORE 00001497: POP 00001498: POP 00001499: POP 0000149a: POP 0000149b: POP 0000149c: POP 0000149d: SWAP1 0000149e: POP 0000149f: ADD 000014a0: SWAP2 000014a1: POP 000014a2: POP 000014a3: PUSH1 0x40 000014a5: MLOAD 000014a6: DUP1 000014a7: SWAP2 000014a8: SUB 000014a9: SWAP1 000014aa: KECCAK256 000014ab: SWAP3 000014ac: POP 000014ad: POP 000014ae: POP 000014af: SWAP4 000014b0: SWAP3 000014b1: POP 000014b2: POP 000014b3: POP 000014b4: JUMP 000014b5: JUMPDEST 000014b6: PUSH1 0x00 000014b8: DUP1 000014b9: PUSH1 0x00 000014bb: PUSH1 0x01 000014bd: DUP1 000014be: SLOAD 000014bf: SWAP1 000014c0: POP 000014c1: DUP5 000014c2: MLOAD 000014c3: GT 000014c4: ISZERO 000014c5: PUSH2 0x14d1 000014c8: JUMPI 000014c9: PUSH1 0x00 000014cb: SWAP3 000014cc: POP 000014cd: PUSH2 0x15dd 000014d0: JUMP 000014d1: JUMPDEST 000014d2: PUSH1 0x00 000014d4: SWAP2 000014d5: POP 000014d6: JUMPDEST 000014d7: DUP4 000014d8: MLOAD 000014d9: DUP3 000014da: LT 000014db: ISZERO 000014dc: PUSH2 0x15d8 000014df: JUMPI 000014e0: PUSH1 0x00 000014e2: DUP1 000014e3: PUSH1 0x00 000014e5: DUP7 000014e6: DUP6 000014e7: DUP2 000014e8: MLOAD 000014e9: DUP2 000014ea: LT 000014eb: ISZERO 000014ec: ISZERO 000014ed: PUSH2 0x14f2 000014f0: JUMPI 000014f1: INVALID 000014f2: JUMPDEST 000014f3: SWAP1 000014f4: PUSH1 0x20 000014f6: ADD 000014f7: SWAP1 000014f8: PUSH1 0x20 000014fa: MUL 000014fb: ADD 000014fc: MLOAD 000014fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001512: AND 00001513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001528: AND 00001529: DUP2 0000152a: MSTORE 0000152b: PUSH1 0x20 0000152d: ADD 0000152e: SWAP1 0000152f: DUP2 00001530: MSTORE 00001531: PUSH1 0x20 00001533: ADD 00001534: PUSH1 0x00 00001536: KECCAK256 00001537: SLOAD 00001538: EQ 00001539: ISZERO 0000153a: PUSH2 0x1546 0000153d: JUMPI 0000153e: PUSH1 0x00 00001540: SWAP3 00001541: POP 00001542: PUSH2 0x15dd 00001545: JUMP 00001546: JUMPDEST 00001547: PUSH1 0x00 00001549: SWAP1 0000154a: POP 0000154b: JUMPDEST 0000154c: DUP2 0000154d: DUP2 0000154e: LT 0000154f: ISZERO 00001550: PUSH2 0x15cb 00001553: JUMPI 00001554: DUP4 00001555: DUP2 00001556: DUP2 00001557: MLOAD 00001558: DUP2 00001559: LT 0000155a: ISZERO 0000155b: ISZERO 0000155c: PUSH2 0x1561 0000155f: JUMPI 00001560: INVALID 00001561: JUMPDEST 00001562: SWAP1 00001563: PUSH1 0x20 00001565: ADD 00001566: SWAP1 00001567: PUSH1 0x20 00001569: MUL 0000156a: ADD 0000156b: MLOAD 0000156c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001581: AND 00001582: DUP5 00001583: DUP4 00001584: DUP2 00001585: MLOAD 00001586: DUP2 00001587: LT 00001588: ISZERO 00001589: ISZERO 0000158a: PUSH2 0x158f 0000158d: JUMPI 0000158e: INVALID 0000158f: JUMPDEST 00001590: SWAP1 00001591: PUSH1 0x20 00001593: ADD 00001594: SWAP1 00001595: PUSH1 0x20 00001597: MUL 00001598: ADD 00001599: MLOAD 0000159a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015af: AND 000015b0: EQ 000015b1: ISZERO 000015b2: PUSH2 0x15be 000015b5: JUMPI 000015b6: PUSH1 0x00 000015b8: SWAP3 000015b9: POP 000015ba: PUSH2 0x15dd 000015bd: JUMP 000015be: JUMPDEST 000015bf: DUP1 000015c0: DUP1 000015c1: PUSH1 0x01 000015c3: ADD 000015c4: SWAP2 000015c5: POP 000015c6: POP 000015c7: PUSH2 0x154b 000015ca: JUMP 000015cb: JUMPDEST 000015cc: DUP2 000015cd: DUP1 000015ce: PUSH1 0x01 000015d0: ADD 000015d1: SWAP3 000015d2: POP 000015d3: POP 000015d4: PUSH2 0x14d6 000015d7: JUMP 000015d8: JUMPDEST 000015d9: PUSH1 0x01 000015db: SWAP3 000015dc: POP 000015dd: JUMPDEST 000015de: POP 000015df: POP 000015e0: SWAP2 000015e1: SWAP1 000015e2: POP 000015e3: JUMP 000015e4: JUMPDEST 000015e5: PUSH1 0x00 000015e7: DUP1 000015e8: SWAP1 000015e9: POP 000015ea: JUMPDEST 000015eb: DUP2 000015ec: MLOAD 000015ed: DUP2 000015ee: LT 000015ef: ISZERO 000015f0: PUSH2 0x16b9 000015f3: JUMPI 000015f4: PUSH1 0x00 000015f6: DUP1 000015f7: PUSH1 0x00 000015f9: DUP5 000015fa: DUP5 000015fb: DUP2 000015fc: MLOAD 000015fd: DUP2 000015fe: LT 000015ff: ISZERO 00001600: ISZERO 00001601: PUSH2 0x1606 00001604: JUMPI 00001605: INVALID 00001606: JUMPDEST 00001607: SWAP1 00001608: PUSH1 0x20 0000160a: ADD 0000160b: SWAP1 0000160c: PUSH1 0x20 0000160e: MUL 0000160f: ADD 00001610: MLOAD 00001611: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001626: AND 00001627: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000163c: AND 0000163d: DUP2 0000163e: MSTORE 0000163f: PUSH1 0x20 00001641: ADD 00001642: SWAP1 00001643: DUP2 00001644: MSTORE 00001645: PUSH1 0x20 00001647: ADD 00001648: PUSH1 0x00 0000164a: KECCAK256 0000164b: SLOAD 0000164c: GT 0000164d: ISZERO 0000164e: PUSH2 0x16ac 00001651: JUMPI 00001652: NUMBER 00001653: PUSH1 0x00 00001655: DUP1 00001656: DUP5 00001657: DUP5 00001658: DUP2 00001659: MLOAD 0000165a: DUP2 0000165b: LT 0000165c: ISZERO 0000165d: ISZERO 0000165e: PUSH2 0x1663 00001661: JUMPI 00001662: INVALID 00001663: JUMPDEST 00001664: SWAP1 00001665: PUSH1 0x20 00001667: ADD 00001668: SWAP1 00001669: PUSH1 0x20 0000166b: MUL 0000166c: ADD 0000166d: MLOAD 0000166e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001683: AND 00001684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001699: AND 0000169a: DUP2 0000169b: MSTORE 0000169c: PUSH1 0x20 0000169e: ADD 0000169f: SWAP1 000016a0: DUP2 000016a1: MSTORE 000016a2: PUSH1 0x20 000016a4: ADD 000016a5: PUSH1 0x00 000016a7: KECCAK256 000016a8: DUP2 000016a9: SWAP1 000016aa: SSTORE 000016ab: POP 000016ac: JUMPDEST 000016ad: DUP1 000016ae: DUP1 000016af: PUSH1 0x01 000016b1: ADD 000016b2: SWAP2 000016b3: POP 000016b4: POP 000016b5: PUSH2 0x15ea 000016b8: JUMP 000016b9: JUMPDEST 000016ba: POP 000016bb: POP 000016bc: JUMP 000016bd: JUMPDEST 000016be: PUSH1 0x00 000016c0: DUP1 000016c1: ADDRESS 000016c2: DUP6 000016c3: DUP6 000016c4: DUP6 000016c5: PUSH1 0x03 000016c7: SLOAD 000016c8: PUSH1 0x40 000016ca: MLOAD 000016cb: PUSH1 0x20 000016cd: ADD 000016ce: DUP1 000016cf: DUP7 000016d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016e5: AND 000016e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016fb: AND 000016fc: PUSH13 0x01000000000000000000000000 0000170a: MUL 0000170b: DUP2 0000170c: MSTORE 0000170d: PUSH1 0x14 0000170f: ADD 00001710: DUP6 00001711: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001726: AND 00001727: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000173c: AND 0000173d: PUSH13 0x01000000000000000000000000 0000174b: MUL 0000174c: DUP2 0000174d: MSTORE 0000174e: PUSH1 0x14 00001750: ADD 00001751: DUP5 00001752: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001767: AND 00001768: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000177d: AND 0000177e: PUSH13 0x01000000000000000000000000 0000178c: MUL 0000178d: DUP2 0000178e: MSTORE 0000178f: PUSH1 0x14 00001791: ADD 00001792: DUP4 00001793: DUP2 00001794: MSTORE 00001795: PUSH1 0x20 00001797: ADD 00001798: DUP3 00001799: DUP2 0000179a: MSTORE 0000179b: PUSH1 0x20 0000179d: ADD 0000179e: SWAP6 0000179f: POP 000017a0: POP 000017a1: POP 000017a2: POP 000017a3: POP 000017a4: POP 000017a5: PUSH1 0x40 000017a7: MLOAD 000017a8: PUSH1 0x20 000017aa: DUP2 000017ab: DUP4 000017ac: SUB 000017ad: SUB 000017ae: DUP2 000017af: MSTORE 000017b0: SWAP1 000017b1: PUSH1 0x40 000017b3: MSTORE 000017b4: PUSH1 0x40 000017b6: MLOAD 000017b7: DUP1 000017b8: DUP3 000017b9: DUP1 000017ba: MLOAD 000017bb: SWAP1 000017bc: PUSH1 0x20 000017be: ADD 000017bf: SWAP1 000017c0: DUP1 000017c1: DUP4 000017c2: DUP4 000017c3: JUMPDEST 000017c4: PUSH1 0x20 000017c6: DUP4 000017c7: LT 000017c8: ISZERO 000017c9: ISZERO 000017ca: PUSH2 0x17e8 000017cd: JUMPI 000017ce: DUP1 000017cf: MLOAD 000017d0: DUP3 000017d1: MSTORE 000017d2: PUSH1 0x20 000017d4: DUP3 000017d5: ADD 000017d6: SWAP2 000017d7: POP 000017d8: PUSH1 0x20 000017da: DUP2 000017db: ADD 000017dc: SWAP1 000017dd: POP 000017de: PUSH1 0x20 000017e0: DUP4 000017e1: SUB 000017e2: SWAP3 000017e3: POP 000017e4: PUSH2 0x17c3 000017e7: JUMP 000017e8: JUMPDEST 000017e9: PUSH1 0x01 000017eb: DUP4 000017ec: PUSH1 0x20 000017ee: SUB 000017ef: PUSH2 0x0100 000017f2: EXP 000017f3: SUB 000017f4: DUP1 000017f5: NOT 000017f6: DUP3 000017f7: MLOAD 000017f8: AND 000017f9: DUP2 000017fa: DUP5 000017fb: MLOAD 000017fc: AND 000017fd: DUP1 000017fe: DUP3 000017ff: OR 00001800: DUP6 00001801: MSTORE 00001802: POP 00001803: POP 00001804: POP 00001805: POP 00001806: POP 00001807: POP 00001808: SWAP1 00001809: POP 0000180a: ADD 0000180b: SWAP2 0000180c: POP 0000180d: POP 0000180e: PUSH1 0x40 00001810: MLOAD 00001811: DUP1 00001812: SWAP2 00001813: SUB 00001814: SWAP1 00001815: KECCAK256 00001816: SWAP1 00001817: POP 00001818: DUP1 00001819: SWAP2 0000181a: POP 0000181b: POP 0000181c: SWAP4 0000181d: SWAP3 0000181e: POP 0000181f: POP 00001820: POP 00001821: JUMP 00001822: STOP 00001823: LOG1 00001824: PUSH6 0x627a7a723058 0000182b: KECCAK256 0000182c: UNKNOWN(0xB6) 0000182d: SGT 0000182e: UNKNOWN(0xB0) 0000182f: PUSH9 0x55ae81ee59124d428e 00001839: LT 0000183a: UNKNOWN(0xC5) 0000183b: UNKNOWN(0x28) 0000183c: UNKNOWN(0xEF) 0000183d: PUSH10 0x9dc39b36ec9cc5ca527f 00001848: UNKNOWN(0xC9) 00001849: UNKNOWN(0x4D) 0000184a: SWAP3 0000184b: DUP3 0000184c: STOP 0000184d: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x483224e7a1c4e50ec2476e81195f5f5addc69df6593eb5637254a592cd56dbeb
call_targets:
0x0f498806617efa9c5fbd201320d21d43dd47bf00
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x483224e7a1c4e50ec2476e81195f5f5addc69df6593eb5637254a592cd56dbeb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0f498806617efa9c5fbd201320d21d43dd47bf00"
],
"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": "0x01173672",
"selector": "0x01173672",
"calldata_variants": [
"0x01173672",
"0x011736720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02fb0c5e",
"selector": "0x02fb0c5e",
"calldata_variants": [
"0x02fb0c5e",
"0x02fb0c5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1398a5f6",
"selector": "0x1398a5f6",
"calldata_variants": [
"0x1398a5f6",
"0x1398a5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5f43e63f",
"selector": "0x5f43e63f",
"calldata_variants": [
"0x5f43e63f",
"0x5f43e63f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ad68826",
"selector": "0x6ad68826",
"calldata_variants": [
"0x6ad68826",
"0x6ad688260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x85b2566a",
"selector": "0x85b2566a",
"calldata_variants": [
"0x85b2566a",
"0x85b2566a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0e67e2b",
"selector": "0xa0e67e2b",
"calldata_variants": [
"0xa0e67e2b",
"0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1950,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3132,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3920,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x483224e7a1c4e50ec2476e81195f5f5addc69df6593eb5637254a592cd56dbeb
call_targets:
0x0f498806617efa9c5fbd201320d21d43dd47bf00
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x483224e7a1c4e50ec2476e81195f5f5addc69df6593eb5637254a592cd56dbeb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0f498806617efa9c5fbd201320d21d43dd47bf00"
],
"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": "0x01173672",
"selector": "0x01173672",
"calldata_variants": [
"0x01173672",
"0x011736720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02fb0c5e",
"selector": "0x02fb0c5e",
"calldata_variants": [
"0x02fb0c5e",
"0x02fb0c5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1398a5f6",
"selector": "0x1398a5f6",
"calldata_variants": [
"0x1398a5f6",
"0x1398a5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5f43e63f",
"selector": "0x5f43e63f",
"calldata_variants": [
"0x5f43e63f",
"0x5f43e63f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ad68826",
"selector": "0x6ad68826",
"calldata_variants": [
"0x6ad68826",
"0x6ad688260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x85b2566a",
"selector": "0x85b2566a",
"calldata_variants": [
"0x85b2566a",
"0x85b2566a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0e67e2b",
"selector": "0xa0e67e2b",
"calldata_variants": [
"0xa0e67e2b",
"0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1950,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3132,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3920,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|