019b477e-b9c3-7257-94cc-88f70fcd7561
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 |
|---|---|---|---|---|
| 23639 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23640 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90401 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 90402 | capability.graph | complete | 1 / 3 | 1 week ago |
| 90403 | detector.run | complete | 1 / 3 | 1 week ago |
| 90404 | 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 0x00e6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x0306 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x095ea7b3 00000047: EQ 00000048: PUSH2 0x0396 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x11eebb2e 00000052: EQ 00000053: PUSH2 0x03fb 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x18160ddd 0000005d: EQ 0000005e: PUSH2 0x0446 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x23b872dd 00000068: EQ 00000069: PUSH2 0x0471 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x313ce567 00000073: EQ 00000074: PUSH2 0x04f6 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x66188463 0000007e: EQ 0000007f: PUSH2 0x052d 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x70a08231 00000089: EQ 0000008a: PUSH2 0x0592 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x7695a638 00000094: EQ 00000095: PUSH2 0x05e9 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x85cda540 0000009f: EQ 000000a0: PUSH2 0x062a 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x95d89b41 000000aa: EQ 000000ab: PUSH2 0x0681 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xa9059cbb 000000b5: EQ 000000b6: PUSH2 0x0711 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xbdf3c4ae 000000c0: EQ 000000c1: PUSH2 0x0776 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xd73dd623 000000cb: EQ 000000cc: PUSH2 0x07a1 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xdd62ed3e 000000d6: EQ 000000d7: PUSH2 0x0806 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xf851a440 000000e1: EQ 000000e2: PUSH2 0x087d 000000e5: JUMPI 000000e6: JUMPDEST 000000e7: PUSH1 0x00 000000e9: PUSH2 0x00f4 000000ec: CALLVALUE 000000ed: PUSH1 0x03 000000ef: SLOAD 000000f0: PUSH2 0x08d4 000000f3: JUMP 000000f4: JUMPDEST 000000f5: SWAP1 000000f6: POP 000000f7: PUSH2 0x0169 000000fa: DUP2 000000fb: PUSH1 0x04 000000fd: PUSH1 0x00 000000ff: DUP1 00000100: PUSH1 0x00 00000102: SWAP1 00000103: SLOAD 00000104: SWAP1 00000105: PUSH2 0x0100 00000108: EXP 00000109: SWAP1 0000010a: DIV 0000010b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000120: AND 00000121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000136: AND 00000137: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000014c: AND 0000014d: DUP2 0000014e: MSTORE 0000014f: PUSH1 0x20 00000151: ADD 00000152: SWAP1 00000153: DUP2 00000154: MSTORE 00000155: PUSH1 0x20 00000157: ADD 00000158: PUSH1 0x00 0000015a: KECCAK256 0000015b: SLOAD 0000015c: PUSH2 0x094b 0000015f: SWAP1 00000160: SWAP2 00000161: SWAP1 00000162: PUSH4 0xffffffff 00000167: AND 00000168: JUMP 00000169: JUMPDEST 0000016a: PUSH1 0x04 0000016c: PUSH1 0x00 0000016e: DUP1 0000016f: PUSH1 0x00 00000171: SWAP1 00000172: SLOAD 00000173: SWAP1 00000174: PUSH2 0x0100 00000177: EXP 00000178: SWAP1 00000179: DIV 0000017a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000018f: AND 00000190: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a5: AND 000001a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001bb: AND 000001bc: DUP2 000001bd: MSTORE 000001be: PUSH1 0x20 000001c0: ADD 000001c1: SWAP1 000001c2: DUP2 000001c3: MSTORE 000001c4: PUSH1 0x20 000001c6: ADD 000001c7: PUSH1 0x00 000001c9: KECCAK256 000001ca: DUP2 000001cb: SWAP1 000001cc: SSTORE 000001cd: POP 000001ce: PUSH2 0x021f 000001d1: DUP2 000001d2: PUSH1 0x04 000001d4: PUSH1 0x00 000001d6: CALLER 000001d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ec: AND 000001ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000202: AND 00000203: DUP2 00000204: MSTORE 00000205: PUSH1 0x20 00000207: ADD 00000208: SWAP1 00000209: DUP2 0000020a: MSTORE 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: PUSH1 0x00 00000210: KECCAK256 00000211: SLOAD 00000212: PUSH2 0x0964 00000215: SWAP1 00000216: SWAP2 00000217: SWAP1 00000218: PUSH4 0xffffffff 0000021d: AND 0000021e: JUMP 0000021f: JUMPDEST 00000220: PUSH1 0x04 00000222: PUSH1 0x00 00000224: CALLER 00000225: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023a: AND 0000023b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000250: AND 00000251: DUP2 00000252: MSTORE 00000253: PUSH1 0x20 00000255: ADD 00000256: SWAP1 00000257: DUP2 00000258: MSTORE 00000259: PUSH1 0x20 0000025b: ADD 0000025c: PUSH1 0x00 0000025e: KECCAK256 0000025f: DUP2 00000260: SWAP1 00000261: SSTORE 00000262: POP 00000263: PUSH2 0x0277 00000266: DUP2 00000267: PUSH1 0x03 00000269: SLOAD 0000026a: PUSH2 0x094b 0000026d: SWAP1 0000026e: SWAP2 0000026f: SWAP1 00000270: PUSH4 0xffffffff 00000275: AND 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH1 0x03 0000027a: DUP2 0000027b: SWAP1 0000027c: SSTORE 0000027d: POP 0000027e: CALLER 0000027f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000294: AND 00000295: PUSH1 0x00 00000297: DUP1 00000298: SWAP1 00000299: SLOAD 0000029a: SWAP1 0000029b: PUSH2 0x0100 0000029e: EXP 0000029f: SWAP1 000002a0: DIV 000002a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b6: AND 000002b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002cc: AND 000002cd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000002ee: DUP4 000002ef: PUSH1 0x40 000002f1: MLOAD 000002f2: DUP1 000002f3: DUP3 000002f4: DUP2 000002f5: MSTORE 000002f6: PUSH1 0x20 000002f8: ADD 000002f9: SWAP2 000002fa: POP 000002fb: POP 000002fc: PUSH1 0x40 000002fe: MLOAD 000002ff: DUP1 00000300: SWAP2 00000301: SUB 00000302: SWAP1 00000303: LOG3 00000304: POP 00000305: STOP 00000306: JUMPDEST 00000307: CALLVALUE 00000308: DUP1 00000309: ISZERO 0000030a: PUSH2 0x0312 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP1 00000311: REVERT 00000312: JUMPDEST 00000313: POP 00000314: PUSH2 0x031b 00000317: PUSH2 0x0980 0000031a: JUMP 0000031b: JUMPDEST 0000031c: PUSH1 0x40 0000031e: MLOAD 0000031f: DUP1 00000320: DUP1 00000321: PUSH1 0x20 00000323: ADD 00000324: DUP3 00000325: DUP2 00000326: SUB 00000327: DUP3 00000328: MSTORE 00000329: DUP4 0000032a: DUP2 0000032b: DUP2 0000032c: MLOAD 0000032d: DUP2 0000032e: MSTORE 0000032f: PUSH1 0x20 00000331: ADD 00000332: SWAP2 00000333: POP 00000334: DUP1 00000335: MLOAD 00000336: SWAP1 00000337: PUSH1 0x20 00000339: ADD 0000033a: SWAP1 0000033b: DUP1 0000033c: DUP4 0000033d: DUP4 0000033e: PUSH1 0x00 00000340: JUMPDEST 00000341: DUP4 00000342: DUP2 00000343: LT 00000344: ISZERO 00000345: PUSH2 0x035b 00000348: JUMPI 00000349: DUP1 0000034a: DUP3 0000034b: ADD 0000034c: MLOAD 0000034d: DUP2 0000034e: DUP5 0000034f: ADD 00000350: MSTORE 00000351: PUSH1 0x20 00000353: DUP2 00000354: ADD 00000355: SWAP1 00000356: POP 00000357: PUSH2 0x0340 0000035a: JUMP 0000035b: JUMPDEST 0000035c: POP 0000035d: POP 0000035e: POP 0000035f: POP 00000360: SWAP1 00000361: POP 00000362: SWAP1 00000363: DUP2 00000364: ADD 00000365: SWAP1 00000366: PUSH1 0x1f 00000368: AND 00000369: DUP1 0000036a: ISZERO 0000036b: PUSH2 0x0388 0000036e: JUMPI 0000036f: DUP1 00000370: DUP3 00000371: SUB 00000372: DUP1 00000373: MLOAD 00000374: PUSH1 0x01 00000376: DUP4 00000377: PUSH1 0x20 00000379: SUB 0000037a: PUSH2 0x0100 0000037d: EXP 0000037e: SUB 0000037f: NOT 00000380: AND 00000381: DUP2 00000382: MSTORE 00000383: PUSH1 0x20 00000385: ADD 00000386: SWAP2 00000387: POP 00000388: JUMPDEST 00000389: POP 0000038a: SWAP3 0000038b: POP 0000038c: POP 0000038d: POP 0000038e: PUSH1 0x40 00000390: MLOAD 00000391: DUP1 00000392: SWAP2 00000393: SUB 00000394: SWAP1 00000395: RETURN 00000396: JUMPDEST 00000397: CALLVALUE 00000398: DUP1 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: POP 000003a4: PUSH2 0x03e1 000003a7: PUSH1 0x04 000003a9: DUP1 000003aa: CALLDATASIZE 000003ab: SUB 000003ac: DUP2 000003ad: ADD 000003ae: SWAP1 000003af: DUP1 000003b0: DUP1 000003b1: CALLDATALOAD 000003b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c7: AND 000003c8: SWAP1 000003c9: PUSH1 0x20 000003cb: ADD 000003cc: SWAP1 000003cd: SWAP3 000003ce: SWAP2 000003cf: SWAP1 000003d0: DUP1 000003d1: CALLDATALOAD 000003d2: SWAP1 000003d3: PUSH1 0x20 000003d5: ADD 000003d6: SWAP1 000003d7: SWAP3 000003d8: SWAP2 000003d9: SWAP1 000003da: POP 000003db: POP 000003dc: POP 000003dd: PUSH2 0x09b9 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x40 000003e4: MLOAD 000003e5: DUP1 000003e6: DUP3 000003e7: ISZERO 000003e8: ISZERO 000003e9: ISZERO 000003ea: ISZERO 000003eb: DUP2 000003ec: MSTORE 000003ed: PUSH1 0x20 000003ef: ADD 000003f0: SWAP2 000003f1: POP 000003f2: POP 000003f3: PUSH1 0x40 000003f5: MLOAD 000003f6: DUP1 000003f7: SWAP2 000003f8: SUB 000003f9: SWAP1 000003fa: RETURN 000003fb: JUMPDEST 000003fc: CALLVALUE 000003fd: DUP1 000003fe: ISZERO 000003ff: PUSH2 0x0407 00000402: JUMPI 00000403: PUSH1 0x00 00000405: DUP1 00000406: REVERT 00000407: JUMPDEST 00000408: POP 00000409: PUSH2 0x0430 0000040c: PUSH1 0x04 0000040e: DUP1 0000040f: CALLDATASIZE 00000410: SUB 00000411: DUP2 00000412: ADD 00000413: SWAP1 00000414: DUP1 00000415: DUP1 00000416: CALLDATALOAD 00000417: SWAP1 00000418: PUSH1 0x20 0000041a: ADD 0000041b: SWAP1 0000041c: SWAP3 0000041d: SWAP2 0000041e: SWAP1 0000041f: DUP1 00000420: CALLDATALOAD 00000421: SWAP1 00000422: PUSH1 0x20 00000424: ADD 00000425: SWAP1 00000426: SWAP3 00000427: SWAP2 00000428: SWAP1 00000429: POP 0000042a: POP 0000042b: POP 0000042c: PUSH2 0x08d4 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH1 0x40 00000433: MLOAD 00000434: DUP1 00000435: DUP3 00000436: DUP2 00000437: MSTORE 00000438: PUSH1 0x20 0000043a: ADD 0000043b: SWAP2 0000043c: POP 0000043d: POP 0000043e: PUSH1 0x40 00000440: MLOAD 00000441: DUP1 00000442: SWAP2 00000443: SUB 00000444: SWAP1 00000445: RETURN 00000446: JUMPDEST 00000447: CALLVALUE 00000448: DUP1 00000449: ISZERO 0000044a: PUSH2 0x0452 0000044d: JUMPI 0000044e: PUSH1 0x00 00000450: DUP1 00000451: REVERT 00000452: JUMPDEST 00000453: POP 00000454: PUSH2 0x045b 00000457: PUSH2 0x0aab 0000045a: JUMP 0000045b: JUMPDEST 0000045c: PUSH1 0x40 0000045e: MLOAD 0000045f: DUP1 00000460: DUP3 00000461: DUP2 00000462: MSTORE 00000463: PUSH1 0x20 00000465: ADD 00000466: SWAP2 00000467: POP 00000468: POP 00000469: PUSH1 0x40 0000046b: MLOAD 0000046c: DUP1 0000046d: SWAP2 0000046e: SUB 0000046f: SWAP1 00000470: RETURN 00000471: JUMPDEST 00000472: CALLVALUE 00000473: DUP1 00000474: ISZERO 00000475: PUSH2 0x047d 00000478: JUMPI 00000479: PUSH1 0x00 0000047b: DUP1 0000047c: REVERT 0000047d: JUMPDEST 0000047e: POP 0000047f: PUSH2 0x04dc 00000482: PUSH1 0x04 00000484: DUP1 00000485: CALLDATASIZE 00000486: SUB 00000487: DUP2 00000488: ADD 00000489: SWAP1 0000048a: DUP1 0000048b: DUP1 0000048c: CALLDATALOAD 0000048d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a2: AND 000004a3: SWAP1 000004a4: PUSH1 0x20 000004a6: ADD 000004a7: SWAP1 000004a8: SWAP3 000004a9: SWAP2 000004aa: SWAP1 000004ab: DUP1 000004ac: CALLDATALOAD 000004ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c2: AND 000004c3: SWAP1 000004c4: PUSH1 0x20 000004c6: ADD 000004c7: SWAP1 000004c8: SWAP3 000004c9: SWAP2 000004ca: SWAP1 000004cb: DUP1 000004cc: CALLDATALOAD 000004cd: SWAP1 000004ce: PUSH1 0x20 000004d0: ADD 000004d1: SWAP1 000004d2: SWAP3 000004d3: SWAP2 000004d4: SWAP1 000004d5: POP 000004d6: POP 000004d7: POP 000004d8: PUSH2 0x0ab5 000004db: JUMP 000004dc: JUMPDEST 000004dd: PUSH1 0x40 000004df: MLOAD 000004e0: DUP1 000004e1: DUP3 000004e2: ISZERO 000004e3: ISZERO 000004e4: ISZERO 000004e5: ISZERO 000004e6: DUP2 000004e7: MSTORE 000004e8: PUSH1 0x20 000004ea: ADD 000004eb: SWAP2 000004ec: POP 000004ed: POP 000004ee: PUSH1 0x40 000004f0: MLOAD 000004f1: DUP1 000004f2: SWAP2 000004f3: SUB 000004f4: SWAP1 000004f5: RETURN 000004f6: JUMPDEST 000004f7: CALLVALUE 000004f8: DUP1 000004f9: ISZERO 000004fa: PUSH2 0x0502 000004fd: JUMPI 000004fe: PUSH1 0x00 00000500: DUP1 00000501: REVERT 00000502: JUMPDEST 00000503: POP 00000504: PUSH2 0x050b 00000507: PUSH2 0x121e 0000050a: JUMP 0000050b: JUMPDEST 0000050c: PUSH1 0x40 0000050e: MLOAD 0000050f: DUP1 00000510: DUP3 00000511: PUSH4 0xffffffff 00000516: AND 00000517: PUSH4 0xffffffff 0000051c: AND 0000051d: DUP2 0000051e: MSTORE 0000051f: PUSH1 0x20 00000521: ADD 00000522: SWAP2 00000523: POP 00000524: POP 00000525: PUSH1 0x40 00000527: MLOAD 00000528: DUP1 00000529: SWAP2 0000052a: SUB 0000052b: SWAP1 0000052c: RETURN 0000052d: JUMPDEST 0000052e: CALLVALUE 0000052f: DUP1 00000530: ISZERO 00000531: PUSH2 0x0539 00000534: JUMPI 00000535: PUSH1 0x00 00000537: DUP1 00000538: REVERT 00000539: JUMPDEST 0000053a: POP 0000053b: PUSH2 0x0578 0000053e: PUSH1 0x04 00000540: DUP1 00000541: CALLDATASIZE 00000542: SUB 00000543: DUP2 00000544: ADD 00000545: SWAP1 00000546: DUP1 00000547: DUP1 00000548: CALLDATALOAD 00000549: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000055e: AND 0000055f: SWAP1 00000560: PUSH1 0x20 00000562: ADD 00000563: SWAP1 00000564: SWAP3 00000565: SWAP2 00000566: SWAP1 00000567: DUP1 00000568: CALLDATALOAD 00000569: SWAP1 0000056a: PUSH1 0x20 0000056c: ADD 0000056d: SWAP1 0000056e: SWAP3 0000056f: SWAP2 00000570: SWAP1 00000571: POP 00000572: POP 00000573: POP 00000574: PUSH2 0x1223 00000577: JUMP 00000578: JUMPDEST 00000579: PUSH1 0x40 0000057b: MLOAD 0000057c: DUP1 0000057d: DUP3 0000057e: ISZERO 0000057f: ISZERO 00000580: ISZERO 00000581: ISZERO 00000582: DUP2 00000583: MSTORE 00000584: PUSH1 0x20 00000586: ADD 00000587: SWAP2 00000588: POP 00000589: POP 0000058a: PUSH1 0x40 0000058c: MLOAD 0000058d: DUP1 0000058e: SWAP2 0000058f: SUB 00000590: SWAP1 00000591: RETURN 00000592: JUMPDEST 00000593: CALLVALUE 00000594: DUP1 00000595: ISZERO 00000596: PUSH2 0x059e 00000599: JUMPI 0000059a: PUSH1 0x00 0000059c: DUP1 0000059d: REVERT 0000059e: JUMPDEST 0000059f: POP 000005a0: PUSH2 0x05d3 000005a3: PUSH1 0x04 000005a5: DUP1 000005a6: CALLDATASIZE 000005a7: SUB 000005a8: DUP2 000005a9: ADD 000005aa: SWAP1 000005ab: DUP1 000005ac: DUP1 000005ad: CALLDATALOAD 000005ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c3: AND 000005c4: SWAP1 000005c5: PUSH1 0x20 000005c7: ADD 000005c8: SWAP1 000005c9: SWAP3 000005ca: SWAP2 000005cb: SWAP1 000005cc: POP 000005cd: POP 000005ce: POP 000005cf: PUSH2 0x14b4 000005d2: JUMP 000005d3: JUMPDEST 000005d4: PUSH1 0x40 000005d6: MLOAD 000005d7: DUP1 000005d8: DUP3 000005d9: DUP2 000005da: MSTORE 000005db: PUSH1 0x20 000005dd: ADD 000005de: SWAP2 000005df: POP 000005e0: POP 000005e1: PUSH1 0x40 000005e3: MLOAD 000005e4: DUP1 000005e5: SWAP2 000005e6: SUB 000005e7: SWAP1 000005e8: RETURN 000005e9: JUMPDEST 000005ea: CALLVALUE 000005eb: DUP1 000005ec: ISZERO 000005ed: PUSH2 0x05f5 000005f0: JUMPI 000005f1: PUSH1 0x00 000005f3: DUP1 000005f4: REVERT 000005f5: JUMPDEST 000005f6: POP 000005f7: PUSH2 0x0614 000005fa: PUSH1 0x04 000005fc: DUP1 000005fd: CALLDATASIZE 000005fe: SUB 000005ff: DUP2 00000600: ADD 00000601: SWAP1 00000602: DUP1 00000603: DUP1 00000604: CALLDATALOAD 00000605: SWAP1 00000606: PUSH1 0x20 00000608: ADD 00000609: SWAP1 0000060a: SWAP3 0000060b: SWAP2 0000060c: SWAP1 0000060d: POP 0000060e: POP 0000060f: POP 00000610: PUSH2 0x14fd 00000613: JUMP 00000614: JUMPDEST 00000615: PUSH1 0x40 00000617: MLOAD 00000618: DUP1 00000619: DUP3 0000061a: DUP2 0000061b: MSTORE 0000061c: PUSH1 0x20 0000061e: ADD 0000061f: SWAP2 00000620: POP 00000621: POP 00000622: PUSH1 0x40 00000624: MLOAD 00000625: DUP1 00000626: SWAP2 00000627: SUB 00000628: SWAP1 00000629: RETURN 0000062a: JUMPDEST 0000062b: CALLVALUE 0000062c: DUP1 0000062d: ISZERO 0000062e: PUSH2 0x0636 00000631: JUMPI 00000632: PUSH1 0x00 00000634: DUP1 00000635: REVERT 00000636: JUMPDEST 00000637: POP 00000638: PUSH2 0x063f 0000063b: PUSH2 0x154e 0000063e: JUMP 0000063f: JUMPDEST 00000640: PUSH1 0x40 00000642: MLOAD 00000643: DUP1 00000644: DUP3 00000645: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065a: AND 0000065b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000670: AND 00000671: DUP2 00000672: MSTORE 00000673: PUSH1 0x20 00000675: ADD 00000676: SWAP2 00000677: POP 00000678: POP 00000679: PUSH1 0x40 0000067b: MLOAD 0000067c: DUP1 0000067d: SWAP2 0000067e: SUB 0000067f: SWAP1 00000680: RETURN 00000681: JUMPDEST 00000682: CALLVALUE 00000683: DUP1 00000684: ISZERO 00000685: PUSH2 0x068d 00000688: JUMPI 00000689: PUSH1 0x00 0000068b: DUP1 0000068c: REVERT 0000068d: JUMPDEST 0000068e: POP 0000068f: PUSH2 0x0696 00000692: PUSH2 0x1574 00000695: JUMP 00000696: JUMPDEST 00000697: PUSH1 0x40 00000699: MLOAD 0000069a: DUP1 0000069b: DUP1 0000069c: PUSH1 0x20 0000069e: ADD 0000069f: DUP3 000006a0: DUP2 000006a1: SUB 000006a2: DUP3 000006a3: MSTORE 000006a4: DUP4 000006a5: DUP2 000006a6: DUP2 000006a7: MLOAD 000006a8: DUP2 000006a9: MSTORE 000006aa: PUSH1 0x20 000006ac: ADD 000006ad: SWAP2 000006ae: POP 000006af: DUP1 000006b0: MLOAD 000006b1: SWAP1 000006b2: PUSH1 0x20 000006b4: ADD 000006b5: SWAP1 000006b6: DUP1 000006b7: DUP4 000006b8: DUP4 000006b9: PUSH1 0x00 000006bb: JUMPDEST 000006bc: DUP4 000006bd: DUP2 000006be: LT 000006bf: ISZERO 000006c0: PUSH2 0x06d6 000006c3: JUMPI 000006c4: DUP1 000006c5: DUP3 000006c6: ADD 000006c7: MLOAD 000006c8: DUP2 000006c9: DUP5 000006ca: ADD 000006cb: MSTORE 000006cc: PUSH1 0x20 000006ce: DUP2 000006cf: ADD 000006d0: SWAP1 000006d1: POP 000006d2: PUSH2 0x06bb 000006d5: JUMP 000006d6: JUMPDEST 000006d7: POP 000006d8: POP 000006d9: POP 000006da: POP 000006db: SWAP1 000006dc: POP 000006dd: SWAP1 000006de: DUP2 000006df: ADD 000006e0: SWAP1 000006e1: PUSH1 0x1f 000006e3: AND 000006e4: DUP1 000006e5: ISZERO 000006e6: PUSH2 0x0703 000006e9: JUMPI 000006ea: DUP1 000006eb: DUP3 000006ec: SUB 000006ed: DUP1 000006ee: MLOAD 000006ef: PUSH1 0x01 000006f1: DUP4 000006f2: PUSH1 0x20 000006f4: SUB 000006f5: PUSH2 0x0100 000006f8: EXP 000006f9: SUB 000006fa: NOT 000006fb: AND 000006fc: DUP2 000006fd: MSTORE 000006fe: PUSH1 0x20 00000700: ADD 00000701: SWAP2 00000702: POP 00000703: JUMPDEST 00000704: POP 00000705: SWAP3 00000706: POP 00000707: POP 00000708: POP 00000709: PUSH1 0x40 0000070b: MLOAD 0000070c: DUP1 0000070d: SWAP2 0000070e: SUB 0000070f: SWAP1 00000710: RETURN 00000711: JUMPDEST 00000712: CALLVALUE 00000713: DUP1 00000714: ISZERO 00000715: PUSH2 0x071d 00000718: JUMPI 00000719: PUSH1 0x00 0000071b: DUP1 0000071c: REVERT 0000071d: JUMPDEST 0000071e: POP 0000071f: PUSH2 0x075c 00000722: PUSH1 0x04 00000724: DUP1 00000725: CALLDATASIZE 00000726: SUB 00000727: DUP2 00000728: ADD 00000729: SWAP1 0000072a: DUP1 0000072b: DUP1 0000072c: CALLDATALOAD 0000072d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000742: AND 00000743: SWAP1 00000744: PUSH1 0x20 00000746: ADD 00000747: SWAP1 00000748: SWAP3 00000749: SWAP2 0000074a: SWAP1 0000074b: DUP1 0000074c: CALLDATALOAD 0000074d: SWAP1 0000074e: PUSH1 0x20 00000750: ADD 00000751: SWAP1 00000752: SWAP3 00000753: SWAP2 00000754: SWAP1 00000755: POP 00000756: POP 00000757: POP 00000758: PUSH2 0x15ad 0000075b: JUMP 0000075c: JUMPDEST 0000075d: PUSH1 0x40 0000075f: MLOAD 00000760: DUP1 00000761: DUP3 00000762: ISZERO 00000763: ISZERO 00000764: ISZERO 00000765: ISZERO 00000766: DUP2 00000767: MSTORE 00000768: PUSH1 0x20 0000076a: ADD 0000076b: SWAP2 0000076c: POP 0000076d: POP 0000076e: PUSH1 0x40 00000770: MLOAD 00000771: DUP1 00000772: SWAP2 00000773: SUB 00000774: SWAP1 00000775: RETURN 00000776: JUMPDEST 00000777: CALLVALUE 00000778: DUP1 00000779: ISZERO 0000077a: PUSH2 0x0782 0000077d: JUMPI 0000077e: PUSH1 0x00 00000780: DUP1 00000781: REVERT 00000782: JUMPDEST 00000783: POP 00000784: PUSH2 0x078b 00000787: PUSH2 0x1a8e 0000078a: JUMP 0000078b: JUMPDEST 0000078c: PUSH1 0x40 0000078e: MLOAD 0000078f: DUP1 00000790: DUP3 00000791: DUP2 00000792: MSTORE 00000793: PUSH1 0x20 00000795: ADD 00000796: SWAP2 00000797: POP 00000798: POP 00000799: PUSH1 0x40 0000079b: MLOAD 0000079c: DUP1 0000079d: SWAP2 0000079e: SUB 0000079f: SWAP1 000007a0: RETURN 000007a1: JUMPDEST 000007a2: CALLVALUE 000007a3: DUP1 000007a4: ISZERO 000007a5: PUSH2 0x07ad 000007a8: JUMPI 000007a9: PUSH1 0x00 000007ab: DUP1 000007ac: REVERT 000007ad: JUMPDEST 000007ae: POP 000007af: PUSH2 0x07ec 000007b2: PUSH1 0x04 000007b4: DUP1 000007b5: CALLDATASIZE 000007b6: SUB 000007b7: DUP2 000007b8: ADD 000007b9: SWAP1 000007ba: DUP1 000007bb: DUP1 000007bc: CALLDATALOAD 000007bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d2: AND 000007d3: SWAP1 000007d4: PUSH1 0x20 000007d6: ADD 000007d7: SWAP1 000007d8: SWAP3 000007d9: SWAP2 000007da: SWAP1 000007db: DUP1 000007dc: CALLDATALOAD 000007dd: SWAP1 000007de: PUSH1 0x20 000007e0: ADD 000007e1: SWAP1 000007e2: SWAP3 000007e3: SWAP2 000007e4: SWAP1 000007e5: POP 000007e6: POP 000007e7: POP 000007e8: PUSH2 0x1a94 000007eb: JUMP 000007ec: JUMPDEST 000007ed: PUSH1 0x40 000007ef: MLOAD 000007f0: DUP1 000007f1: DUP3 000007f2: ISZERO 000007f3: ISZERO 000007f4: ISZERO 000007f5: ISZERO 000007f6: DUP2 000007f7: MSTORE 000007f8: PUSH1 0x20 000007fa: ADD 000007fb: SWAP2 000007fc: POP 000007fd: POP 000007fe: PUSH1 0x40 00000800: MLOAD 00000801: DUP1 00000802: SWAP2 00000803: SUB 00000804: SWAP1 00000805: RETURN 00000806: JUMPDEST 00000807: CALLVALUE 00000808: DUP1 00000809: ISZERO 0000080a: PUSH2 0x0812 0000080d: JUMPI 0000080e: PUSH1 0x00 00000810: DUP1 00000811: REVERT 00000812: JUMPDEST 00000813: POP 00000814: PUSH2 0x0867 00000817: PUSH1 0x04 00000819: DUP1 0000081a: CALLDATASIZE 0000081b: SUB 0000081c: DUP2 0000081d: ADD 0000081e: SWAP1 0000081f: DUP1 00000820: DUP1 00000821: CALLDATALOAD 00000822: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000837: AND 00000838: SWAP1 00000839: PUSH1 0x20 0000083b: ADD 0000083c: SWAP1 0000083d: SWAP3 0000083e: SWAP2 0000083f: SWAP1 00000840: DUP1 00000841: CALLDATALOAD 00000842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000857: AND 00000858: SWAP1 00000859: PUSH1 0x20 0000085b: ADD 0000085c: SWAP1 0000085d: SWAP3 0000085e: SWAP2 0000085f: SWAP1 00000860: POP 00000861: POP 00000862: POP 00000863: PUSH2 0x1c90 00000866: JUMP 00000867: JUMPDEST 00000868: PUSH1 0x40 0000086a: MLOAD 0000086b: DUP1 0000086c: DUP3 0000086d: DUP2 0000086e: MSTORE 0000086f: PUSH1 0x20 00000871: ADD 00000872: SWAP2 00000873: POP 00000874: POP 00000875: PUSH1 0x40 00000877: MLOAD 00000878: DUP1 00000879: SWAP2 0000087a: SUB 0000087b: SWAP1 0000087c: RETURN 0000087d: JUMPDEST 0000087e: CALLVALUE 0000087f: DUP1 00000880: ISZERO 00000881: PUSH2 0x0889 00000884: JUMPI 00000885: PUSH1 0x00 00000887: DUP1 00000888: REVERT 00000889: JUMPDEST 0000088a: POP 0000088b: PUSH2 0x0892 0000088e: PUSH2 0x1d17 00000891: JUMP 00000892: JUMPDEST 00000893: PUSH1 0x40 00000895: MLOAD 00000896: DUP1 00000897: DUP3 00000898: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ad: AND 000008ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c3: AND 000008c4: DUP2 000008c5: MSTORE 000008c6: PUSH1 0x20 000008c8: ADD 000008c9: SWAP2 000008ca: POP 000008cb: POP 000008cc: PUSH1 0x40 000008ce: MLOAD 000008cf: DUP1 000008d0: SWAP2 000008d1: SUB 000008d2: SWAP1 000008d3: RETURN 000008d4: JUMPDEST 000008d5: PUSH1 0x00 000008d7: JUMPDEST 000008d8: PUSH7 0x2386f26fc10000 000008e0: DUP4 000008e1: LT 000008e2: ISZERO 000008e3: ISZERO 000008e4: PUSH2 0x0942 000008e7: JUMPI 000008e8: PUSH2 0x0901 000008eb: PUSH7 0x2386f26fc10000 000008f3: DUP5 000008f4: PUSH2 0x094b 000008f7: SWAP1 000008f8: SWAP2 000008f9: SWAP1 000008fa: PUSH4 0xffffffff 000008ff: AND 00000900: JUMP 00000901: JUMPDEST 00000902: SWAP3 00000903: POP 00000904: PUSH2 0x2710 00000907: PUSH1 0x05 00000909: DUP4 0000090a: MUL 0000090b: DUP2 0000090c: ISZERO 0000090d: ISZERO 0000090e: PUSH2 0x0913 00000911: JUMPI 00000912: INVALID 00000913: JUMPDEST 00000914: DIV 00000915: DUP2 00000916: ADD 00000917: SWAP1 00000918: POP 00000919: PUSH2 0x093b 0000091c: PUSH2 0x2710 0000091f: PUSH1 0x05 00000921: DUP5 00000922: MUL 00000923: DUP2 00000924: ISZERO 00000925: ISZERO 00000926: PUSH2 0x092b 00000929: JUMPI 0000092a: INVALID 0000092b: JUMPDEST 0000092c: DIV 0000092d: DUP4 0000092e: PUSH2 0x094b 00000931: SWAP1 00000932: SWAP2 00000933: SWAP1 00000934: PUSH4 0xffffffff 00000939: AND 0000093a: JUMP 0000093b: JUMPDEST 0000093c: SWAP2 0000093d: POP 0000093e: PUSH2 0x08d7 00000941: JUMP 00000942: JUMPDEST 00000943: DUP1 00000944: SWAP1 00000945: POP 00000946: SWAP3 00000947: SWAP2 00000948: POP 00000949: POP 0000094a: JUMP 0000094b: JUMPDEST 0000094c: PUSH1 0x00 0000094e: DUP3 0000094f: DUP3 00000950: GT 00000951: ISZERO 00000952: ISZERO 00000953: ISZERO 00000954: PUSH2 0x0959 00000957: JUMPI 00000958: INVALID 00000959: JUMPDEST 0000095a: DUP2 0000095b: DUP4 0000095c: SUB 0000095d: SWAP1 0000095e: POP 0000095f: SWAP3 00000960: SWAP2 00000961: POP 00000962: POP 00000963: JUMP 00000964: JUMPDEST 00000965: PUSH1 0x00 00000967: DUP2 00000968: DUP4 00000969: ADD 0000096a: SWAP1 0000096b: POP 0000096c: DUP3 0000096d: DUP2 0000096e: LT 0000096f: ISZERO 00000970: ISZERO 00000971: ISZERO 00000972: PUSH2 0x0977 00000975: JUMPI 00000976: INVALID 00000977: JUMPDEST 00000978: DUP1 00000979: SWAP1 0000097a: POP 0000097b: SWAP3 0000097c: SWAP2 0000097d: POP 0000097e: POP 0000097f: JUMP 00000980: JUMPDEST 00000981: PUSH1 0x40 00000983: DUP1 00000984: MLOAD 00000985: SWAP1 00000986: DUP2 00000987: ADD 00000988: PUSH1 0x40 0000098a: MSTORE 0000098b: DUP1 0000098c: PUSH1 0x04 0000098e: DUP2 0000098f: MSTORE 00000990: PUSH1 0x20 00000992: ADD 00000993: PUSH32 0x5946483300000000000000000000000000000000000000000000000000000000 000009b4: DUP2 000009b5: MSTORE 000009b6: POP 000009b7: DUP2 000009b8: JUMP 000009b9: JUMPDEST 000009ba: PUSH1 0x00 000009bc: DUP2 000009bd: PUSH1 0x05 000009bf: PUSH1 0x00 000009c1: CALLER 000009c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d7: AND 000009d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ed: AND 000009ee: DUP2 000009ef: MSTORE 000009f0: PUSH1 0x20 000009f2: ADD 000009f3: SWAP1 000009f4: DUP2 000009f5: MSTORE 000009f6: PUSH1 0x20 000009f8: ADD 000009f9: PUSH1 0x00 000009fb: KECCAK256 000009fc: PUSH1 0x00 000009fe: DUP6 000009ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a14: AND 00000a15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2a: AND 00000a2b: DUP2 00000a2c: MSTORE 00000a2d: PUSH1 0x20 00000a2f: ADD 00000a30: SWAP1 00000a31: DUP2 00000a32: MSTORE 00000a33: PUSH1 0x20 00000a35: ADD 00000a36: PUSH1 0x00 00000a38: KECCAK256 00000a39: DUP2 00000a3a: SWAP1 00000a3b: SSTORE 00000a3c: POP 00000a3d: DUP3 00000a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a53: AND 00000a54: CALLER 00000a55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6a: AND 00000a6b: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000a8c: DUP5 00000a8d: PUSH1 0x40 00000a8f: MLOAD 00000a90: DUP1 00000a91: DUP3 00000a92: DUP2 00000a93: MSTORE 00000a94: PUSH1 0x20 00000a96: ADD 00000a97: SWAP2 00000a98: POP 00000a99: POP 00000a9a: PUSH1 0x40 00000a9c: MLOAD 00000a9d: DUP1 00000a9e: SWAP2 00000a9f: SUB 00000aa0: SWAP1 00000aa1: LOG3 00000aa2: PUSH1 0x01 00000aa4: SWAP1 00000aa5: POP 00000aa6: SWAP3 00000aa7: SWAP2 00000aa8: POP 00000aa9: POP 00000aaa: JUMP 00000aab: JUMPDEST 00000aac: PUSH1 0x00 00000aae: PUSH1 0x02 00000ab0: SLOAD 00000ab1: SWAP1 00000ab2: POP 00000ab3: SWAP1 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: PUSH1 0x00 00000ab8: DUP1 00000ab9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ace: AND 00000acf: DUP4 00000ad0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae5: AND 00000ae6: EQ 00000ae7: ISZERO 00000ae8: ISZERO 00000ae9: ISZERO 00000aea: PUSH2 0x0af2 00000aed: JUMPI 00000aee: PUSH1 0x00 00000af0: DUP1 00000af1: REVERT 00000af2: JUMPDEST 00000af3: PUSH1 0x04 00000af5: PUSH1 0x00 00000af7: DUP6 00000af8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b0d: AND 00000b0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b23: AND 00000b24: DUP2 00000b25: MSTORE 00000b26: PUSH1 0x20 00000b28: ADD 00000b29: SWAP1 00000b2a: DUP2 00000b2b: MSTORE 00000b2c: PUSH1 0x20 00000b2e: ADD 00000b2f: PUSH1 0x00 00000b31: KECCAK256 00000b32: SLOAD 00000b33: DUP3 00000b34: GT 00000b35: ISZERO 00000b36: ISZERO 00000b37: ISZERO 00000b38: PUSH2 0x0b40 00000b3b: JUMPI 00000b3c: PUSH1 0x00 00000b3e: DUP1 00000b3f: REVERT 00000b40: JUMPDEST 00000b41: PUSH1 0x05 00000b43: PUSH1 0x00 00000b45: DUP6 00000b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5b: AND 00000b5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b71: AND 00000b72: DUP2 00000b73: MSTORE 00000b74: PUSH1 0x20 00000b76: ADD 00000b77: SWAP1 00000b78: DUP2 00000b79: MSTORE 00000b7a: PUSH1 0x20 00000b7c: ADD 00000b7d: PUSH1 0x00 00000b7f: KECCAK256 00000b80: PUSH1 0x00 00000b82: CALLER 00000b83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b98: AND 00000b99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bae: AND 00000baf: DUP2 00000bb0: MSTORE 00000bb1: PUSH1 0x20 00000bb3: ADD 00000bb4: SWAP1 00000bb5: DUP2 00000bb6: MSTORE 00000bb7: PUSH1 0x20 00000bb9: ADD 00000bba: PUSH1 0x00 00000bbc: KECCAK256 00000bbd: SLOAD 00000bbe: DUP3 00000bbf: GT 00000bc0: ISZERO 00000bc1: ISZERO 00000bc2: ISZERO 00000bc3: PUSH2 0x0bcb 00000bc6: JUMPI 00000bc7: PUSH1 0x00 00000bc9: DUP1 00000bca: REVERT 00000bcb: JUMPDEST 00000bcc: PUSH1 0x01 00000bce: PUSH1 0x00 00000bd0: SWAP1 00000bd1: SLOAD 00000bd2: SWAP1 00000bd3: PUSH2 0x0100 00000bd6: EXP 00000bd7: SWAP1 00000bd8: DIV 00000bd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bee: AND 00000bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c04: AND 00000c05: DUP4 00000c06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c1b: AND 00000c1c: EQ 00000c1d: ISZERO 00000c1e: PUSH2 0x0f74 00000c21: JUMPI 00000c22: CALLER 00000c23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c38: AND 00000c39: PUSH2 0x08fc 00000c3c: PUSH2 0x0c44 00000c3f: DUP5 00000c40: PUSH2 0x14fd 00000c43: JUMP 00000c44: JUMPDEST 00000c45: SWAP1 00000c46: DUP2 00000c47: ISZERO 00000c48: MUL 00000c49: SWAP1 00000c4a: PUSH1 0x40 00000c4c: MLOAD 00000c4d: PUSH1 0x00 00000c4f: PUSH1 0x40 00000c51: MLOAD 00000c52: DUP1 00000c53: DUP4 00000c54: SUB 00000c55: DUP2 00000c56: DUP6 00000c57: DUP9 00000c58: DUP9 00000c59: CALL 00000c5a: SWAP4 00000c5b: POP 00000c5c: POP 00000c5d: POP 00000c5e: POP 00000c5f: ISZERO 00000c60: DUP1 00000c61: ISZERO 00000c62: PUSH2 0x0c6f 00000c65: JUMPI 00000c66: RETURNDATASIZE 00000c67: PUSH1 0x00 00000c69: DUP1 00000c6a: RETURNDATACOPY 00000c6b: RETURNDATASIZE 00000c6c: PUSH1 0x00 00000c6e: REVERT 00000c6f: JUMPDEST 00000c70: POP 00000c71: PUSH2 0x0cc2 00000c74: DUP3 00000c75: PUSH1 0x04 00000c77: PUSH1 0x00 00000c79: DUP8 00000c7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8f: AND 00000c90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca5: AND 00000ca6: DUP2 00000ca7: MSTORE 00000ca8: PUSH1 0x20 00000caa: ADD 00000cab: SWAP1 00000cac: DUP2 00000cad: MSTORE 00000cae: PUSH1 0x20 00000cb0: ADD 00000cb1: PUSH1 0x00 00000cb3: KECCAK256 00000cb4: SLOAD 00000cb5: PUSH2 0x094b 00000cb8: SWAP1 00000cb9: SWAP2 00000cba: SWAP1 00000cbb: PUSH4 0xffffffff 00000cc0: AND 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: PUSH1 0x04 00000cc5: PUSH1 0x00 00000cc7: DUP7 00000cc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdd: AND 00000cde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cf3: AND 00000cf4: DUP2 00000cf5: MSTORE 00000cf6: PUSH1 0x20 00000cf8: ADD 00000cf9: SWAP1 00000cfa: DUP2 00000cfb: MSTORE 00000cfc: PUSH1 0x20 00000cfe: ADD 00000cff: PUSH1 0x00 00000d01: KECCAK256 00000d02: DUP2 00000d03: SWAP1 00000d04: SSTORE 00000d05: POP 00000d06: PUSH2 0x0d78 00000d09: DUP3 00000d0a: PUSH1 0x04 00000d0c: PUSH1 0x00 00000d0e: DUP1 00000d0f: PUSH1 0x00 00000d11: SWAP1 00000d12: SLOAD 00000d13: SWAP1 00000d14: PUSH2 0x0100 00000d17: EXP 00000d18: SWAP1 00000d19: DIV 00000d1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2f: AND 00000d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d45: AND 00000d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5b: AND 00000d5c: DUP2 00000d5d: MSTORE 00000d5e: PUSH1 0x20 00000d60: ADD 00000d61: SWAP1 00000d62: DUP2 00000d63: MSTORE 00000d64: PUSH1 0x20 00000d66: ADD 00000d67: PUSH1 0x00 00000d69: KECCAK256 00000d6a: SLOAD 00000d6b: PUSH2 0x0964 00000d6e: SWAP1 00000d6f: SWAP2 00000d70: SWAP1 00000d71: PUSH4 0xffffffff 00000d76: AND 00000d77: JUMP 00000d78: JUMPDEST 00000d79: PUSH1 0x04 00000d7b: PUSH1 0x00 00000d7d: DUP1 00000d7e: PUSH1 0x00 00000d80: SWAP1 00000d81: SLOAD 00000d82: SWAP1 00000d83: PUSH2 0x0100 00000d86: EXP 00000d87: SWAP1 00000d88: DIV 00000d89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9e: AND 00000d9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db4: AND 00000db5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dca: AND 00000dcb: DUP2 00000dcc: MSTORE 00000dcd: PUSH1 0x20 00000dcf: ADD 00000dd0: SWAP1 00000dd1: DUP2 00000dd2: MSTORE 00000dd3: PUSH1 0x20 00000dd5: ADD 00000dd6: PUSH1 0x00 00000dd8: KECCAK256 00000dd9: DUP2 00000dda: SWAP1 00000ddb: SSTORE 00000ddc: POP 00000ddd: PUSH2 0x0df1 00000de0: DUP3 00000de1: PUSH1 0x03 00000de3: SLOAD 00000de4: PUSH2 0x0964 00000de7: SWAP1 00000de8: SWAP2 00000de9: SWAP1 00000dea: PUSH4 0xffffffff 00000def: AND 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH1 0x03 00000df4: DUP2 00000df5: SWAP1 00000df6: SSTORE 00000df7: POP 00000df8: PUSH2 0x0e86 00000dfb: DUP3 00000dfc: PUSH1 0x05 00000dfe: PUSH1 0x00 00000e00: DUP8 00000e01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e16: AND 00000e17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2c: AND 00000e2d: DUP2 00000e2e: MSTORE 00000e2f: PUSH1 0x20 00000e31: ADD 00000e32: SWAP1 00000e33: DUP2 00000e34: MSTORE 00000e35: PUSH1 0x20 00000e37: ADD 00000e38: PUSH1 0x00 00000e3a: KECCAK256 00000e3b: PUSH1 0x00 00000e3d: CALLER 00000e3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e53: AND 00000e54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e69: AND 00000e6a: DUP2 00000e6b: MSTORE 00000e6c: PUSH1 0x20 00000e6e: ADD 00000e6f: SWAP1 00000e70: DUP2 00000e71: MSTORE 00000e72: PUSH1 0x20 00000e74: ADD 00000e75: PUSH1 0x00 00000e77: KECCAK256 00000e78: SLOAD 00000e79: PUSH2 0x094b 00000e7c: SWAP1 00000e7d: SWAP2 00000e7e: SWAP1 00000e7f: PUSH4 0xffffffff 00000e84: AND 00000e85: JUMP 00000e86: JUMPDEST 00000e87: PUSH1 0x05 00000e89: PUSH1 0x00 00000e8b: DUP7 00000e8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea1: AND 00000ea2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb7: AND 00000eb8: DUP2 00000eb9: MSTORE 00000eba: PUSH1 0x20 00000ebc: ADD 00000ebd: SWAP1 00000ebe: DUP2 00000ebf: MSTORE 00000ec0: PUSH1 0x20 00000ec2: ADD 00000ec3: PUSH1 0x00 00000ec5: KECCAK256 00000ec6: PUSH1 0x00 00000ec8: CALLER 00000ec9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ede: AND 00000edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef4: AND 00000ef5: DUP2 00000ef6: MSTORE 00000ef7: PUSH1 0x20 00000ef9: ADD 00000efa: SWAP1 00000efb: DUP2 00000efc: MSTORE 00000efd: PUSH1 0x20 00000eff: ADD 00000f00: PUSH1 0x00 00000f02: KECCAK256 00000f03: DUP2 00000f04: SWAP1 00000f05: SSTORE 00000f06: POP 00000f07: DUP3 00000f08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1d: AND 00000f1e: DUP5 00000f1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f34: AND 00000f35: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f56: DUP5 00000f57: PUSH1 0x40 00000f59: MLOAD 00000f5a: DUP1 00000f5b: DUP3 00000f5c: DUP2 00000f5d: MSTORE 00000f5e: PUSH1 0x20 00000f60: ADD 00000f61: SWAP2 00000f62: POP 00000f63: POP 00000f64: PUSH1 0x40 00000f66: MLOAD 00000f67: DUP1 00000f68: SWAP2 00000f69: SUB 00000f6a: SWAP1 00000f6b: LOG3 00000f6c: PUSH1 0x01 00000f6e: SWAP1 00000f6f: POP 00000f70: PUSH2 0x1217 00000f73: JUMP 00000f74: JUMPDEST 00000f75: PUSH2 0x0fc6 00000f78: DUP3 00000f79: PUSH1 0x04 00000f7b: PUSH1 0x00 00000f7d: DUP8 00000f7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f93: AND 00000f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa9: AND 00000faa: DUP2 00000fab: MSTORE 00000fac: PUSH1 0x20 00000fae: ADD 00000faf: SWAP1 00000fb0: DUP2 00000fb1: MSTORE 00000fb2: PUSH1 0x20 00000fb4: ADD 00000fb5: PUSH1 0x00 00000fb7: KECCAK256 00000fb8: SLOAD 00000fb9: PUSH2 0x094b 00000fbc: SWAP1 00000fbd: SWAP2 00000fbe: SWAP1 00000fbf: PUSH4 0xffffffff 00000fc4: AND 00000fc5: JUMP 00000fc6: JUMPDEST 00000fc7: PUSH1 0x04 00000fc9: PUSH1 0x00 00000fcb: DUP7 00000fcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe1: AND 00000fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff7: AND 00000ff8: DUP2 00000ff9: MSTORE 00000ffa: PUSH1 0x20 00000ffc: ADD 00000ffd: SWAP1 00000ffe: DUP2 00000fff: MSTORE 00001000: PUSH1 0x20 00001002: ADD 00001003: PUSH1 0x00 00001005: KECCAK256 00001006: DUP2 00001007: SWAP1 00001008: SSTORE 00001009: POP 0000100a: PUSH2 0x105b 0000100d: DUP3 0000100e: PUSH1 0x04 00001010: PUSH1 0x00 00001012: DUP7 00001013: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001028: AND 00001029: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000103e: AND 0000103f: DUP2 00001040: MSTORE 00001041: PUSH1 0x20 00001043: ADD 00001044: SWAP1 00001045: DUP2 00001046: MSTORE 00001047: PUSH1 0x20 00001049: ADD 0000104a: PUSH1 0x00 0000104c: KECCAK256 0000104d: SLOAD 0000104e: PUSH2 0x0964 00001051: SWAP1 00001052: SWAP2 00001053: SWAP1 00001054: PUSH4 0xffffffff 00001059: AND 0000105a: JUMP 0000105b: JUMPDEST 0000105c: PUSH1 0x04 0000105e: PUSH1 0x00 00001060: DUP6 00001061: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001076: AND 00001077: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000108c: AND 0000108d: DUP2 0000108e: MSTORE 0000108f: PUSH1 0x20 00001091: ADD 00001092: SWAP1 00001093: DUP2 00001094: MSTORE 00001095: PUSH1 0x20 00001097: ADD 00001098: PUSH1 0x00 0000109a: KECCAK256 0000109b: DUP2 0000109c: SWAP1 0000109d: SSTORE 0000109e: POP 0000109f: PUSH2 0x112d 000010a2: DUP3 000010a3: PUSH1 0x05 000010a5: PUSH1 0x00 000010a7: DUP8 000010a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010bd: AND 000010be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d3: AND 000010d4: DUP2 000010d5: MSTORE 000010d6: PUSH1 0x20 000010d8: ADD 000010d9: SWAP1 000010da: DUP2 000010db: MSTORE 000010dc: PUSH1 0x20 000010de: ADD 000010df: PUSH1 0x00 000010e1: KECCAK256 000010e2: PUSH1 0x00 000010e4: CALLER 000010e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fa: AND 000010fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001110: AND 00001111: DUP2 00001112: MSTORE 00001113: PUSH1 0x20 00001115: ADD 00001116: SWAP1 00001117: DUP2 00001118: MSTORE 00001119: PUSH1 0x20 0000111b: ADD 0000111c: PUSH1 0x00 0000111e: KECCAK256 0000111f: SLOAD 00001120: PUSH2 0x094b 00001123: SWAP1 00001124: SWAP2 00001125: SWAP1 00001126: PUSH4 0xffffffff 0000112b: AND 0000112c: JUMP 0000112d: JUMPDEST 0000112e: PUSH1 0x05 00001130: PUSH1 0x00 00001132: DUP7 00001133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001148: AND 00001149: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000115e: AND 0000115f: DUP2 00001160: MSTORE 00001161: PUSH1 0x20 00001163: ADD 00001164: SWAP1 00001165: DUP2 00001166: MSTORE 00001167: PUSH1 0x20 00001169: ADD 0000116a: PUSH1 0x00 0000116c: KECCAK256 0000116d: PUSH1 0x00 0000116f: CALLER 00001170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001185: AND 00001186: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000119b: AND 0000119c: DUP2 0000119d: MSTORE 0000119e: PUSH1 0x20 000011a0: ADD 000011a1: SWAP1 000011a2: DUP2 000011a3: MSTORE 000011a4: PUSH1 0x20 000011a6: ADD 000011a7: PUSH1 0x00 000011a9: KECCAK256 000011aa: DUP2 000011ab: SWAP1 000011ac: SSTORE 000011ad: POP 000011ae: DUP3 000011af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c4: AND 000011c5: DUP5 000011c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011db: AND 000011dc: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000011fd: DUP5 000011fe: PUSH1 0x40 00001200: MLOAD 00001201: DUP1 00001202: DUP3 00001203: DUP2 00001204: MSTORE 00001205: PUSH1 0x20 00001207: ADD 00001208: SWAP2 00001209: POP 0000120a: POP 0000120b: PUSH1 0x40 0000120d: MLOAD 0000120e: DUP1 0000120f: SWAP2 00001210: SUB 00001211: SWAP1 00001212: LOG3 00001213: PUSH1 0x01 00001215: SWAP1 00001216: POP 00001217: JUMPDEST 00001218: SWAP4 00001219: SWAP3 0000121a: POP 0000121b: POP 0000121c: POP 0000121d: JUMP 0000121e: JUMPDEST 0000121f: PUSH1 0x12 00001221: DUP2 00001222: JUMP 00001223: JUMPDEST 00001224: PUSH1 0x00 00001226: DUP1 00001227: PUSH1 0x05 00001229: PUSH1 0x00 0000122b: CALLER 0000122c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001241: AND 00001242: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001257: AND 00001258: DUP2 00001259: MSTORE 0000125a: PUSH1 0x20 0000125c: ADD 0000125d: SWAP1 0000125e: DUP2 0000125f: MSTORE 00001260: PUSH1 0x20 00001262: ADD 00001263: PUSH1 0x00 00001265: KECCAK256 00001266: PUSH1 0x00 00001268: DUP6 00001269: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000127e: AND 0000127f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001294: AND 00001295: DUP2 00001296: MSTORE 00001297: PUSH1 0x20 00001299: ADD 0000129a: SWAP1 0000129b: DUP2 0000129c: MSTORE 0000129d: PUSH1 0x20 0000129f: ADD 000012a0: PUSH1 0x00 000012a2: KECCAK256 000012a3: SLOAD 000012a4: SWAP1 000012a5: POP 000012a6: DUP1 000012a7: DUP4 000012a8: GT 000012a9: ISZERO 000012aa: PUSH2 0x1334 000012ad: JUMPI 000012ae: PUSH1 0x00 000012b0: PUSH1 0x05 000012b2: PUSH1 0x00 000012b4: CALLER 000012b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ca: AND 000012cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e0: AND 000012e1: DUP2 000012e2: MSTORE 000012e3: PUSH1 0x20 000012e5: ADD 000012e6: SWAP1 000012e7: DUP2 000012e8: MSTORE 000012e9: PUSH1 0x20 000012eb: ADD 000012ec: PUSH1 0x00 000012ee: KECCAK256 000012ef: PUSH1 0x00 000012f1: DUP7 000012f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001307: AND 00001308: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000131d: AND 0000131e: DUP2 0000131f: MSTORE 00001320: PUSH1 0x20 00001322: ADD 00001323: SWAP1 00001324: DUP2 00001325: MSTORE 00001326: PUSH1 0x20 00001328: ADD 00001329: PUSH1 0x00 0000132b: KECCAK256 0000132c: DUP2 0000132d: SWAP1 0000132e: SSTORE 0000132f: POP 00001330: PUSH2 0x13c8 00001333: JUMP 00001334: JUMPDEST 00001335: PUSH2 0x1347 00001338: DUP4 00001339: DUP3 0000133a: PUSH2 0x094b 0000133d: SWAP1 0000133e: SWAP2 0000133f: SWAP1 00001340: PUSH4 0xffffffff 00001345: AND 00001346: JUMP 00001347: JUMPDEST 00001348: PUSH1 0x05 0000134a: PUSH1 0x00 0000134c: CALLER 0000134d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001362: AND 00001363: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001378: AND 00001379: DUP2 0000137a: MSTORE 0000137b: PUSH1 0x20 0000137d: ADD 0000137e: SWAP1 0000137f: DUP2 00001380: MSTORE 00001381: PUSH1 0x20 00001383: ADD 00001384: PUSH1 0x00 00001386: KECCAK256 00001387: PUSH1 0x00 00001389: DUP7 0000138a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000139f: AND 000013a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013b5: AND 000013b6: DUP2 000013b7: MSTORE 000013b8: PUSH1 0x20 000013ba: ADD 000013bb: SWAP1 000013bc: DUP2 000013bd: MSTORE 000013be: PUSH1 0x20 000013c0: ADD 000013c1: PUSH1 0x00 000013c3: KECCAK256 000013c4: DUP2 000013c5: SWAP1 000013c6: SSTORE 000013c7: POP 000013c8: JUMPDEST 000013c9: DUP4 000013ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013df: AND 000013e0: CALLER 000013e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f6: AND 000013f7: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001418: PUSH1 0x05 0000141a: PUSH1 0x00 0000141c: CALLER 0000141d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001432: AND 00001433: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001448: AND 00001449: DUP2 0000144a: MSTORE 0000144b: PUSH1 0x20 0000144d: ADD 0000144e: SWAP1 0000144f: DUP2 00001450: MSTORE 00001451: PUSH1 0x20 00001453: ADD 00001454: PUSH1 0x00 00001456: KECCAK256 00001457: PUSH1 0x00 00001459: DUP9 0000145a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000146f: AND 00001470: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001485: AND 00001486: DUP2 00001487: MSTORE 00001488: PUSH1 0x20 0000148a: ADD 0000148b: SWAP1 0000148c: DUP2 0000148d: MSTORE 0000148e: PUSH1 0x20 00001490: ADD 00001491: PUSH1 0x00 00001493: KECCAK256 00001494: SLOAD 00001495: PUSH1 0x40 00001497: MLOAD 00001498: DUP1 00001499: DUP3 0000149a: DUP2 0000149b: MSTORE 0000149c: PUSH1 0x20 0000149e: ADD 0000149f: SWAP2 000014a0: POP 000014a1: POP 000014a2: PUSH1 0x40 000014a4: MLOAD 000014a5: DUP1 000014a6: SWAP2 000014a7: SUB 000014a8: SWAP1 000014a9: LOG3 000014aa: PUSH1 0x01 000014ac: SWAP2 000014ad: POP 000014ae: POP 000014af: SWAP3 000014b0: SWAP2 000014b1: POP 000014b2: POP 000014b3: JUMP 000014b4: JUMPDEST 000014b5: PUSH1 0x00 000014b7: PUSH1 0x04 000014b9: PUSH1 0x00 000014bb: DUP4 000014bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d1: AND 000014d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014e7: AND 000014e8: DUP2 000014e9: MSTORE 000014ea: PUSH1 0x20 000014ec: ADD 000014ed: SWAP1 000014ee: DUP2 000014ef: MSTORE 000014f0: PUSH1 0x20 000014f2: ADD 000014f3: PUSH1 0x00 000014f5: KECCAK256 000014f6: SLOAD 000014f7: SWAP1 000014f8: POP 000014f9: SWAP2 000014fa: SWAP1 000014fb: POP 000014fc: JUMP 000014fd: JUMPDEST 000014fe: PUSH1 0x00 00001500: PUSH1 0x64 00001502: PUSH2 0x2710 00001505: PUSH1 0x07 00001507: PUSH1 0x03 00001509: SLOAD 0000150a: DUP6 0000150b: ADD 0000150c: MUL 0000150d: DUP2 0000150e: ISZERO 0000150f: ISZERO 00001510: PUSH2 0x1515 00001513: JUMPI 00001514: INVALID 00001515: JUMPDEST 00001516: DIV 00001517: PUSH1 0x64 00001519: PUSH1 0x50 0000151b: DUP6 0000151c: PUSH8 0x0de0b6b3a7640000 00001525: MUL 00001526: MUL 00001527: DUP2 00001528: ISZERO 00001529: ISZERO 0000152a: PUSH2 0x152f 0000152d: JUMPI 0000152e: INVALID 0000152f: JUMPDEST 00001530: DIV 00001531: DUP2 00001532: ISZERO 00001533: ISZERO 00001534: PUSH2 0x1539 00001537: JUMPI 00001538: INVALID 00001539: JUMPDEST 0000153a: DIV 0000153b: DUP2 0000153c: ISZERO 0000153d: ISZERO 0000153e: PUSH2 0x1543 00001541: JUMPI 00001542: INVALID 00001543: JUMPDEST 00001544: DIV 00001545: SWAP1 00001546: POP 00001547: DUP1 00001548: SWAP1 00001549: POP 0000154a: SWAP2 0000154b: SWAP1 0000154c: POP 0000154d: JUMP 0000154e: JUMPDEST 0000154f: PUSH1 0x01 00001551: PUSH1 0x00 00001553: SWAP1 00001554: SLOAD 00001555: SWAP1 00001556: PUSH2 0x0100 00001559: EXP 0000155a: SWAP1 0000155b: DIV 0000155c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001571: AND 00001572: DUP2 00001573: JUMP 00001574: JUMPDEST 00001575: PUSH1 0x40 00001577: DUP1 00001578: MLOAD 00001579: SWAP1 0000157a: DUP2 0000157b: ADD 0000157c: PUSH1 0x40 0000157e: MSTORE 0000157f: DUP1 00001580: PUSH1 0x04 00001582: DUP2 00001583: MSTORE 00001584: PUSH1 0x20 00001586: ADD 00001587: PUSH32 0x5946483300000000000000000000000000000000000000000000000000000000 000015a8: DUP2 000015a9: MSTORE 000015aa: POP 000015ab: DUP2 000015ac: JUMP 000015ad: JUMPDEST 000015ae: PUSH1 0x00 000015b0: DUP1 000015b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c6: AND 000015c7: DUP4 000015c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015dd: AND 000015de: EQ 000015df: ISZERO 000015e0: ISZERO 000015e1: ISZERO 000015e2: PUSH2 0x15ea 000015e5: JUMPI 000015e6: PUSH1 0x00 000015e8: DUP1 000015e9: REVERT 000015ea: JUMPDEST 000015eb: PUSH1 0x04 000015ed: PUSH1 0x00 000015ef: CALLER 000015f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001605: AND 00001606: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161b: AND 0000161c: DUP2 0000161d: MSTORE 0000161e: PUSH1 0x20 00001620: ADD 00001621: SWAP1 00001622: DUP2 00001623: MSTORE 00001624: PUSH1 0x20 00001626: ADD 00001627: PUSH1 0x00 00001629: KECCAK256 0000162a: SLOAD 0000162b: DUP3 0000162c: GT 0000162d: ISZERO 0000162e: ISZERO 0000162f: ISZERO 00001630: PUSH2 0x1638 00001633: JUMPI 00001634: PUSH1 0x00 00001636: DUP1 00001637: REVERT 00001638: JUMPDEST 00001639: PUSH1 0x01 0000163b: PUSH1 0x00 0000163d: SWAP1 0000163e: SLOAD 0000163f: SWAP1 00001640: PUSH2 0x0100 00001643: EXP 00001644: SWAP1 00001645: DIV 00001646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000165b: AND 0000165c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001671: AND 00001672: DUP4 00001673: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001688: AND 00001689: EQ 0000168a: ISZERO 0000168b: PUSH2 0x18f4 0000168e: JUMPI 0000168f: CALLER 00001690: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a5: AND 000016a6: PUSH2 0x08fc 000016a9: PUSH2 0x16b1 000016ac: DUP5 000016ad: PUSH2 0x14fd 000016b0: JUMP 000016b1: JUMPDEST 000016b2: SWAP1 000016b3: DUP2 000016b4: ISZERO 000016b5: MUL 000016b6: SWAP1 000016b7: PUSH1 0x40 000016b9: MLOAD 000016ba: PUSH1 0x00 000016bc: PUSH1 0x40 000016be: MLOAD 000016bf: DUP1 000016c0: DUP4 000016c1: SUB 000016c2: DUP2 000016c3: DUP6 000016c4: DUP9 000016c5: DUP9 000016c6: CALL 000016c7: SWAP4 000016c8: POP 000016c9: POP 000016ca: POP 000016cb: POP 000016cc: ISZERO 000016cd: DUP1 000016ce: ISZERO 000016cf: PUSH2 0x16dc 000016d2: JUMPI 000016d3: RETURNDATASIZE 000016d4: PUSH1 0x00 000016d6: DUP1 000016d7: RETURNDATACOPY 000016d8: RETURNDATASIZE 000016d9: PUSH1 0x00 000016db: REVERT 000016dc: JUMPDEST 000016dd: POP 000016de: PUSH2 0x172f 000016e1: DUP3 000016e2: PUSH1 0x04 000016e4: PUSH1 0x00 000016e6: CALLER 000016e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016fc: AND 000016fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001712: AND 00001713: DUP2 00001714: MSTORE 00001715: PUSH1 0x20 00001717: ADD 00001718: SWAP1 00001719: DUP2 0000171a: MSTORE 0000171b: PUSH1 0x20 0000171d: ADD 0000171e: PUSH1 0x00 00001720: KECCAK256 00001721: SLOAD 00001722: PUSH2 0x094b 00001725: SWAP1 00001726: SWAP2 00001727: SWAP1 00001728: PUSH4 0xffffffff 0000172d: AND 0000172e: JUMP 0000172f: JUMPDEST 00001730: PUSH1 0x04 00001732: PUSH1 0x00 00001734: CALLER 00001735: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000174a: AND 0000174b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001760: AND 00001761: DUP2 00001762: MSTORE 00001763: PUSH1 0x20 00001765: ADD 00001766: SWAP1 00001767: DUP2 00001768: MSTORE 00001769: PUSH1 0x20 0000176b: ADD 0000176c: PUSH1 0x00 0000176e: KECCAK256 0000176f: DUP2 00001770: SWAP1 00001771: SSTORE 00001772: POP 00001773: PUSH2 0x17e5 00001776: DUP3 00001777: PUSH1 0x04 00001779: PUSH1 0x00 0000177b: DUP1 0000177c: PUSH1 0x00 0000177e: SWAP1 0000177f: SLOAD 00001780: SWAP1 00001781: PUSH2 0x0100 00001784: EXP 00001785: SWAP1 00001786: DIV 00001787: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000179c: AND 0000179d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017b2: AND 000017b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017c8: AND 000017c9: DUP2 000017ca: MSTORE 000017cb: PUSH1 0x20 000017cd: ADD 000017ce: SWAP1 000017cf: DUP2 000017d0: MSTORE 000017d1: PUSH1 0x20 000017d3: ADD 000017d4: PUSH1 0x00 000017d6: KECCAK256 000017d7: SLOAD 000017d8: PUSH2 0x0964 000017db: SWAP1 000017dc: SWAP2 000017dd: SWAP1 000017de: PUSH4 0xffffffff 000017e3: AND 000017e4: JUMP 000017e5: JUMPDEST 000017e6: PUSH1 0x04 000017e8: PUSH1 0x00 000017ea: DUP1 000017eb: PUSH1 0x00 000017ed: SWAP1 000017ee: SLOAD 000017ef: SWAP1 000017f0: PUSH2 0x0100 000017f3: EXP 000017f4: SWAP1 000017f5: DIV 000017f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000180b: AND 0000180c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001821: AND 00001822: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001837: AND 00001838: DUP2 00001839: MSTORE 0000183a: PUSH1 0x20 0000183c: ADD 0000183d: SWAP1 0000183e: DUP2 0000183f: MSTORE 00001840: PUSH1 0x20 00001842: ADD 00001843: PUSH1 0x00 00001845: KECCAK256 00001846: DUP2 00001847: SWAP1 00001848: SSTORE 00001849: POP 0000184a: PUSH2 0x185e 0000184d: DUP3 0000184e: PUSH1 0x03 00001850: SLOAD 00001851: PUSH2 0x0964 00001854: SWAP1 00001855: SWAP2 00001856: SWAP1 00001857: PUSH4 0xffffffff 0000185c: AND 0000185d: JUMP 0000185e: JUMPDEST 0000185f: PUSH1 0x03 00001861: DUP2 00001862: SWAP1 00001863: SSTORE 00001864: POP 00001865: PUSH1 0x01 00001867: PUSH1 0x00 00001869: SWAP1 0000186a: SLOAD 0000186b: SWAP1 0000186c: PUSH2 0x0100 0000186f: EXP 00001870: SWAP1 00001871: DIV 00001872: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001887: AND 00001888: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000189d: AND 0000189e: CALLER 0000189f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018b4: AND 000018b5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000018d6: DUP5 000018d7: PUSH1 0x40 000018d9: MLOAD 000018da: DUP1 000018db: DUP3 000018dc: DUP2 000018dd: MSTORE 000018de: PUSH1 0x20 000018e0: ADD 000018e1: SWAP2 000018e2: POP 000018e3: POP 000018e4: PUSH1 0x40 000018e6: MLOAD 000018e7: DUP1 000018e8: SWAP2 000018e9: SUB 000018ea: SWAP1 000018eb: LOG3 000018ec: PUSH1 0x01 000018ee: SWAP1 000018ef: POP 000018f0: PUSH2 0x1a88 000018f3: JUMP 000018f4: JUMPDEST 000018f5: PUSH2 0x1946 000018f8: DUP3 000018f9: PUSH1 0x04 000018fb: PUSH1 0x00 000018fd: CALLER 000018fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001913: AND 00001914: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001929: AND 0000192a: DUP2 0000192b: MSTORE 0000192c: PUSH1 0x20 0000192e: ADD 0000192f: SWAP1 00001930: DUP2 00001931: MSTORE 00001932: PUSH1 0x20 00001934: ADD 00001935: PUSH1 0x00 00001937: KECCAK256 00001938: SLOAD 00001939: PUSH2 0x094b 0000193c: SWAP1 0000193d: SWAP2 0000193e: SWAP1 0000193f: PUSH4 0xffffffff 00001944: AND 00001945: JUMP 00001946: JUMPDEST 00001947: PUSH1 0x04 00001949: PUSH1 0x00 0000194b: CALLER 0000194c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001961: AND 00001962: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001977: AND 00001978: DUP2 00001979: MSTORE 0000197a: PUSH1 0x20 0000197c: ADD 0000197d: SWAP1 0000197e: DUP2 0000197f: MSTORE 00001980: PUSH1 0x20 00001982: ADD 00001983: PUSH1 0x00 00001985: KECCAK256 00001986: DUP2 00001987: SWAP1 00001988: SSTORE 00001989: POP 0000198a: PUSH2 0x19db 0000198d: DUP3 0000198e: PUSH1 0x04 00001990: PUSH1 0x00 00001992: DUP7 00001993: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a8: AND 000019a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019be: AND 000019bf: DUP2 000019c0: MSTORE 000019c1: PUSH1 0x20 000019c3: ADD 000019c4: SWAP1 000019c5: DUP2 000019c6: MSTORE 000019c7: PUSH1 0x20 000019c9: ADD 000019ca: PUSH1 0x00 000019cc: KECCAK256 000019cd: SLOAD 000019ce: PUSH2 0x0964 000019d1: SWAP1 000019d2: SWAP2 000019d3: SWAP1 000019d4: PUSH4 0xffffffff 000019d9: AND 000019da: JUMP 000019db: JUMPDEST 000019dc: PUSH1 0x04 000019de: PUSH1 0x00 000019e0: DUP6 000019e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f6: AND 000019f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a0c: AND 00001a0d: DUP2 00001a0e: MSTORE 00001a0f: PUSH1 0x20 00001a11: ADD 00001a12: SWAP1 00001a13: DUP2 00001a14: MSTORE 00001a15: PUSH1 0x20 00001a17: ADD 00001a18: PUSH1 0x00 00001a1a: KECCAK256 00001a1b: DUP2 00001a1c: SWAP1 00001a1d: SSTORE 00001a1e: POP 00001a1f: DUP3 00001a20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a35: AND 00001a36: CALLER 00001a37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a4c: AND 00001a4d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001a6e: DUP5 00001a6f: PUSH1 0x40 00001a71: MLOAD 00001a72: DUP1 00001a73: DUP3 00001a74: DUP2 00001a75: MSTORE 00001a76: PUSH1 0x20 00001a78: ADD 00001a79: SWAP2 00001a7a: POP 00001a7b: POP 00001a7c: PUSH1 0x40 00001a7e: MLOAD 00001a7f: DUP1 00001a80: SWAP2 00001a81: SUB 00001a82: SWAP1 00001a83: LOG3 00001a84: PUSH1 0x01 00001a86: SWAP1 00001a87: POP 00001a88: JUMPDEST 00001a89: SWAP3 00001a8a: SWAP2 00001a8b: POP 00001a8c: POP 00001a8d: JUMP 00001a8e: JUMPDEST 00001a8f: PUSH1 0x03 00001a91: SLOAD 00001a92: DUP2 00001a93: JUMP 00001a94: JUMPDEST 00001a95: PUSH1 0x00 00001a97: PUSH2 0x1b25 00001a9a: DUP3 00001a9b: PUSH1 0x05 00001a9d: PUSH1 0x00 00001a9f: CALLER 00001aa0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ab5: AND 00001ab6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001acb: AND 00001acc: DUP2 00001acd: MSTORE 00001ace: PUSH1 0x20 00001ad0: ADD 00001ad1: SWAP1 00001ad2: DUP2 00001ad3: MSTORE 00001ad4: PUSH1 0x20 00001ad6: ADD 00001ad7: PUSH1 0x00 00001ad9: KECCAK256 00001ada: PUSH1 0x00 00001adc: DUP7 00001add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001af2: AND 00001af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b08: AND 00001b09: DUP2 00001b0a: MSTORE 00001b0b: PUSH1 0x20 00001b0d: ADD 00001b0e: SWAP1 00001b0f: DUP2 00001b10: MSTORE 00001b11: PUSH1 0x20 00001b13: ADD 00001b14: PUSH1 0x00 00001b16: KECCAK256 00001b17: SLOAD 00001b18: PUSH2 0x0964 00001b1b: SWAP1 00001b1c: SWAP2 00001b1d: SWAP1 00001b1e: PUSH4 0xffffffff 00001b23: AND 00001b24: JUMP 00001b25: JUMPDEST 00001b26: PUSH1 0x05 00001b28: PUSH1 0x00 00001b2a: CALLER 00001b2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b40: AND 00001b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b56: AND 00001b57: DUP2 00001b58: MSTORE 00001b59: PUSH1 0x20 00001b5b: ADD 00001b5c: SWAP1 00001b5d: DUP2 00001b5e: MSTORE 00001b5f: PUSH1 0x20 00001b61: ADD 00001b62: PUSH1 0x00 00001b64: KECCAK256 00001b65: PUSH1 0x00 00001b67: DUP6 00001b68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b7d: AND 00001b7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b93: AND 00001b94: DUP2 00001b95: MSTORE 00001b96: PUSH1 0x20 00001b98: ADD 00001b99: SWAP1 00001b9a: DUP2 00001b9b: MSTORE 00001b9c: PUSH1 0x20 00001b9e: ADD 00001b9f: PUSH1 0x00 00001ba1: KECCAK256 00001ba2: DUP2 00001ba3: SWAP1 00001ba4: SSTORE 00001ba5: POP 00001ba6: DUP3 00001ba7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bbc: AND 00001bbd: CALLER 00001bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd3: AND 00001bd4: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001bf5: PUSH1 0x05 00001bf7: PUSH1 0x00 00001bf9: CALLER 00001bfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c0f: AND 00001c10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c25: AND 00001c26: DUP2 00001c27: MSTORE 00001c28: PUSH1 0x20 00001c2a: ADD 00001c2b: SWAP1 00001c2c: DUP2 00001c2d: MSTORE 00001c2e: PUSH1 0x20 00001c30: ADD 00001c31: PUSH1 0x00 00001c33: KECCAK256 00001c34: PUSH1 0x00 00001c36: DUP8 00001c37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4c: AND 00001c4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c62: AND 00001c63: DUP2 00001c64: MSTORE 00001c65: PUSH1 0x20 00001c67: ADD 00001c68: SWAP1 00001c69: DUP2 00001c6a: MSTORE 00001c6b: PUSH1 0x20 00001c6d: ADD 00001c6e: PUSH1 0x00 00001c70: KECCAK256 00001c71: SLOAD 00001c72: PUSH1 0x40 00001c74: MLOAD 00001c75: DUP1 00001c76: DUP3 00001c77: DUP2 00001c78: MSTORE 00001c79: PUSH1 0x20 00001c7b: ADD 00001c7c: SWAP2 00001c7d: POP 00001c7e: POP 00001c7f: PUSH1 0x40 00001c81: MLOAD 00001c82: DUP1 00001c83: SWAP2 00001c84: SUB 00001c85: SWAP1 00001c86: LOG3 00001c87: PUSH1 0x01 00001c89: SWAP1 00001c8a: POP 00001c8b: SWAP3 00001c8c: SWAP2 00001c8d: POP 00001c8e: POP 00001c8f: JUMP 00001c90: JUMPDEST 00001c91: PUSH1 0x00 00001c93: PUSH1 0x05 00001c95: PUSH1 0x00 00001c97: DUP5 00001c98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cad: AND 00001cae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cc3: AND 00001cc4: DUP2 00001cc5: MSTORE 00001cc6: PUSH1 0x20 00001cc8: ADD 00001cc9: SWAP1 00001cca: DUP2 00001ccb: MSTORE 00001ccc: PUSH1 0x20 00001cce: ADD 00001ccf: PUSH1 0x00 00001cd1: KECCAK256 00001cd2: PUSH1 0x00 00001cd4: DUP4 00001cd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cea: AND 00001ceb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d00: AND 00001d01: DUP2 00001d02: MSTORE 00001d03: PUSH1 0x20 00001d05: ADD 00001d06: SWAP1 00001d07: DUP2 00001d08: MSTORE 00001d09: PUSH1 0x20 00001d0b: ADD 00001d0c: PUSH1 0x00 00001d0e: KECCAK256 00001d0f: SLOAD 00001d10: SWAP1 00001d11: POP 00001d12: SWAP3 00001d13: SWAP2 00001d14: POP 00001d15: POP 00001d16: JUMP 00001d17: JUMPDEST 00001d18: PUSH1 0x00 00001d1a: DUP1 00001d1b: SWAP1 00001d1c: SLOAD 00001d1d: SWAP1 00001d1e: PUSH2 0x0100 00001d21: EXP 00001d22: SWAP1 00001d23: DIV 00001d24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d39: AND 00001d3a: DUP2 00001d3b: JUMP 00001d3c: STOP 00001d3d: LOG1 00001d3e: PUSH6 0x627a7a723058 00001d45: KECCAK256 00001d46: PUSH6 0xe4f066272e62 00001d4d: PUSH30
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xfb3e28210b5955df7dbf5e564638058b6a64d2a8af18c558cf7d72a6a8fa95b6
call_targets:
0x9f19735ff00bc1343d1c004910abe7d6af1b7174
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfb3e28210b5955df7dbf5e564638058b6a64d2a8af18c558cf7d72a6a8fa95b6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9f19735ff00bc1343d1c004910abe7d6af1b7174"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11eebb2e",
"selector": "0x11eebb2e",
"calldata_variants": [
"0x11eebb2e",
"0x11eebb2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66188463",
"selector": "0x66188463",
"calldata_variants": [
"0x66188463",
"0x661884630000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3161,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5830,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xfb3e28210b5955df7dbf5e564638058b6a64d2a8af18c558cf7d72a6a8fa95b6
call_targets:
0x9f19735ff00bc1343d1c004910abe7d6af1b7174
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfb3e28210b5955df7dbf5e564638058b6a64d2a8af18c558cf7d72a6a8fa95b6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9f19735ff00bc1343d1c004910abe7d6af1b7174"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11eebb2e",
"selector": "0x11eebb2e",
"calldata_variants": [
"0x11eebb2e",
"0x11eebb2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66188463",
"selector": "0x66188463",
"calldata_variants": [
"0x66188463",
"0x661884630000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3161,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5830,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|