019b477e-c13f-72d1-bbf6-43e5a687b1a6
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 |
|---|---|---|---|---|
| 24831 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24832 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68066 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68067 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68068 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68069 | 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 0x00ec 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9498bd71 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9498bd71 0000002f: EQ 00000030: PUSH2 0x03d6 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xaad1a008 0000003a: EQ 0000003b: PUSH2 0x0411 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc3709caf 00000045: EQ 00000046: PUSH2 0x0482 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0587 00000054: JUMPI 00000055: PUSH2 0x00f3 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x715018a6 00000060: EQ 00000061: PUSH2 0x033c 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x72806c5a 0000006b: EQ 0000006c: PUSH2 0x0353 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8456cb59 00000076: EQ 00000077: PUSH2 0x037e 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8da5cb5b 00000081: EQ 00000082: PUSH2 0x0395 00000085: JUMPI 00000086: PUSH2 0x00f3 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x4783f0ef 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x4783f0ef 0000009c: EQ 0000009d: PUSH2 0x01ca 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x5c975abb 000000a7: EQ 000000a8: PUSH2 0x0205 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x65d1f30b 000000b2: EQ 000000b3: PUSH2 0x0232 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x67d9b44c 000000bd: EQ 000000be: PUSH2 0x026d 000000c1: JUMPI 000000c2: PUSH2 0x00f3 000000c5: JUMP 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x14ea35e7 000000cd: EQ 000000ce: PUSH2 0x00f8 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x2f52ebb7 000000d8: EQ 000000d9: PUSH2 0x0123 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x3f4ba83a 000000e3: EQ 000000e4: PUSH2 0x01b3 000000e7: JUMPI 000000e8: PUSH2 0x00f3 000000eb: JUMP 000000ec: JUMPDEST 000000ed: CALLDATASIZE 000000ee: PUSH2 0x00f3 000000f1: JUMPI 000000f2: STOP 000000f3: JUMPDEST 000000f4: PUSH1 0x00 000000f6: DUP1 000000f7: REVERT 000000f8: JUMPDEST 000000f9: CALLVALUE 000000fa: DUP1 000000fb: ISZERO 000000fc: PUSH2 0x0104 000000ff: JUMPI 00000100: PUSH1 0x00 00000102: DUP1 00000103: REVERT 00000104: JUMPDEST 00000105: POP 00000106: PUSH2 0x010d 00000109: PUSH2 0x05d8 0000010c: JUMP 0000010d: JUMPDEST 0000010e: PUSH1 0x40 00000110: MLOAD 00000111: DUP1 00000112: DUP3 00000113: DUP2 00000114: MSTORE 00000115: PUSH1 0x20 00000117: ADD 00000118: SWAP2 00000119: POP 0000011a: POP 0000011b: PUSH1 0x40 0000011d: MLOAD 0000011e: DUP1 0000011f: SWAP2 00000120: SUB 00000121: SWAP1 00000122: RETURN 00000123: JUMPDEST 00000124: CALLVALUE 00000125: DUP1 00000126: ISZERO 00000127: PUSH2 0x012f 0000012a: JUMPI 0000012b: PUSH1 0x00 0000012d: DUP1 0000012e: REVERT 0000012f: JUMPDEST 00000130: POP 00000131: PUSH2 0x01b1 00000134: PUSH1 0x04 00000136: DUP1 00000137: CALLDATASIZE 00000138: SUB 00000139: PUSH1 0x40 0000013b: DUP2 0000013c: LT 0000013d: ISZERO 0000013e: PUSH2 0x0146 00000141: JUMPI 00000142: PUSH1 0x00 00000144: DUP1 00000145: REVERT 00000146: JUMPDEST 00000147: DUP2 00000148: ADD 00000149: SWAP1 0000014a: DUP1 0000014b: DUP1 0000014c: CALLDATALOAD 0000014d: SWAP1 0000014e: PUSH1 0x20 00000150: ADD 00000151: SWAP1 00000152: SWAP3 00000153: SWAP2 00000154: SWAP1 00000155: DUP1 00000156: CALLDATALOAD 00000157: SWAP1 00000158: PUSH1 0x20 0000015a: ADD 0000015b: SWAP1 0000015c: PUSH5 0x0100000000 00000162: DUP2 00000163: GT 00000164: ISZERO 00000165: PUSH2 0x016d 00000168: JUMPI 00000169: PUSH1 0x00 0000016b: DUP1 0000016c: REVERT 0000016d: JUMPDEST 0000016e: DUP3 0000016f: ADD 00000170: DUP4 00000171: PUSH1 0x20 00000173: DUP3 00000174: ADD 00000175: GT 00000176: ISZERO 00000177: PUSH2 0x017f 0000017a: JUMPI 0000017b: PUSH1 0x00 0000017d: DUP1 0000017e: REVERT 0000017f: JUMPDEST 00000180: DUP1 00000181: CALLDATALOAD 00000182: SWAP1 00000183: PUSH1 0x20 00000185: ADD 00000186: SWAP2 00000187: DUP5 00000188: PUSH1 0x20 0000018a: DUP4 0000018b: MUL 0000018c: DUP5 0000018d: ADD 0000018e: GT 0000018f: PUSH5 0x0100000000 00000195: DUP4 00000196: GT 00000197: OR 00000198: ISZERO 00000199: PUSH2 0x01a1 0000019c: JUMPI 0000019d: PUSH1 0x00 0000019f: DUP1 000001a0: REVERT 000001a1: JUMPDEST 000001a2: SWAP1 000001a3: SWAP2 000001a4: SWAP3 000001a5: SWAP4 000001a6: SWAP2 000001a7: SWAP3 000001a8: SWAP4 000001a9: SWAP1 000001aa: POP 000001ab: POP 000001ac: POP 000001ad: PUSH2 0x05de 000001b0: JUMP 000001b1: JUMPDEST 000001b2: STOP 000001b3: JUMPDEST 000001b4: CALLVALUE 000001b5: DUP1 000001b6: ISZERO 000001b7: PUSH2 0x01bf 000001ba: JUMPI 000001bb: PUSH1 0x00 000001bd: DUP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: POP 000001c1: PUSH2 0x01c8 000001c4: PUSH2 0x08eb 000001c7: JUMP 000001c8: JUMPDEST 000001c9: STOP 000001ca: JUMPDEST 000001cb: CALLVALUE 000001cc: DUP1 000001cd: ISZERO 000001ce: PUSH2 0x01d6 000001d1: JUMPI 000001d2: PUSH1 0x00 000001d4: DUP1 000001d5: REVERT 000001d6: JUMPDEST 000001d7: POP 000001d8: PUSH2 0x0203 000001db: PUSH1 0x04 000001dd: DUP1 000001de: CALLDATASIZE 000001df: SUB 000001e0: PUSH1 0x20 000001e2: DUP2 000001e3: LT 000001e4: ISZERO 000001e5: PUSH2 0x01ed 000001e8: JUMPI 000001e9: PUSH1 0x00 000001eb: DUP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: DUP2 000001ef: ADD 000001f0: SWAP1 000001f1: DUP1 000001f2: DUP1 000001f3: CALLDATALOAD 000001f4: SWAP1 000001f5: PUSH1 0x20 000001f7: ADD 000001f8: SWAP1 000001f9: SWAP3 000001fa: SWAP2 000001fb: SWAP1 000001fc: POP 000001fd: POP 000001fe: POP 000001ff: PUSH2 0x09b7 00000202: JUMP 00000203: JUMPDEST 00000204: STOP 00000205: JUMPDEST 00000206: CALLVALUE 00000207: DUP1 00000208: ISZERO 00000209: PUSH2 0x0211 0000020c: JUMPI 0000020d: PUSH1 0x00 0000020f: DUP1 00000210: REVERT 00000211: JUMPDEST 00000212: POP 00000213: PUSH2 0x021a 00000216: PUSH2 0x0a70 00000219: JUMP 0000021a: JUMPDEST 0000021b: PUSH1 0x40 0000021d: MLOAD 0000021e: DUP1 0000021f: DUP3 00000220: ISZERO 00000221: ISZERO 00000222: DUP2 00000223: MSTORE 00000224: PUSH1 0x20 00000226: ADD 00000227: SWAP2 00000228: POP 00000229: POP 0000022a: PUSH1 0x40 0000022c: MLOAD 0000022d: DUP1 0000022e: SWAP2 0000022f: SUB 00000230: SWAP1 00000231: RETURN 00000232: JUMPDEST 00000233: CALLVALUE 00000234: DUP1 00000235: ISZERO 00000236: PUSH2 0x023e 00000239: JUMPI 0000023a: PUSH1 0x00 0000023c: DUP1 0000023d: REVERT 0000023e: JUMPDEST 0000023f: POP 00000240: PUSH2 0x026b 00000243: PUSH1 0x04 00000245: DUP1 00000246: CALLDATASIZE 00000247: SUB 00000248: PUSH1 0x20 0000024a: DUP2 0000024b: LT 0000024c: ISZERO 0000024d: PUSH2 0x0255 00000250: JUMPI 00000251: PUSH1 0x00 00000253: DUP1 00000254: REVERT 00000255: JUMPDEST 00000256: DUP2 00000257: ADD 00000258: SWAP1 00000259: DUP1 0000025a: DUP1 0000025b: CALLDATALOAD 0000025c: SWAP1 0000025d: PUSH1 0x20 0000025f: ADD 00000260: SWAP1 00000261: SWAP3 00000262: SWAP2 00000263: SWAP1 00000264: POP 00000265: POP 00000266: POP 00000267: PUSH2 0x0a83 0000026a: JUMP 0000026b: JUMPDEST 0000026c: STOP 0000026d: JUMPDEST 0000026e: CALLVALUE 0000026f: DUP1 00000270: ISZERO 00000271: PUSH2 0x0279 00000274: JUMPI 00000275: PUSH1 0x00 00000277: DUP1 00000278: REVERT 00000279: JUMPDEST 0000027a: POP 0000027b: PUSH2 0x033a 0000027e: PUSH1 0x04 00000280: DUP1 00000281: CALLDATASIZE 00000282: SUB 00000283: PUSH1 0x40 00000285: DUP2 00000286: LT 00000287: ISZERO 00000288: PUSH2 0x0290 0000028b: JUMPI 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: DUP2 00000292: ADD 00000293: SWAP1 00000294: DUP1 00000295: DUP1 00000296: CALLDATALOAD 00000297: SWAP1 00000298: PUSH1 0x20 0000029a: ADD 0000029b: SWAP1 0000029c: PUSH5 0x0100000000 000002a2: DUP2 000002a3: GT 000002a4: ISZERO 000002a5: PUSH2 0x02ad 000002a8: JUMPI 000002a9: PUSH1 0x00 000002ab: DUP1 000002ac: REVERT 000002ad: JUMPDEST 000002ae: DUP3 000002af: ADD 000002b0: DUP4 000002b1: PUSH1 0x20 000002b3: DUP3 000002b4: ADD 000002b5: GT 000002b6: ISZERO 000002b7: PUSH2 0x02bf 000002ba: JUMPI 000002bb: PUSH1 0x00 000002bd: DUP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: DUP1 000002c1: CALLDATALOAD 000002c2: SWAP1 000002c3: PUSH1 0x20 000002c5: ADD 000002c6: SWAP2 000002c7: DUP5 000002c8: PUSH1 0x20 000002ca: DUP4 000002cb: MUL 000002cc: DUP5 000002cd: ADD 000002ce: GT 000002cf: PUSH5 0x0100000000 000002d5: DUP4 000002d6: GT 000002d7: OR 000002d8: ISZERO 000002d9: PUSH2 0x02e1 000002dc: JUMPI 000002dd: PUSH1 0x00 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: SWAP2 000002e3: SWAP1 000002e4: DUP1 000002e5: DUP1 000002e6: PUSH1 0x20 000002e8: MUL 000002e9: PUSH1 0x20 000002eb: ADD 000002ec: PUSH1 0x40 000002ee: MLOAD 000002ef: SWAP1 000002f0: DUP2 000002f1: ADD 000002f2: PUSH1 0x40 000002f4: MSTORE 000002f5: DUP1 000002f6: SWAP4 000002f7: SWAP3 000002f8: SWAP2 000002f9: SWAP1 000002fa: DUP2 000002fb: DUP2 000002fc: MSTORE 000002fd: PUSH1 0x20 000002ff: ADD 00000300: DUP4 00000301: DUP4 00000302: PUSH1 0x20 00000304: MUL 00000305: DUP1 00000306: DUP3 00000307: DUP5 00000308: CALLDATACOPY 00000309: PUSH1 0x00 0000030b: DUP2 0000030c: DUP5 0000030d: ADD 0000030e: MSTORE 0000030f: PUSH1 0x1f 00000311: NOT 00000312: PUSH1 0x1f 00000314: DUP3 00000315: ADD 00000316: AND 00000317: SWAP1 00000318: POP 00000319: DUP1 0000031a: DUP4 0000031b: ADD 0000031c: SWAP3 0000031d: POP 0000031e: POP 0000031f: POP 00000320: POP 00000321: POP 00000322: POP 00000323: POP 00000324: SWAP2 00000325: SWAP3 00000326: SWAP2 00000327: SWAP3 00000328: SWAP1 00000329: DUP1 0000032a: CALLDATALOAD 0000032b: SWAP1 0000032c: PUSH1 0x20 0000032e: ADD 0000032f: SWAP1 00000330: SWAP3 00000331: SWAP2 00000332: SWAP1 00000333: POP 00000334: POP 00000335: POP 00000336: PUSH2 0x0b95 00000339: JUMP 0000033a: JUMPDEST 0000033b: STOP 0000033c: JUMPDEST 0000033d: CALLVALUE 0000033e: DUP1 0000033f: ISZERO 00000340: PUSH2 0x0348 00000343: JUMPI 00000344: PUSH1 0x00 00000346: DUP1 00000347: REVERT 00000348: JUMPDEST 00000349: POP 0000034a: PUSH2 0x0351 0000034d: PUSH2 0x0cde 00000350: JUMP 00000351: JUMPDEST 00000352: STOP 00000353: JUMPDEST 00000354: CALLVALUE 00000355: DUP1 00000356: ISZERO 00000357: PUSH2 0x035f 0000035a: JUMPI 0000035b: PUSH1 0x00 0000035d: DUP1 0000035e: REVERT 0000035f: JUMPDEST 00000360: POP 00000361: PUSH2 0x0368 00000364: PUSH2 0x0e4e 00000367: JUMP 00000368: JUMPDEST 00000369: PUSH1 0x40 0000036b: MLOAD 0000036c: DUP1 0000036d: DUP3 0000036e: DUP2 0000036f: MSTORE 00000370: PUSH1 0x20 00000372: ADD 00000373: SWAP2 00000374: POP 00000375: POP 00000376: PUSH1 0x40 00000378: MLOAD 00000379: DUP1 0000037a: SWAP2 0000037b: SUB 0000037c: SWAP1 0000037d: RETURN 0000037e: JUMPDEST 0000037f: CALLVALUE 00000380: DUP1 00000381: ISZERO 00000382: PUSH2 0x038a 00000385: JUMPI 00000386: PUSH1 0x00 00000388: DUP1 00000389: REVERT 0000038a: JUMPDEST 0000038b: POP 0000038c: PUSH2 0x0393 0000038f: PUSH2 0x0e54 00000392: JUMP 00000393: JUMPDEST 00000394: STOP 00000395: JUMPDEST 00000396: CALLVALUE 00000397: DUP1 00000398: ISZERO 00000399: PUSH2 0x03a1 0000039c: JUMPI 0000039d: PUSH1 0x00 0000039f: DUP1 000003a0: REVERT 000003a1: JUMPDEST 000003a2: POP 000003a3: PUSH2 0x03aa 000003a6: PUSH2 0x0f20 000003a9: JUMP 000003aa: JUMPDEST 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: DUP1 000003af: DUP3 000003b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c5: AND 000003c6: DUP2 000003c7: MSTORE 000003c8: PUSH1 0x20 000003ca: ADD 000003cb: SWAP2 000003cc: POP 000003cd: POP 000003ce: PUSH1 0x40 000003d0: MLOAD 000003d1: DUP1 000003d2: SWAP2 000003d3: SUB 000003d4: SWAP1 000003d5: RETURN 000003d6: JUMPDEST 000003d7: CALLVALUE 000003d8: DUP1 000003d9: ISZERO 000003da: PUSH2 0x03e2 000003dd: JUMPI 000003de: PUSH1 0x00 000003e0: DUP1 000003e1: REVERT 000003e2: JUMPDEST 000003e3: POP 000003e4: PUSH2 0x040f 000003e7: PUSH1 0x04 000003e9: DUP1 000003ea: CALLDATASIZE 000003eb: SUB 000003ec: PUSH1 0x20 000003ee: DUP2 000003ef: LT 000003f0: ISZERO 000003f1: PUSH2 0x03f9 000003f4: JUMPI 000003f5: PUSH1 0x00 000003f7: DUP1 000003f8: REVERT 000003f9: JUMPDEST 000003fa: DUP2 000003fb: ADD 000003fc: SWAP1 000003fd: DUP1 000003fe: DUP1 000003ff: CALLDATALOAD 00000400: SWAP1 00000401: PUSH1 0x20 00000403: ADD 00000404: SWAP1 00000405: SWAP3 00000406: SWAP2 00000407: SWAP1 00000408: POP 00000409: POP 0000040a: POP 0000040b: PUSH2 0x0f4a 0000040e: JUMP 0000040f: JUMPDEST 00000410: STOP 00000411: JUMPDEST 00000412: CALLVALUE 00000413: DUP1 00000414: ISZERO 00000415: PUSH2 0x041d 00000418: JUMPI 00000419: PUSH1 0x00 0000041b: DUP1 0000041c: REVERT 0000041d: JUMPDEST 0000041e: POP 0000041f: PUSH2 0x046a 00000422: PUSH1 0x04 00000424: DUP1 00000425: CALLDATASIZE 00000426: SUB 00000427: PUSH1 0x40 00000429: DUP2 0000042a: LT 0000042b: ISZERO 0000042c: PUSH2 0x0434 0000042f: JUMPI 00000430: PUSH1 0x00 00000432: DUP1 00000433: REVERT 00000434: JUMPDEST 00000435: DUP2 00000436: ADD 00000437: SWAP1 00000438: DUP1 00000439: DUP1 0000043a: CALLDATALOAD 0000043b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000450: AND 00000451: SWAP1 00000452: PUSH1 0x20 00000454: ADD 00000455: SWAP1 00000456: SWAP3 00000457: SWAP2 00000458: SWAP1 00000459: DUP1 0000045a: CALLDATALOAD 0000045b: SWAP1 0000045c: PUSH1 0x20 0000045e: ADD 0000045f: SWAP1 00000460: SWAP3 00000461: SWAP2 00000462: SWAP1 00000463: POP 00000464: POP 00000465: POP 00000466: PUSH2 0x10f4 00000469: JUMP 0000046a: JUMPDEST 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: DUP1 0000046f: DUP3 00000470: ISZERO 00000471: ISZERO 00000472: DUP2 00000473: MSTORE 00000474: PUSH1 0x20 00000476: ADD 00000477: SWAP2 00000478: POP 00000479: POP 0000047a: PUSH1 0x40 0000047c: MLOAD 0000047d: DUP1 0000047e: SWAP2 0000047f: SUB 00000480: SWAP1 00000481: RETURN 00000482: JUMPDEST 00000483: CALLVALUE 00000484: DUP1 00000485: ISZERO 00000486: PUSH2 0x048e 00000489: JUMPI 0000048a: PUSH1 0x00 0000048c: DUP1 0000048d: REVERT 0000048e: JUMPDEST 0000048f: POP 00000490: PUSH2 0x056f 00000493: PUSH1 0x04 00000495: DUP1 00000496: CALLDATASIZE 00000497: SUB 00000498: PUSH1 0x60 0000049a: DUP2 0000049b: LT 0000049c: ISZERO 0000049d: PUSH2 0x04a5 000004a0: JUMPI 000004a1: PUSH1 0x00 000004a3: DUP1 000004a4: REVERT 000004a5: JUMPDEST 000004a6: DUP2 000004a7: ADD 000004a8: SWAP1 000004a9: DUP1 000004aa: DUP1 000004ab: CALLDATALOAD 000004ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c1: AND 000004c2: SWAP1 000004c3: PUSH1 0x20 000004c5: ADD 000004c6: SWAP1 000004c7: SWAP3 000004c8: SWAP2 000004c9: SWAP1 000004ca: DUP1 000004cb: CALLDATALOAD 000004cc: SWAP1 000004cd: PUSH1 0x20 000004cf: ADD 000004d0: SWAP1 000004d1: SWAP3 000004d2: SWAP2 000004d3: SWAP1 000004d4: DUP1 000004d5: CALLDATALOAD 000004d6: SWAP1 000004d7: PUSH1 0x20 000004d9: ADD 000004da: SWAP1 000004db: PUSH5 0x0100000000 000004e1: DUP2 000004e2: GT 000004e3: ISZERO 000004e4: PUSH2 0x04ec 000004e7: JUMPI 000004e8: PUSH1 0x00 000004ea: DUP1 000004eb: REVERT 000004ec: JUMPDEST 000004ed: DUP3 000004ee: ADD 000004ef: DUP4 000004f0: PUSH1 0x20 000004f2: DUP3 000004f3: ADD 000004f4: GT 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: DUP1 00000500: CALLDATALOAD 00000501: SWAP1 00000502: PUSH1 0x20 00000504: ADD 00000505: SWAP2 00000506: DUP5 00000507: PUSH1 0x20 00000509: DUP4 0000050a: MUL 0000050b: DUP5 0000050c: ADD 0000050d: GT 0000050e: PUSH5 0x0100000000 00000514: DUP4 00000515: GT 00000516: OR 00000517: ISZERO 00000518: PUSH2 0x0520 0000051b: JUMPI 0000051c: PUSH1 0x00 0000051e: DUP1 0000051f: REVERT 00000520: JUMPDEST 00000521: SWAP2 00000522: SWAP1 00000523: DUP1 00000524: DUP1 00000525: PUSH1 0x20 00000527: MUL 00000528: PUSH1 0x20 0000052a: ADD 0000052b: PUSH1 0x40 0000052d: MLOAD 0000052e: SWAP1 0000052f: DUP2 00000530: ADD 00000531: PUSH1 0x40 00000533: MSTORE 00000534: DUP1 00000535: SWAP4 00000536: SWAP3 00000537: SWAP2 00000538: SWAP1 00000539: DUP2 0000053a: DUP2 0000053b: MSTORE 0000053c: PUSH1 0x20 0000053e: ADD 0000053f: DUP4 00000540: DUP4 00000541: PUSH1 0x20 00000543: MUL 00000544: DUP1 00000545: DUP3 00000546: DUP5 00000547: CALLDATACOPY 00000548: PUSH1 0x00 0000054a: DUP2 0000054b: DUP5 0000054c: ADD 0000054d: MSTORE 0000054e: PUSH1 0x1f 00000550: NOT 00000551: PUSH1 0x1f 00000553: DUP3 00000554: ADD 00000555: AND 00000556: SWAP1 00000557: POP 00000558: DUP1 00000559: DUP4 0000055a: ADD 0000055b: SWAP3 0000055c: POP 0000055d: POP 0000055e: POP 0000055f: POP 00000560: POP 00000561: POP 00000562: POP 00000563: SWAP2 00000564: SWAP3 00000565: SWAP2 00000566: SWAP3 00000567: SWAP1 00000568: POP 00000569: POP 0000056a: POP 0000056b: PUSH2 0x1123 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH1 0x40 00000572: MLOAD 00000573: DUP1 00000574: DUP3 00000575: ISZERO 00000576: ISZERO 00000577: DUP2 00000578: MSTORE 00000579: PUSH1 0x20 0000057b: ADD 0000057c: SWAP2 0000057d: POP 0000057e: POP 0000057f: PUSH1 0x40 00000581: MLOAD 00000582: DUP1 00000583: SWAP2 00000584: SUB 00000585: SWAP1 00000586: RETURN 00000587: JUMPDEST 00000588: CALLVALUE 00000589: DUP1 0000058a: ISZERO 0000058b: PUSH2 0x0593 0000058e: JUMPI 0000058f: PUSH1 0x00 00000591: DUP1 00000592: REVERT 00000593: JUMPDEST 00000594: POP 00000595: PUSH2 0x05d6 00000598: PUSH1 0x04 0000059a: DUP1 0000059b: CALLDATASIZE 0000059c: SUB 0000059d: PUSH1 0x20 0000059f: DUP2 000005a0: LT 000005a1: ISZERO 000005a2: PUSH2 0x05aa 000005a5: JUMPI 000005a6: PUSH1 0x00 000005a8: DUP1 000005a9: REVERT 000005aa: JUMPDEST 000005ab: DUP2 000005ac: ADD 000005ad: SWAP1 000005ae: DUP1 000005af: DUP1 000005b0: CALLDATALOAD 000005b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c6: AND 000005c7: SWAP1 000005c8: PUSH1 0x20 000005ca: ADD 000005cb: SWAP1 000005cc: SWAP3 000005cd: SWAP2 000005ce: SWAP1 000005cf: POP 000005d0: POP 000005d1: POP 000005d2: PUSH2 0x1184 000005d5: JUMP 000005d6: JUMPDEST 000005d7: STOP 000005d8: JUMPDEST 000005d9: PUSH1 0x65 000005db: SLOAD 000005dc: DUP2 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH1 0x68 000005e1: PUSH1 0x00 000005e3: SWAP1 000005e4: SLOAD 000005e5: SWAP1 000005e6: PUSH2 0x0100 000005e9: EXP 000005ea: SWAP1 000005eb: DIV 000005ec: PUSH1 0xff 000005ee: AND 000005ef: ISZERO 000005f0: PUSH2 0x0644 000005f3: JUMPI 000005f4: PUSH1 0x40 000005f6: MLOAD 000005f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000618: DUP2 00000619: MSTORE 0000061a: PUSH1 0x04 0000061c: ADD 0000061d: DUP1 0000061e: DUP1 0000061f: PUSH1 0x20 00000621: ADD 00000622: DUP3 00000623: DUP2 00000624: SUB 00000625: DUP3 00000626: MSTORE 00000627: PUSH1 0x24 00000629: DUP2 0000062a: MSTORE 0000062b: PUSH1 0x20 0000062d: ADD 0000062e: DUP1 0000062f: PUSH2 0x189f 00000632: PUSH1 0x24 00000634: SWAP2 00000635: CODECOPY 00000636: PUSH1 0x40 00000638: ADD 00000639: SWAP2 0000063a: POP 0000063b: POP 0000063c: PUSH1 0x40 0000063e: MLOAD 0000063f: DUP1 00000640: SWAP2 00000641: SUB 00000642: SWAP1 00000643: REVERT 00000644: JUMPDEST 00000645: PUSH2 0x0697 00000648: PUSH2 0x064f 0000064b: PUSH2 0x1379 0000064e: JUMP 0000064f: JUMPDEST 00000650: DUP5 00000651: DUP5 00000652: DUP5 00000653: DUP1 00000654: DUP1 00000655: PUSH1 0x20 00000657: MUL 00000658: PUSH1 0x20 0000065a: ADD 0000065b: PUSH1 0x40 0000065d: MLOAD 0000065e: SWAP1 0000065f: DUP2 00000660: ADD 00000661: PUSH1 0x40 00000663: MSTORE 00000664: DUP1 00000665: SWAP4 00000666: SWAP3 00000667: SWAP2 00000668: SWAP1 00000669: DUP2 0000066a: DUP2 0000066b: MSTORE 0000066c: PUSH1 0x20 0000066e: ADD 0000066f: DUP4 00000670: DUP4 00000671: PUSH1 0x20 00000673: MUL 00000674: DUP1 00000675: DUP3 00000676: DUP5 00000677: CALLDATACOPY 00000678: PUSH1 0x00 0000067a: DUP2 0000067b: DUP5 0000067c: ADD 0000067d: MSTORE 0000067e: PUSH1 0x1f 00000680: NOT 00000681: PUSH1 0x1f 00000683: DUP3 00000684: ADD 00000685: AND 00000686: SWAP1 00000687: POP 00000688: DUP1 00000689: DUP4 0000068a: ADD 0000068b: SWAP3 0000068c: POP 0000068d: POP 0000068e: POP 0000068f: POP 00000690: POP 00000691: POP 00000692: POP 00000693: PUSH2 0x1123 00000696: JUMP 00000697: JUMPDEST 00000698: PUSH2 0x0709 0000069b: JUMPI 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006c0: DUP2 000006c1: MSTORE 000006c2: PUSH1 0x04 000006c4: ADD 000006c5: DUP1 000006c6: DUP1 000006c7: PUSH1 0x20 000006c9: ADD 000006ca: DUP3 000006cb: DUP2 000006cc: SUB 000006cd: DUP3 000006ce: MSTORE 000006cf: PUSH1 0x20 000006d1: DUP2 000006d2: MSTORE 000006d3: PUSH1 0x20 000006d5: ADD 000006d6: DUP1 000006d7: PUSH32 0x5468652070726f6f6620636f756c64206e6f742062652076657269666965642e 000006f8: DUP2 000006f9: MSTORE 000006fa: POP 000006fb: PUSH1 0x20 000006fd: ADD 000006fe: SWAP2 000006ff: POP 00000700: POP 00000701: PUSH1 0x40 00000703: MLOAD 00000704: DUP1 00000705: SWAP2 00000706: SUB 00000707: SWAP1 00000708: REVERT 00000709: JUMPDEST 0000070a: PUSH1 0x66 0000070c: PUSH1 0x00 0000070e: PUSH2 0x0715 00000711: PUSH2 0x1379 00000714: JUMP 00000715: JUMPDEST 00000716: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072b: AND 0000072c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000741: AND 00000742: DUP2 00000743: MSTORE 00000744: PUSH1 0x20 00000746: ADD 00000747: SWAP1 00000748: DUP2 00000749: MSTORE 0000074a: PUSH1 0x20 0000074c: ADD 0000074d: PUSH1 0x00 0000074f: KECCAK256 00000750: PUSH1 0x00 00000752: PUSH1 0x67 00000754: SLOAD 00000755: DUP2 00000756: MSTORE 00000757: PUSH1 0x20 00000759: ADD 0000075a: SWAP1 0000075b: DUP2 0000075c: MSTORE 0000075d: PUSH1 0x20 0000075f: ADD 00000760: PUSH1 0x00 00000762: KECCAK256 00000763: PUSH1 0x00 00000765: SWAP1 00000766: SLOAD 00000767: SWAP1 00000768: PUSH2 0x0100 0000076b: EXP 0000076c: SWAP1 0000076d: DIV 0000076e: PUSH1 0xff 00000770: AND 00000771: ISZERO 00000772: PUSH2 0x07c6 00000775: JUMPI 00000776: PUSH1 0x40 00000778: MLOAD 00000779: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000079a: DUP2 0000079b: MSTORE 0000079c: PUSH1 0x04 0000079e: ADD 0000079f: DUP1 000007a0: DUP1 000007a1: PUSH1 0x20 000007a3: ADD 000007a4: DUP3 000007a5: DUP2 000007a6: SUB 000007a7: DUP3 000007a8: MSTORE 000007a9: PUSH1 0x2f 000007ab: DUP2 000007ac: MSTORE 000007ad: PUSH1 0x20 000007af: ADD 000007b0: DUP1 000007b1: PUSH2 0x1870 000007b4: PUSH1 0x2f 000007b6: SWAP2 000007b7: CODECOPY 000007b8: PUSH1 0x40 000007ba: ADD 000007bb: SWAP2 000007bc: POP 000007bd: POP 000007be: PUSH1 0x40 000007c0: MLOAD 000007c1: DUP1 000007c2: SWAP2 000007c3: SUB 000007c4: SWAP1 000007c5: REVERT 000007c6: JUMPDEST 000007c7: PUSH1 0x01 000007c9: PUSH1 0x66 000007cb: PUSH1 0x00 000007cd: PUSH2 0x07d4 000007d0: PUSH2 0x1379 000007d3: JUMP 000007d4: JUMPDEST 000007d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ea: AND 000007eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000800: AND 00000801: DUP2 00000802: MSTORE 00000803: PUSH1 0x20 00000805: ADD 00000806: SWAP1 00000807: DUP2 00000808: MSTORE 00000809: PUSH1 0x20 0000080b: ADD 0000080c: PUSH1 0x00 0000080e: KECCAK256 0000080f: PUSH1 0x00 00000811: PUSH1 0x67 00000813: SLOAD 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x20 00000818: ADD 00000819: SWAP1 0000081a: DUP2 0000081b: MSTORE 0000081c: PUSH1 0x20 0000081e: ADD 0000081f: PUSH1 0x00 00000821: KECCAK256 00000822: PUSH1 0x00 00000824: PUSH2 0x0100 00000827: EXP 00000828: DUP2 00000829: SLOAD 0000082a: DUP2 0000082b: PUSH1 0xff 0000082d: MUL 0000082e: NOT 0000082f: AND 00000830: SWAP1 00000831: DUP4 00000832: ISZERO 00000833: ISZERO 00000834: MUL 00000835: OR 00000836: SWAP1 00000837: SSTORE 00000838: POP 00000839: PUSH1 0x00 0000083b: PUSH2 0x0842 0000083e: PUSH2 0x1379 00000841: JUMP 00000842: JUMPDEST 00000843: SWAP1 00000844: POP 00000845: DUP1 00000846: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085b: AND 0000085c: PUSH2 0x08fc 0000085f: DUP6 00000860: SWAP1 00000861: DUP2 00000862: ISZERO 00000863: MUL 00000864: SWAP1 00000865: PUSH1 0x40 00000867: MLOAD 00000868: PUSH1 0x00 0000086a: PUSH1 0x40 0000086c: MLOAD 0000086d: DUP1 0000086e: DUP4 0000086f: SUB 00000870: DUP2 00000871: DUP6 00000872: DUP9 00000873: DUP9 00000874: CALL 00000875: SWAP4 00000876: POP 00000877: POP 00000878: POP 00000879: POP 0000087a: ISZERO 0000087b: DUP1 0000087c: ISZERO 0000087d: PUSH2 0x088a 00000880: JUMPI 00000881: RETURNDATASIZE 00000882: PUSH1 0x00 00000884: DUP1 00000885: RETURNDATACOPY 00000886: RETURNDATASIZE 00000887: PUSH1 0x00 00000889: REVERT 0000088a: JUMPDEST 0000088b: POP 0000088c: PUSH1 0x67 0000088e: SLOAD 0000088f: PUSH2 0x0896 00000892: PUSH2 0x1379 00000895: JUMP 00000896: JUMPDEST 00000897: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ac: AND 000008ad: PUSH1 0x65 000008af: SLOAD 000008b0: PUSH31 0xf26f7fcd9e9238aed6e2f9ee35e05d5f84b0d8659e2235a2a61377c9417002 000008d0: DUP8 000008d1: PUSH1 0x40 000008d3: MLOAD 000008d4: DUP1 000008d5: DUP3 000008d6: DUP2 000008d7: MSTORE 000008d8: PUSH1 0x20 000008da: ADD 000008db: SWAP2 000008dc: POP 000008dd: POP 000008de: PUSH1 0x40 000008e0: MLOAD 000008e1: DUP1 000008e2: SWAP2 000008e3: SUB 000008e4: SWAP1 000008e5: LOG4 000008e6: POP 000008e7: POP 000008e8: POP 000008e9: POP 000008ea: JUMP 000008eb: JUMPDEST 000008ec: PUSH2 0x08f3 000008ef: PUSH2 0x1379 000008f2: JUMP 000008f3: JUMPDEST 000008f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000909: AND 0000090a: PUSH2 0x0911 0000090d: PUSH2 0x0f20 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000927: AND 00000928: EQ 00000929: PUSH2 0x099a 0000092c: JUMPI 0000092d: PUSH1 0x40 0000092f: MLOAD 00000930: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000951: DUP2 00000952: MSTORE 00000953: PUSH1 0x04 00000955: ADD 00000956: DUP1 00000957: DUP1 00000958: PUSH1 0x20 0000095a: ADD 0000095b: DUP3 0000095c: DUP2 0000095d: SUB 0000095e: DUP3 0000095f: MSTORE 00000960: PUSH1 0x20 00000962: DUP2 00000963: MSTORE 00000964: PUSH1 0x20 00000966: ADD 00000967: DUP1 00000968: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000989: DUP2 0000098a: MSTORE 0000098b: POP 0000098c: PUSH1 0x20 0000098e: ADD 0000098f: SWAP2 00000990: POP 00000991: POP 00000992: PUSH1 0x40 00000994: MLOAD 00000995: DUP1 00000996: SWAP2 00000997: SUB 00000998: SWAP1 00000999: REVERT 0000099a: JUMPDEST 0000099b: PUSH1 0x00 0000099d: PUSH1 0x68 0000099f: PUSH1 0x00 000009a1: PUSH2 0x0100 000009a4: EXP 000009a5: DUP2 000009a6: SLOAD 000009a7: DUP2 000009a8: PUSH1 0xff 000009aa: MUL 000009ab: NOT 000009ac: AND 000009ad: SWAP1 000009ae: DUP4 000009af: ISZERO 000009b0: ISZERO 000009b1: MUL 000009b2: OR 000009b3: SWAP1 000009b4: SSTORE 000009b5: POP 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH2 0x09bf 000009bb: PUSH2 0x1379 000009be: JUMP 000009bf: JUMPDEST 000009c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d5: AND 000009d6: PUSH2 0x09dd 000009d9: PUSH2 0x0f20 000009dc: JUMP 000009dd: JUMPDEST 000009de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f3: AND 000009f4: EQ 000009f5: PUSH2 0x0a66 000009f8: JUMPI 000009f9: PUSH1 0x40 000009fb: MLOAD 000009fc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a1d: DUP2 00000a1e: MSTORE 00000a1f: PUSH1 0x04 00000a21: ADD 00000a22: DUP1 00000a23: DUP1 00000a24: PUSH1 0x20 00000a26: ADD 00000a27: DUP3 00000a28: DUP2 00000a29: SUB 00000a2a: DUP3 00000a2b: MSTORE 00000a2c: PUSH1 0x20 00000a2e: DUP2 00000a2f: MSTORE 00000a30: PUSH1 0x20 00000a32: ADD 00000a33: DUP1 00000a34: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000a55: DUP2 00000a56: MSTORE 00000a57: POP 00000a58: PUSH1 0x20 00000a5a: ADD 00000a5b: SWAP2 00000a5c: POP 00000a5d: POP 00000a5e: PUSH1 0x40 00000a60: MLOAD 00000a61: DUP1 00000a62: SWAP2 00000a63: SUB 00000a64: SWAP1 00000a65: REVERT 00000a66: JUMPDEST 00000a67: DUP1 00000a68: PUSH1 0x65 00000a6a: DUP2 00000a6b: SWAP1 00000a6c: SSTORE 00000a6d: POP 00000a6e: POP 00000a6f: JUMP 00000a70: JUMPDEST 00000a71: PUSH1 0x68 00000a73: PUSH1 0x00 00000a75: SWAP1 00000a76: SLOAD 00000a77: SWAP1 00000a78: PUSH2 0x0100 00000a7b: EXP 00000a7c: SWAP1 00000a7d: DIV 00000a7e: PUSH1 0xff 00000a80: AND 00000a81: DUP2 00000a82: JUMP 00000a83: JUMPDEST 00000a84: PUSH2 0x0a8b 00000a87: PUSH2 0x1379 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa1: AND 00000aa2: PUSH2 0x0aa9 00000aa5: PUSH2 0x0f20 00000aa8: JUMP 00000aa9: JUMPDEST 00000aaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000abf: AND 00000ac0: EQ 00000ac1: PUSH2 0x0b32 00000ac4: JUMPI 00000ac5: PUSH1 0x40 00000ac7: MLOAD 00000ac8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ae9: DUP2 00000aea: MSTORE 00000aeb: PUSH1 0x04 00000aed: ADD 00000aee: DUP1 00000aef: DUP1 00000af0: PUSH1 0x20 00000af2: ADD 00000af3: DUP3 00000af4: DUP2 00000af5: SUB 00000af6: DUP3 00000af7: MSTORE 00000af8: PUSH1 0x20 00000afa: DUP2 00000afb: MSTORE 00000afc: PUSH1 0x20 00000afe: ADD 00000aff: DUP1 00000b00: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000b21: DUP2 00000b22: MSTORE 00000b23: POP 00000b24: PUSH1 0x20 00000b26: ADD 00000b27: SWAP2 00000b28: POP 00000b29: POP 00000b2a: PUSH1 0x40 00000b2c: MLOAD 00000b2d: DUP1 00000b2e: SWAP2 00000b2f: SUB 00000b30: SWAP1 00000b31: REVERT 00000b32: JUMPDEST 00000b33: PUSH1 0x01 00000b35: PUSH1 0x67 00000b37: SLOAD 00000b38: ADD 00000b39: PUSH1 0x67 00000b3b: DUP2 00000b3c: SWAP1 00000b3d: SSTORE 00000b3e: POP 00000b3f: DUP1 00000b40: PUSH1 0x65 00000b42: DUP2 00000b43: SWAP1 00000b44: SSTORE 00000b45: POP 00000b46: PUSH1 0x00 00000b48: PUSH1 0x68 00000b4a: PUSH1 0x00 00000b4c: PUSH2 0x0100 00000b4f: EXP 00000b50: DUP2 00000b51: SLOAD 00000b52: DUP2 00000b53: PUSH1 0xff 00000b55: MUL 00000b56: NOT 00000b57: AND 00000b58: SWAP1 00000b59: DUP4 00000b5a: ISZERO 00000b5b: ISZERO 00000b5c: MUL 00000b5d: OR 00000b5e: SWAP1 00000b5f: SSTORE 00000b60: POP 00000b61: PUSH1 0x65 00000b63: SLOAD 00000b64: PUSH1 0x67 00000b66: SLOAD 00000b67: PUSH32 0x567738e2bb1cd8ded1f4f85ada2d94f3ccd4956306e4347c0710f99a01141531 00000b88: PUSH1 0x40 00000b8a: MLOAD 00000b8b: PUSH1 0x40 00000b8d: MLOAD 00000b8e: DUP1 00000b8f: SWAP2 00000b90: SUB 00000b91: SWAP1 00000b92: LOG3 00000b93: POP 00000b94: JUMP 00000b95: JUMPDEST 00000b96: PUSH2 0x0b9d 00000b99: PUSH2 0x1379 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb3: AND 00000bb4: PUSH2 0x0bbb 00000bb7: PUSH2 0x0f20 00000bba: JUMP 00000bbb: JUMPDEST 00000bbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd1: AND 00000bd2: EQ 00000bd3: PUSH2 0x0c44 00000bd6: JUMPI 00000bd7: PUSH1 0x40 00000bd9: MLOAD 00000bda: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bfb: DUP2 00000bfc: MSTORE 00000bfd: PUSH1 0x04 00000bff: ADD 00000c00: DUP1 00000c01: DUP1 00000c02: PUSH1 0x20 00000c04: ADD 00000c05: DUP3 00000c06: DUP2 00000c07: SUB 00000c08: DUP3 00000c09: MSTORE 00000c0a: PUSH1 0x20 00000c0c: DUP2 00000c0d: MSTORE 00000c0e: PUSH1 0x20 00000c10: ADD 00000c11: DUP1 00000c12: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000c33: DUP2 00000c34: MSTORE 00000c35: POP 00000c36: PUSH1 0x20 00000c38: ADD 00000c39: SWAP2 00000c3a: POP 00000c3b: POP 00000c3c: PUSH1 0x40 00000c3e: MLOAD 00000c3f: DUP1 00000c40: SWAP2 00000c41: SUB 00000c42: SWAP1 00000c43: REVERT 00000c44: JUMPDEST 00000c45: PUSH1 0x00 00000c47: JUMPDEST 00000c48: DUP3 00000c49: MLOAD 00000c4a: DUP2 00000c4b: LT 00000c4c: ISZERO 00000c4d: PUSH2 0x0cd9 00000c50: JUMPI 00000c51: PUSH1 0x00 00000c53: PUSH1 0x66 00000c55: PUSH1 0x00 00000c57: DUP6 00000c58: DUP5 00000c59: DUP2 00000c5a: MLOAD 00000c5b: DUP2 00000c5c: LT 00000c5d: PUSH2 0x0c62 00000c60: JUMPI 00000c61: INVALID 00000c62: JUMPDEST 00000c63: PUSH1 0x20 00000c65: MUL 00000c66: PUSH1 0x20 00000c68: ADD 00000c69: ADD 00000c6a: MLOAD 00000c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c80: AND 00000c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c96: AND 00000c97: DUP2 00000c98: MSTORE 00000c99: PUSH1 0x20 00000c9b: ADD 00000c9c: SWAP1 00000c9d: DUP2 00000c9e: MSTORE 00000c9f: PUSH1 0x20 00000ca1: ADD 00000ca2: PUSH1 0x00 00000ca4: KECCAK256 00000ca5: PUSH1 0x00 00000ca7: DUP5 00000ca8: DUP2 00000ca9: MSTORE 00000caa: PUSH1 0x20 00000cac: ADD 00000cad: SWAP1 00000cae: DUP2 00000caf: MSTORE 00000cb0: PUSH1 0x20 00000cb2: ADD 00000cb3: PUSH1 0x00 00000cb5: KECCAK256 00000cb6: PUSH1 0x00 00000cb8: PUSH2 0x0100 00000cbb: EXP 00000cbc: DUP2 00000cbd: SLOAD 00000cbe: DUP2 00000cbf: PUSH1 0xff 00000cc1: MUL 00000cc2: NOT 00000cc3: AND 00000cc4: SWAP1 00000cc5: DUP4 00000cc6: ISZERO 00000cc7: ISZERO 00000cc8: MUL 00000cc9: OR 00000cca: SWAP1 00000ccb: SSTORE 00000ccc: POP 00000ccd: DUP1 00000cce: DUP1 00000ccf: PUSH1 0x01 00000cd1: ADD 00000cd2: SWAP2 00000cd3: POP 00000cd4: POP 00000cd5: PUSH2 0x0c47 00000cd8: JUMP 00000cd9: JUMPDEST 00000cda: POP 00000cdb: POP 00000cdc: POP 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: PUSH2 0x0ce6 00000ce2: PUSH2 0x1379 00000ce5: JUMP 00000ce6: JUMPDEST 00000ce7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cfc: AND 00000cfd: PUSH2 0x0d04 00000d00: PUSH2 0x0f20 00000d03: JUMP 00000d04: JUMPDEST 00000d05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d1a: AND 00000d1b: EQ 00000d1c: PUSH2 0x0d8d 00000d1f: JUMPI 00000d20: PUSH1 0x40 00000d22: MLOAD 00000d23: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d44: DUP2 00000d45: MSTORE 00000d46: PUSH1 0x04 00000d48: ADD 00000d49: DUP1 00000d4a: DUP1 00000d4b: PUSH1 0x20 00000d4d: ADD 00000d4e: DUP3 00000d4f: DUP2 00000d50: SUB 00000d51: DUP3 00000d52: MSTORE 00000d53: PUSH1 0x20 00000d55: DUP2 00000d56: MSTORE 00000d57: PUSH1 0x20 00000d59: ADD 00000d5a: DUP1 00000d5b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000d7c: DUP2 00000d7d: MSTORE 00000d7e: POP 00000d7f: PUSH1 0x20 00000d81: ADD 00000d82: SWAP2 00000d83: POP 00000d84: POP 00000d85: PUSH1 0x40 00000d87: MLOAD 00000d88: DUP1 00000d89: SWAP2 00000d8a: SUB 00000d8b: SWAP1 00000d8c: REVERT 00000d8d: JUMPDEST 00000d8e: PUSH1 0x00 00000d90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da5: AND 00000da6: PUSH1 0x33 00000da8: PUSH1 0x00 00000daa: SWAP1 00000dab: SLOAD 00000dac: SWAP1 00000dad: PUSH2 0x0100 00000db0: EXP 00000db1: SWAP1 00000db2: DIV 00000db3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc8: AND 00000dc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dde: AND 00000ddf: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e00: PUSH1 0x40 00000e02: MLOAD 00000e03: PUSH1 0x40 00000e05: MLOAD 00000e06: DUP1 00000e07: SWAP2 00000e08: SUB 00000e09: SWAP1 00000e0a: LOG3 00000e0b: PUSH1 0x00 00000e0d: PUSH1 0x33 00000e0f: PUSH1 0x00 00000e11: PUSH2 0x0100 00000e14: EXP 00000e15: DUP2 00000e16: SLOAD 00000e17: DUP2 00000e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2d: MUL 00000e2e: NOT 00000e2f: AND 00000e30: SWAP1 00000e31: DUP4 00000e32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e47: AND 00000e48: MUL 00000e49: OR 00000e4a: SWAP1 00000e4b: SSTORE 00000e4c: POP 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: PUSH1 0x67 00000e51: SLOAD 00000e52: DUP2 00000e53: JUMP 00000e54: JUMPDEST 00000e55: PUSH2 0x0e5c 00000e58: PUSH2 0x1379 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e72: AND 00000e73: PUSH2 0x0e7a 00000e76: PUSH2 0x0f20 00000e79: JUMP 00000e7a: JUMPDEST 00000e7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e90: AND 00000e91: EQ 00000e92: PUSH2 0x0f03 00000e95: JUMPI 00000e96: PUSH1 0x40 00000e98: MLOAD 00000e99: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eba: DUP2 00000ebb: MSTORE 00000ebc: PUSH1 0x04 00000ebe: ADD 00000ebf: DUP1 00000ec0: DUP1 00000ec1: PUSH1 0x20 00000ec3: ADD 00000ec4: DUP3 00000ec5: DUP2 00000ec6: SUB 00000ec7: DUP3 00000ec8: MSTORE 00000ec9: PUSH1 0x20 00000ecb: DUP2 00000ecc: MSTORE 00000ecd: PUSH1 0x20 00000ecf: ADD 00000ed0: DUP1 00000ed1: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000ef2: DUP2 00000ef3: MSTORE 00000ef4: POP 00000ef5: PUSH1 0x20 00000ef7: ADD 00000ef8: SWAP2 00000ef9: POP 00000efa: POP 00000efb: PUSH1 0x40 00000efd: MLOAD 00000efe: DUP1 00000eff: SWAP2 00000f00: SUB 00000f01: SWAP1 00000f02: REVERT 00000f03: JUMPDEST 00000f04: PUSH1 0x01 00000f06: PUSH1 0x68 00000f08: PUSH1 0x00 00000f0a: PUSH2 0x0100 00000f0d: EXP 00000f0e: DUP2 00000f0f: SLOAD 00000f10: DUP2 00000f11: PUSH1 0xff 00000f13: MUL 00000f14: NOT 00000f15: AND 00000f16: SWAP1 00000f17: DUP4 00000f18: ISZERO 00000f19: ISZERO 00000f1a: MUL 00000f1b: OR 00000f1c: SWAP1 00000f1d: SSTORE 00000f1e: POP 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: PUSH1 0x00 00000f23: PUSH1 0x33 00000f25: PUSH1 0x00 00000f27: SWAP1 00000f28: SLOAD 00000f29: SWAP1 00000f2a: PUSH2 0x0100 00000f2d: EXP 00000f2e: SWAP1 00000f2f: DIV 00000f30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f45: AND 00000f46: SWAP1 00000f47: POP 00000f48: SWAP1 00000f49: JUMP 00000f4a: JUMPDEST 00000f4b: PUSH1 0x00 00000f4d: PUSH1 0x01 00000f4f: SWAP1 00000f50: SLOAD 00000f51: SWAP1 00000f52: PUSH2 0x0100 00000f55: EXP 00000f56: SWAP1 00000f57: DIV 00000f58: PUSH1 0xff 00000f5a: AND 00000f5b: DUP1 00000f5c: PUSH2 0x0f69 00000f5f: JUMPI 00000f60: POP 00000f61: PUSH2 0x0f68 00000f64: PUSH2 0x1381 00000f67: JUMP 00000f68: JUMPDEST 00000f69: JUMPDEST 00000f6a: DUP1 00000f6b: PUSH2 0x0f7f 00000f6e: JUMPI 00000f6f: POP 00000f70: PUSH1 0x00 00000f72: DUP1 00000f73: SLOAD 00000f74: SWAP1 00000f75: PUSH2 0x0100 00000f78: EXP 00000f79: SWAP1 00000f7a: DIV 00000f7b: PUSH1 0xff 00000f7d: AND 00000f7e: ISZERO 00000f7f: JUMPDEST 00000f80: PUSH2 0x0fd4 00000f83: JUMPI 00000f84: PUSH1 0x40 00000f86: MLOAD 00000f87: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fa8: DUP2 00000fa9: MSTORE 00000faa: PUSH1 0x04 00000fac: ADD 00000fad: DUP1 00000fae: DUP1 00000faf: PUSH1 0x20 00000fb1: ADD 00000fb2: DUP3 00000fb3: DUP2 00000fb4: SUB 00000fb5: DUP3 00000fb6: MSTORE 00000fb7: PUSH1 0x2e 00000fb9: DUP2 00000fba: MSTORE 00000fbb: PUSH1 0x20 00000fbd: ADD 00000fbe: DUP1 00000fbf: PUSH2 0x1842 00000fc2: PUSH1 0x2e 00000fc4: SWAP2 00000fc5: CODECOPY 00000fc6: PUSH1 0x40 00000fc8: ADD 00000fc9: SWAP2 00000fca: POP 00000fcb: POP 00000fcc: PUSH1 0x40 00000fce: MLOAD 00000fcf: DUP1 00000fd0: SWAP2 00000fd1: SUB 00000fd2: SWAP1 00000fd3: REVERT 00000fd4: JUMPDEST 00000fd5: PUSH1 0x00 00000fd7: DUP1 00000fd8: PUSH1 0x01 00000fda: SWAP1 00000fdb: SLOAD 00000fdc: SWAP1 00000fdd: PUSH2 0x0100 00000fe0: EXP 00000fe1: SWAP1 00000fe2: DIV 00000fe3: PUSH1 0xff 00000fe5: AND 00000fe6: ISZERO 00000fe7: SWAP1 00000fe8: POP 00000fe9: DUP1 00000fea: ISZERO 00000feb: PUSH2 0x1024 00000fee: JUMPI 00000fef: PUSH1 0x01 00000ff1: PUSH1 0x00 00000ff3: PUSH1 0x01 00000ff5: PUSH2 0x0100 00000ff8: EXP 00000ff9: DUP2 00000ffa: SLOAD 00000ffb: DUP2 00000ffc: PUSH1 0xff 00000ffe: MUL 00000fff: NOT 00001000: AND 00001001: SWAP1 00001002: DUP4 00001003: ISZERO 00001004: ISZERO 00001005: MUL 00001006: OR 00001007: SWAP1 00001008: SSTORE 00001009: POP 0000100a: PUSH1 0x01 0000100c: PUSH1 0x00 0000100e: DUP1 0000100f: PUSH2 0x0100 00001012: EXP 00001013: DUP2 00001014: SLOAD 00001015: DUP2 00001016: PUSH1 0xff 00001018: MUL 00001019: NOT 0000101a: AND 0000101b: SWAP1 0000101c: DUP4 0000101d: ISZERO 0000101e: ISZERO 0000101f: MUL 00001020: OR 00001021: SWAP1 00001022: SSTORE 00001023: POP 00001024: JUMPDEST 00001025: PUSH1 0x00 00001027: DUP1 00001028: SHL 00001029: DUP3 0000102a: EQ 0000102b: ISZERO 0000102c: PUSH2 0x109d 0000102f: JUMPI 00001030: PUSH1 0x40 00001032: MLOAD 00001033: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001054: DUP2 00001055: MSTORE 00001056: PUSH1 0x04 00001058: ADD 00001059: DUP1 0000105a: DUP1 0000105b: PUSH1 0x20 0000105d: ADD 0000105e: DUP3 0000105f: DUP2 00001060: SUB 00001061: DUP3 00001062: MSTORE 00001063: PUSH1 0x19 00001065: DUP2 00001066: MSTORE 00001067: PUSH1 0x20 00001069: ADD 0000106a: DUP1 0000106b: PUSH32 0x4d65726b6c65526f6f742063616e7420626520656d7074792e00000000000000 0000108c: DUP2 0000108d: MSTORE 0000108e: POP 0000108f: PUSH1 0x20 00001091: ADD 00001092: SWAP2 00001093: POP 00001094: POP 00001095: PUSH1 0x40 00001097: MLOAD 00001098: DUP1 00001099: SWAP2 0000109a: SUB 0000109b: SWAP1 0000109c: REVERT 0000109d: JUMPDEST 0000109e: PUSH2 0x10a5 000010a1: PUSH2 0x1392 000010a4: JUMP 000010a5: JUMPDEST 000010a6: DUP2 000010a7: PUSH1 0x65 000010a9: DUP2 000010aa: SWAP1 000010ab: SSTORE 000010ac: POP 000010ad: PUSH1 0x00 000010af: PUSH1 0x67 000010b1: DUP2 000010b2: SWAP1 000010b3: SSTORE 000010b4: POP 000010b5: PUSH1 0x00 000010b7: PUSH1 0x68 000010b9: PUSH1 0x00 000010bb: PUSH2 0x0100 000010be: EXP 000010bf: DUP2 000010c0: SLOAD 000010c1: DUP2 000010c2: PUSH1 0xff 000010c4: MUL 000010c5: NOT 000010c6: AND 000010c7: SWAP1 000010c8: DUP4 000010c9: ISZERO 000010ca: ISZERO 000010cb: MUL 000010cc: OR 000010cd: SWAP1 000010ce: SSTORE 000010cf: POP 000010d0: DUP1 000010d1: ISZERO 000010d2: PUSH2 0x10f0 000010d5: JUMPI 000010d6: PUSH1 0x00 000010d8: DUP1 000010d9: PUSH1 0x01 000010db: PUSH2 0x0100 000010de: EXP 000010df: DUP2 000010e0: SLOAD 000010e1: DUP2 000010e2: PUSH1 0xff 000010e4: MUL 000010e5: NOT 000010e6: AND 000010e7: SWAP1 000010e8: DUP4 000010e9: ISZERO 000010ea: ISZERO 000010eb: MUL 000010ec: OR 000010ed: SWAP1 000010ee: SSTORE 000010ef: POP 000010f0: JUMPDEST 000010f1: POP 000010f2: POP 000010f3: JUMP 000010f4: JUMPDEST 000010f5: PUSH1 0x66 000010f7: PUSH1 0x20 000010f9: MSTORE 000010fa: DUP2 000010fb: PUSH1 0x00 000010fd: MSTORE 000010fe: PUSH1 0x40 00001100: PUSH1 0x00 00001102: KECCAK256 00001103: PUSH1 0x20 00001105: MSTORE 00001106: DUP1 00001107: PUSH1 0x00 00001109: MSTORE 0000110a: PUSH1 0x40 0000110c: PUSH1 0x00 0000110e: KECCAK256 0000110f: PUSH1 0x00 00001111: SWAP2 00001112: POP 00001113: SWAP2 00001114: POP 00001115: SWAP1 00001116: SLOAD 00001117: SWAP1 00001118: PUSH2 0x0100 0000111b: EXP 0000111c: SWAP1 0000111d: DIV 0000111e: PUSH1 0xff 00001120: AND 00001121: DUP2 00001122: JUMP 00001123: JUMPDEST 00001124: PUSH1 0x00 00001126: DUP1 00001127: DUP5 00001128: DUP5 00001129: PUSH1 0x40 0000112b: MLOAD 0000112c: PUSH1 0x20 0000112e: ADD 0000112f: DUP1 00001130: DUP4 00001131: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001146: AND 00001147: PUSH1 0x60 00001149: SHL 0000114a: DUP2 0000114b: MSTORE 0000114c: PUSH1 0x14 0000114e: ADD 0000114f: DUP3 00001150: DUP2 00001151: MSTORE 00001152: PUSH1 0x20 00001154: ADD 00001155: SWAP3 00001156: POP 00001157: POP 00001158: POP 00001159: PUSH1 0x40 0000115b: MLOAD 0000115c: PUSH1 0x20 0000115e: DUP2 0000115f: DUP4 00001160: SUB 00001161: SUB 00001162: DUP2 00001163: MSTORE 00001164: SWAP1 00001165: PUSH1 0x40 00001167: MSTORE 00001168: DUP1 00001169: MLOAD 0000116a: SWAP1 0000116b: PUSH1 0x20 0000116d: ADD 0000116e: KECCAK256 0000116f: SWAP1 00001170: POP 00001171: PUSH2 0x117a 00001174: DUP2 00001175: DUP5 00001176: PUSH2 0x14a0 00001179: JUMP 0000117a: JUMPDEST 0000117b: SWAP2 0000117c: POP 0000117d: POP 0000117e: SWAP4 0000117f: SWAP3 00001180: POP 00001181: POP 00001182: POP 00001183: JUMP 00001184: JUMPDEST 00001185: PUSH2 0x118c 00001188: PUSH2 0x1379 0000118b: JUMP 0000118c: JUMPDEST 0000118d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a2: AND 000011a3: PUSH2 0x11aa 000011a6: PUSH2 0x0f20 000011a9: JUMP 000011aa: JUMPDEST 000011ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c0: AND 000011c1: EQ 000011c2: PUSH2 0x1233 000011c5: JUMPI 000011c6: PUSH1 0x40 000011c8: MLOAD 000011c9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011ea: DUP2 000011eb: MSTORE 000011ec: PUSH1 0x04 000011ee: ADD 000011ef: DUP1 000011f0: DUP1 000011f1: PUSH1 0x20 000011f3: ADD 000011f4: DUP3 000011f5: DUP2 000011f6: SUB 000011f7: DUP3 000011f8: MSTORE 000011f9: PUSH1 0x20 000011fb: DUP2 000011fc: MSTORE 000011fd: PUSH1 0x20 000011ff: ADD 00001200: DUP1 00001201: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001222: DUP2 00001223: MSTORE 00001224: POP 00001225: PUSH1 0x20 00001227: ADD 00001228: SWAP2 00001229: POP 0000122a: POP 0000122b: PUSH1 0x40 0000122d: MLOAD 0000122e: DUP1 0000122f: SWAP2 00001230: SUB 00001231: SWAP1 00001232: REVERT 00001233: JUMPDEST 00001234: PUSH1 0x00 00001236: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000124b: AND 0000124c: DUP2 0000124d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001262: AND 00001263: EQ 00001264: ISZERO 00001265: PUSH2 0x12b9 00001268: JUMPI 00001269: PUSH1 0x40 0000126b: MLOAD 0000126c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000128d: DUP2 0000128e: MSTORE 0000128f: PUSH1 0x04 00001291: ADD 00001292: DUP1 00001293: DUP1 00001294: PUSH1 0x20 00001296: ADD 00001297: DUP3 00001298: DUP2 00001299: SUB 0000129a: DUP3 0000129b: MSTORE 0000129c: PUSH1 0x26 0000129e: DUP2 0000129f: MSTORE 000012a0: PUSH1 0x20 000012a2: ADD 000012a3: DUP1 000012a4: PUSH2 0x181c 000012a7: PUSH1 0x26 000012a9: SWAP2 000012aa: CODECOPY 000012ab: PUSH1 0x40 000012ad: ADD 000012ae: SWAP2 000012af: POP 000012b0: POP 000012b1: PUSH1 0x40 000012b3: MLOAD 000012b4: DUP1 000012b5: SWAP2 000012b6: SUB 000012b7: SWAP1 000012b8: REVERT 000012b9: JUMPDEST 000012ba: DUP1 000012bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d0: AND 000012d1: PUSH1 0x33 000012d3: PUSH1 0x00 000012d5: SWAP1 000012d6: SLOAD 000012d7: SWAP1 000012d8: PUSH2 0x0100 000012db: EXP 000012dc: SWAP1 000012dd: DIV 000012de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f3: AND 000012f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001309: AND 0000130a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000132b: PUSH1 0x40 0000132d: MLOAD 0000132e: PUSH1 0x40 00001330: MLOAD 00001331: DUP1 00001332: SWAP2 00001333: SUB 00001334: SWAP1 00001335: LOG3 00001336: DUP1 00001337: PUSH1 0x33 00001339: PUSH1 0x00 0000133b: PUSH2 0x0100 0000133e: EXP 0000133f: DUP2 00001340: SLOAD 00001341: DUP2 00001342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001357: MUL 00001358: NOT 00001359: AND 0000135a: SWAP1 0000135b: DUP4 0000135c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001371: AND 00001372: MUL 00001373: OR 00001374: SWAP1 00001375: SSTORE 00001376: POP 00001377: POP 00001378: JUMP 00001379: JUMPDEST 0000137a: PUSH1 0x00 0000137c: CALLER 0000137d: SWAP1 0000137e: POP 0000137f: SWAP1 00001380: JUMP 00001381: JUMPDEST 00001382: PUSH1 0x00 00001384: PUSH2 0x138c 00001387: ADDRESS 00001388: PUSH2 0x14ed 0000138b: JUMP 0000138c: JUMPDEST 0000138d: ISZERO 0000138e: SWAP1 0000138f: POP 00001390: SWAP1 00001391: JUMP 00001392: JUMPDEST 00001393: PUSH1 0x00 00001395: PUSH1 0x01 00001397: SWAP1 00001398: SLOAD 00001399: SWAP1 0000139a: PUSH2 0x0100 0000139d: EXP 0000139e: SWAP1 0000139f: DIV 000013a0: PUSH1 0xff 000013a2: AND 000013a3: DUP1 000013a4: PUSH2 0x13b1 000013a7: JUMPI 000013a8: POP 000013a9: PUSH2 0x13b0 000013ac: PUSH2 0x1381 000013af: JUMP 000013b0: JUMPDEST 000013b1: JUMPDEST 000013b2: DUP1 000013b3: PUSH2 0x13c7 000013b6: JUMPI 000013b7: POP 000013b8: PUSH1 0x00 000013ba: DUP1 000013bb: SLOAD 000013bc: SWAP1 000013bd: PUSH2 0x0100 000013c0: EXP 000013c1: SWAP1 000013c2: DIV 000013c3: PUSH1 0xff 000013c5: AND 000013c6: ISZERO 000013c7: JUMPDEST 000013c8: PUSH2 0x141c 000013cb: JUMPI 000013cc: PUSH1 0x40 000013ce: MLOAD 000013cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013f0: DUP2 000013f1: MSTORE 000013f2: PUSH1 0x04 000013f4: ADD 000013f5: DUP1 000013f6: DUP1 000013f7: PUSH1 0x20 000013f9: ADD 000013fa: DUP3 000013fb: DUP2 000013fc: SUB 000013fd: DUP3 000013fe: MSTORE 000013ff: PUSH1 0x2e 00001401: DUP2 00001402: MSTORE 00001403: PUSH1 0x20 00001405: ADD 00001406: DUP1 00001407: PUSH2 0x1842 0000140a: PUSH1 0x2e 0000140c: SWAP2 0000140d: CODECOPY 0000140e: PUSH1 0x40 00001410: ADD 00001411: SWAP2 00001412: POP 00001413: POP 00001414: PUSH1 0x40 00001416: MLOAD 00001417: DUP1 00001418: SWAP2 00001419: SUB 0000141a: SWAP1 0000141b: REVERT 0000141c: JUMPDEST 0000141d: PUSH1 0x00 0000141f: DUP1 00001420: PUSH1 0x01 00001422: SWAP1 00001423: SLOAD 00001424: SWAP1 00001425: PUSH2 0x0100 00001428: EXP 00001429: SWAP1 0000142a: DIV 0000142b: PUSH1 0xff 0000142d: AND 0000142e: ISZERO 0000142f: SWAP1 00001430: POP 00001431: DUP1 00001432: ISZERO 00001433: PUSH2 0x146c 00001436: JUMPI 00001437: PUSH1 0x01 00001439: PUSH1 0x00 0000143b: PUSH1 0x01 0000143d: PUSH2 0x0100 00001440: EXP 00001441: DUP2 00001442: SLOAD 00001443: DUP2 00001444: PUSH1 0xff 00001446: MUL 00001447: NOT 00001448: AND 00001449: SWAP1 0000144a: DUP4 0000144b: ISZERO 0000144c: ISZERO 0000144d: MUL 0000144e: OR 0000144f: SWAP1 00001450: SSTORE 00001451: POP 00001452: PUSH1 0x01 00001454: PUSH1 0x00 00001456: DUP1 00001457: PUSH2 0x0100 0000145a: EXP 0000145b: DUP2 0000145c: SLOAD 0000145d: DUP2 0000145e: PUSH1 0xff 00001460: MUL 00001461: NOT 00001462: AND 00001463: SWAP1 00001464: DUP4 00001465: ISZERO 00001466: ISZERO 00001467: MUL 00001468: OR 00001469: SWAP1 0000146a: SSTORE 0000146b: POP 0000146c: JUMPDEST 0000146d: PUSH2 0x1474 00001470: PUSH2 0x1500 00001473: JUMP 00001474: JUMPDEST 00001475: PUSH2 0x147c 00001478: PUSH2 0x15fe 0000147b: JUMP 0000147c: JUMPDEST 0000147d: DUP1 0000147e: ISZERO 0000147f: PUSH2 0x149d 00001482: JUMPI 00001483: PUSH1 0x00 00001485: DUP1 00001486: PUSH1 0x01 00001488: PUSH2 0x0100 0000148b: EXP 0000148c: DUP2 0000148d: SLOAD 0000148e: DUP2 0000148f: PUSH1 0xff 00001491: MUL 00001492: NOT 00001493: AND 00001494: SWAP1 00001495: DUP4 00001496: ISZERO 00001497: ISZERO 00001498: MUL 00001499: OR 0000149a: SWAP1 0000149b: SSTORE 0000149c: POP 0000149d: JUMPDEST 0000149e: POP 0000149f: JUMP 000014a0: JUMPDEST 000014a1: PUSH1 0x00 000014a3: DUP1 000014a4: DUP4 000014a5: SWAP1 000014a6: POP 000014a7: PUSH1 0x00 000014a9: JUMPDEST 000014aa: DUP4 000014ab: MLOAD 000014ac: DUP2 000014ad: LT 000014ae: ISZERO 000014af: PUSH2 0x14de 000014b2: JUMPI 000014b3: PUSH2 0x14cf 000014b6: DUP3 000014b7: DUP6 000014b8: DUP4 000014b9: DUP2 000014ba: MLOAD 000014bb: DUP2 000014bc: LT 000014bd: PUSH2 0x14c2 000014c0: JUMPI 000014c1: INVALID 000014c2: JUMPDEST 000014c3: PUSH1 0x20 000014c5: MUL 000014c6: PUSH1 0x20 000014c8: ADD 000014c9: ADD 000014ca: MLOAD 000014cb: PUSH2 0x17a5 000014ce: JUMP 000014cf: JUMPDEST 000014d0: SWAP2 000014d1: POP 000014d2: DUP1 000014d3: DUP1 000014d4: PUSH1 0x01 000014d6: ADD 000014d7: SWAP2 000014d8: POP 000014d9: POP 000014da: PUSH2 0x14a9 000014dd: JUMP 000014de: JUMPDEST 000014df: POP 000014e0: PUSH1 0x65 000014e2: SLOAD 000014e3: DUP2 000014e4: EQ 000014e5: SWAP2 000014e6: POP 000014e7: POP 000014e8: SWAP3 000014e9: SWAP2 000014ea: POP 000014eb: POP 000014ec: JUMP 000014ed: JUMPDEST 000014ee: PUSH1 0x00 000014f0: DUP1 000014f1: DUP3 000014f2: EXTCODESIZE 000014f3: SWAP1 000014f4: POP 000014f5: PUSH1 0x00 000014f7: DUP2 000014f8: GT 000014f9: SWAP2 000014fa: POP 000014fb: POP 000014fc: SWAP2 000014fd: SWAP1 000014fe: POP 000014ff: JUMP 00001500: JUMPDEST 00001501: PUSH1 0x00 00001503: PUSH1 0x01 00001505: SWAP1 00001506: SLOAD 00001507: SWAP1 00001508: PUSH2 0x0100 0000150b: EXP 0000150c: SWAP1 0000150d: DIV 0000150e: PUSH1 0xff 00001510: AND 00001511: DUP1 00001512: PUSH2 0x151f 00001515: JUMPI 00001516: POP 00001517: PUSH2 0x151e 0000151a: PUSH2 0x1381 0000151d: JUMP 0000151e: JUMPDEST 0000151f: JUMPDEST 00001520: DUP1 00001521: PUSH2 0x1535 00001524: JUMPI 00001525: POP 00001526: PUSH1 0x00 00001528: DUP1 00001529: SLOAD 0000152a: SWAP1 0000152b: PUSH2 0x0100 0000152e: EXP 0000152f: SWAP1 00001530: DIV 00001531: PUSH1 0xff 00001533: AND 00001534: ISZERO 00001535: JUMPDEST 00001536: PUSH2 0x158a 00001539: JUMPI 0000153a: PUSH1 0x40 0000153c: MLOAD 0000153d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000155e: DUP2 0000155f: MSTORE 00001560: PUSH1 0x04 00001562: ADD 00001563: DUP1 00001564: DUP1 00001565: PUSH1 0x20 00001567: ADD 00001568: DUP3 00001569: DUP2 0000156a: SUB 0000156b: DUP3 0000156c: MSTORE 0000156d: PUSH1 0x2e 0000156f: DUP2 00001570: MSTORE 00001571: PUSH1 0x20 00001573: ADD 00001574: DUP1 00001575: PUSH2 0x1842 00001578: PUSH1 0x2e 0000157a: SWAP2 0000157b: CODECOPY 0000157c: PUSH1 0x40 0000157e: ADD 0000157f: SWAP2 00001580: POP 00001581: POP 00001582: PUSH1 0x40 00001584: MLOAD 00001585: DUP1 00001586: SWAP2 00001587: SUB 00001588: SWAP1 00001589: REVERT 0000158a: JUMPDEST 0000158b: PUSH1 0x00 0000158d: DUP1 0000158e: PUSH1 0x01 00001590: SWAP1 00001591: SLOAD 00001592: SWAP1 00001593: PUSH2 0x0100 00001596: EXP 00001597: SWAP1 00001598: DIV 00001599: PUSH1 0xff 0000159b: AND 0000159c: ISZERO 0000159d: SWAP1 0000159e: POP 0000159f: DUP1 000015a0: ISZERO 000015a1: PUSH2 0x15da 000015a4: JUMPI 000015a5: PUSH1 0x01 000015a7: PUSH1 0x00 000015a9: PUSH1 0x01 000015ab: PUSH2 0x0100 000015ae: EXP 000015af: DUP2 000015b0: SLOAD 000015b1: DUP2 000015b2: PUSH1 0xff 000015b4: MUL 000015b5: NOT 000015b6: AND 000015b7: SWAP1 000015b8: DUP4 000015b9: ISZERO 000015ba: ISZERO 000015bb: MUL 000015bc: OR 000015bd: SWAP1 000015be: SSTORE 000015bf: POP 000015c0: PUSH1 0x01 000015c2: PUSH1 0x00 000015c4: DUP1 000015c5: PUSH2 0x0100 000015c8: EXP 000015c9: DUP2 000015ca: SLOAD 000015cb: DUP2 000015cc: PUSH1 0xff 000015ce: MUL 000015cf: NOT 000015d0: AND 000015d1: SWAP1 000015d2: DUP4 000015d3: ISZERO 000015d4: ISZERO 000015d5: MUL 000015d6: OR 000015d7: SWAP1 000015d8: SSTORE 000015d9: POP 000015da: JUMPDEST 000015db: DUP1 000015dc: ISZERO 000015dd: PUSH2 0x15fb 000015e0: JUMPI 000015e1: PUSH1 0x00 000015e3: DUP1 000015e4: PUSH1 0x01 000015e6: PUSH2 0x0100 000015e9: EXP 000015ea: DUP2 000015eb: SLOAD 000015ec: DUP2 000015ed: PUSH1 0xff 000015ef: MUL 000015f0: NOT 000015f1: AND 000015f2: SWAP1 000015f3: DUP4 000015f4: ISZERO 000015f5: ISZERO 000015f6: MUL 000015f7: OR 000015f8: SWAP1 000015f9: SSTORE 000015fa: POP 000015fb: JUMPDEST 000015fc: POP 000015fd: JUMP 000015fe: JUMPDEST 000015ff: PUSH1 0x00 00001601: PUSH1 0x01 00001603: SWAP1 00001604: SLOAD 00001605: SWAP1 00001606: PUSH2 0x0100 00001609: EXP 0000160a: SWAP1 0000160b: DIV 0000160c: PUSH1 0xff 0000160e: AND 0000160f: DUP1 00001610: PUSH2 0x161d 00001613: JUMPI 00001614: POP 00001615: PUSH2 0x161c 00001618: PUSH2 0x1381 0000161b: JUMP 0000161c: JUMPDEST 0000161d: JUMPDEST 0000161e: DUP1 0000161f: PUSH2 0x1633 00001622: JUMPI 00001623: POP 00001624: PUSH1 0x00 00001626: DUP1 00001627: SLOAD 00001628: SWAP1 00001629: PUSH2 0x0100 0000162c: EXP 0000162d: SWAP1 0000162e: DIV 0000162f: PUSH1 0xff 00001631: AND 00001632: ISZERO 00001633: JUMPDEST 00001634: PUSH2 0x1688 00001637: JUMPI 00001638: PUSH1 0x40 0000163a: MLOAD 0000163b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000165c: DUP2 0000165d: MSTORE 0000165e: PUSH1 0x04 00001660: ADD 00001661: DUP1 00001662: DUP1 00001663: PUSH1 0x20 00001665: ADD 00001666: DUP3 00001667: DUP2 00001668: SUB 00001669: DUP3 0000166a: MSTORE 0000166b: PUSH1 0x2e 0000166d: DUP2 0000166e: MSTORE 0000166f: PUSH1 0x20 00001671: ADD 00001672: DUP1 00001673: PUSH2 0x1842 00001676: PUSH1 0x2e 00001678: SWAP2 00001679: CODECOPY 0000167a: PUSH1 0x40 0000167c: ADD 0000167d: SWAP2 0000167e: POP 0000167f: POP 00001680: PUSH1 0x40 00001682: MLOAD 00001683: DUP1 00001684: SWAP2 00001685: SUB 00001686: SWAP1 00001687: REVERT 00001688: JUMPDEST 00001689: PUSH1 0x00 0000168b: DUP1 0000168c: PUSH1 0x01 0000168e: SWAP1 0000168f: SLOAD 00001690: SWAP1 00001691: PUSH2 0x0100 00001694: EXP 00001695: SWAP1 00001696: DIV 00001697: PUSH1 0xff 00001699: AND 0000169a: ISZERO 0000169b: SWAP1 0000169c: POP 0000169d: DUP1 0000169e: ISZERO 0000169f: PUSH2 0x16d8 000016a2: JUMPI 000016a3: PUSH1 0x01 000016a5: PUSH1 0x00 000016a7: PUSH1 0x01 000016a9: PUSH2 0x0100 000016ac: EXP 000016ad: DUP2 000016ae: SLOAD 000016af: DUP2 000016b0: PUSH1 0xff 000016b2: MUL 000016b3: NOT 000016b4: AND 000016b5: SWAP1 000016b6: DUP4 000016b7: ISZERO 000016b8: ISZERO 000016b9: MUL 000016ba: OR 000016bb: SWAP1 000016bc: SSTORE 000016bd: POP 000016be: PUSH1 0x01 000016c0: PUSH1 0x00 000016c2: DUP1 000016c3: PUSH2 0x0100 000016c6: EXP 000016c7: DUP2 000016c8: SLOAD 000016c9: DUP2 000016ca: PUSH1 0xff 000016cc: MUL 000016cd: NOT 000016ce: AND 000016cf: SWAP1 000016d0: DUP4 000016d1: ISZERO 000016d2: ISZERO 000016d3: MUL 000016d4: OR 000016d5: SWAP1 000016d6: SSTORE 000016d7: POP 000016d8: JUMPDEST 000016d9: PUSH1 0x00 000016db: PUSH2 0x16e2 000016de: PUSH2 0x1379 000016e1: JUMP 000016e2: JUMPDEST 000016e3: SWAP1 000016e4: POP 000016e5: DUP1 000016e6: PUSH1 0x33 000016e8: PUSH1 0x00 000016ea: PUSH2 0x0100 000016ed: EXP 000016ee: DUP2 000016ef: SLOAD 000016f0: DUP2 000016f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001706: MUL 00001707: NOT 00001708: AND 00001709: SWAP1 0000170a: DUP4 0000170b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001720: AND 00001721: MUL 00001722: OR 00001723: SWAP1 00001724: SSTORE 00001725: POP 00001726: DUP1 00001727: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000173c: AND 0000173d: PUSH1 0x00 0000173f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001754: AND 00001755: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001776: PUSH1 0x40 00001778: MLOAD 00001779: PUSH1 0x40 0000177b: MLOAD 0000177c: DUP1 0000177d: SWAP2 0000177e: SUB 0000177f: SWAP1 00001780: LOG3 00001781: POP 00001782: DUP1 00001783: ISZERO 00001784: PUSH2 0x17a2 00001787: JUMPI 00001788: PUSH1 0x00 0000178a: DUP1 0000178b: PUSH1 0x01 0000178d: PUSH2 0x0100 00001790: EXP 00001791: DUP2 00001792: SLOAD 00001793: DUP2 00001794: PUSH1 0xff 00001796: MUL 00001797: NOT 00001798: AND 00001799: SWAP1 0000179a: DUP4 0000179b: ISZERO 0000179c: ISZERO 0000179d: MUL 0000179e: OR 0000179f: SWAP1 000017a0: SSTORE 000017a1: POP 000017a2: JUMPDEST 000017a3: POP 000017a4: JUMP 000017a5: JUMPDEST 000017a6: PUSH1 0x00 000017a8: DUP2 000017a9: DUP4 000017aa: GT 000017ab: ISZERO 000017ac: PUSH2 0x17e3 000017af: JUMPI 000017b0: DUP2 000017b1: DUP4 000017b2: PUSH1 0x40 000017b4: MLOAD 000017b5: PUSH1 0x20 000017b7: ADD 000017b8: DUP1 000017b9: DUP4 000017ba: DUP2 000017bb: MSTORE 000017bc: PUSH1 0x20 000017be: ADD 000017bf: DUP3 000017c0: DUP2 000017c1: MSTORE 000017c2: PUSH1 0x20 000017c4: ADD 000017c5: SWAP3 000017c6: POP 000017c7: POP 000017c8: POP 000017c9: PUSH1 0x40 000017cb: MLOAD 000017cc: PUSH1 0x20 000017ce: DUP2 000017cf: DUP4 000017d0: SUB 000017d1: SUB 000017d2: DUP2 000017d3: MSTORE 000017d4: SWAP1 000017d5: PUSH1 0x40 000017d7: MSTORE 000017d8: DUP1 000017d9: MLOAD 000017da: SWAP1 000017db: PUSH1 0x20 000017dd: ADD 000017de: KECCAK256 000017df: PUSH2 0x1813 000017e2: JUMP 000017e3: JUMPDEST 000017e4: DUP3 000017e5: DUP3 000017e6: PUSH1 0x40 000017e8: MLOAD 000017e9: PUSH1 0x20 000017eb: ADD 000017ec: DUP1 000017ed: DUP4 000017ee: DUP2 000017ef: MSTORE 000017f0: PUSH1 0x20 000017f2: ADD 000017f3: DUP3 000017f4: DUP2 000017f5: MSTORE 000017f6: PUSH1 0x20 000017f8: ADD 000017f9: SWAP3 000017fa: POP 000017fb: POP 000017fc: POP 000017fd: PUSH1 0x40 000017ff: MLOAD 00001800: PUSH1 0x20 00001802: DUP2 00001803: DUP4 00001804: SUB 00001805: SUB 00001806: DUP2 00001807: MSTORE 00001808: SWAP1 00001809: PUSH1 0x40 0000180b: MSTORE 0000180c: DUP1 0000180d: MLOAD 0000180e: SWAP1 0000180f: PUSH1 0x20 00001811: ADD 00001812: KECCAK256 00001813: JUMPDEST 00001814: SWAP1 00001815: POP 00001816: SWAP3 00001817: SWAP2 00001818: POP 00001819: POP 0000181a: JUMP 0000181b: INVALID 0000181c: UNKNOWN(0x4F) 0000181d: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00001836: PUSH27 0x65726f2061646472657373496e697469616c697a61626c653a2063 00001852: PUSH16 0x6e747261637420697320616c72656164 00001863: PUSH26 0x20696e697469616c697a6564596f75206861766520616c726561 0000187e: PUSH5 0x7920776974 00001884: PUSH9 0x647261776e20796f75 0000188e: PUSH19 0x20656e7469746c656420746f6b656e2e43616e 000018a2: PUSH15 0x6f742063616c6c207768656e20636f 000018b2: PUSH15 0x747261637420697320706175736564 000018c2: UNKNOWN(0x2E) 000018c3: LOG2 000018c4: PUSH5 0x6970667358 000018ca: UNKNOWN(0x22) 000018cb: SLT 000018cc: KECCAK256 000018cd: UNKNOWN(0xB3) 000018ce: UNKNOWN(0xB2) 000018cf: DIFFICULTY 000018d0: UNKNOWN(0xF7) 000018d1: UNKNOWN(0xAC) 000018d2: OR 000018d3: UNKNOWN(0x4B) 000018d4: UNKNOWN(0x0D) 000018d5: DELEGATECALL 000018d6: DUP13 000018d7: UNKNOWN(0xA8) 000018d8: SELFDESTRUCT 000018d9: UNKNOWN(0x2B) 000018da: UNKNOWN(0xCD) 000018db: MUL 000018dc: UNKNOWN(0x24) 000018dd: EQ 000018de: UNKNOWN(0xD8) 000018df: GT 000018e0: SGT 000018e1: PUSH18 0xe6f2cf212fde2702f7eb8564736f6c634300 000018f4: SMOD 000018f5: SUB 000018f6: STOP 000018f7: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x1ebe4417f8493a0b4f2f619e86ffe4be0e7c5ecd78b951a41b6681769a0d1179
call_targets:
0xb661241653b0174e3d758cee01e320a1f4bcaebf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1ebe4417f8493a0b4f2f619e86ffe4be0e7c5ecd78b951a41b6681769a0d1179",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb661241653b0174e3d758cee01e320a1f4bcaebf"
],
"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": "0x9498bd71",
"selector": "0x9498bd71",
"calldata_variants": [
"0x9498bd71",
"0x9498bd710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaad1a008",
"selector": "0xaad1a008",
"calldata_variants": [
"0xaad1a008",
"0xaad1a0080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3709caf",
"selector": "0xc3709caf",
"calldata_variants": [
"0xc3709caf",
"0xc3709caf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72806c5a",
"selector": "0x72806c5a",
"calldata_variants": [
"0x72806c5a",
"0x72806c5a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2164,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x1ebe4417f8493a0b4f2f619e86ffe4be0e7c5ecd78b951a41b6681769a0d1179
call_targets:
0xb661241653b0174e3d758cee01e320a1f4bcaebf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1ebe4417f8493a0b4f2f619e86ffe4be0e7c5ecd78b951a41b6681769a0d1179",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb661241653b0174e3d758cee01e320a1f4bcaebf"
],
"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": "0x9498bd71",
"selector": "0x9498bd71",
"calldata_variants": [
"0x9498bd71",
"0x9498bd710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaad1a008",
"selector": "0xaad1a008",
"calldata_variants": [
"0xaad1a008",
"0xaad1a0080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3709caf",
"selector": "0xc3709caf",
"calldata_variants": [
"0xc3709caf",
"0xc3709caf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72806c5a",
"selector": "0x72806c5a",
"calldata_variants": [
"0x72806c5a",
"0x72806c5a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2164,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x74ba17671af8315489b85ff6e3cae77284bc7cc96003a5b88d712d8a643ea9ef
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 30,
"trace_id": "0x74ba17671af8315489b85ff6e3cae77284bc7cc96003a5b88d712d8a643ea9ef",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x9498bd71",
"selector": "0x9498bd71",
"calldata_variants": [
"0x9498bd71",
"0x9498bd710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaad1a008",
"selector": "0xaad1a008",
"calldata_variants": [
"0xaad1a008",
"0xaad1a0080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3709caf",
"selector": "0xc3709caf",
"calldata_variants": [
"0xc3709caf",
"0xc3709caf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72806c5a",
"selector": "0x72806c5a",
"calldata_variants": [
"0x72806c5a",
"0x72806c5a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|