019b477e-b569-71c1-8413-462e50404a3f
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 |
|---|---|---|---|---|
| 22919 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22920 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107333 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107334 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107335 | detector.run | complete | 1 / 3 | 1 week ago |
| 107336 | 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 0x00f1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x0fc8a393 0000003c: EQ 0000003d: PUSH2 0x0103 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x3971e5b5 00000047: EQ 00000048: PUSH2 0x0154 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x3ba0b9a9 00000052: EQ 00000053: PUSH2 0x01a5 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x3f4ba83a 0000005d: EQ 0000005e: PUSH2 0x01d0 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x5b0bc07b 00000068: EQ 00000069: PUSH2 0x01ff 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x5c975abb 00000073: EQ 00000074: PUSH2 0x0268 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x5fd8c710 0000007e: EQ 0000007f: PUSH2 0x0297 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x7f7b4759 00000089: EQ 0000008a: PUSH2 0x02ae 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x8456cb59 00000094: EQ 00000095: PUSH2 0x0305 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x8da5cb5b 0000009f: EQ 000000a0: PUSH2 0x0334 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x8e714a72 000000aa: EQ 000000ab: PUSH2 0x038b 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xd3cf22d3 000000b5: EQ 000000b6: PUSH2 0x03dc 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xdb068e0e 000000c0: EQ 000000c1: PUSH2 0x03e6 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xdf034cd0 000000cb: EQ 000000cc: PUSH2 0x0435 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xe6fd604c 000000d6: EQ 000000d7: PUSH2 0x048c 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xf2fde38b 000000e1: EQ 000000e2: PUSH2 0x04b7 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xf55ebb8f 000000ec: EQ 000000ed: PUSH2 0x0508 000000f0: JUMPI 000000f1: JUMPDEST 000000f2: CALLVALUE 000000f3: DUP1 000000f4: ISZERO 000000f5: PUSH2 0x00fd 000000f8: JUMPI 000000f9: PUSH1 0x00 000000fb: DUP1 000000fc: REVERT 000000fd: JUMPDEST 000000fe: POP 000000ff: PUSH1 0x00 00000101: DUP1 00000102: REVERT 00000103: JUMPDEST 00000104: CALLVALUE 00000105: DUP1 00000106: ISZERO 00000107: PUSH2 0x010f 0000010a: JUMPI 0000010b: PUSH1 0x00 0000010d: DUP1 0000010e: REVERT 0000010f: JUMPDEST 00000110: POP 00000111: PUSH2 0x0152 00000114: PUSH1 0x04 00000116: DUP1 00000117: CALLDATASIZE 00000118: SUB 00000119: PUSH1 0x20 0000011b: DUP2 0000011c: LT 0000011d: ISZERO 0000011e: PUSH2 0x0126 00000121: JUMPI 00000122: PUSH1 0x00 00000124: DUP1 00000125: REVERT 00000126: JUMPDEST 00000127: DUP2 00000128: ADD 00000129: SWAP1 0000012a: DUP1 0000012b: DUP1 0000012c: CALLDATALOAD 0000012d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000142: AND 00000143: SWAP1 00000144: PUSH1 0x20 00000146: ADD 00000147: SWAP1 00000148: SWAP3 00000149: SWAP2 0000014a: SWAP1 0000014b: POP 0000014c: POP 0000014d: POP 0000014e: PUSH2 0x055f 00000151: JUMP 00000152: JUMPDEST 00000153: STOP 00000154: JUMPDEST 00000155: CALLVALUE 00000156: DUP1 00000157: ISZERO 00000158: PUSH2 0x0160 0000015b: JUMPI 0000015c: PUSH1 0x00 0000015e: DUP1 0000015f: REVERT 00000160: JUMPDEST 00000161: POP 00000162: PUSH2 0x01a3 00000165: PUSH1 0x04 00000167: DUP1 00000168: CALLDATASIZE 00000169: SUB 0000016a: PUSH1 0x20 0000016c: DUP2 0000016d: LT 0000016e: ISZERO 0000016f: PUSH2 0x0177 00000172: JUMPI 00000173: PUSH1 0x00 00000175: DUP1 00000176: REVERT 00000177: JUMPDEST 00000178: DUP2 00000179: ADD 0000017a: SWAP1 0000017b: DUP1 0000017c: DUP1 0000017d: CALLDATALOAD 0000017e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000193: AND 00000194: SWAP1 00000195: PUSH1 0x20 00000197: ADD 00000198: SWAP1 00000199: SWAP3 0000019a: SWAP2 0000019b: SWAP1 0000019c: POP 0000019d: POP 0000019e: POP 0000019f: PUSH2 0x06b6 000001a2: JUMP 000001a3: JUMPDEST 000001a4: STOP 000001a5: JUMPDEST 000001a6: CALLVALUE 000001a7: DUP1 000001a8: ISZERO 000001a9: PUSH2 0x01b1 000001ac: JUMPI 000001ad: PUSH1 0x00 000001af: DUP1 000001b0: REVERT 000001b1: JUMPDEST 000001b2: POP 000001b3: PUSH2 0x01ba 000001b6: PUSH2 0x08c9 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH1 0x40 000001bd: MLOAD 000001be: DUP1 000001bf: DUP3 000001c0: DUP2 000001c1: MSTORE 000001c2: PUSH1 0x20 000001c4: ADD 000001c5: SWAP2 000001c6: POP 000001c7: POP 000001c8: PUSH1 0x40 000001ca: MLOAD 000001cb: DUP1 000001cc: SWAP2 000001cd: SUB 000001ce: SWAP1 000001cf: RETURN 000001d0: JUMPDEST 000001d1: CALLVALUE 000001d2: DUP1 000001d3: ISZERO 000001d4: PUSH2 0x01dc 000001d7: JUMPI 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: POP 000001de: PUSH2 0x01e5 000001e1: PUSH2 0x08cf 000001e4: JUMP 000001e5: JUMPDEST 000001e6: PUSH1 0x40 000001e8: MLOAD 000001e9: DUP1 000001ea: DUP3 000001eb: ISZERO 000001ec: ISZERO 000001ed: ISZERO 000001ee: ISZERO 000001ef: DUP2 000001f0: MSTORE 000001f1: PUSH1 0x20 000001f3: ADD 000001f4: SWAP2 000001f5: POP 000001f6: POP 000001f7: PUSH1 0x40 000001f9: MLOAD 000001fa: DUP1 000001fb: SWAP2 000001fc: SUB 000001fd: SWAP1 000001fe: RETURN 000001ff: JUMPDEST 00000200: CALLVALUE 00000201: DUP1 00000202: ISZERO 00000203: PUSH2 0x020b 00000206: JUMPI 00000207: PUSH1 0x00 00000209: DUP1 0000020a: REVERT 0000020b: JUMPDEST 0000020c: POP 0000020d: PUSH2 0x024e 00000210: PUSH1 0x04 00000212: DUP1 00000213: CALLDATASIZE 00000214: SUB 00000215: PUSH1 0x20 00000217: DUP2 00000218: LT 00000219: ISZERO 0000021a: PUSH2 0x0222 0000021d: JUMPI 0000021e: PUSH1 0x00 00000220: DUP1 00000221: REVERT 00000222: JUMPDEST 00000223: DUP2 00000224: ADD 00000225: SWAP1 00000226: DUP1 00000227: DUP1 00000228: CALLDATALOAD 00000229: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023e: AND 0000023f: SWAP1 00000240: PUSH1 0x20 00000242: ADD 00000243: SWAP1 00000244: SWAP3 00000245: SWAP2 00000246: SWAP1 00000247: POP 00000248: POP 00000249: POP 0000024a: PUSH2 0x0995 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH1 0x40 00000251: MLOAD 00000252: DUP1 00000253: DUP3 00000254: ISZERO 00000255: ISZERO 00000256: ISZERO 00000257: ISZERO 00000258: DUP2 00000259: MSTORE 0000025a: PUSH1 0x20 0000025c: ADD 0000025d: SWAP2 0000025e: POP 0000025f: POP 00000260: PUSH1 0x40 00000262: MLOAD 00000263: DUP1 00000264: SWAP2 00000265: SUB 00000266: SWAP1 00000267: RETURN 00000268: JUMPDEST 00000269: CALLVALUE 0000026a: DUP1 0000026b: ISZERO 0000026c: PUSH2 0x0274 0000026f: JUMPI 00000270: PUSH1 0x00 00000272: DUP1 00000273: REVERT 00000274: JUMPDEST 00000275: POP 00000276: PUSH2 0x027d 00000279: PUSH2 0x0a42 0000027c: JUMP 0000027d: JUMPDEST 0000027e: PUSH1 0x40 00000280: MLOAD 00000281: DUP1 00000282: DUP3 00000283: ISZERO 00000284: ISZERO 00000285: ISZERO 00000286: ISZERO 00000287: DUP2 00000288: MSTORE 00000289: PUSH1 0x20 0000028b: ADD 0000028c: SWAP2 0000028d: POP 0000028e: POP 0000028f: PUSH1 0x40 00000291: MLOAD 00000292: DUP1 00000293: SWAP2 00000294: SUB 00000295: SWAP1 00000296: RETURN 00000297: JUMPDEST 00000298: CALLVALUE 00000299: DUP1 0000029a: ISZERO 0000029b: PUSH2 0x02a3 0000029e: JUMPI 0000029f: PUSH1 0x00 000002a1: DUP1 000002a2: REVERT 000002a3: JUMPDEST 000002a4: POP 000002a5: PUSH2 0x02ac 000002a8: PUSH2 0x0a59 000002ab: JUMP 000002ac: JUMPDEST 000002ad: STOP 000002ae: JUMPDEST 000002af: CALLVALUE 000002b0: DUP1 000002b1: ISZERO 000002b2: PUSH2 0x02ba 000002b5: JUMPI 000002b6: PUSH1 0x00 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: POP 000002bc: PUSH2 0x02c3 000002bf: PUSH2 0x0b3b 000002c2: JUMP 000002c3: JUMPDEST 000002c4: PUSH1 0x40 000002c6: MLOAD 000002c7: DUP1 000002c8: DUP3 000002c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002de: AND 000002df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f4: AND 000002f5: DUP2 000002f6: MSTORE 000002f7: PUSH1 0x20 000002f9: ADD 000002fa: SWAP2 000002fb: POP 000002fc: POP 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: DUP1 00000301: SWAP2 00000302: SUB 00000303: SWAP1 00000304: RETURN 00000305: JUMPDEST 00000306: CALLVALUE 00000307: DUP1 00000308: ISZERO 00000309: PUSH2 0x0311 0000030c: JUMPI 0000030d: PUSH1 0x00 0000030f: DUP1 00000310: REVERT 00000311: JUMPDEST 00000312: POP 00000313: PUSH2 0x031a 00000316: PUSH2 0x0b61 00000319: JUMP 0000031a: JUMPDEST 0000031b: PUSH1 0x40 0000031d: MLOAD 0000031e: DUP1 0000031f: DUP3 00000320: ISZERO 00000321: ISZERO 00000322: ISZERO 00000323: ISZERO 00000324: DUP2 00000325: MSTORE 00000326: PUSH1 0x20 00000328: ADD 00000329: SWAP2 0000032a: POP 0000032b: POP 0000032c: PUSH1 0x40 0000032e: MLOAD 0000032f: DUP1 00000330: SWAP2 00000331: SUB 00000332: SWAP1 00000333: RETURN 00000334: JUMPDEST 00000335: CALLVALUE 00000336: DUP1 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: POP 00000342: PUSH2 0x0349 00000345: PUSH2 0x0c28 00000348: JUMP 00000349: JUMPDEST 0000034a: PUSH1 0x40 0000034c: MLOAD 0000034d: DUP1 0000034e: DUP3 0000034f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000364: AND 00000365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037a: AND 0000037b: DUP2 0000037c: MSTORE 0000037d: PUSH1 0x20 0000037f: ADD 00000380: SWAP2 00000381: POP 00000382: POP 00000383: PUSH1 0x40 00000385: MLOAD 00000386: DUP1 00000387: SWAP2 00000388: SUB 00000389: SWAP1 0000038a: RETURN 0000038b: JUMPDEST 0000038c: CALLVALUE 0000038d: DUP1 0000038e: ISZERO 0000038f: PUSH2 0x0397 00000392: JUMPI 00000393: PUSH1 0x00 00000395: DUP1 00000396: REVERT 00000397: JUMPDEST 00000398: POP 00000399: PUSH2 0x03da 0000039c: PUSH1 0x04 0000039e: DUP1 0000039f: CALLDATASIZE 000003a0: SUB 000003a1: PUSH1 0x20 000003a3: DUP2 000003a4: LT 000003a5: ISZERO 000003a6: PUSH2 0x03ae 000003a9: JUMPI 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: DUP2 000003b0: ADD 000003b1: SWAP1 000003b2: DUP1 000003b3: DUP1 000003b4: CALLDATALOAD 000003b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ca: AND 000003cb: SWAP1 000003cc: PUSH1 0x20 000003ce: ADD 000003cf: SWAP1 000003d0: SWAP3 000003d1: SWAP2 000003d2: SWAP1 000003d3: POP 000003d4: POP 000003d5: POP 000003d6: PUSH2 0x0c4d 000003d9: JUMP 000003da: JUMPDEST 000003db: STOP 000003dc: JUMPDEST 000003dd: PUSH2 0x03e4 000003e0: PUSH2 0x0d28 000003e3: JUMP 000003e4: JUMPDEST 000003e5: STOP 000003e6: JUMPDEST 000003e7: CALLVALUE 000003e8: DUP1 000003e9: ISZERO 000003ea: PUSH2 0x03f2 000003ed: JUMPI 000003ee: PUSH1 0x00 000003f0: DUP1 000003f1: REVERT 000003f2: JUMPDEST 000003f3: POP 000003f4: PUSH2 0x041f 000003f7: PUSH1 0x04 000003f9: DUP1 000003fa: CALLDATASIZE 000003fb: SUB 000003fc: PUSH1 0x20 000003fe: DUP2 000003ff: LT 00000400: ISZERO 00000401: PUSH2 0x0409 00000404: JUMPI 00000405: PUSH1 0x00 00000407: DUP1 00000408: REVERT 00000409: JUMPDEST 0000040a: DUP2 0000040b: ADD 0000040c: SWAP1 0000040d: DUP1 0000040e: DUP1 0000040f: CALLDATALOAD 00000410: SWAP1 00000411: PUSH1 0x20 00000413: ADD 00000414: SWAP1 00000415: SWAP3 00000416: SWAP2 00000417: SWAP1 00000418: POP 00000419: POP 0000041a: POP 0000041b: PUSH2 0x0f97 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH1 0x40 00000422: MLOAD 00000423: DUP1 00000424: DUP3 00000425: DUP2 00000426: MSTORE 00000427: PUSH1 0x20 00000429: ADD 0000042a: SWAP2 0000042b: POP 0000042c: POP 0000042d: PUSH1 0x40 0000042f: MLOAD 00000430: DUP1 00000431: SWAP2 00000432: SUB 00000433: SWAP1 00000434: RETURN 00000435: JUMPDEST 00000436: CALLVALUE 00000437: DUP1 00000438: ISZERO 00000439: PUSH2 0x0441 0000043c: JUMPI 0000043d: PUSH1 0x00 0000043f: DUP1 00000440: REVERT 00000441: JUMPDEST 00000442: POP 00000443: PUSH2 0x044a 00000446: PUSH2 0x103b 00000449: JUMP 0000044a: JUMPDEST 0000044b: PUSH1 0x40 0000044d: MLOAD 0000044e: DUP1 0000044f: DUP3 00000450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000465: AND 00000466: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047b: AND 0000047c: DUP2 0000047d: MSTORE 0000047e: PUSH1 0x20 00000480: ADD 00000481: SWAP2 00000482: POP 00000483: POP 00000484: PUSH1 0x40 00000486: MLOAD 00000487: DUP1 00000488: SWAP2 00000489: SUB 0000048a: SWAP1 0000048b: RETURN 0000048c: JUMPDEST 0000048d: CALLVALUE 0000048e: DUP1 0000048f: ISZERO 00000490: PUSH2 0x0498 00000493: JUMPI 00000494: PUSH1 0x00 00000496: DUP1 00000497: REVERT 00000498: JUMPDEST 00000499: POP 0000049a: PUSH2 0x04a1 0000049d: PUSH2 0x1061 000004a0: JUMP 000004a1: JUMPDEST 000004a2: PUSH1 0x40 000004a4: MLOAD 000004a5: DUP1 000004a6: DUP3 000004a7: DUP2 000004a8: MSTORE 000004a9: PUSH1 0x20 000004ab: ADD 000004ac: SWAP2 000004ad: POP 000004ae: POP 000004af: PUSH1 0x40 000004b1: MLOAD 000004b2: DUP1 000004b3: SWAP2 000004b4: SUB 000004b5: SWAP1 000004b6: RETURN 000004b7: JUMPDEST 000004b8: CALLVALUE 000004b9: DUP1 000004ba: ISZERO 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: POP 000004c5: PUSH2 0x0506 000004c8: PUSH1 0x04 000004ca: DUP1 000004cb: CALLDATASIZE 000004cc: SUB 000004cd: PUSH1 0x20 000004cf: DUP2 000004d0: LT 000004d1: ISZERO 000004d2: PUSH2 0x04da 000004d5: JUMPI 000004d6: PUSH1 0x00 000004d8: DUP1 000004d9: REVERT 000004da: JUMPDEST 000004db: DUP2 000004dc: ADD 000004dd: SWAP1 000004de: DUP1 000004df: DUP1 000004e0: CALLDATALOAD 000004e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f6: AND 000004f7: SWAP1 000004f8: PUSH1 0x20 000004fa: ADD 000004fb: SWAP1 000004fc: SWAP3 000004fd: SWAP2 000004fe: SWAP1 000004ff: POP 00000500: POP 00000501: POP 00000502: PUSH2 0x1067 00000505: JUMP 00000506: JUMPDEST 00000507: STOP 00000508: JUMPDEST 00000509: CALLVALUE 0000050a: DUP1 0000050b: ISZERO 0000050c: PUSH2 0x0514 0000050f: JUMPI 00000510: PUSH1 0x00 00000512: DUP1 00000513: REVERT 00000514: JUMPDEST 00000515: POP 00000516: PUSH2 0x051d 00000519: PUSH2 0x11bc 0000051c: JUMP 0000051d: JUMPDEST 0000051e: PUSH1 0x40 00000520: MLOAD 00000521: DUP1 00000522: DUP3 00000523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000538: AND 00000539: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054e: AND 0000054f: DUP2 00000550: MSTORE 00000551: PUSH1 0x20 00000553: ADD 00000554: SWAP2 00000555: POP 00000556: POP 00000557: PUSH1 0x40 00000559: MLOAD 0000055a: DUP1 0000055b: SWAP2 0000055c: SUB 0000055d: SWAP1 0000055e: RETURN 0000055f: JUMPDEST 00000560: PUSH1 0x00 00000562: DUP1 00000563: SWAP1 00000564: SLOAD 00000565: SWAP1 00000566: PUSH2 0x0100 00000569: EXP 0000056a: SWAP1 0000056b: DIV 0000056c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000581: AND 00000582: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000597: AND 00000598: CALLER 00000599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ae: AND 000005af: EQ 000005b0: ISZERO 000005b1: ISZERO 000005b2: PUSH2 0x05ba 000005b5: JUMPI 000005b6: PUSH1 0x00 000005b8: DUP1 000005b9: REVERT 000005ba: JUMPDEST 000005bb: PUSH1 0x00 000005bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d2: AND 000005d3: DUP2 000005d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e9: AND 000005ea: EQ 000005eb: ISZERO 000005ec: ISZERO 000005ed: ISZERO 000005ee: PUSH2 0x05f6 000005f1: JUMPI 000005f2: PUSH1 0x00 000005f4: DUP1 000005f5: REVERT 000005f6: JUMPDEST 000005f7: DUP1 000005f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060d: AND 0000060e: PUSH1 0x01 00000610: PUSH1 0x00 00000612: SWAP1 00000613: SLOAD 00000614: SWAP1 00000615: PUSH2 0x0100 00000618: EXP 00000619: SWAP1 0000061a: DIV 0000061b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000630: AND 00000631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000646: AND 00000647: PUSH32 0x04fb0b16fa85e005dacda713c8580c0813a62fa3f13b29ad9a3359f54e79a44a 00000668: PUSH1 0x40 0000066a: MLOAD 0000066b: PUSH1 0x40 0000066d: MLOAD 0000066e: DUP1 0000066f: SWAP2 00000670: SUB 00000671: SWAP1 00000672: LOG3 00000673: DUP1 00000674: PUSH1 0x01 00000676: PUSH1 0x00 00000678: PUSH2 0x0100 0000067b: EXP 0000067c: DUP2 0000067d: SLOAD 0000067e: DUP2 0000067f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000694: MUL 00000695: NOT 00000696: AND 00000697: SWAP1 00000698: DUP4 00000699: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ae: AND 000006af: MUL 000006b0: OR 000006b1: SWAP1 000006b2: SSTORE 000006b3: POP 000006b4: POP 000006b5: JUMP 000006b6: JUMPDEST 000006b7: PUSH1 0x00 000006b9: DUP1 000006ba: SWAP1 000006bb: SLOAD 000006bc: SWAP1 000006bd: PUSH2 0x0100 000006c0: EXP 000006c1: SWAP1 000006c2: DIV 000006c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d8: AND 000006d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ee: AND 000006ef: CALLER 000006f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000705: AND 00000706: EQ 00000707: ISZERO 00000708: ISZERO 00000709: PUSH2 0x0711 0000070c: JUMPI 0000070d: PUSH1 0x00 0000070f: DUP1 00000710: REVERT 00000711: JUMPDEST 00000712: PUSH1 0x00 00000714: DUP2 00000715: SWAP1 00000716: POP 00000717: DUP1 00000718: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072d: AND 0000072e: PUSH4 0xa9059cbb 00000733: PUSH1 0x00 00000735: DUP1 00000736: SWAP1 00000737: SLOAD 00000738: SWAP1 00000739: PUSH2 0x0100 0000073c: EXP 0000073d: SWAP1 0000073e: DIV 0000073f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000754: AND 00000755: DUP4 00000756: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076b: AND 0000076c: PUSH4 0x70a08231 00000771: ADDRESS 00000772: PUSH1 0x40 00000774: MLOAD 00000775: DUP3 00000776: PUSH4 0xffffffff 0000077b: AND 0000077c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000079a: MUL 0000079b: DUP2 0000079c: MSTORE 0000079d: PUSH1 0x04 0000079f: ADD 000007a0: DUP1 000007a1: DUP3 000007a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b7: AND 000007b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007cd: AND 000007ce: DUP2 000007cf: MSTORE 000007d0: PUSH1 0x20 000007d2: ADD 000007d3: SWAP2 000007d4: POP 000007d5: POP 000007d6: PUSH1 0x20 000007d8: PUSH1 0x40 000007da: MLOAD 000007db: DUP1 000007dc: DUP4 000007dd: SUB 000007de: DUP2 000007df: DUP7 000007e0: DUP1 000007e1: EXTCODESIZE 000007e2: ISZERO 000007e3: DUP1 000007e4: ISZERO 000007e5: PUSH2 0x07ed 000007e8: JUMPI 000007e9: PUSH1 0x00 000007eb: DUP1 000007ec: REVERT 000007ed: JUMPDEST 000007ee: POP 000007ef: GAS 000007f0: STATICCALL 000007f1: ISZERO 000007f2: DUP1 000007f3: ISZERO 000007f4: PUSH2 0x0801 000007f7: JUMPI 000007f8: RETURNDATASIZE 000007f9: PUSH1 0x00 000007fb: DUP1 000007fc: RETURNDATACOPY 000007fd: RETURNDATASIZE 000007fe: PUSH1 0x00 00000800: REVERT 00000801: JUMPDEST 00000802: POP 00000803: POP 00000804: POP 00000805: POP 00000806: PUSH1 0x40 00000808: MLOAD 00000809: RETURNDATASIZE 0000080a: PUSH1 0x20 0000080c: DUP2 0000080d: LT 0000080e: ISZERO 0000080f: PUSH2 0x0817 00000812: JUMPI 00000813: PUSH1 0x00 00000815: DUP1 00000816: REVERT 00000817: JUMPDEST 00000818: DUP2 00000819: ADD 0000081a: SWAP1 0000081b: DUP1 0000081c: DUP1 0000081d: MLOAD 0000081e: SWAP1 0000081f: PUSH1 0x20 00000821: ADD 00000822: SWAP1 00000823: SWAP3 00000824: SWAP2 00000825: SWAP1 00000826: POP 00000827: POP 00000828: POP 00000829: PUSH1 0x40 0000082b: MLOAD 0000082c: DUP4 0000082d: PUSH4 0xffffffff 00000832: AND 00000833: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000851: MUL 00000852: DUP2 00000853: MSTORE 00000854: PUSH1 0x04 00000856: ADD 00000857: DUP1 00000858: DUP4 00000859: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086e: AND 0000086f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000884: AND 00000885: DUP2 00000886: MSTORE 00000887: PUSH1 0x20 00000889: ADD 0000088a: DUP3 0000088b: DUP2 0000088c: MSTORE 0000088d: PUSH1 0x20 0000088f: ADD 00000890: SWAP3 00000891: POP 00000892: POP 00000893: POP 00000894: PUSH1 0x00 00000896: PUSH1 0x40 00000898: MLOAD 00000899: DUP1 0000089a: DUP4 0000089b: SUB 0000089c: DUP2 0000089d: PUSH1 0x00 0000089f: DUP8 000008a0: DUP1 000008a1: EXTCODESIZE 000008a2: ISZERO 000008a3: DUP1 000008a4: ISZERO 000008a5: PUSH2 0x08ad 000008a8: JUMPI 000008a9: PUSH1 0x00 000008ab: DUP1 000008ac: REVERT 000008ad: JUMPDEST 000008ae: POP 000008af: GAS 000008b0: CALL 000008b1: ISZERO 000008b2: DUP1 000008b3: ISZERO 000008b4: PUSH2 0x08c1 000008b7: JUMPI 000008b8: RETURNDATASIZE 000008b9: PUSH1 0x00 000008bb: DUP1 000008bc: RETURNDATACOPY 000008bd: RETURNDATASIZE 000008be: PUSH1 0x00 000008c0: REVERT 000008c1: JUMPDEST 000008c2: POP 000008c3: POP 000008c4: POP 000008c5: POP 000008c6: POP 000008c7: POP 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH1 0x04 000008cc: SLOAD 000008cd: DUP2 000008ce: JUMP 000008cf: JUMPDEST 000008d0: PUSH1 0x00 000008d2: DUP1 000008d3: PUSH1 0x00 000008d5: SWAP1 000008d6: SLOAD 000008d7: SWAP1 000008d8: PUSH2 0x0100 000008db: EXP 000008dc: SWAP1 000008dd: DIV 000008de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f3: AND 000008f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000909: AND 0000090a: CALLER 0000090b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000920: AND 00000921: EQ 00000922: ISZERO 00000923: ISZERO 00000924: PUSH2 0x092c 00000927: JUMPI 00000928: PUSH1 0x00 0000092a: DUP1 0000092b: REVERT 0000092c: JUMPDEST 0000092d: PUSH1 0x02 0000092f: PUSH1 0x14 00000931: SWAP1 00000932: SLOAD 00000933: SWAP1 00000934: PUSH2 0x0100 00000937: EXP 00000938: SWAP1 00000939: DIV 0000093a: PUSH1 0xff 0000093c: AND 0000093d: ISZERO 0000093e: ISZERO 0000093f: PUSH2 0x0947 00000942: JUMPI 00000943: PUSH1 0x00 00000945: DUP1 00000946: REVERT 00000947: JUMPDEST 00000948: PUSH1 0x00 0000094a: PUSH1 0x02 0000094c: PUSH1 0x14 0000094e: PUSH2 0x0100 00000951: EXP 00000952: DUP2 00000953: SLOAD 00000954: DUP2 00000955: PUSH1 0xff 00000957: MUL 00000958: NOT 00000959: AND 0000095a: SWAP1 0000095b: DUP4 0000095c: ISZERO 0000095d: ISZERO 0000095e: MUL 0000095f: OR 00000960: SWAP1 00000961: SSTORE 00000962: POP 00000963: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 00000984: PUSH1 0x40 00000986: MLOAD 00000987: PUSH1 0x40 00000989: MLOAD 0000098a: DUP1 0000098b: SWAP2 0000098c: SUB 0000098d: SWAP1 0000098e: LOG1 0000098f: PUSH1 0x01 00000991: SWAP1 00000992: POP 00000993: SWAP1 00000994: JUMP 00000995: JUMPDEST 00000996: PUSH1 0x00 00000998: DUP1 00000999: PUSH1 0x00 0000099b: SWAP1 0000099c: SLOAD 0000099d: SWAP1 0000099e: PUSH2 0x0100 000009a1: EXP 000009a2: SWAP1 000009a3: DIV 000009a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b9: AND 000009ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009cf: AND 000009d0: CALLER 000009d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e6: AND 000009e7: EQ 000009e8: ISZERO 000009e9: ISZERO 000009ea: PUSH2 0x09f2 000009ed: JUMPI 000009ee: PUSH1 0x00 000009f0: DUP1 000009f1: REVERT 000009f2: JUMPDEST 000009f3: PUSH1 0x00 000009f5: DUP3 000009f6: SWAP1 000009f7: POP 000009f8: DUP1 000009f9: PUSH1 0x03 000009fb: PUSH1 0x00 000009fd: PUSH2 0x0100 00000a00: EXP 00000a01: DUP2 00000a02: SLOAD 00000a03: DUP2 00000a04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a19: MUL 00000a1a: NOT 00000a1b: AND 00000a1c: SWAP1 00000a1d: DUP4 00000a1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a33: AND 00000a34: MUL 00000a35: OR 00000a36: SWAP1 00000a37: SSTORE 00000a38: POP 00000a39: PUSH1 0x01 00000a3b: SWAP2 00000a3c: POP 00000a3d: POP 00000a3e: SWAP2 00000a3f: SWAP1 00000a40: POP 00000a41: JUMP 00000a42: JUMPDEST 00000a43: PUSH1 0x00 00000a45: PUSH1 0x02 00000a47: PUSH1 0x14 00000a49: SWAP1 00000a4a: SLOAD 00000a4b: SWAP1 00000a4c: PUSH2 0x0100 00000a4f: EXP 00000a50: SWAP1 00000a51: DIV 00000a52: PUSH1 0xff 00000a54: AND 00000a55: SWAP1 00000a56: POP 00000a57: SWAP1 00000a58: JUMP 00000a59: JUMPDEST 00000a5a: PUSH1 0x00 00000a5c: DUP1 00000a5d: SWAP1 00000a5e: SLOAD 00000a5f: SWAP1 00000a60: PUSH2 0x0100 00000a63: EXP 00000a64: SWAP1 00000a65: DIV 00000a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7b: AND 00000a7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a91: AND 00000a92: CALLER 00000a93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa8: AND 00000aa9: EQ 00000aaa: ISZERO 00000aab: ISZERO 00000aac: PUSH2 0x0ab4 00000aaf: JUMPI 00000ab0: PUSH1 0x00 00000ab2: DUP1 00000ab3: REVERT 00000ab4: JUMPDEST 00000ab5: PUSH1 0x00 00000ab7: ADDRESS 00000ab8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000acd: AND 00000ace: BALANCE 00000acf: SWAP1 00000ad0: POP 00000ad1: PUSH1 0x00 00000ad3: DUP1 00000ad4: SWAP1 00000ad5: SLOAD 00000ad6: SWAP1 00000ad7: PUSH2 0x0100 00000ada: EXP 00000adb: SWAP1 00000adc: DIV 00000add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af2: AND 00000af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b08: AND 00000b09: PUSH2 0x08fc 00000b0c: DUP3 00000b0d: SWAP1 00000b0e: DUP2 00000b0f: ISZERO 00000b10: MUL 00000b11: SWAP1 00000b12: PUSH1 0x40 00000b14: MLOAD 00000b15: PUSH1 0x00 00000b17: PUSH1 0x40 00000b19: MLOAD 00000b1a: DUP1 00000b1b: DUP4 00000b1c: SUB 00000b1d: DUP2 00000b1e: DUP6 00000b1f: DUP9 00000b20: DUP9 00000b21: CALL 00000b22: SWAP4 00000b23: POP 00000b24: POP 00000b25: POP 00000b26: POP 00000b27: ISZERO 00000b28: DUP1 00000b29: ISZERO 00000b2a: PUSH2 0x0b37 00000b2d: JUMPI 00000b2e: RETURNDATASIZE 00000b2f: PUSH1 0x00 00000b31: DUP1 00000b32: RETURNDATACOPY 00000b33: RETURNDATASIZE 00000b34: PUSH1 0x00 00000b36: REVERT 00000b37: JUMPDEST 00000b38: POP 00000b39: POP 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: PUSH1 0x03 00000b3e: PUSH1 0x00 00000b40: SWAP1 00000b41: SLOAD 00000b42: SWAP1 00000b43: PUSH2 0x0100 00000b46: EXP 00000b47: SWAP1 00000b48: DIV 00000b49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5e: AND 00000b5f: DUP2 00000b60: JUMP 00000b61: JUMPDEST 00000b62: PUSH1 0x00 00000b64: DUP1 00000b65: PUSH1 0x00 00000b67: SWAP1 00000b68: SLOAD 00000b69: SWAP1 00000b6a: PUSH2 0x0100 00000b6d: EXP 00000b6e: SWAP1 00000b6f: DIV 00000b70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b85: AND 00000b86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9b: AND 00000b9c: CALLER 00000b9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb2: AND 00000bb3: EQ 00000bb4: ISZERO 00000bb5: ISZERO 00000bb6: PUSH2 0x0bbe 00000bb9: JUMPI 00000bba: PUSH1 0x00 00000bbc: DUP1 00000bbd: REVERT 00000bbe: JUMPDEST 00000bbf: PUSH1 0x02 00000bc1: PUSH1 0x14 00000bc3: SWAP1 00000bc4: SLOAD 00000bc5: SWAP1 00000bc6: PUSH2 0x0100 00000bc9: EXP 00000bca: SWAP1 00000bcb: DIV 00000bcc: PUSH1 0xff 00000bce: AND 00000bcf: ISZERO 00000bd0: ISZERO 00000bd1: ISZERO 00000bd2: PUSH2 0x0bda 00000bd5: JUMPI 00000bd6: PUSH1 0x00 00000bd8: DUP1 00000bd9: REVERT 00000bda: JUMPDEST 00000bdb: PUSH1 0x01 00000bdd: PUSH1 0x02 00000bdf: PUSH1 0x14 00000be1: PUSH2 0x0100 00000be4: EXP 00000be5: DUP2 00000be6: SLOAD 00000be7: DUP2 00000be8: PUSH1 0xff 00000bea: MUL 00000beb: NOT 00000bec: AND 00000bed: SWAP1 00000bee: DUP4 00000bef: ISZERO 00000bf0: ISZERO 00000bf1: MUL 00000bf2: OR 00000bf3: SWAP1 00000bf4: SSTORE 00000bf5: POP 00000bf6: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 00000c17: PUSH1 0x40 00000c19: MLOAD 00000c1a: PUSH1 0x40 00000c1c: MLOAD 00000c1d: DUP1 00000c1e: SWAP2 00000c1f: SUB 00000c20: SWAP1 00000c21: LOG1 00000c22: PUSH1 0x01 00000c24: SWAP1 00000c25: POP 00000c26: SWAP1 00000c27: JUMP 00000c28: JUMPDEST 00000c29: PUSH1 0x00 00000c2b: DUP1 00000c2c: SWAP1 00000c2d: SLOAD 00000c2e: SWAP1 00000c2f: PUSH2 0x0100 00000c32: EXP 00000c33: SWAP1 00000c34: DIV 00000c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4a: AND 00000c4b: DUP2 00000c4c: JUMP 00000c4d: JUMPDEST 00000c4e: PUSH1 0x00 00000c50: DUP1 00000c51: SWAP1 00000c52: SLOAD 00000c53: SWAP1 00000c54: PUSH2 0x0100 00000c57: EXP 00000c58: SWAP1 00000c59: DIV 00000c5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6f: AND 00000c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c85: AND 00000c86: CALLER 00000c87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c9c: AND 00000c9d: EQ 00000c9e: ISZERO 00000c9f: ISZERO 00000ca0: PUSH2 0x0ca8 00000ca3: JUMPI 00000ca4: PUSH1 0x00 00000ca6: DUP1 00000ca7: REVERT 00000ca8: JUMPDEST 00000ca9: PUSH1 0x00 00000cab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc0: AND 00000cc1: DUP2 00000cc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd7: AND 00000cd8: EQ 00000cd9: ISZERO 00000cda: ISZERO 00000cdb: ISZERO 00000cdc: PUSH2 0x0ce4 00000cdf: JUMPI 00000ce0: PUSH1 0x00 00000ce2: DUP1 00000ce3: REVERT 00000ce4: JUMPDEST 00000ce5: DUP1 00000ce6: PUSH1 0x02 00000ce8: PUSH1 0x00 00000cea: PUSH2 0x0100 00000ced: EXP 00000cee: DUP2 00000cef: SLOAD 00000cf0: DUP2 00000cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d06: MUL 00000d07: NOT 00000d08: AND 00000d09: SWAP1 00000d0a: DUP4 00000d0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d20: AND 00000d21: MUL 00000d22: OR 00000d23: SWAP1 00000d24: SSTORE 00000d25: POP 00000d26: POP 00000d27: JUMP 00000d28: JUMPDEST 00000d29: PUSH1 0x02 00000d2b: PUSH1 0x14 00000d2d: SWAP1 00000d2e: SLOAD 00000d2f: SWAP1 00000d30: PUSH2 0x0100 00000d33: EXP 00000d34: SWAP1 00000d35: DIV 00000d36: PUSH1 0xff 00000d38: AND 00000d39: ISZERO 00000d3a: ISZERO 00000d3b: ISZERO 00000d3c: PUSH2 0x0d44 00000d3f: JUMPI 00000d40: PUSH1 0x00 00000d42: DUP1 00000d43: REVERT 00000d44: JUMPDEST 00000d45: PUSH2 0x2710 00000d48: CALLVALUE 00000d49: LT 00000d4a: ISZERO 00000d4b: ISZERO 00000d4c: ISZERO 00000d4d: PUSH2 0x0d55 00000d50: JUMPI 00000d51: PUSH1 0x00 00000d53: DUP1 00000d54: REVERT 00000d55: JUMPDEST 00000d56: PUSH1 0x00 00000d58: PUSH2 0x0d6c 00000d5b: PUSH1 0x04 00000d5d: SLOAD 00000d5e: CALLVALUE 00000d5f: PUSH2 0x11e2 00000d62: SWAP1 00000d63: SWAP2 00000d64: SWAP1 00000d65: PUSH4 0xffffffff 00000d6a: AND 00000d6b: JUMP 00000d6c: JUMPDEST 00000d6d: SWAP1 00000d6e: POP 00000d6f: PUSH1 0x03 00000d71: PUSH1 0x00 00000d73: SWAP1 00000d74: SLOAD 00000d75: SWAP1 00000d76: PUSH2 0x0100 00000d79: EXP 00000d7a: SWAP1 00000d7b: DIV 00000d7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d91: AND 00000d92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da7: AND 00000da8: PUSH4 0x23b872dd 00000dad: PUSH1 0x00 00000daf: DUP1 00000db0: SWAP1 00000db1: SLOAD 00000db2: SWAP1 00000db3: PUSH2 0x0100 00000db6: EXP 00000db7: SWAP1 00000db8: DIV 00000db9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dce: AND 00000dcf: CALLER 00000dd0: DUP5 00000dd1: PUSH1 0x40 00000dd3: MLOAD 00000dd4: DUP5 00000dd5: PUSH4 0xffffffff 00000dda: AND 00000ddb: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000df9: MUL 00000dfa: DUP2 00000dfb: MSTORE 00000dfc: PUSH1 0x04 00000dfe: ADD 00000dff: DUP1 00000e00: DUP5 00000e01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e16: AND 00000e17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2c: AND 00000e2d: DUP2 00000e2e: MSTORE 00000e2f: PUSH1 0x20 00000e31: ADD 00000e32: DUP4 00000e33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e48: AND 00000e49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5e: AND 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH1 0x20 00000e63: ADD 00000e64: DUP3 00000e65: DUP2 00000e66: MSTORE 00000e67: PUSH1 0x20 00000e69: ADD 00000e6a: SWAP4 00000e6b: POP 00000e6c: POP 00000e6d: POP 00000e6e: POP 00000e6f: PUSH1 0x20 00000e71: PUSH1 0x40 00000e73: MLOAD 00000e74: DUP1 00000e75: DUP4 00000e76: SUB 00000e77: DUP2 00000e78: PUSH1 0x00 00000e7a: DUP8 00000e7b: DUP1 00000e7c: EXTCODESIZE 00000e7d: ISZERO 00000e7e: DUP1 00000e7f: ISZERO 00000e80: PUSH2 0x0e88 00000e83: JUMPI 00000e84: PUSH1 0x00 00000e86: DUP1 00000e87: REVERT 00000e88: JUMPDEST 00000e89: POP 00000e8a: GAS 00000e8b: CALL 00000e8c: ISZERO 00000e8d: DUP1 00000e8e: ISZERO 00000e8f: PUSH2 0x0e9c 00000e92: JUMPI 00000e93: RETURNDATASIZE 00000e94: PUSH1 0x00 00000e96: DUP1 00000e97: RETURNDATACOPY 00000e98: RETURNDATASIZE 00000e99: PUSH1 0x00 00000e9b: REVERT 00000e9c: JUMPDEST 00000e9d: POP 00000e9e: POP 00000e9f: POP 00000ea0: POP 00000ea1: PUSH1 0x40 00000ea3: MLOAD 00000ea4: RETURNDATASIZE 00000ea5: PUSH1 0x20 00000ea7: DUP2 00000ea8: LT 00000ea9: ISZERO 00000eaa: PUSH2 0x0eb2 00000ead: JUMPI 00000eae: PUSH1 0x00 00000eb0: DUP1 00000eb1: REVERT 00000eb2: JUMPDEST 00000eb3: DUP2 00000eb4: ADD 00000eb5: SWAP1 00000eb6: DUP1 00000eb7: DUP1 00000eb8: MLOAD 00000eb9: SWAP1 00000eba: PUSH1 0x20 00000ebc: ADD 00000ebd: SWAP1 00000ebe: SWAP3 00000ebf: SWAP2 00000ec0: SWAP1 00000ec1: POP 00000ec2: POP 00000ec3: POP 00000ec4: POP 00000ec5: PUSH1 0x02 00000ec7: PUSH1 0x00 00000ec9: SWAP1 00000eca: SLOAD 00000ecb: SWAP1 00000ecc: PUSH2 0x0100 00000ecf: EXP 00000ed0: SWAP1 00000ed1: DIV 00000ed2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee7: AND 00000ee8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000efd: AND 00000efe: PUSH2 0x08fc 00000f01: PUSH2 0x2710 00000f04: PUSH1 0x05 00000f06: SLOAD 00000f07: CALLVALUE 00000f08: MUL 00000f09: DUP2 00000f0a: ISZERO 00000f0b: ISZERO 00000f0c: PUSH2 0x0f11 00000f0f: JUMPI 00000f10: INVALID 00000f11: JUMPDEST 00000f12: DIV 00000f13: SWAP1 00000f14: DUP2 00000f15: ISZERO 00000f16: MUL 00000f17: SWAP1 00000f18: PUSH1 0x40 00000f1a: MLOAD 00000f1b: PUSH1 0x00 00000f1d: PUSH1 0x40 00000f1f: MLOAD 00000f20: DUP1 00000f21: DUP4 00000f22: SUB 00000f23: DUP2 00000f24: DUP6 00000f25: DUP9 00000f26: DUP9 00000f27: CALL 00000f28: SWAP4 00000f29: POP 00000f2a: POP 00000f2b: POP 00000f2c: POP 00000f2d: ISZERO 00000f2e: DUP1 00000f2f: ISZERO 00000f30: PUSH2 0x0f3d 00000f33: JUMPI 00000f34: RETURNDATASIZE 00000f35: PUSH1 0x00 00000f37: DUP1 00000f38: RETURNDATACOPY 00000f39: RETURNDATASIZE 00000f3a: PUSH1 0x00 00000f3c: REVERT 00000f3d: JUMPDEST 00000f3e: POP 00000f3f: CALLER 00000f40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f55: AND 00000f56: PUSH32 0x166366a44aa02c82b97c336af274c9026eee1f503b732a1490c2c2aaa2c91683 00000f77: CALLVALUE 00000f78: DUP4 00000f79: PUSH1 0x40 00000f7b: MLOAD 00000f7c: DUP1 00000f7d: DUP4 00000f7e: DUP2 00000f7f: MSTORE 00000f80: PUSH1 0x20 00000f82: ADD 00000f83: DUP3 00000f84: DUP2 00000f85: MSTORE 00000f86: PUSH1 0x20 00000f88: ADD 00000f89: SWAP3 00000f8a: POP 00000f8b: POP 00000f8c: POP 00000f8d: PUSH1 0x40 00000f8f: MLOAD 00000f90: DUP1 00000f91: SWAP2 00000f92: SUB 00000f93: SWAP1 00000f94: LOG2 00000f95: POP 00000f96: JUMP 00000f97: JUMPDEST 00000f98: PUSH1 0x00 00000f9a: PUSH1 0x01 00000f9c: PUSH1 0x00 00000f9e: SWAP1 00000f9f: SLOAD 00000fa0: SWAP1 00000fa1: PUSH2 0x0100 00000fa4: EXP 00000fa5: SWAP1 00000fa6: DIV 00000fa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fbc: AND 00000fbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd2: AND 00000fd3: CALLER 00000fd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe9: AND 00000fea: EQ 00000feb: ISZERO 00000fec: ISZERO 00000fed: PUSH2 0x0ff5 00000ff0: JUMPI 00000ff1: PUSH1 0x00 00000ff3: DUP1 00000ff4: REVERT 00000ff5: JUMPDEST 00000ff6: DUP2 00000ff7: PUSH1 0x04 00000ff9: DUP2 00000ffa: SWAP1 00000ffb: SSTORE 00000ffc: POP 00000ffd: PUSH32 0x388f446e9526fe5c9af20a5919b342370c8a7c0cb05245afe1e545658fa3cdba 0000101e: DUP3 0000101f: PUSH1 0x40 00001021: MLOAD 00001022: DUP1 00001023: DUP3 00001024: DUP2 00001025: MSTORE 00001026: PUSH1 0x20 00001028: ADD 00001029: SWAP2 0000102a: POP 0000102b: POP 0000102c: PUSH1 0x40 0000102e: MLOAD 0000102f: DUP1 00001030: SWAP2 00001031: SUB 00001032: SWAP1 00001033: LOG1 00001034: DUP2 00001035: SWAP1 00001036: POP 00001037: SWAP2 00001038: SWAP1 00001039: POP 0000103a: JUMP 0000103b: JUMPDEST 0000103c: PUSH1 0x01 0000103e: PUSH1 0x00 00001040: SWAP1 00001041: SLOAD 00001042: SWAP1 00001043: PUSH2 0x0100 00001046: EXP 00001047: SWAP1 00001048: DIV 00001049: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105e: AND 0000105f: DUP2 00001060: JUMP 00001061: JUMPDEST 00001062: PUSH1 0x05 00001064: SLOAD 00001065: DUP2 00001066: JUMP 00001067: JUMPDEST 00001068: PUSH1 0x00 0000106a: DUP1 0000106b: SWAP1 0000106c: SLOAD 0000106d: SWAP1 0000106e: PUSH2 0x0100 00001071: EXP 00001072: SWAP1 00001073: DIV 00001074: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001089: AND 0000108a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109f: AND 000010a0: CALLER 000010a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b6: AND 000010b7: EQ 000010b8: ISZERO 000010b9: ISZERO 000010ba: PUSH2 0x10c2 000010bd: JUMPI 000010be: PUSH1 0x00 000010c0: DUP1 000010c1: REVERT 000010c2: JUMPDEST 000010c3: PUSH1 0x00 000010c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010da: AND 000010db: DUP2 000010dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f1: AND 000010f2: EQ 000010f3: ISZERO 000010f4: ISZERO 000010f5: ISZERO 000010f6: PUSH2 0x10fe 000010f9: JUMPI 000010fa: PUSH1 0x00 000010fc: DUP1 000010fd: REVERT 000010fe: JUMPDEST 000010ff: DUP1 00001100: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001115: AND 00001116: PUSH1 0x00 00001118: DUP1 00001119: SWAP1 0000111a: SLOAD 0000111b: SWAP1 0000111c: PUSH2 0x0100 0000111f: EXP 00001120: SWAP1 00001121: DIV 00001122: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001137: AND 00001138: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000114d: AND 0000114e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000116f: PUSH1 0x40 00001171: MLOAD 00001172: PUSH1 0x40 00001174: MLOAD 00001175: DUP1 00001176: SWAP2 00001177: SUB 00001178: SWAP1 00001179: LOG3 0000117a: DUP1 0000117b: PUSH1 0x00 0000117d: DUP1 0000117e: PUSH2 0x0100 00001181: EXP 00001182: DUP2 00001183: SLOAD 00001184: DUP2 00001185: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000119a: MUL 0000119b: NOT 0000119c: AND 0000119d: SWAP1 0000119e: DUP4 0000119f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b4: AND 000011b5: MUL 000011b6: OR 000011b7: SWAP1 000011b8: SSTORE 000011b9: POP 000011ba: POP 000011bb: JUMP 000011bc: JUMPDEST 000011bd: PUSH1 0x02 000011bf: PUSH1 0x00 000011c1: SWAP1 000011c2: SLOAD 000011c3: SWAP1 000011c4: PUSH2 0x0100 000011c7: EXP 000011c8: SWAP1 000011c9: DIV 000011ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011df: AND 000011e0: DUP2 000011e1: JUMP 000011e2: JUMPDEST 000011e3: PUSH1 0x00 000011e5: DUP1 000011e6: DUP4 000011e7: EQ 000011e8: ISZERO 000011e9: PUSH2 0x11f5 000011ec: JUMPI 000011ed: PUSH1 0x00 000011ef: SWAP1 000011f0: POP 000011f1: PUSH2 0x121a 000011f4: JUMP 000011f5: JUMPDEST 000011f6: PUSH1 0x00 000011f8: DUP3 000011f9: DUP5 000011fa: MUL 000011fb: SWAP1 000011fc: POP 000011fd: DUP3 000011fe: DUP5 000011ff: DUP3 00001200: DUP2 00001201: ISZERO 00001202: ISZERO 00001203: PUSH2 0x1208 00001206: JUMPI 00001207: INVALID 00001208: JUMPDEST 00001209: DIV 0000120a: EQ 0000120b: ISZERO 0000120c: ISZERO 0000120d: PUSH2 0x1215 00001210: JUMPI 00001211: PUSH1 0x00 00001213: DUP1 00001214: REVERT 00001215: JUMPDEST 00001216: DUP1 00001217: SWAP2 00001218: POP 00001219: POP 0000121a: JUMPDEST 0000121b: SWAP3 0000121c: SWAP2 0000121d: POP 0000121e: POP 0000121f: JUMP 00001220: INVALID 00001221: LOG1 00001222: PUSH6 0x627a7a723058 00001229: KECCAK256 0000122a: RETURNDATACOPY 0000122b: SWAP13 0000122c: UNKNOWN(0x0F) 0000122d: UNKNOWN(0xC3) 0000122e: UNKNOWN(0xB3) 0000122f: UNKNOWN(0x4D) 00001230: DUP2 00001231: CALLDATALOAD 00001232: UNKNOWN(0x2C) 00001233: SWAP1 00001234: MUL 00001235: LOG2 00001236: EXTCODECOPY 00001237: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xfac65d210216d0294f9993a0e6960f749f57a8995dbb5aee946da90c1f8c5e09
call_targets:
0x8ecb6d18b2163d955fb9171fec1fb4f9382001bc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfac65d210216d0294f9993a0e6960f749f57a8995dbb5aee946da90c1f8c5e09",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8ecb6d18b2163d955fb9171fec1fb4f9382001bc"
],
"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": "0x0fc8a393",
"selector": "0x0fc8a393",
"calldata_variants": [
"0x0fc8a393",
"0x0fc8a3930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3971e5b5",
"selector": "0x3971e5b5",
"calldata_variants": [
"0x3971e5b5",
"0x3971e5b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ba0b9a9",
"selector": "0x3ba0b9a9",
"calldata_variants": [
"0x3ba0b9a9",
"0x3ba0b9a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b0bc07b",
"selector": "0x5b0bc07b",
"calldata_variants": [
"0x5b0bc07b",
"0x5b0bc07b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fd8c710",
"selector": "0x5fd8c710",
"calldata_variants": [
"0x5fd8c710",
"0x5fd8c7100000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2224,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2849,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3723,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 1432,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1775,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2314,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2512,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2706,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2972,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3206,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4051,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4256,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xfac65d210216d0294f9993a0e6960f749f57a8995dbb5aee946da90c1f8c5e09
call_targets:
0x8ecb6d18b2163d955fb9171fec1fb4f9382001bc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfac65d210216d0294f9993a0e6960f749f57a8995dbb5aee946da90c1f8c5e09",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8ecb6d18b2163d955fb9171fec1fb4f9382001bc"
],
"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": "0x0fc8a393",
"selector": "0x0fc8a393",
"calldata_variants": [
"0x0fc8a393",
"0x0fc8a3930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3971e5b5",
"selector": "0x3971e5b5",
"calldata_variants": [
"0x3971e5b5",
"0x3971e5b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ba0b9a9",
"selector": "0x3ba0b9a9",
"calldata_variants": [
"0x3ba0b9a9",
"0x3ba0b9a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b0bc07b",
"selector": "0x5b0bc07b",
"calldata_variants": [
"0x5b0bc07b",
"0x5b0bc07b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fd8c710",
"selector": "0x5fd8c710",
"calldata_variants": [
"0x5fd8c710",
"0x5fd8c7100000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2224,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2849,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3723,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 1432,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1775,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2314,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2512,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2706,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2972,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3206,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4051,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4256,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|