019b477e-aead-70e1-8d95-1e8d4bf51060
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 |
|---|---|---|---|---|
| 21631 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21632 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64982 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64983 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64984 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64985 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x011c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH3 0x23de29 0000003b: EQ 0000003c: PUSH2 0x0121 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x2670bdf0 00000046: EQ 00000047: PUSH2 0x0227 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x2f54bf6e 00000051: EQ 00000052: PUSH2 0x0260 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x3a30452a 0000005c: EQ 0000005d: PUSH2 0x02b1 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x47e7ef24 00000067: EQ 00000068: PUSH2 0x02ea 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x6f362c2b 00000072: EQ 00000073: PUSH2 0x0321 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x8322fff2 0000007d: EQ 0000007e: PUSH2 0x0376 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x8ce5877c 00000088: EQ 00000089: PUSH2 0x03cb 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8da5cb5b 00000093: EQ 00000094: PUSH2 0x0404 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x900888a3 0000009e: EQ 0000009f: PUSH2 0x0459 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x9a206ece 000000a9: EQ 000000aa: PUSH2 0x0492 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa389783e 000000b4: EQ 000000b5: PUSH2 0x04e3 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xab7b70d3 000000bf: EQ 000000c0: PUSH2 0x0553 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xc0ee0b8a 000000ca: EQ 000000cb: PUSH2 0x05a4 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xdaea85c5 000000d5: EQ 000000d6: PUSH2 0x0629 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xe7e31e7a 000000e0: EQ 000000e1: PUSH2 0x0662 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xf18d03cc 000000eb: EQ 000000ec: PUSH2 0x069b 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xf2fde38b 000000f6: EQ 000000f7: PUSH2 0x071b 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xf3fef3a3 00000101: EQ 00000102: PUSH2 0x0754 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xf7888aec 0000010c: EQ 0000010d: PUSH2 0x0796 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xfbf1f78a 00000117: EQ 00000118: PUSH2 0x0802 0000011b: JUMPI 0000011c: JUMPDEST 0000011d: PUSH1 0x00 0000011f: DUP1 00000120: REVERT 00000121: JUMPDEST 00000122: CALLVALUE 00000123: ISZERO 00000124: PUSH2 0x012c 00000127: JUMPI 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: REVERT 0000012c: JUMPDEST 0000012d: PUSH2 0x0225 00000130: PUSH1 0x04 00000132: DUP1 00000133: DUP1 00000134: CALLDATALOAD 00000135: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000014a: AND 0000014b: SWAP1 0000014c: PUSH1 0x20 0000014e: ADD 0000014f: SWAP1 00000150: SWAP2 00000151: SWAP1 00000152: DUP1 00000153: CALLDATALOAD 00000154: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000169: AND 0000016a: SWAP1 0000016b: PUSH1 0x20 0000016d: ADD 0000016e: SWAP1 0000016f: SWAP2 00000170: SWAP1 00000171: DUP1 00000172: CALLDATALOAD 00000173: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000188: AND 00000189: SWAP1 0000018a: PUSH1 0x20 0000018c: ADD 0000018d: SWAP1 0000018e: SWAP2 0000018f: SWAP1 00000190: DUP1 00000191: CALLDATALOAD 00000192: SWAP1 00000193: PUSH1 0x20 00000195: ADD 00000196: SWAP1 00000197: SWAP2 00000198: SWAP1 00000199: DUP1 0000019a: CALLDATALOAD 0000019b: SWAP1 0000019c: PUSH1 0x20 0000019e: ADD 0000019f: SWAP1 000001a0: DUP3 000001a1: ADD 000001a2: DUP1 000001a3: CALLDATALOAD 000001a4: SWAP1 000001a5: PUSH1 0x20 000001a7: ADD 000001a8: SWAP1 000001a9: DUP1 000001aa: DUP1 000001ab: PUSH1 0x1f 000001ad: ADD 000001ae: PUSH1 0x20 000001b0: DUP1 000001b1: SWAP2 000001b2: DIV 000001b3: MUL 000001b4: PUSH1 0x20 000001b6: ADD 000001b7: PUSH1 0x40 000001b9: MLOAD 000001ba: SWAP1 000001bb: DUP2 000001bc: ADD 000001bd: PUSH1 0x40 000001bf: MSTORE 000001c0: DUP1 000001c1: SWAP4 000001c2: SWAP3 000001c3: SWAP2 000001c4: SWAP1 000001c5: DUP2 000001c6: DUP2 000001c7: MSTORE 000001c8: PUSH1 0x20 000001ca: ADD 000001cb: DUP4 000001cc: DUP4 000001cd: DUP1 000001ce: DUP3 000001cf: DUP5 000001d0: CALLDATACOPY 000001d1: DUP3 000001d2: ADD 000001d3: SWAP2 000001d4: POP 000001d5: POP 000001d6: POP 000001d7: POP 000001d8: POP 000001d9: POP 000001da: SWAP2 000001db: SWAP1 000001dc: DUP1 000001dd: CALLDATALOAD 000001de: SWAP1 000001df: PUSH1 0x20 000001e1: ADD 000001e2: SWAP1 000001e3: DUP3 000001e4: ADD 000001e5: DUP1 000001e6: CALLDATALOAD 000001e7: SWAP1 000001e8: PUSH1 0x20 000001ea: ADD 000001eb: SWAP1 000001ec: DUP1 000001ed: DUP1 000001ee: PUSH1 0x1f 000001f0: ADD 000001f1: PUSH1 0x20 000001f3: DUP1 000001f4: SWAP2 000001f5: DIV 000001f6: MUL 000001f7: PUSH1 0x20 000001f9: ADD 000001fa: PUSH1 0x40 000001fc: MLOAD 000001fd: SWAP1 000001fe: DUP2 000001ff: ADD 00000200: PUSH1 0x40 00000202: MSTORE 00000203: DUP1 00000204: SWAP4 00000205: SWAP3 00000206: SWAP2 00000207: SWAP1 00000208: DUP2 00000209: DUP2 0000020a: MSTORE 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: DUP4 0000020f: DUP4 00000210: DUP1 00000211: DUP3 00000212: DUP5 00000213: CALLDATACOPY 00000214: DUP3 00000215: ADD 00000216: SWAP2 00000217: POP 00000218: POP 00000219: POP 0000021a: POP 0000021b: POP 0000021c: POP 0000021d: SWAP2 0000021e: SWAP1 0000021f: POP 00000220: POP 00000221: PUSH2 0x083b 00000224: JUMP 00000225: JUMPDEST 00000226: STOP 00000227: JUMPDEST 00000228: CALLVALUE 00000229: ISZERO 0000022a: PUSH2 0x0232 0000022d: JUMPI 0000022e: PUSH1 0x00 00000230: DUP1 00000231: REVERT 00000232: JUMPDEST 00000233: PUSH2 0x025e 00000236: PUSH1 0x04 00000238: DUP1 00000239: DUP1 0000023a: CALLDATALOAD 0000023b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000250: AND 00000251: SWAP1 00000252: PUSH1 0x20 00000254: ADD 00000255: SWAP1 00000256: SWAP2 00000257: SWAP1 00000258: POP 00000259: POP 0000025a: PUSH2 0x08f9 0000025d: JUMP 0000025e: JUMPDEST 0000025f: STOP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: PUSH2 0x0297 0000026f: PUSH1 0x04 00000271: DUP1 00000272: DUP1 00000273: CALLDATALOAD 00000274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000289: AND 0000028a: SWAP1 0000028b: PUSH1 0x20 0000028d: ADD 0000028e: SWAP1 0000028f: SWAP2 00000290: SWAP1 00000291: POP 00000292: POP 00000293: PUSH2 0x0967 00000296: JUMP 00000297: JUMPDEST 00000298: PUSH1 0x40 0000029a: MLOAD 0000029b: DUP1 0000029c: DUP3 0000029d: ISZERO 0000029e: ISZERO 0000029f: ISZERO 000002a0: ISZERO 000002a1: DUP2 000002a2: MSTORE 000002a3: PUSH1 0x20 000002a5: ADD 000002a6: SWAP2 000002a7: POP 000002a8: POP 000002a9: PUSH1 0x40 000002ab: MLOAD 000002ac: DUP1 000002ad: SWAP2 000002ae: SUB 000002af: SWAP1 000002b0: RETURN 000002b1: JUMPDEST 000002b2: CALLVALUE 000002b3: ISZERO 000002b4: PUSH2 0x02bc 000002b7: JUMPI 000002b8: PUSH1 0x00 000002ba: DUP1 000002bb: REVERT 000002bc: JUMPDEST 000002bd: PUSH2 0x02e8 000002c0: PUSH1 0x04 000002c2: DUP1 000002c3: DUP1 000002c4: CALLDATALOAD 000002c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002da: AND 000002db: SWAP1 000002dc: PUSH1 0x20 000002de: ADD 000002df: SWAP1 000002e0: SWAP2 000002e1: SWAP1 000002e2: POP 000002e3: POP 000002e4: PUSH2 0x09c0 000002e7: JUMP 000002e8: JUMPDEST 000002e9: STOP 000002ea: JUMPDEST 000002eb: PUSH2 0x031f 000002ee: PUSH1 0x04 000002f0: DUP1 000002f1: DUP1 000002f2: CALLDATALOAD 000002f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000308: AND 00000309: SWAP1 0000030a: PUSH1 0x20 0000030c: ADD 0000030d: SWAP1 0000030e: SWAP2 0000030f: SWAP1 00000310: DUP1 00000311: CALLDATALOAD 00000312: SWAP1 00000313: PUSH1 0x20 00000315: ADD 00000316: SWAP1 00000317: SWAP2 00000318: SWAP1 00000319: POP 0000031a: POP 0000031b: PUSH2 0x09ea 0000031e: JUMP 0000031f: JUMPDEST 00000320: STOP 00000321: JUMPDEST 00000322: CALLVALUE 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: PUSH2 0x0334 00000330: PUSH2 0x0b7a 00000333: JUMP 00000334: JUMPDEST 00000335: PUSH1 0x40 00000337: MLOAD 00000338: DUP1 00000339: DUP3 0000033a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034f: AND 00000350: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000365: AND 00000366: DUP2 00000367: MSTORE 00000368: PUSH1 0x20 0000036a: ADD 0000036b: SWAP2 0000036c: POP 0000036d: POP 0000036e: PUSH1 0x40 00000370: MLOAD 00000371: DUP1 00000372: SWAP2 00000373: SUB 00000374: SWAP1 00000375: RETURN 00000376: JUMPDEST 00000377: CALLVALUE 00000378: ISZERO 00000379: PUSH2 0x0381 0000037c: JUMPI 0000037d: PUSH1 0x00 0000037f: DUP1 00000380: REVERT 00000381: JUMPDEST 00000382: PUSH2 0x0389 00000385: PUSH2 0x0ba4 00000388: JUMP 00000389: JUMPDEST 0000038a: PUSH1 0x40 0000038c: MLOAD 0000038d: DUP1 0000038e: DUP3 0000038f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a4: AND 000003a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ba: AND 000003bb: DUP2 000003bc: MSTORE 000003bd: PUSH1 0x20 000003bf: ADD 000003c0: SWAP2 000003c1: POP 000003c2: POP 000003c3: PUSH1 0x40 000003c5: MLOAD 000003c6: DUP1 000003c7: SWAP2 000003c8: SUB 000003c9: SWAP1 000003ca: RETURN 000003cb: JUMPDEST 000003cc: CALLVALUE 000003cd: ISZERO 000003ce: PUSH2 0x03d6 000003d1: JUMPI 000003d2: PUSH1 0x00 000003d4: DUP1 000003d5: REVERT 000003d6: JUMPDEST 000003d7: PUSH2 0x0402 000003da: PUSH1 0x04 000003dc: DUP1 000003dd: DUP1 000003de: CALLDATALOAD 000003df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f4: AND 000003f5: SWAP1 000003f6: PUSH1 0x20 000003f8: ADD 000003f9: SWAP1 000003fa: SWAP2 000003fb: SWAP1 000003fc: POP 000003fd: POP 000003fe: PUSH2 0x0ba9 00000401: JUMP 00000402: JUMPDEST 00000403: STOP 00000404: JUMPDEST 00000405: CALLVALUE 00000406: ISZERO 00000407: PUSH2 0x040f 0000040a: JUMPI 0000040b: PUSH1 0x00 0000040d: DUP1 0000040e: REVERT 0000040f: JUMPDEST 00000410: PUSH2 0x0417 00000413: PUSH2 0x0c5b 00000416: JUMP 00000417: JUMPDEST 00000418: PUSH1 0x40 0000041a: MLOAD 0000041b: DUP1 0000041c: DUP3 0000041d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000432: AND 00000433: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000448: AND 00000449: DUP2 0000044a: MSTORE 0000044b: PUSH1 0x20 0000044d: ADD 0000044e: SWAP2 0000044f: POP 00000450: POP 00000451: PUSH1 0x40 00000453: MLOAD 00000454: DUP1 00000455: SWAP2 00000456: SUB 00000457: SWAP1 00000458: RETURN 00000459: JUMPDEST 0000045a: CALLVALUE 0000045b: ISZERO 0000045c: PUSH2 0x0464 0000045f: JUMPI 00000460: PUSH1 0x00 00000462: DUP1 00000463: REVERT 00000464: JUMPDEST 00000465: PUSH2 0x0490 00000468: PUSH1 0x04 0000046a: DUP1 0000046b: DUP1 0000046c: CALLDATALOAD 0000046d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000482: AND 00000483: SWAP1 00000484: PUSH1 0x20 00000486: ADD 00000487: SWAP1 00000488: SWAP2 00000489: SWAP1 0000048a: POP 0000048b: POP 0000048c: PUSH2 0x0c80 0000048f: JUMP 00000490: JUMPDEST 00000491: STOP 00000492: JUMPDEST 00000493: CALLVALUE 00000494: ISZERO 00000495: PUSH2 0x049d 00000498: JUMPI 00000499: PUSH1 0x00 0000049b: DUP1 0000049c: REVERT 0000049d: JUMPDEST 0000049e: PUSH2 0x04c9 000004a1: PUSH1 0x04 000004a3: DUP1 000004a4: DUP1 000004a5: CALLDATALOAD 000004a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004bb: AND 000004bc: SWAP1 000004bd: PUSH1 0x20 000004bf: ADD 000004c0: SWAP1 000004c1: SWAP2 000004c2: SWAP1 000004c3: POP 000004c4: POP 000004c5: PUSH2 0x0cef 000004c8: JUMP 000004c9: JUMPDEST 000004ca: PUSH1 0x40 000004cc: MLOAD 000004cd: DUP1 000004ce: DUP3 000004cf: ISZERO 000004d0: ISZERO 000004d1: ISZERO 000004d2: ISZERO 000004d3: DUP2 000004d4: MSTORE 000004d5: PUSH1 0x20 000004d7: ADD 000004d8: SWAP2 000004d9: POP 000004da: POP 000004db: PUSH1 0x40 000004dd: MLOAD 000004de: DUP1 000004df: SWAP2 000004e0: SUB 000004e1: SWAP1 000004e2: RETURN 000004e3: JUMPDEST 000004e4: CALLVALUE 000004e5: ISZERO 000004e6: PUSH2 0x04ee 000004e9: JUMPI 000004ea: PUSH1 0x00 000004ec: DUP1 000004ed: REVERT 000004ee: JUMPDEST 000004ef: PUSH2 0x0539 000004f2: PUSH1 0x04 000004f4: DUP1 000004f5: DUP1 000004f6: CALLDATALOAD 000004f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050c: AND 0000050d: SWAP1 0000050e: PUSH1 0x20 00000510: ADD 00000511: SWAP1 00000512: SWAP2 00000513: SWAP1 00000514: DUP1 00000515: CALLDATALOAD 00000516: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052b: AND 0000052c: SWAP1 0000052d: PUSH1 0x20 0000052f: ADD 00000530: SWAP1 00000531: SWAP2 00000532: SWAP1 00000533: POP 00000534: POP 00000535: PUSH2 0x0d45 00000538: JUMP 00000539: JUMPDEST 0000053a: PUSH1 0x40 0000053c: MLOAD 0000053d: DUP1 0000053e: DUP3 0000053f: ISZERO 00000540: ISZERO 00000541: ISZERO 00000542: ISZERO 00000543: DUP2 00000544: MSTORE 00000545: PUSH1 0x20 00000547: ADD 00000548: SWAP2 00000549: POP 0000054a: POP 0000054b: PUSH1 0x40 0000054d: MLOAD 0000054e: DUP1 0000054f: SWAP2 00000550: SUB 00000551: SWAP1 00000552: RETURN 00000553: JUMPDEST 00000554: CALLVALUE 00000555: ISZERO 00000556: PUSH2 0x055e 00000559: JUMPI 0000055a: PUSH1 0x00 0000055c: DUP1 0000055d: REVERT 0000055e: JUMPDEST 0000055f: PUSH2 0x058a 00000562: PUSH1 0x04 00000564: DUP1 00000565: DUP1 00000566: CALLDATALOAD 00000567: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000057c: AND 0000057d: SWAP1 0000057e: PUSH1 0x20 00000580: ADD 00000581: SWAP1 00000582: SWAP2 00000583: SWAP1 00000584: POP 00000585: POP 00000586: PUSH2 0x0dd9 00000589: JUMP 0000058a: JUMPDEST 0000058b: PUSH1 0x40 0000058d: MLOAD 0000058e: DUP1 0000058f: DUP3 00000590: ISZERO 00000591: ISZERO 00000592: ISZERO 00000593: ISZERO 00000594: DUP2 00000595: MSTORE 00000596: PUSH1 0x20 00000598: ADD 00000599: SWAP2 0000059a: POP 0000059b: POP 0000059c: PUSH1 0x40 0000059e: MLOAD 0000059f: DUP1 000005a0: SWAP2 000005a1: SUB 000005a2: SWAP1 000005a3: RETURN 000005a4: JUMPDEST 000005a5: CALLVALUE 000005a6: ISZERO 000005a7: PUSH2 0x05af 000005aa: JUMPI 000005ab: PUSH1 0x00 000005ad: DUP1 000005ae: REVERT 000005af: JUMPDEST 000005b0: PUSH2 0x0627 000005b3: PUSH1 0x04 000005b5: DUP1 000005b6: DUP1 000005b7: CALLDATALOAD 000005b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005cd: AND 000005ce: SWAP1 000005cf: PUSH1 0x20 000005d1: ADD 000005d2: SWAP1 000005d3: SWAP2 000005d4: SWAP1 000005d5: DUP1 000005d6: CALLDATALOAD 000005d7: SWAP1 000005d8: PUSH1 0x20 000005da: ADD 000005db: SWAP1 000005dc: SWAP2 000005dd: SWAP1 000005de: DUP1 000005df: CALLDATALOAD 000005e0: SWAP1 000005e1: PUSH1 0x20 000005e3: ADD 000005e4: SWAP1 000005e5: DUP3 000005e6: ADD 000005e7: DUP1 000005e8: CALLDATALOAD 000005e9: SWAP1 000005ea: PUSH1 0x20 000005ec: ADD 000005ed: SWAP1 000005ee: DUP1 000005ef: DUP1 000005f0: PUSH1 0x1f 000005f2: ADD 000005f3: PUSH1 0x20 000005f5: DUP1 000005f6: SWAP2 000005f7: DIV 000005f8: MUL 000005f9: PUSH1 0x20 000005fb: ADD 000005fc: PUSH1 0x40 000005fe: MLOAD 000005ff: SWAP1 00000600: DUP2 00000601: ADD 00000602: PUSH1 0x40 00000604: MSTORE 00000605: DUP1 00000606: SWAP4 00000607: SWAP3 00000608: SWAP2 00000609: SWAP1 0000060a: DUP2 0000060b: DUP2 0000060c: MSTORE 0000060d: PUSH1 0x20 0000060f: ADD 00000610: DUP4 00000611: DUP4 00000612: DUP1 00000613: DUP3 00000614: DUP5 00000615: CALLDATACOPY 00000616: DUP3 00000617: ADD 00000618: SWAP2 00000619: POP 0000061a: POP 0000061b: POP 0000061c: POP 0000061d: POP 0000061e: POP 0000061f: SWAP2 00000620: SWAP1 00000621: POP 00000622: POP 00000623: PUSH2 0x0df9 00000626: JUMP 00000627: JUMPDEST 00000628: STOP 00000629: JUMPDEST 0000062a: CALLVALUE 0000062b: ISZERO 0000062c: PUSH2 0x0634 0000062f: JUMPI 00000630: PUSH1 0x00 00000632: DUP1 00000633: REVERT 00000634: JUMPDEST 00000635: PUSH2 0x0660 00000638: PUSH1 0x04 0000063a: DUP1 0000063b: DUP1 0000063c: CALLDATALOAD 0000063d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000652: AND 00000653: SWAP1 00000654: PUSH1 0x20 00000656: ADD 00000657: SWAP1 00000658: SWAP2 00000659: SWAP1 0000065a: POP 0000065b: POP 0000065c: PUSH2 0x0e09 0000065f: JUMP 00000660: JUMPDEST 00000661: STOP 00000662: JUMPDEST 00000663: CALLVALUE 00000664: ISZERO 00000665: PUSH2 0x066d 00000668: JUMPI 00000669: PUSH1 0x00 0000066b: DUP1 0000066c: REVERT 0000066d: JUMPDEST 0000066e: PUSH2 0x0699 00000671: PUSH1 0x04 00000673: DUP1 00000674: DUP1 00000675: CALLDATALOAD 00000676: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000068b: AND 0000068c: SWAP1 0000068d: PUSH1 0x20 0000068f: ADD 00000690: SWAP1 00000691: SWAP2 00000692: SWAP1 00000693: POP 00000694: POP 00000695: PUSH2 0x0f53 00000698: JUMP 00000699: JUMPDEST 0000069a: STOP 0000069b: JUMPDEST 0000069c: CALLVALUE 0000069d: ISZERO 0000069e: PUSH2 0x06a6 000006a1: JUMPI 000006a2: PUSH1 0x00 000006a4: DUP1 000006a5: REVERT 000006a6: JUMPDEST 000006a7: PUSH2 0x0719 000006aa: PUSH1 0x04 000006ac: DUP1 000006ad: DUP1 000006ae: CALLDATALOAD 000006af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c4: AND 000006c5: SWAP1 000006c6: PUSH1 0x20 000006c8: ADD 000006c9: SWAP1 000006ca: SWAP2 000006cb: SWAP1 000006cc: DUP1 000006cd: CALLDATALOAD 000006ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e3: AND 000006e4: SWAP1 000006e5: PUSH1 0x20 000006e7: ADD 000006e8: SWAP1 000006e9: SWAP2 000006ea: SWAP1 000006eb: DUP1 000006ec: CALLDATALOAD 000006ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000702: AND 00000703: SWAP1 00000704: PUSH1 0x20 00000706: ADD 00000707: SWAP1 00000708: SWAP2 00000709: SWAP1 0000070a: DUP1 0000070b: CALLDATALOAD 0000070c: SWAP1 0000070d: PUSH1 0x20 0000070f: ADD 00000710: SWAP1 00000711: SWAP2 00000712: SWAP1 00000713: POP 00000714: POP 00000715: PUSH2 0x106c 00000718: JUMP 00000719: JUMPDEST 0000071a: STOP 0000071b: JUMPDEST 0000071c: CALLVALUE 0000071d: ISZERO 0000071e: PUSH2 0x0726 00000721: JUMPI 00000722: PUSH1 0x00 00000724: DUP1 00000725: REVERT 00000726: JUMPDEST 00000727: PUSH2 0x0752 0000072a: PUSH1 0x04 0000072c: DUP1 0000072d: DUP1 0000072e: CALLDATALOAD 0000072f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000744: AND 00000745: SWAP1 00000746: PUSH1 0x20 00000748: ADD 00000749: SWAP1 0000074a: SWAP2 0000074b: SWAP1 0000074c: POP 0000074d: POP 0000074e: PUSH2 0x138e 00000751: JUMP 00000752: JUMPDEST 00000753: STOP 00000754: JUMPDEST 00000755: CALLVALUE 00000756: ISZERO 00000757: PUSH2 0x075f 0000075a: JUMPI 0000075b: PUSH1 0x00 0000075d: DUP1 0000075e: REVERT 0000075f: JUMPDEST 00000760: PUSH2 0x0794 00000763: PUSH1 0x04 00000765: DUP1 00000766: DUP1 00000767: CALLDATALOAD 00000768: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077d: AND 0000077e: SWAP1 0000077f: PUSH1 0x20 00000781: ADD 00000782: SWAP1 00000783: SWAP2 00000784: SWAP1 00000785: DUP1 00000786: CALLDATALOAD 00000787: SWAP1 00000788: PUSH1 0x20 0000078a: ADD 0000078b: SWAP1 0000078c: SWAP2 0000078d: SWAP1 0000078e: POP 0000078f: POP 00000790: PUSH2 0x13e5 00000793: JUMP 00000794: JUMPDEST 00000795: STOP 00000796: JUMPDEST 00000797: CALLVALUE 00000798: ISZERO 00000799: PUSH2 0x07a1 0000079c: JUMPI 0000079d: PUSH1 0x00 0000079f: DUP1 000007a0: REVERT 000007a1: JUMPDEST 000007a2: PUSH2 0x07ec 000007a5: PUSH1 0x04 000007a7: DUP1 000007a8: DUP1 000007a9: CALLDATALOAD 000007aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007bf: AND 000007c0: SWAP1 000007c1: PUSH1 0x20 000007c3: ADD 000007c4: SWAP1 000007c5: SWAP2 000007c6: SWAP1 000007c7: DUP1 000007c8: CALLDATALOAD 000007c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007de: AND 000007df: SWAP1 000007e0: PUSH1 0x20 000007e2: ADD 000007e3: SWAP1 000007e4: SWAP2 000007e5: SWAP1 000007e6: POP 000007e7: POP 000007e8: PUSH2 0x1632 000007eb: JUMP 000007ec: JUMPDEST 000007ed: PUSH1 0x40 000007ef: MLOAD 000007f0: DUP1 000007f1: DUP3 000007f2: DUP2 000007f3: MSTORE 000007f4: PUSH1 0x20 000007f6: ADD 000007f7: SWAP2 000007f8: POP 000007f9: POP 000007fa: PUSH1 0x40 000007fc: MLOAD 000007fd: DUP1 000007fe: SWAP2 000007ff: SUB 00000800: SWAP1 00000801: RETURN 00000802: JUMPDEST 00000803: CALLVALUE 00000804: ISZERO 00000805: PUSH2 0x080d 00000808: JUMPI 00000809: PUSH1 0x00 0000080b: DUP1 0000080c: REVERT 0000080d: JUMPDEST 0000080e: PUSH2 0x0839 00000811: PUSH1 0x04 00000813: DUP1 00000814: DUP1 00000815: CALLDATALOAD 00000816: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082b: AND 0000082c: SWAP1 0000082d: PUSH1 0x20 0000082f: ADD 00000830: SWAP1 00000831: SWAP2 00000832: SWAP1 00000833: POP 00000834: POP 00000835: PUSH2 0x16b9 00000838: JUMP 00000839: JUMPDEST 0000083a: STOP 0000083b: JUMPDEST 0000083c: PUSH1 0x01 0000083e: PUSH1 0x00 00000840: CALLER 00000841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000856: AND 00000857: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086c: AND 0000086d: DUP2 0000086e: MSTORE 0000086f: PUSH1 0x20 00000871: ADD 00000872: SWAP1 00000873: DUP2 00000874: MSTORE 00000875: PUSH1 0x20 00000877: ADD 00000878: PUSH1 0x00 0000087a: KECCAK256 0000087b: PUSH1 0x00 0000087d: SWAP1 0000087e: SLOAD 0000087f: SWAP1 00000880: PUSH2 0x0100 00000883: EXP 00000884: SWAP1 00000885: DIV 00000886: PUSH1 0xff 00000888: AND 00000889: ISZERO 0000088a: ISZERO 0000088b: PUSH2 0x08e6 0000088e: JUMPI 0000088f: PUSH1 0x01 00000891: DUP1 00000892: PUSH1 0x00 00000894: CALLER 00000895: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008aa: AND 000008ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c0: AND 000008c1: DUP2 000008c2: MSTORE 000008c3: PUSH1 0x20 000008c5: ADD 000008c6: SWAP1 000008c7: DUP2 000008c8: MSTORE 000008c9: PUSH1 0x20 000008cb: ADD 000008cc: PUSH1 0x00 000008ce: KECCAK256 000008cf: PUSH1 0x00 000008d1: PUSH2 0x0100 000008d4: EXP 000008d5: DUP2 000008d6: SLOAD 000008d7: DUP2 000008d8: PUSH1 0xff 000008da: MUL 000008db: NOT 000008dc: AND 000008dd: SWAP1 000008de: DUP4 000008df: ISZERO 000008e0: ISZERO 000008e1: MUL 000008e2: OR 000008e3: SWAP1 000008e4: SSTORE 000008e5: POP 000008e6: JUMPDEST 000008e7: PUSH2 0x08f1 000008ea: DUP6 000008eb: CALLER 000008ec: DUP6 000008ed: PUSH2 0x17ab 000008f0: JUMP 000008f1: JUMPDEST 000008f2: POP 000008f3: POP 000008f4: POP 000008f5: POP 000008f6: POP 000008f7: POP 000008f8: JUMP 000008f9: JUMPDEST 000008fa: PUSH2 0x0902 000008fd: CALLER 000008fe: PUSH2 0x0967 00000901: JUMP 00000902: JUMPDEST 00000903: ISZERO 00000904: ISZERO 00000905: PUSH2 0x090d 00000908: JUMPI 00000909: PUSH1 0x00 0000090b: DUP1 0000090c: REVERT 0000090d: JUMPDEST 0000090e: PUSH1 0x01 00000910: DUP1 00000911: PUSH1 0x00 00000913: DUP4 00000914: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000929: AND 0000092a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093f: AND 00000940: DUP2 00000941: MSTORE 00000942: PUSH1 0x20 00000944: ADD 00000945: SWAP1 00000946: DUP2 00000947: MSTORE 00000948: PUSH1 0x20 0000094a: ADD 0000094b: PUSH1 0x00 0000094d: KECCAK256 0000094e: PUSH1 0x00 00000950: PUSH2 0x0100 00000953: EXP 00000954: DUP2 00000955: SLOAD 00000956: DUP2 00000957: PUSH1 0xff 00000959: MUL 0000095a: NOT 0000095b: AND 0000095c: SWAP1 0000095d: DUP4 0000095e: ISZERO 0000095f: ISZERO 00000960: MUL 00000961: OR 00000962: SWAP1 00000963: SSTORE 00000964: POP 00000965: POP 00000966: JUMP 00000967: JUMPDEST 00000968: PUSH1 0x00 0000096a: DUP2 0000096b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000980: AND 00000981: PUSH1 0x00 00000983: DUP1 00000984: SWAP1 00000985: SLOAD 00000986: SWAP1 00000987: PUSH2 0x0100 0000098a: EXP 0000098b: SWAP1 0000098c: DIV 0000098d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a2: AND 000009a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b8: AND 000009b9: EQ 000009ba: SWAP1 000009bb: POP 000009bc: SWAP2 000009bd: SWAP1 000009be: POP 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH2 0x09c9 000009c4: CALLER 000009c5: PUSH2 0x0967 000009c8: JUMP 000009c9: JUMPDEST 000009ca: ISZERO 000009cb: ISZERO 000009cc: PUSH2 0x09d4 000009cf: JUMPI 000009d0: PUSH1 0x00 000009d2: DUP1 000009d3: REVERT 000009d4: JUMPDEST 000009d5: PUSH2 0x09e7 000009d8: CALLER 000009d9: DUP3 000009da: PUSH2 0x09e2 000009dd: DUP5 000009de: PUSH2 0x19d6 000009e1: JUMP 000009e2: JUMPDEST 000009e3: PUSH2 0x1b86 000009e6: JUMP 000009e7: JUMPDEST 000009e8: POP 000009e9: JUMP 000009ea: JUMPDEST 000009eb: PUSH1 0x00 000009ed: DUP1 000009ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a03: AND 00000a04: DUP4 00000a05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1a: AND 00000a1b: EQ 00000a1c: DUP1 00000a1d: PUSH2 0x0a26 00000a20: JUMPI 00000a21: POP 00000a22: PUSH1 0x00 00000a24: CALLVALUE 00000a25: EQ 00000a26: JUMPDEST 00000a27: ISZERO 00000a28: ISZERO 00000a29: PUSH2 0x0a31 00000a2c: JUMPI 00000a2d: PUSH1 0x00 00000a2f: DUP1 00000a30: REVERT 00000a31: JUMPDEST 00000a32: DUP2 00000a33: SWAP1 00000a34: POP 00000a35: PUSH1 0x00 00000a37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4c: AND 00000a4d: DUP4 00000a4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a63: AND 00000a64: EQ 00000a65: ISZERO 00000a66: PUSH2 0x0a71 00000a69: JUMPI 00000a6a: CALLVALUE 00000a6b: SWAP1 00000a6c: POP 00000a6d: PUSH2 0x0b6a 00000a70: JUMP 00000a71: JUMPDEST 00000a72: DUP3 00000a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a88: AND 00000a89: PUSH4 0x23b872dd 00000a8e: CALLER 00000a8f: ADDRESS 00000a90: DUP5 00000a91: PUSH1 0x40 00000a93: MLOAD 00000a94: DUP5 00000a95: PUSH4 0xffffffff 00000a9a: AND 00000a9b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000ab9: MUL 00000aba: DUP2 00000abb: MSTORE 00000abc: PUSH1 0x04 00000abe: ADD 00000abf: DUP1 00000ac0: DUP5 00000ac1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad6: AND 00000ad7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aec: AND 00000aed: DUP2 00000aee: MSTORE 00000aef: PUSH1 0x20 00000af1: ADD 00000af2: DUP4 00000af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b08: AND 00000b09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1e: AND 00000b1f: DUP2 00000b20: MSTORE 00000b21: PUSH1 0x20 00000b23: ADD 00000b24: DUP3 00000b25: DUP2 00000b26: MSTORE 00000b27: PUSH1 0x20 00000b29: ADD 00000b2a: SWAP4 00000b2b: POP 00000b2c: POP 00000b2d: POP 00000b2e: POP 00000b2f: PUSH1 0x20 00000b31: PUSH1 0x40 00000b33: MLOAD 00000b34: DUP1 00000b35: DUP4 00000b36: SUB 00000b37: DUP2 00000b38: PUSH1 0x00 00000b3a: DUP8 00000b3b: DUP1 00000b3c: EXTCODESIZE 00000b3d: ISZERO 00000b3e: ISZERO 00000b3f: PUSH2 0x0b47 00000b42: JUMPI 00000b43: PUSH1 0x00 00000b45: DUP1 00000b46: REVERT 00000b47: JUMPDEST 00000b48: GAS 00000b49: CALL 00000b4a: ISZERO 00000b4b: ISZERO 00000b4c: PUSH2 0x0b54 00000b4f: JUMPI 00000b50: PUSH1 0x00 00000b52: DUP1 00000b53: REVERT 00000b54: JUMPDEST 00000b55: POP 00000b56: POP 00000b57: POP 00000b58: PUSH1 0x40 00000b5a: MLOAD 00000b5b: DUP1 00000b5c: MLOAD 00000b5d: SWAP1 00000b5e: POP 00000b5f: ISZERO 00000b60: ISZERO 00000b61: PUSH2 0x0b69 00000b64: JUMPI 00000b65: PUSH1 0x00 00000b67: DUP1 00000b68: REVERT 00000b69: JUMPDEST 00000b6a: JUMPDEST 00000b6b: PUSH2 0x0b75 00000b6e: CALLER 00000b6f: DUP5 00000b70: DUP4 00000b71: PUSH2 0x17ab 00000b74: JUMP 00000b75: JUMPDEST 00000b76: POP 00000b77: POP 00000b78: POP 00000b79: JUMP 00000b7a: JUMPDEST 00000b7b: PUSH1 0x00 00000b7d: PUSH1 0x06 00000b7f: PUSH1 0x00 00000b81: SWAP1 00000b82: SLOAD 00000b83: SWAP1 00000b84: PUSH2 0x0100 00000b87: EXP 00000b88: SWAP1 00000b89: DIV 00000b8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9f: AND 00000ba0: SWAP1 00000ba1: POP 00000ba2: SWAP1 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: PUSH1 0x00 00000ba7: DUP2 00000ba8: JUMP 00000ba9: JUMPDEST 00000baa: PUSH2 0x0bb2 00000bad: CALLER 00000bae: PUSH2 0x0967 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: ISZERO 00000bb4: ISZERO 00000bb5: PUSH2 0x0bbd 00000bb8: JUMPI 00000bb9: PUSH1 0x00 00000bbb: DUP1 00000bbc: REVERT 00000bbd: JUMPDEST 00000bbe: PUSH1 0x00 00000bc0: PUSH1 0x05 00000bc2: PUSH1 0x00 00000bc4: DUP4 00000bc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bda: AND 00000bdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf0: AND 00000bf1: DUP2 00000bf2: MSTORE 00000bf3: PUSH1 0x20 00000bf5: ADD 00000bf6: SWAP1 00000bf7: DUP2 00000bf8: MSTORE 00000bf9: PUSH1 0x20 00000bfb: ADD 00000bfc: PUSH1 0x00 00000bfe: KECCAK256 00000bff: PUSH1 0x00 00000c01: PUSH2 0x0100 00000c04: EXP 00000c05: DUP2 00000c06: SLOAD 00000c07: DUP2 00000c08: PUSH1 0xff 00000c0a: MUL 00000c0b: NOT 00000c0c: AND 00000c0d: SWAP1 00000c0e: DUP4 00000c0f: ISZERO 00000c10: ISZERO 00000c11: MUL 00000c12: OR 00000c13: SWAP1 00000c14: SSTORE 00000c15: POP 00000c16: DUP1 00000c17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2c: AND 00000c2d: PUSH32 0x0e2fc808ab0ead56889f8ff2a8ea0841ba4c0b8311607a902eb24b834857e1b5 00000c4e: PUSH1 0x40 00000c50: MLOAD 00000c51: PUSH1 0x40 00000c53: MLOAD 00000c54: DUP1 00000c55: SWAP2 00000c56: SUB 00000c57: SWAP1 00000c58: LOG2 00000c59: POP 00000c5a: JUMP 00000c5b: JUMPDEST 00000c5c: PUSH1 0x00 00000c5e: DUP1 00000c5f: SWAP1 00000c60: SLOAD 00000c61: SWAP1 00000c62: PUSH2 0x0100 00000c65: EXP 00000c66: SWAP1 00000c67: DIV 00000c68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7d: AND 00000c7e: DUP2 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: PUSH2 0x0c89 00000c84: CALLER 00000c85: PUSH2 0x0967 00000c88: JUMP 00000c89: JUMPDEST 00000c8a: ISZERO 00000c8b: ISZERO 00000c8c: PUSH2 0x0c94 00000c8f: JUMPI 00000c90: PUSH1 0x00 00000c92: DUP1 00000c93: REVERT 00000c94: JUMPDEST 00000c95: PUSH1 0x00 00000c97: PUSH1 0x01 00000c99: PUSH1 0x00 00000c9b: DUP4 00000c9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb1: AND 00000cb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc7: AND 00000cc8: DUP2 00000cc9: MSTORE 00000cca: PUSH1 0x20 00000ccc: ADD 00000ccd: SWAP1 00000cce: DUP2 00000ccf: MSTORE 00000cd0: PUSH1 0x20 00000cd2: ADD 00000cd3: PUSH1 0x00 00000cd5: KECCAK256 00000cd6: PUSH1 0x00 00000cd8: PUSH2 0x0100 00000cdb: EXP 00000cdc: DUP2 00000cdd: SLOAD 00000cde: DUP2 00000cdf: PUSH1 0xff 00000ce1: MUL 00000ce2: NOT 00000ce3: AND 00000ce4: SWAP1 00000ce5: DUP4 00000ce6: ISZERO 00000ce7: ISZERO 00000ce8: MUL 00000ce9: OR 00000cea: SWAP1 00000ceb: SSTORE 00000cec: POP 00000ced: POP 00000cee: JUMP 00000cef: JUMPDEST 00000cf0: PUSH1 0x00 00000cf2: PUSH1 0x05 00000cf4: PUSH1 0x00 00000cf6: DUP4 00000cf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d0c: AND 00000d0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d22: AND 00000d23: DUP2 00000d24: MSTORE 00000d25: PUSH1 0x20 00000d27: ADD 00000d28: SWAP1 00000d29: DUP2 00000d2a: MSTORE 00000d2b: PUSH1 0x20 00000d2d: ADD 00000d2e: PUSH1 0x00 00000d30: KECCAK256 00000d31: PUSH1 0x00 00000d33: SWAP1 00000d34: SLOAD 00000d35: SWAP1 00000d36: PUSH2 0x0100 00000d39: EXP 00000d3a: SWAP1 00000d3b: DIV 00000d3c: PUSH1 0xff 00000d3e: AND 00000d3f: SWAP1 00000d40: POP 00000d41: SWAP2 00000d42: SWAP1 00000d43: POP 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH1 0x00 00000d48: PUSH1 0x02 00000d4a: PUSH1 0x00 00000d4c: DUP5 00000d4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d62: AND 00000d63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d78: AND 00000d79: DUP2 00000d7a: MSTORE 00000d7b: PUSH1 0x20 00000d7d: ADD 00000d7e: SWAP1 00000d7f: DUP2 00000d80: MSTORE 00000d81: PUSH1 0x20 00000d83: ADD 00000d84: PUSH1 0x00 00000d86: KECCAK256 00000d87: PUSH1 0x00 00000d89: DUP4 00000d8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9f: AND 00000da0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db5: AND 00000db6: DUP2 00000db7: MSTORE 00000db8: PUSH1 0x20 00000dba: ADD 00000dbb: SWAP1 00000dbc: DUP2 00000dbd: MSTORE 00000dbe: PUSH1 0x20 00000dc0: ADD 00000dc1: PUSH1 0x00 00000dc3: KECCAK256 00000dc4: PUSH1 0x00 00000dc6: SWAP1 00000dc7: SLOAD 00000dc8: SWAP1 00000dc9: PUSH2 0x0100 00000dcc: EXP 00000dcd: SWAP1 00000dce: DIV 00000dcf: PUSH1 0xff 00000dd1: AND 00000dd2: SWAP1 00000dd3: POP 00000dd4: SWAP3 00000dd5: SWAP2 00000dd6: POP 00000dd7: POP 00000dd8: JUMP 00000dd9: JUMPDEST 00000dda: PUSH1 0x01 00000ddc: PUSH1 0x20 00000dde: MSTORE 00000ddf: DUP1 00000de0: PUSH1 0x00 00000de2: MSTORE 00000de3: PUSH1 0x40 00000de5: PUSH1 0x00 00000de7: KECCAK256 00000de8: PUSH1 0x00 00000dea: SWAP2 00000deb: POP 00000dec: SLOAD 00000ded: SWAP1 00000dee: PUSH2 0x0100 00000df1: EXP 00000df2: SWAP1 00000df3: DIV 00000df4: PUSH1 0xff 00000df6: AND 00000df7: DUP2 00000df8: JUMP 00000df9: JUMPDEST 00000dfa: PUSH2 0x0e04 00000dfd: DUP4 00000dfe: CALLER 00000dff: DUP5 00000e00: PUSH2 0x17ab 00000e03: JUMP 00000e04: JUMPDEST 00000e05: POP 00000e06: POP 00000e07: POP 00000e08: JUMP 00000e09: JUMPDEST 00000e0a: PUSH1 0x05 00000e0c: PUSH1 0x00 00000e0e: DUP3 00000e0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e24: AND 00000e25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e3a: AND 00000e3b: DUP2 00000e3c: MSTORE 00000e3d: PUSH1 0x20 00000e3f: ADD 00000e40: SWAP1 00000e41: DUP2 00000e42: MSTORE 00000e43: PUSH1 0x20 00000e45: ADD 00000e46: PUSH1 0x00 00000e48: KECCAK256 00000e49: PUSH1 0x00 00000e4b: SWAP1 00000e4c: SLOAD 00000e4d: SWAP1 00000e4e: PUSH2 0x0100 00000e51: EXP 00000e52: SWAP1 00000e53: DIV 00000e54: PUSH1 0xff 00000e56: AND 00000e57: ISZERO 00000e58: ISZERO 00000e59: PUSH2 0x0e61 00000e5c: JUMPI 00000e5d: PUSH1 0x00 00000e5f: DUP1 00000e60: REVERT 00000e61: JUMPDEST 00000e62: PUSH1 0x01 00000e64: PUSH1 0x02 00000e66: PUSH1 0x00 00000e68: CALLER 00000e69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e7e: AND 00000e7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e94: AND 00000e95: DUP2 00000e96: MSTORE 00000e97: PUSH1 0x20 00000e99: ADD 00000e9a: SWAP1 00000e9b: DUP2 00000e9c: MSTORE 00000e9d: PUSH1 0x20 00000e9f: ADD 00000ea0: PUSH1 0x00 00000ea2: KECCAK256 00000ea3: PUSH1 0x00 00000ea5: DUP4 00000ea6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ebb: AND 00000ebc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed1: AND 00000ed2: DUP2 00000ed3: MSTORE 00000ed4: PUSH1 0x20 00000ed6: ADD 00000ed7: SWAP1 00000ed8: DUP2 00000ed9: MSTORE 00000eda: PUSH1 0x20 00000edc: ADD 00000edd: PUSH1 0x00 00000edf: KECCAK256 00000ee0: PUSH1 0x00 00000ee2: PUSH2 0x0100 00000ee5: EXP 00000ee6: DUP2 00000ee7: SLOAD 00000ee8: DUP2 00000ee9: PUSH1 0xff 00000eeb: MUL 00000eec: NOT 00000eed: AND 00000eee: SWAP1 00000eef: DUP4 00000ef0: ISZERO 00000ef1: ISZERO 00000ef2: MUL 00000ef3: OR 00000ef4: SWAP1 00000ef5: SSTORE 00000ef6: POP 00000ef7: DUP1 00000ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0d: AND 00000f0e: CALLER 00000f0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f24: AND 00000f25: PUSH32 0xaad2833c9fd7a3de33f301e5186ee84d1a5753ce32de6b97baedaac4b92b55fc 00000f46: PUSH1 0x40 00000f48: MLOAD 00000f49: PUSH1 0x40 00000f4b: MLOAD 00000f4c: DUP1 00000f4d: SWAP2 00000f4e: SUB 00000f4f: SWAP1 00000f50: LOG3 00000f51: POP 00000f52: JUMP 00000f53: JUMPDEST 00000f54: PUSH2 0x0f5c 00000f57: CALLER 00000f58: PUSH2 0x0967 00000f5b: JUMP 00000f5c: JUMPDEST 00000f5d: ISZERO 00000f5e: ISZERO 00000f5f: PUSH2 0x0f67 00000f62: JUMPI 00000f63: PUSH1 0x00 00000f65: DUP1 00000f66: REVERT 00000f67: JUMPDEST 00000f68: PUSH1 0x00 00000f6a: DUP2 00000f6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f80: AND 00000f81: EQ 00000f82: ISZERO 00000f83: ISZERO 00000f84: ISZERO 00000f85: PUSH2 0x0f8d 00000f88: JUMPI 00000f89: PUSH1 0x00 00000f8b: DUP1 00000f8c: REVERT 00000f8d: JUMPDEST 00000f8e: PUSH1 0x01 00000f90: PUSH1 0x05 00000f92: PUSH1 0x00 00000f94: DUP4 00000f95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000faa: AND 00000fab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc0: AND 00000fc1: DUP2 00000fc2: MSTORE 00000fc3: PUSH1 0x20 00000fc5: ADD 00000fc6: SWAP1 00000fc7: DUP2 00000fc8: MSTORE 00000fc9: PUSH1 0x20 00000fcb: ADD 00000fcc: PUSH1 0x00 00000fce: KECCAK256 00000fcf: PUSH1 0x00 00000fd1: PUSH2 0x0100 00000fd4: EXP 00000fd5: DUP2 00000fd6: SLOAD 00000fd7: DUP2 00000fd8: PUSH1 0xff 00000fda: MUL 00000fdb: NOT 00000fdc: AND 00000fdd: SWAP1 00000fde: DUP4 00000fdf: ISZERO 00000fe0: ISZERO 00000fe1: MUL 00000fe2: OR 00000fe3: SWAP1 00000fe4: SSTORE 00000fe5: POP 00000fe6: DUP1 00000fe7: PUSH1 0x06 00000fe9: PUSH1 0x00 00000feb: PUSH2 0x0100 00000fee: EXP 00000fef: DUP2 00000ff0: SLOAD 00000ff1: DUP2 00000ff2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001007: MUL 00001008: NOT 00001009: AND 0000100a: SWAP1 0000100b: DUP4 0000100c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001021: AND 00001022: MUL 00001023: OR 00001024: SWAP1 00001025: SSTORE 00001026: POP 00001027: DUP1 00001028: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000103d: AND 0000103e: PUSH32 0x8fd571ab479506dd07023e78f221245916b6cb54285d954030be2cfb1674657a 0000105f: PUSH1 0x40 00001061: MLOAD 00001062: PUSH1 0x40 00001064: MLOAD 00001065: DUP1 00001066: SWAP2 00001067: SUB 00001068: SWAP1 00001069: LOG2 0000106a: POP 0000106b: JUMP 0000106c: JUMPDEST 0000106d: PUSH1 0x05 0000106f: PUSH1 0x00 00001071: CALLER 00001072: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001087: AND 00001088: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109d: AND 0000109e: DUP2 0000109f: MSTORE 000010a0: PUSH1 0x20 000010a2: ADD 000010a3: SWAP1 000010a4: DUP2 000010a5: MSTORE 000010a6: PUSH1 0x20 000010a8: ADD 000010a9: PUSH1 0x00 000010ab: KECCAK256 000010ac: PUSH1 0x00 000010ae: SWAP1 000010af: SLOAD 000010b0: SWAP1 000010b1: PUSH2 0x0100 000010b4: EXP 000010b5: SWAP1 000010b6: DIV 000010b7: PUSH1 0xff 000010b9: AND 000010ba: ISZERO 000010bb: ISZERO 000010bc: PUSH2 0x10c4 000010bf: JUMPI 000010c0: PUSH1 0x00 000010c2: DUP1 000010c3: REVERT 000010c4: JUMPDEST 000010c5: DUP3 000010c6: PUSH1 0x02 000010c8: PUSH1 0x00 000010ca: DUP3 000010cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e0: AND 000010e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f6: AND 000010f7: DUP2 000010f8: MSTORE 000010f9: PUSH1 0x20 000010fb: ADD 000010fc: SWAP1 000010fd: DUP2 000010fe: MSTORE 000010ff: PUSH1 0x20 00001101: ADD 00001102: PUSH1 0x00 00001104: KECCAK256 00001105: PUSH1 0x00 00001107: CALLER 00001108: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000111d: AND 0000111e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001133: AND 00001134: DUP2 00001135: MSTORE 00001136: PUSH1 0x20 00001138: ADD 00001139: SWAP1 0000113a: DUP2 0000113b: MSTORE 0000113c: PUSH1 0x20 0000113e: ADD 0000113f: PUSH1 0x00 00001141: KECCAK256 00001142: PUSH1 0x00 00001144: SWAP1 00001145: SLOAD 00001146: SWAP1 00001147: PUSH2 0x0100 0000114a: EXP 0000114b: SWAP1 0000114c: DIV 0000114d: PUSH1 0xff 0000114f: AND 00001150: ISZERO 00001151: ISZERO 00001152: PUSH2 0x115a 00001155: JUMPI 00001156: PUSH1 0x00 00001158: DUP1 00001159: REVERT 0000115a: JUMPDEST 0000115b: PUSH1 0x00 0000115d: DUP3 0000115e: GT 0000115f: ISZERO 00001160: ISZERO 00001161: PUSH2 0x1169 00001164: JUMPI 00001165: PUSH1 0x00 00001167: DUP1 00001168: REVERT 00001169: JUMPDEST 0000116a: PUSH2 0x11f8 0000116d: DUP3 0000116e: PUSH1 0x03 00001170: PUSH1 0x00 00001172: DUP9 00001173: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001188: AND 00001189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000119e: AND 0000119f: DUP2 000011a0: MSTORE 000011a1: PUSH1 0x20 000011a3: ADD 000011a4: SWAP1 000011a5: DUP2 000011a6: MSTORE 000011a7: PUSH1 0x20 000011a9: ADD 000011aa: PUSH1 0x00 000011ac: KECCAK256 000011ad: PUSH1 0x00 000011af: DUP8 000011b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c5: AND 000011c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011db: AND 000011dc: DUP2 000011dd: MSTORE 000011de: PUSH1 0x20 000011e0: ADD 000011e1: SWAP1 000011e2: DUP2 000011e3: MSTORE 000011e4: PUSH1 0x20 000011e6: ADD 000011e7: PUSH1 0x00 000011e9: KECCAK256 000011ea: SLOAD 000011eb: PUSH2 0x1dd3 000011ee: SWAP1 000011ef: SWAP2 000011f0: SWAP1 000011f1: PUSH4 0xffffffff 000011f6: AND 000011f7: JUMP 000011f8: JUMPDEST 000011f9: PUSH1 0x03 000011fb: PUSH1 0x00 000011fd: DUP8 000011fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001213: AND 00001214: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001229: AND 0000122a: DUP2 0000122b: MSTORE 0000122c: PUSH1 0x20 0000122e: ADD 0000122f: SWAP1 00001230: DUP2 00001231: MSTORE 00001232: PUSH1 0x20 00001234: ADD 00001235: PUSH1 0x00 00001237: KECCAK256 00001238: PUSH1 0x00 0000123a: DUP7 0000123b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001250: AND 00001251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001266: AND 00001267: DUP2 00001268: MSTORE 00001269: PUSH1 0x20 0000126b: ADD 0000126c: SWAP1 0000126d: DUP2 0000126e: MSTORE 0000126f: PUSH1 0x20 00001271: ADD 00001272: PUSH1 0x00 00001274: KECCAK256 00001275: DUP2 00001276: SWAP1 00001277: SSTORE 00001278: POP 00001279: PUSH2 0x1307 0000127c: DUP3 0000127d: PUSH1 0x03 0000127f: PUSH1 0x00 00001281: DUP9 00001282: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001297: AND 00001298: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ad: AND 000012ae: DUP2 000012af: MSTORE 000012b0: PUSH1 0x20 000012b2: ADD 000012b3: SWAP1 000012b4: DUP2 000012b5: MSTORE 000012b6: PUSH1 0x20 000012b8: ADD 000012b9: PUSH1 0x00 000012bb: KECCAK256 000012bc: PUSH1 0x00 000012be: DUP7 000012bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d4: AND 000012d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ea: AND 000012eb: DUP2 000012ec: MSTORE 000012ed: PUSH1 0x20 000012ef: ADD 000012f0: SWAP1 000012f1: DUP2 000012f2: MSTORE 000012f3: PUSH1 0x20 000012f5: ADD 000012f6: PUSH1 0x00 000012f8: KECCAK256 000012f9: SLOAD 000012fa: PUSH2 0x1dec 000012fd: SWAP1 000012fe: SWAP2 000012ff: SWAP1 00001300: PUSH4 0xffffffff 00001305: AND 00001306: JUMP 00001307: JUMPDEST 00001308: PUSH1 0x03 0000130a: PUSH1 0x00 0000130c: DUP8 0000130d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001322: AND 00001323: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001338: AND 00001339: DUP2 0000133a: MSTORE 0000133b: PUSH1 0x20 0000133d: ADD 0000133e: SWAP1 0000133f: DUP2 00001340: MSTORE 00001341: PUSH1 0x20 00001343: ADD 00001344: PUSH1 0x00 00001346: KECCAK256 00001347: PUSH1 0x00 00001349: DUP6 0000134a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000135f: AND 00001360: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001375: AND 00001376: DUP2 00001377: MSTORE 00001378: PUSH1 0x20 0000137a: ADD 0000137b: SWAP1 0000137c: DUP2 0000137d: MSTORE 0000137e: PUSH1 0x20 00001380: ADD 00001381: PUSH1 0x00 00001383: KECCAK256 00001384: DUP2 00001385: SWAP1 00001386: SSTORE 00001387: POP 00001388: POP 00001389: POP 0000138a: POP 0000138b: POP 0000138c: POP 0000138d: JUMP 0000138e: JUMPDEST 0000138f: PUSH2 0x1397 00001392: CALLER 00001393: PUSH2 0x0967 00001396: JUMP 00001397: JUMPDEST 00001398: ISZERO 00001399: ISZERO 0000139a: PUSH2 0x13a2 0000139d: JUMPI 0000139e: PUSH1 0x00 000013a0: DUP1 000013a1: REVERT 000013a2: JUMPDEST 000013a3: DUP1 000013a4: PUSH1 0x00 000013a6: DUP1 000013a7: PUSH2 0x0100 000013aa: EXP 000013ab: DUP2 000013ac: SLOAD 000013ad: DUP2 000013ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013c3: MUL 000013c4: NOT 000013c5: AND 000013c6: SWAP1 000013c7: DUP4 000013c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013dd: AND 000013de: MUL 000013df: OR 000013e0: SWAP1 000013e1: SSTORE 000013e2: POP 000013e3: POP 000013e4: JUMP 000013e5: JUMPDEST 000013e6: DUP1 000013e7: PUSH2 0x13f0 000013ea: DUP4 000013eb: CALLER 000013ec: PUSH2 0x1632 000013ef: JUMP 000013f0: JUMPDEST 000013f1: LT 000013f2: ISZERO 000013f3: ISZERO 000013f4: ISZERO 000013f5: PUSH2 0x13fd 000013f8: JUMPI 000013f9: PUSH1 0x00 000013fb: DUP1 000013fc: REVERT 000013fd: JUMPDEST 000013fe: PUSH2 0x148c 00001401: DUP2 00001402: PUSH1 0x03 00001404: PUSH1 0x00 00001406: DUP6 00001407: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000141c: AND 0000141d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001432: AND 00001433: DUP2 00001434: MSTORE 00001435: PUSH1 0x20 00001437: ADD 00001438: SWAP1 00001439: DUP2 0000143a: MSTORE 0000143b: PUSH1 0x20 0000143d: ADD 0000143e: PUSH1 0x00 00001440: KECCAK256 00001441: PUSH1 0x00 00001443: CALLER 00001444: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001459: AND 0000145a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000146f: AND 00001470: DUP2 00001471: MSTORE 00001472: PUSH1 0x20 00001474: ADD 00001475: SWAP1 00001476: DUP2 00001477: MSTORE 00001478: PUSH1 0x20 0000147a: ADD 0000147b: PUSH1 0x00 0000147d: KECCAK256 0000147e: SLOAD 0000147f: PUSH2 0x1dd3 00001482: SWAP1 00001483: SWAP2 00001484: SWAP1 00001485: PUSH4 0xffffffff 0000148a: AND 0000148b: JUMP 0000148c: JUMPDEST 0000148d: PUSH1 0x03 0000148f: PUSH1 0x00 00001491: DUP5 00001492: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a7: AND 000014a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014bd: AND 000014be: DUP2 000014bf: MSTORE 000014c0: PUSH1 0x20 000014c2: ADD 000014c3: SWAP1 000014c4: DUP2 000014c5: MSTORE 000014c6: PUSH1 0x20 000014c8: ADD 000014c9: PUSH1 0x00 000014cb: KECCAK256 000014cc: PUSH1 0x00 000014ce: CALLER 000014cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014e4: AND 000014e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014fa: AND 000014fb: DUP2 000014fc: MSTORE 000014fd: PUSH1 0x20 000014ff: ADD 00001500: SWAP1 00001501: DUP2 00001502: MSTORE 00001503: PUSH1 0x20 00001505: ADD 00001506: PUSH1 0x00 00001508: KECCAK256 00001509: DUP2 0000150a: SWAP1 0000150b: SSTORE 0000150c: POP 0000150d: PUSH2 0x155e 00001510: DUP2 00001511: PUSH1 0x04 00001513: PUSH1 0x00 00001515: DUP6 00001516: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152b: AND 0000152c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001541: AND 00001542: DUP2 00001543: MSTORE 00001544: PUSH1 0x20 00001546: ADD 00001547: SWAP1 00001548: DUP2 00001549: MSTORE 0000154a: PUSH1 0x20 0000154c: ADD 0000154d: PUSH1 0x00 0000154f: KECCAK256 00001550: SLOAD 00001551: PUSH2 0x1dd3 00001554: SWAP1 00001555: SWAP2 00001556: SWAP1 00001557: PUSH4 0xffffffff 0000155c: AND 0000155d: JUMP 0000155e: JUMPDEST 0000155f: PUSH1 0x04 00001561: PUSH1 0x00 00001563: DUP5 00001564: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001579: AND 0000157a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158f: AND 00001590: DUP2 00001591: MSTORE 00001592: PUSH1 0x20 00001594: ADD 00001595: SWAP1 00001596: DUP2 00001597: MSTORE 00001598: PUSH1 0x20 0000159a: ADD 0000159b: PUSH1 0x00 0000159d: KECCAK256 0000159e: DUP2 0000159f: SWAP1 000015a0: SSTORE 000015a1: POP 000015a2: PUSH2 0x15ac 000015a5: CALLER 000015a6: DUP4 000015a7: DUP4 000015a8: PUSH2 0x1b86 000015ab: JUMP 000015ac: JUMPDEST 000015ad: CALLER 000015ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c3: AND 000015c4: PUSH32 0xd1c19fbcd4551a5edfb66d43d2e337c04837afda3482b42bdf569a8fccdae5fb 000015e5: DUP4 000015e6: DUP4 000015e7: PUSH1 0x40 000015e9: MLOAD 000015ea: DUP1 000015eb: DUP4 000015ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001601: AND 00001602: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001617: AND 00001618: DUP2 00001619: MSTORE 0000161a: PUSH1 0x20 0000161c: ADD 0000161d: DUP3 0000161e: DUP2 0000161f: MSTORE 00001620: PUSH1 0x20 00001622: ADD 00001623: SWAP3 00001624: POP 00001625: POP 00001626: POP 00001627: PUSH1 0x40 00001629: MLOAD 0000162a: DUP1 0000162b: SWAP2 0000162c: SUB 0000162d: SWAP1 0000162e: LOG2 0000162f: POP 00001630: POP 00001631: JUMP 00001632: JUMPDEST 00001633: PUSH1 0x00 00001635: PUSH1 0x03 00001637: PUSH1 0x00 00001639: DUP5 0000163a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000164f: AND 00001650: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001665: AND 00001666: DUP2 00001667: MSTORE 00001668: PUSH1 0x20 0000166a: ADD 0000166b: SWAP1 0000166c: DUP2 0000166d: MSTORE 0000166e: PUSH1 0x20 00001670: ADD 00001671: PUSH1 0x00 00001673: KECCAK256 00001674: PUSH1 0x00 00001676: DUP4 00001677: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000168c: AND 0000168d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a2: AND 000016a3: DUP2 000016a4: MSTORE 000016a5: PUSH1 0x20 000016a7: ADD 000016a8: SWAP1 000016a9: DUP2 000016aa: MSTORE 000016ab: PUSH1 0x20 000016ad: ADD 000016ae: PUSH1 0x00 000016b0: KECCAK256 000016b1: SLOAD 000016b2: SWAP1 000016b3: POP 000016b4: SWAP3 000016b5: SWAP2 000016b6: POP 000016b7: POP 000016b8: JUMP 000016b9: JUMPDEST 000016ba: PUSH1 0x00 000016bc: PUSH1 0x02 000016be: PUSH1 0x00 000016c0: CALLER 000016c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d6: AND 000016d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ec: AND 000016ed: DUP2 000016ee: MSTORE 000016ef: PUSH1 0x20 000016f1: ADD 000016f2: SWAP1 000016f3: DUP2 000016f4: MSTORE 000016f5: PUSH1 0x20 000016f7: ADD 000016f8: PUSH1 0x00 000016fa: KECCAK256 000016fb: PUSH1 0x00 000016fd: DUP4 000016fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001713: AND 00001714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001729: AND 0000172a: DUP2 0000172b: MSTORE 0000172c: PUSH1 0x20 0000172e: ADD 0000172f: SWAP1 00001730: DUP2 00001731: MSTORE 00001732: PUSH1 0x20 00001734: ADD 00001735: PUSH1 0x00 00001737: KECCAK256 00001738: PUSH1 0x00 0000173a: PUSH2 0x0100 0000173d: EXP 0000173e: DUP2 0000173f: SLOAD 00001740: DUP2 00001741: PUSH1 0xff 00001743: MUL 00001744: NOT 00001745: AND 00001746: SWAP1 00001747: DUP4 00001748: ISZERO 00001749: ISZERO 0000174a: MUL 0000174b: OR 0000174c: SWAP1 0000174d: SSTORE 0000174e: POP 0000174f: DUP1 00001750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001765: AND 00001766: CALLER 00001767: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000177c: AND 0000177d: PUSH32 0x1ab270601cc6b54dd5e8ce5c70dbac96a01ff12939e4e76488df62adc8e68373 0000179e: PUSH1 0x40 000017a0: MLOAD 000017a1: PUSH1 0x40 000017a3: MLOAD 000017a4: DUP1 000017a5: SWAP2 000017a6: SUB 000017a7: SWAP1 000017a8: LOG3 000017a9: POP 000017aa: JUMP 000017ab: JUMPDEST 000017ac: PUSH2 0x183a 000017af: DUP2 000017b0: PUSH1 0x03 000017b2: PUSH1 0x00 000017b4: DUP6 000017b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017ca: AND 000017cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017e0: AND 000017e1: DUP2 000017e2: MSTORE 000017e3: PUSH1 0x20 000017e5: ADD 000017e6: SWAP1 000017e7: DUP2 000017e8: MSTORE 000017e9: PUSH1 0x20 000017eb: ADD 000017ec: PUSH1 0x00 000017ee: KECCAK256 000017ef: PUSH1 0x00 000017f1: DUP7 000017f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001807: AND 00001808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000181d: AND 0000181e: DUP2 0000181f: MSTORE 00001820: PUSH1 0x20 00001822: ADD 00001823: SWAP1 00001824: DUP2 00001825: MSTORE 00001826: PUSH1 0x20 00001828: ADD 00001829: PUSH1 0x00 0000182b: KECCAK256 0000182c: SLOAD 0000182d: PUSH2 0x1dec 00001830: SWAP1 00001831: SWAP2 00001832: SWAP1 00001833: PUSH4 0xffffffff 00001838: AND 00001839: JUMP 0000183a: JUMPDEST 0000183b: PUSH1 0x03 0000183d: PUSH1 0x00 0000183f: DUP5 00001840: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001855: AND 00001856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000186b: AND 0000186c: DUP2 0000186d: MSTORE 0000186e: PUSH1 0x20 00001870: ADD 00001871: SWAP1 00001872: DUP2 00001873: MSTORE 00001874: PUSH1 0x20 00001876: ADD 00001877: PUSH1 0x00 00001879: KECCAK256 0000187a: PUSH1 0x00 0000187c: DUP6 0000187d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001892: AND 00001893: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a8: AND 000018a9: DUP2 000018aa: MSTORE 000018ab: PUSH1 0x20 000018ad: ADD 000018ae: SWAP1 000018af: DUP2 000018b0: MSTORE 000018b1: PUSH1 0x20 000018b3: ADD 000018b4: PUSH1 0x00 000018b6: KECCAK256 000018b7: DUP2 000018b8: SWAP1 000018b9: SSTORE 000018ba: POP 000018bb: PUSH2 0x190c 000018be: DUP2 000018bf: PUSH1 0x04 000018c1: PUSH1 0x00 000018c3: DUP6 000018c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018d9: AND 000018da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ef: AND 000018f0: DUP2 000018f1: MSTORE 000018f2: PUSH1 0x20 000018f4: ADD 000018f5: SWAP1 000018f6: DUP2 000018f7: MSTORE 000018f8: PUSH1 0x20 000018fa: ADD 000018fb: PUSH1 0x00 000018fd: KECCAK256 000018fe: SLOAD 000018ff: PUSH2 0x1dec 00001902: SWAP1 00001903: SWAP2 00001904: SWAP1 00001905: PUSH4 0xffffffff 0000190a: AND 0000190b: JUMP 0000190c: JUMPDEST 0000190d: PUSH1 0x04 0000190f: PUSH1 0x00 00001911: DUP5 00001912: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001927: AND 00001928: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000193d: AND 0000193e: DUP2 0000193f: MSTORE 00001940: PUSH1 0x20 00001942: ADD 00001943: SWAP1 00001944: DUP2 00001945: MSTORE 00001946: PUSH1 0x20 00001948: ADD 00001949: PUSH1 0x00 0000194b: KECCAK256 0000194c: DUP2 0000194d: SWAP1 0000194e: SSTORE 0000194f: POP 00001950: DUP3 00001951: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001966: AND 00001967: PUSH32 0x8752a472e571a816aea92eec8dae9baf628e840f4929fbcc2d155e6233ff68a7 00001988: DUP4 00001989: DUP4 0000198a: PUSH1 0x40 0000198c: MLOAD 0000198d: DUP1 0000198e: DUP4 0000198f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a4: AND 000019a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ba: AND 000019bb: DUP2 000019bc: MSTORE 000019bd: PUSH1 0x20 000019bf: ADD 000019c0: DUP3 000019c1: DUP2 000019c2: MSTORE 000019c3: PUSH1 0x20 000019c5: ADD 000019c6: SWAP3 000019c7: POP 000019c8: POP 000019c9: POP 000019ca: PUSH1 0x40 000019cc: MLOAD 000019cd: DUP1 000019ce: SWAP2 000019cf: SUB 000019d0: SWAP1 000019d1: LOG2 000019d2: POP 000019d3: POP 000019d4: POP 000019d5: JUMP 000019d6: JUMPDEST 000019d7: PUSH1 0x00 000019d9: DUP1 000019da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ef: AND 000019f0: DUP3 000019f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a06: AND 00001a07: EQ 00001a08: ISZERO 00001a09: PUSH2 0x1a7c 00001a0c: JUMPI 00001a0d: PUSH2 0x1a75 00001a10: PUSH1 0x04 00001a12: PUSH1 0x00 00001a14: DUP5 00001a15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a2a: AND 00001a2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a40: AND 00001a41: DUP2 00001a42: MSTORE 00001a43: PUSH1 0x20 00001a45: ADD 00001a46: SWAP1 00001a47: DUP2 00001a48: MSTORE 00001a49: PUSH1 0x20 00001a4b: ADD 00001a4c: PUSH1 0x00 00001a4e: KECCAK256 00001a4f: SLOAD 00001a50: ADDRESS 00001a51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a66: AND 00001a67: BALANCE 00001a68: PUSH2 0x1dd3 00001a6b: SWAP1 00001a6c: SWAP2 00001a6d: SWAP1 00001a6e: PUSH4 0xffffffff 00001a73: AND 00001a74: JUMP 00001a75: JUMPDEST 00001a76: SWAP1 00001a77: POP 00001a78: PUSH2 0x1b81 00001a7b: JUMP 00001a7c: JUMPDEST 00001a7d: PUSH2 0x1b7e 00001a80: PUSH1 0x04 00001a82: PUSH1 0x00 00001a84: DUP5 00001a85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a9a: AND 00001a9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ab0: AND 00001ab1: DUP2 00001ab2: MSTORE 00001ab3: PUSH1 0x20 00001ab5: ADD 00001ab6: SWAP1 00001ab7: DUP2 00001ab8: MSTORE 00001ab9: PUSH1 0x20 00001abb: ADD 00001abc: PUSH1 0x00 00001abe: KECCAK256 00001abf: SLOAD 00001ac0: DUP4 00001ac1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad6: AND 00001ad7: PUSH4 0x70a08231 00001adc: ADDRESS 00001add: PUSH1 0x40 00001adf: MLOAD 00001ae0: DUP3 00001ae1: PUSH4 0xffffffff 00001ae6: AND 00001ae7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001b05: MUL 00001b06: DUP2 00001b07: MSTORE 00001b08: PUSH1 0x04 00001b0a: ADD 00001b0b: DUP1 00001b0c: DUP3 00001b0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b22: AND 00001b23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b38: AND 00001b39: DUP2 00001b3a: MSTORE 00001b3b: PUSH1 0x20 00001b3d: ADD 00001b3e: SWAP2 00001b3f: POP 00001b40: POP 00001b41: PUSH1 0x20 00001b43: PUSH1 0x40 00001b45: MLOAD 00001b46: DUP1 00001b47: DUP4 00001b48: SUB 00001b49: DUP2 00001b4a: PUSH1 0x00 00001b4c: DUP8 00001b4d: DUP1 00001b4e: EXTCODESIZE 00001b4f: ISZERO 00001b50: ISZERO 00001b51: PUSH2 0x1b59 00001b54: JUMPI 00001b55: PUSH1 0x00 00001b57: DUP1 00001b58: REVERT 00001b59: JUMPDEST 00001b5a: GAS 00001b5b: CALL 00001b5c: ISZERO 00001b5d: ISZERO 00001b5e: PUSH2 0x1b66 00001b61: JUMPI 00001b62: PUSH1 0x00 00001b64: DUP1 00001b65: REVERT 00001b66: JUMPDEST 00001b67: POP 00001b68: POP 00001b69: POP 00001b6a: PUSH1 0x40 00001b6c: MLOAD 00001b6d: DUP1 00001b6e: MLOAD 00001b6f: SWAP1 00001b70: POP 00001b71: PUSH2 0x1dd3 00001b74: SWAP1 00001b75: SWAP2 00001b76: SWAP1 00001b77: PUSH4 0xffffffff 00001b7c: AND 00001b7d: JUMP 00001b7e: JUMPDEST 00001b7f: SWAP1 00001b80: POP 00001b81: JUMPDEST 00001b82: SWAP2 00001b83: SWAP1 00001b84: POP 00001b85: JUMP 00001b86: JUMPDEST 00001b87: PUSH1 0x00 00001b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b9e: AND 00001b9f: DUP3 00001ba0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bb5: AND 00001bb6: EQ 00001bb7: ISZERO 00001bb8: PUSH2 0x1c00 00001bbb: JUMPI 00001bbc: DUP3 00001bbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd2: AND 00001bd3: PUSH2 0x08fc 00001bd6: DUP3 00001bd7: SWAP1 00001bd8: DUP2 00001bd9: ISZERO 00001bda: MUL 00001bdb: SWAP1 00001bdc: PUSH1 0x40 00001bde: MLOAD 00001bdf: PUSH1 0x00 00001be1: PUSH1 0x40 00001be3: MLOAD 00001be4: DUP1 00001be5: DUP4 00001be6: SUB 00001be7: DUP2 00001be8: DUP6 00001be9: DUP9 00001bea: DUP9 00001beb: CALL 00001bec: SWAP4 00001bed: POP 00001bee: POP 00001bef: POP 00001bf0: POP 00001bf1: ISZERO 00001bf2: ISZERO 00001bf3: PUSH2 0x1bfb 00001bf6: JUMPI 00001bf7: PUSH1 0x00 00001bf9: DUP1 00001bfa: REVERT 00001bfb: JUMPDEST 00001bfc: PUSH2 0x1dce 00001bff: JUMP 00001c00: JUMPDEST 00001c01: PUSH1 0x01 00001c03: PUSH1 0x00 00001c05: DUP4 00001c06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c1b: AND 00001c1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c31: AND 00001c32: DUP2 00001c33: MSTORE 00001c34: PUSH1 0x20 00001c36: ADD 00001c37: SWAP1 00001c38: DUP2 00001c39: MSTORE 00001c3a: PUSH1 0x20 00001c3c: ADD 00001c3d: PUSH1 0x00 00001c3f: KECCAK256 00001c40: PUSH1 0x00 00001c42: SWAP1 00001c43: SLOAD 00001c44: SWAP1 00001c45: PUSH2 0x0100 00001c48: EXP 00001c49: SWAP1 00001c4a: DIV 00001c4b: PUSH1 0xff 00001c4d: AND 00001c4e: ISZERO 00001c4f: PUSH2 0x1d09 00001c52: JUMPI 00001c53: DUP2 00001c54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c69: AND 00001c6a: PUSH4 0xd0679d34 00001c6f: DUP5 00001c70: DUP4 00001c71: PUSH1 0x40 00001c73: MLOAD 00001c74: DUP4 00001c75: PUSH4 0xffffffff 00001c7a: AND 00001c7b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001c99: MUL 00001c9a: DUP2 00001c9b: MSTORE 00001c9c: PUSH1 0x04 00001c9e: ADD 00001c9f: DUP1 00001ca0: DUP4 00001ca1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cb6: AND 00001cb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ccc: AND 00001ccd: DUP2 00001cce: MSTORE 00001ccf: PUSH1 0x20 00001cd1: ADD 00001cd2: DUP3 00001cd3: DUP2 00001cd4: MSTORE 00001cd5: PUSH1 0x20 00001cd7: ADD 00001cd8: SWAP3 00001cd9: POP 00001cda: POP 00001cdb: POP 00001cdc: PUSH1 0x00 00001cde: PUSH1 0x40 00001ce0: MLOAD 00001ce1: DUP1 00001ce2: DUP4 00001ce3: SUB 00001ce4: DUP2 00001ce5: PUSH1 0x00 00001ce7: DUP8 00001ce8: DUP1 00001ce9: EXTCODESIZE 00001cea: ISZERO 00001ceb: ISZERO 00001cec: PUSH2 0x1cf4 00001cef: JUMPI 00001cf0: PUSH1 0x00 00001cf2: DUP1 00001cf3: REVERT 00001cf4: JUMPDEST 00001cf5: GAS 00001cf6: CALL 00001cf7: ISZERO 00001cf8: ISZERO 00001cf9: PUSH2 0x1d01 00001cfc: JUMPI 00001cfd: PUSH1 0x00 00001cff: DUP1 00001d00: REVERT 00001d01: JUMPDEST 00001d02: POP 00001d03: POP 00001d04: POP 00001d05: PUSH2 0x1dce 00001d08: JUMP 00001d09: JUMPDEST 00001d0a: DUP2 00001d0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d20: AND 00001d21: PUSH4 0xa9059cbb 00001d26: DUP5 00001d27: DUP4 00001d28: PUSH1 0x40 00001d2a: MLOAD 00001d2b: DUP4 00001d2c: PUSH4 0xffffffff 00001d31: AND 00001d32: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001d50: MUL 00001d51: DUP2 00001d52: MSTORE 00001d53: PUSH1 0x04 00001d55: ADD 00001d56: DUP1 00001d57: DUP4 00001d58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d6d: AND 00001d6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d83: AND 00001d84: DUP2 00001d85: MSTORE 00001d86: PUSH1 0x20 00001d88: ADD 00001d89: DUP3 00001d8a: DUP2 00001d8b: MSTORE 00001d8c: PUSH1 0x20 00001d8e: ADD 00001d8f: SWAP3 00001d90: POP 00001d91: POP 00001d92: POP 00001d93: PUSH1 0x20 00001d95: PUSH1 0x40 00001d97: MLOAD 00001d98: DUP1 00001d99: DUP4 00001d9a: SUB 00001d9b: DUP2 00001d9c: PUSH1 0x00 00001d9e: DUP8 00001d9f: DUP1 00001da0: EXTCODESIZE 00001da1: ISZERO 00001da2: ISZERO 00001da3: PUSH2 0x1dab 00001da6: JUMPI 00001da7: PUSH1 0x00 00001da9: DUP1 00001daa: REVERT 00001dab: JUMPDEST 00001dac: GAS 00001dad: CALL 00001dae: ISZERO 00001daf: ISZERO 00001db0: PUSH2 0x1db8 00001db3: JUMPI 00001db4: PUSH1 0x00 00001db6: DUP1 00001db7: REVERT 00001db8: JUMPDEST 00001db9: POP 00001dba: POP 00001dbb: POP 00001dbc: PUSH1 0x40 00001dbe: MLOAD 00001dbf: DUP1 00001dc0: MLOAD 00001dc1: SWAP1 00001dc2: POP 00001dc3: ISZERO 00001dc4: ISZERO 00001dc5: PUSH2 0x1dcd 00001dc8: JUMPI 00001dc9: PUSH1 0x00 00001dcb: DUP1 00001dcc: REVERT 00001dcd: JUMPDEST 00001dce: JUMPDEST 00001dcf: POP 00001dd0: POP 00001dd1: POP 00001dd2: JUMP 00001dd3: JUMPDEST 00001dd4: PUSH1 0x00 00001dd6: DUP3 00001dd7: DUP3 00001dd8: GT 00001dd9: ISZERO 00001dda: ISZERO 00001ddb: ISZERO 00001ddc: PUSH2 0x1de1 00001ddf: JUMPI 00001de0: INVALID 00001de1: JUMPDEST 00001de2: DUP2 00001de3: DUP4 00001de4: SUB 00001de5: SWAP1 00001de6: POP 00001de7: SWAP3 00001de8: SWAP2 00001de9: POP 00001dea: POP 00001deb: JUMP 00001dec: JUMPDEST 00001ded: PUSH1 0x00 00001def: DUP1 00001df0: DUP3 00001df1: DUP5 00001df2: ADD 00001df3: SWAP1 00001df4: POP 00001df5: DUP4 00001df6: DUP2 00001df7: LT 00001df8: ISZERO 00001df9: ISZERO 00001dfa: ISZERO 00001dfb: PUSH2 0x1e00 00001dfe: JUMPI 00001dff: INVALID 00001e00: JUMPDEST 00001e01: DUP1 00001e02: SWAP2 00001e03: POP 00001e04: POP 00001e05: SWAP3 00001e06: SWAP2 00001e07: POP 00001e08: POP 00001e09: JUMP 00001e0a: STOP 00001e0b: LOG1 00001e0c: PUSH6 0x627a7a723058 00001e13: KECCAK256 00001e14: PC 00001e15: RETURNDATACOPY 00001e16: EQ 00001e17: SLT 00001e18: UNKNOWN(0xBC) 00001e19: UNKNOWN(0xAA) 00001e1a: DUP3 00001e1b: JUMPI 00001e1c: MULMOD 00001e1d: BLOBBASEFEE 00001e1e: UNKNOWN(0x23) 00001e1f: UNKNOWN(0x21) 00001e20: SLT 00001e21: UNKNOWN(0xE0) 00001e22: DUP5 00001e23: UNKNOWN(0x23) 00001e24: DUP9 00001e25: MOD 00001e26: DUP4 00001e27: UNKNOWN(0xCF) 00001e28: UNKNOWN(0xD0) 00001e29: CALLCODE 00001e2a: DUP10 00001e2b: TLOAD 00001e2c: ADD 00001e2d: UNKNOWN(0xE8) 00001e2e: UNKNOWN(0xD2) 00001e2f: UNKNOWN(0xAF) 00001e30: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xdeb55347ebc6485513cb7ad762f3944436677a1225b785f7dc2ce2cced6f54ff
call_targets:
0x54b0de285c15d27b0daa687bcbf40cea68b2807f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdeb55347ebc6485513cb7ad762f3944436677a1225b785f7dc2ce2cced6f54ff",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x54b0de285c15d27b0daa687bcbf40cea68b2807f"
],
"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": "0x2670bdf0",
"selector": "0x2670bdf0",
"calldata_variants": [
"0x2670bdf0",
"0x2670bdf00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a30452a",
"selector": "0x3a30452a",
"calldata_variants": [
"0x3a30452a",
"0x3a30452a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47e7ef24",
"selector": "0x47e7ef24",
"calldata_variants": [
"0x47e7ef24",
"0x47e7ef240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6f362c2b",
"selector": "0x6f362c2b",
"calldata_variants": [
"0x6f362c2b",
"0x6f362c2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8322fff2",
"selector": "0x8322fff2",
"calldata_variants": [
"0x8322fff2",
"0x8322fff20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8ce5877c",
"selector": "0x8ce5877c",
"calldata_variants": [
"0x8ce5877c",
"0x8ce5877c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2889,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7003,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7147,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xdeb55347ebc6485513cb7ad762f3944436677a1225b785f7dc2ce2cced6f54ff
call_targets:
0x54b0de285c15d27b0daa687bcbf40cea68b2807f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdeb55347ebc6485513cb7ad762f3944436677a1225b785f7dc2ce2cced6f54ff",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x54b0de285c15d27b0daa687bcbf40cea68b2807f"
],
"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": "0x2670bdf0",
"selector": "0x2670bdf0",
"calldata_variants": [
"0x2670bdf0",
"0x2670bdf00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a30452a",
"selector": "0x3a30452a",
"calldata_variants": [
"0x3a30452a",
"0x3a30452a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47e7ef24",
"selector": "0x47e7ef24",
"calldata_variants": [
"0x47e7ef24",
"0x47e7ef240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6f362c2b",
"selector": "0x6f362c2b",
"calldata_variants": [
"0x6f362c2b",
"0x6f362c2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8322fff2",
"selector": "0x8322fff2",
"calldata_variants": [
"0x8322fff2",
"0x8322fff20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8ce5877c",
"selector": "0x8ce5877c",
"calldata_variants": [
"0x8ce5877c",
"0x8ce5877c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2889,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7003,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7147,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|