019b3844-b58c-7213-b930-879eda223d98
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 |
|---|---|---|---|---|
| 19127 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 19128 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 62582 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 62583 | capability.graph | complete | 1 / 3 | 1 week ago |
| 62584 | detector.run | complete | 1 / 3 | 1 week ago |
| 62585 | 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 0x0118 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8456cb59 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xad509c1d 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xad509c1d 0000002f: EQ 00000030: PUSH2 0x035e 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xcedceff9 0000003a: EQ 0000003b: PUSH2 0x037e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd547741f 00000045: EQ 00000046: PUSH2 0x039e 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd784d426 00000050: EQ 00000051: PUSH2 0x03be 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xd82465a7 0000005b: EQ 0000005c: PUSH2 0x03de 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x8456cb59 0000006b: EQ 0000006c: PUSH2 0x02b7 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8a6d2cc8 00000076: EQ 00000077: PUSH2 0x02cc 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8abf6077 00000081: EQ 00000082: PUSH2 0x0304 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x91d14854 0000008c: EQ 0000008d: PUSH2 0x0329 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xa217fddf 00000097: EQ 00000098: PUSH2 0x0349 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x2f2ff15d 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x2f2ff15d 000000b2: EQ 000000b3: PUSH2 0x022a 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x36568abe 000000bd: EQ 000000be: PUSH2 0x024a 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x3dd69b8f 000000c8: EQ 000000c9: PUSH2 0x026a 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x3f4ba83a 000000d3: EQ 000000d4: PUSH2 0x028a 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x5c975abb 000000de: EQ 000000df: PUSH2 0x029f 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x01ffc9a7 000000ee: EQ 000000ef: PUSH2 0x016e 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x12484b32 000000f9: EQ 000000fa: PUSH2 0x01a3 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x16279055 00000104: EQ 00000105: PUSH2 0x01c5 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x248a9ca3 0000010f: EQ 00000110: PUSH2 0x01ec 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: CALLDATASIZE 0000011a: PUSH2 0x0169 0000011d: JUMPI 0000011e: PUSH2 0x0125 00000121: PUSH2 0x0400 00000124: JUMP 00000125: JUMPDEST 00000126: PUSH32 0x6fdf5a559aca442d78e8b84a7cbe5c21c91c9a305149d90ed6ae43c1a7e8f8c3 00000147: CALLER 00000148: PUSH1 0x40 0000014a: DUP1 0000014b: MLOAD 0000014c: PUSH1 0x01 0000014e: PUSH1 0x01 00000150: PUSH1 0xa0 00000152: SHL 00000153: SUB 00000154: SWAP1 00000155: SWAP3 00000156: AND 00000157: DUP3 00000158: MSTORE 00000159: CALLVALUE 0000015a: PUSH1 0x20 0000015c: DUP4 0000015d: ADD 0000015e: MSTORE 0000015f: ADD 00000160: PUSH1 0x40 00000162: MLOAD 00000163: DUP1 00000164: SWAP2 00000165: SUB 00000166: SWAP1 00000167: LOG1 00000168: STOP 00000169: JUMPDEST 0000016a: PUSH1 0x00 0000016c: DUP1 0000016d: REVERT 0000016e: JUMPDEST 0000016f: CALLVALUE 00000170: DUP1 00000171: ISZERO 00000172: PUSH2 0x017a 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: POP 0000017c: PUSH2 0x018e 0000017f: PUSH2 0x0189 00000182: CALLDATASIZE 00000183: PUSH1 0x04 00000185: PUSH2 0x1319 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH2 0x044d 0000018d: JUMP 0000018e: JUMPDEST 0000018f: PUSH1 0x40 00000191: MLOAD 00000192: SWAP1 00000193: ISZERO 00000194: ISZERO 00000195: DUP2 00000196: MSTORE 00000197: PUSH1 0x20 00000199: ADD 0000019a: JUMPDEST 0000019b: PUSH1 0x40 0000019d: MLOAD 0000019e: DUP1 0000019f: SWAP2 000001a0: SUB 000001a1: SWAP1 000001a2: RETURN 000001a3: JUMPDEST 000001a4: CALLVALUE 000001a5: DUP1 000001a6: ISZERO 000001a7: PUSH2 0x01af 000001aa: JUMPI 000001ab: PUSH1 0x00 000001ad: DUP1 000001ae: REVERT 000001af: JUMPDEST 000001b0: POP 000001b1: PUSH2 0x01c3 000001b4: PUSH2 0x01be 000001b7: CALLDATASIZE 000001b8: PUSH1 0x04 000001ba: PUSH2 0x1435 000001bd: JUMP 000001be: JUMPDEST 000001bf: PUSH2 0x0484 000001c2: JUMP 000001c3: JUMPDEST 000001c4: STOP 000001c5: JUMPDEST 000001c6: CALLVALUE 000001c7: DUP1 000001c8: ISZERO 000001c9: PUSH2 0x01d1 000001cc: JUMPI 000001cd: PUSH1 0x00 000001cf: DUP1 000001d0: REVERT 000001d1: JUMPDEST 000001d2: POP 000001d3: PUSH2 0x018e 000001d6: PUSH2 0x01e0 000001d9: CALLDATASIZE 000001da: PUSH1 0x04 000001dc: PUSH2 0x1483 000001df: JUMP 000001e0: JUMPDEST 000001e1: EXTCODESIZE 000001e2: PUSH4 0xffffffff 000001e7: AND 000001e8: ISZERO 000001e9: ISZERO 000001ea: SWAP1 000001eb: JUMP 000001ec: JUMPDEST 000001ed: CALLVALUE 000001ee: DUP1 000001ef: ISZERO 000001f0: PUSH2 0x01f8 000001f3: JUMPI 000001f4: PUSH1 0x00 000001f6: DUP1 000001f7: REVERT 000001f8: JUMPDEST 000001f9: POP 000001fa: PUSH2 0x021c 000001fd: PUSH2 0x0207 00000200: CALLDATASIZE 00000201: PUSH1 0x04 00000203: PUSH2 0x149e 00000206: JUMP 00000207: JUMPDEST 00000208: PUSH1 0x00 0000020a: SWAP1 0000020b: DUP2 0000020c: MSTORE 0000020d: PUSH1 0x20 0000020f: DUP2 00000210: SWAP1 00000211: MSTORE 00000212: PUSH1 0x40 00000214: SWAP1 00000215: KECCAK256 00000216: PUSH1 0x01 00000218: ADD 00000219: SLOAD 0000021a: SWAP1 0000021b: JUMP 0000021c: JUMPDEST 0000021d: PUSH1 0x40 0000021f: MLOAD 00000220: SWAP1 00000221: DUP2 00000222: MSTORE 00000223: PUSH1 0x20 00000225: ADD 00000226: PUSH2 0x019a 00000229: JUMP 0000022a: JUMPDEST 0000022b: CALLVALUE 0000022c: DUP1 0000022d: ISZERO 0000022e: PUSH2 0x0236 00000231: JUMPI 00000232: PUSH1 0x00 00000234: DUP1 00000235: REVERT 00000236: JUMPDEST 00000237: POP 00000238: PUSH2 0x01c3 0000023b: PUSH2 0x0245 0000023e: CALLDATASIZE 0000023f: PUSH1 0x04 00000241: PUSH2 0x14b7 00000244: JUMP 00000245: JUMPDEST 00000246: PUSH2 0x0755 00000249: JUMP 0000024a: JUMPDEST 0000024b: CALLVALUE 0000024c: DUP1 0000024d: ISZERO 0000024e: PUSH2 0x0256 00000251: JUMPI 00000252: PUSH1 0x00 00000254: DUP1 00000255: REVERT 00000256: JUMPDEST 00000257: POP 00000258: PUSH2 0x01c3 0000025b: PUSH2 0x0265 0000025e: CALLDATASIZE 0000025f: PUSH1 0x04 00000261: PUSH2 0x14b7 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH2 0x077f 00000269: JUMP 0000026a: JUMPDEST 0000026b: CALLVALUE 0000026c: DUP1 0000026d: ISZERO 0000026e: PUSH2 0x0276 00000271: JUMPI 00000272: PUSH1 0x00 00000274: DUP1 00000275: REVERT 00000276: JUMPDEST 00000277: POP 00000278: PUSH2 0x01c3 0000027b: PUSH2 0x0285 0000027e: CALLDATASIZE 0000027f: PUSH1 0x04 00000281: PUSH2 0x14da 00000284: JUMP 00000285: JUMPDEST 00000286: PUSH2 0x07fd 00000289: JUMP 0000028a: JUMPDEST 0000028b: CALLVALUE 0000028c: DUP1 0000028d: ISZERO 0000028e: PUSH2 0x0296 00000291: JUMPI 00000292: PUSH1 0x00 00000294: DUP1 00000295: REVERT 00000296: JUMPDEST 00000297: POP 00000298: PUSH2 0x01c3 0000029b: PUSH2 0x090c 0000029e: JUMP 0000029f: JUMPDEST 000002a0: CALLVALUE 000002a1: DUP1 000002a2: ISZERO 000002a3: PUSH2 0x02ab 000002a6: JUMPI 000002a7: PUSH1 0x00 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: POP 000002ad: PUSH1 0x01 000002af: SLOAD 000002b0: PUSH1 0xff 000002b2: AND 000002b3: PUSH2 0x018e 000002b6: JUMP 000002b7: JUMPDEST 000002b8: CALLVALUE 000002b9: DUP1 000002ba: ISZERO 000002bb: PUSH2 0x02c3 000002be: JUMPI 000002bf: PUSH1 0x00 000002c1: DUP1 000002c2: REVERT 000002c3: JUMPDEST 000002c4: POP 000002c5: PUSH2 0x01c3 000002c8: PUSH2 0x0922 000002cb: JUMP 000002cc: JUMPDEST 000002cd: CALLVALUE 000002ce: DUP1 000002cf: ISZERO 000002d0: PUSH2 0x02d8 000002d3: JUMPI 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: REVERT 000002d8: JUMPDEST 000002d9: POP 000002da: PUSH2 0x02ec 000002dd: PUSH2 0x02e7 000002e0: CALLDATASIZE 000002e1: PUSH1 0x04 000002e3: PUSH2 0x149e 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH2 0x0935 000002eb: JUMP 000002ec: JUMPDEST 000002ed: PUSH1 0x40 000002ef: MLOAD 000002f0: PUSH1 0x01 000002f2: PUSH1 0x01 000002f4: PUSH1 0xa0 000002f6: SHL 000002f7: SUB 000002f8: SWAP1 000002f9: SWAP2 000002fa: AND 000002fb: DUP2 000002fc: MSTORE 000002fd: PUSH1 0x20 000002ff: ADD 00000300: PUSH2 0x019a 00000303: JUMP 00000304: JUMPDEST 00000305: CALLVALUE 00000306: DUP1 00000307: ISZERO 00000308: PUSH2 0x0310 0000030b: JUMPI 0000030c: PUSH1 0x00 0000030e: DUP1 0000030f: REVERT 00000310: JUMPDEST 00000311: POP 00000312: PUSH1 0x01 00000314: SLOAD 00000315: PUSH2 0x02ec 00000318: SWAP1 00000319: PUSH2 0x0100 0000031c: SWAP1 0000031d: DIV 0000031e: PUSH1 0x01 00000320: PUSH1 0x01 00000322: PUSH1 0xa0 00000324: SHL 00000325: SUB 00000326: AND 00000327: DUP2 00000328: JUMP 00000329: JUMPDEST 0000032a: CALLVALUE 0000032b: DUP1 0000032c: ISZERO 0000032d: PUSH2 0x0335 00000330: JUMPI 00000331: PUSH1 0x00 00000333: DUP1 00000334: REVERT 00000335: JUMPDEST 00000336: POP 00000337: PUSH2 0x018e 0000033a: PUSH2 0x0344 0000033d: CALLDATASIZE 0000033e: PUSH1 0x04 00000340: PUSH2 0x14b7 00000343: JUMP 00000344: JUMPDEST 00000345: PUSH2 0x0953 00000348: JUMP 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: DUP1 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: POP 00000357: PUSH2 0x021c 0000035a: PUSH1 0x00 0000035c: DUP2 0000035d: JUMP 0000035e: JUMPDEST 0000035f: CALLVALUE 00000360: DUP1 00000361: ISZERO 00000362: PUSH2 0x036a 00000365: JUMPI 00000366: PUSH1 0x00 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: POP 0000036c: PUSH2 0x01c3 0000036f: PUSH2 0x0379 00000372: CALLDATASIZE 00000373: PUSH1 0x04 00000375: PUSH2 0x1579 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH2 0x097c 0000037d: JUMP 0000037e: JUMPDEST 0000037f: CALLVALUE 00000380: DUP1 00000381: ISZERO 00000382: PUSH2 0x038a 00000385: JUMPI 00000386: PUSH1 0x00 00000388: DUP1 00000389: REVERT 0000038a: JUMPDEST 0000038b: POP 0000038c: PUSH2 0x01c3 0000038f: PUSH2 0x0399 00000392: CALLDATASIZE 00000393: PUSH1 0x04 00000395: PUSH2 0x1601 00000398: JUMP 00000399: JUMPDEST 0000039a: PUSH2 0x0bbc 0000039d: JUMP 0000039e: JUMPDEST 0000039f: CALLVALUE 000003a0: DUP1 000003a1: ISZERO 000003a2: PUSH2 0x03aa 000003a5: JUMPI 000003a6: PUSH1 0x00 000003a8: DUP1 000003a9: REVERT 000003aa: JUMPDEST 000003ab: POP 000003ac: PUSH2 0x01c3 000003af: PUSH2 0x03b9 000003b2: CALLDATASIZE 000003b3: PUSH1 0x04 000003b5: PUSH2 0x14b7 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH2 0x0dec 000003bd: JUMP 000003be: JUMPDEST 000003bf: CALLVALUE 000003c0: DUP1 000003c1: ISZERO 000003c2: PUSH2 0x03ca 000003c5: JUMPI 000003c6: PUSH1 0x00 000003c8: DUP1 000003c9: REVERT 000003ca: JUMPDEST 000003cb: POP 000003cc: PUSH2 0x01c3 000003cf: PUSH2 0x03d9 000003d2: CALLDATASIZE 000003d3: PUSH1 0x04 000003d5: PUSH2 0x1483 000003d8: JUMP 000003d9: JUMPDEST 000003da: PUSH2 0x0e11 000003dd: JUMP 000003de: JUMPDEST 000003df: CALLVALUE 000003e0: DUP1 000003e1: ISZERO 000003e2: PUSH2 0x03ea 000003e5: JUMPI 000003e6: PUSH1 0x00 000003e8: DUP1 000003e9: REVERT 000003ea: JUMPDEST 000003eb: POP 000003ec: PUSH2 0x021c 000003ef: PUSH1 0x00 000003f1: DUP1 000003f2: MLOAD 000003f3: PUSH1 0x20 000003f5: PUSH2 0x18e5 000003f8: DUP4 000003f9: CODECOPY 000003fa: DUP2 000003fb: MLOAD 000003fc: SWAP2 000003fd: MSTORE 000003fe: DUP2 000003ff: JUMP 00000400: JUMPDEST 00000401: PUSH1 0x01 00000403: SLOAD 00000404: PUSH1 0xff 00000406: AND 00000407: ISZERO 00000408: PUSH2 0x044b 0000040b: JUMPI 0000040c: PUSH1 0x40 0000040e: MLOAD 0000040f: PUSH3 0x461bcd 00000413: PUSH1 0xe5 00000415: SHL 00000416: DUP2 00000417: MSTORE 00000418: PUSH1 0x20 0000041a: PUSH1 0x04 0000041c: DUP3 0000041d: ADD 0000041e: MSTORE 0000041f: PUSH1 0x10 00000421: PUSH1 0x24 00000423: DUP3 00000424: ADD 00000425: MSTORE 00000426: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000437: PUSH1 0x82 00000439: SHL 0000043a: PUSH1 0x44 0000043c: DUP3 0000043d: ADD 0000043e: MSTORE 0000043f: PUSH1 0x64 00000441: ADD 00000442: JUMPDEST 00000443: PUSH1 0x40 00000445: MLOAD 00000446: DUP1 00000447: SWAP2 00000448: SUB 00000449: SWAP1 0000044a: REVERT 0000044b: JUMPDEST 0000044c: JUMP 0000044d: JUMPDEST 0000044e: PUSH1 0x00 00000450: PUSH1 0x01 00000452: PUSH1 0x01 00000454: PUSH1 0xe0 00000456: SHL 00000457: SUB 00000458: NOT 00000459: DUP3 0000045a: AND 0000045b: PUSH4 0x7965db0b 00000460: PUSH1 0xe0 00000462: SHL 00000463: EQ 00000464: DUP1 00000465: PUSH2 0x047e 00000468: JUMPI 00000469: POP 0000046a: PUSH4 0x01ffc9a7 0000046f: PUSH1 0xe0 00000471: SHL 00000472: PUSH1 0x01 00000474: PUSH1 0x01 00000476: PUSH1 0xe0 00000478: SHL 00000479: SUB 0000047a: NOT 0000047b: DUP4 0000047c: AND 0000047d: EQ 0000047e: JUMPDEST 0000047f: SWAP3 00000480: SWAP2 00000481: POP 00000482: POP 00000483: JUMP 00000484: JUMPDEST 00000485: PUSH1 0x00 00000487: DUP1 00000488: MLOAD 00000489: PUSH1 0x20 0000048b: PUSH2 0x18e5 0000048e: DUP4 0000048f: CODECOPY 00000490: DUP2 00000491: MLOAD 00000492: SWAP2 00000493: MSTORE 00000494: PUSH2 0x049c 00000497: DUP2 00000498: PUSH2 0x0e45 0000049b: JUMP 0000049c: JUMPDEST 0000049d: PUSH2 0x04a4 000004a0: PUSH2 0x0400 000004a3: JUMP 000004a4: JUMPDEST 000004a5: DUP2 000004a6: PUSH1 0x00 000004a8: JUMPDEST 000004a9: DUP5 000004aa: MLOAD 000004ab: DUP2 000004ac: LT 000004ad: ISZERO 000004ae: PUSH2 0x074e 000004b1: JUMPI 000004b2: PUSH1 0x00 000004b4: PUSH2 0x04ec 000004b7: PUSH1 0x01 000004b9: DUP1 000004ba: SLOAD 000004bb: SWAP1 000004bc: PUSH2 0x0100 000004bf: EXP 000004c0: SWAP1 000004c1: DIV 000004c2: PUSH1 0x01 000004c4: PUSH1 0x01 000004c6: PUSH1 0xa0 000004c8: SHL 000004c9: SUB 000004ca: AND 000004cb: DUP8 000004cc: DUP5 000004cd: DUP2 000004ce: MLOAD 000004cf: DUP2 000004d0: LT 000004d1: PUSH2 0x04dc 000004d4: JUMPI 000004d5: PUSH2 0x04dc 000004d8: PUSH2 0x1665 000004db: JUMP 000004dc: JUMPDEST 000004dd: PUSH1 0x20 000004df: MUL 000004e0: PUSH1 0x20 000004e2: ADD 000004e3: ADD 000004e4: MLOAD 000004e5: PUSH1 0x00 000004e7: SHL 000004e8: PUSH2 0x0e4f 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH1 0x40 000004ef: MLOAD 000004f0: PUSH4 0x70a08231 000004f5: PUSH1 0xe0 000004f7: SHL 000004f8: DUP2 000004f9: MSTORE 000004fa: PUSH1 0x01 000004fc: PUSH1 0x01 000004fe: PUSH1 0xa0 00000500: SHL 00000501: SUB 00000502: DUP1 00000503: DUP4 00000504: AND 00000505: PUSH1 0x04 00000507: DUP4 00000508: ADD 00000509: MSTORE 0000050a: SWAP2 0000050b: SWAP3 0000050c: POP 0000050d: PUSH1 0x00 0000050f: SWAP2 00000510: DUP6 00000511: AND 00000512: SWAP1 00000513: PUSH4 0x70a08231 00000518: SWAP1 00000519: PUSH1 0x24 0000051b: ADD 0000051c: PUSH1 0x20 0000051e: PUSH1 0x40 00000520: MLOAD 00000521: DUP1 00000522: DUP4 00000523: SUB 00000524: DUP2 00000525: DUP7 00000526: GAS 00000527: STATICCALL 00000528: ISZERO 00000529: DUP1 0000052a: ISZERO 0000052b: PUSH2 0x0538 0000052e: JUMPI 0000052f: RETURNDATASIZE 00000530: PUSH1 0x00 00000532: DUP1 00000533: RETURNDATACOPY 00000534: RETURNDATASIZE 00000535: PUSH1 0x00 00000537: REVERT 00000538: JUMPDEST 00000539: POP 0000053a: POP 0000053b: POP 0000053c: POP 0000053d: PUSH1 0x40 0000053f: MLOAD 00000540: RETURNDATASIZE 00000541: PUSH1 0x1f 00000543: NOT 00000544: PUSH1 0x1f 00000546: DUP3 00000547: ADD 00000548: AND 00000549: DUP3 0000054a: ADD 0000054b: DUP1 0000054c: PUSH1 0x40 0000054e: MSTORE 0000054f: POP 00000550: DUP2 00000551: ADD 00000552: SWAP1 00000553: PUSH2 0x055c 00000556: SWAP2 00000557: SWAP1 00000558: PUSH2 0x167b 0000055b: JUMP 0000055c: JUMPDEST 0000055d: SWAP1 0000055e: POP 0000055f: DUP1 00000560: ISZERO 00000561: PUSH2 0x0739 00000564: JUMPI 00000565: DUP2 00000566: EXTCODESIZE 00000567: PUSH4 0xffffffff 0000056c: AND 0000056d: PUSH2 0x05e7 00000570: JUMPI 00000571: PUSH2 0x05a9 00000574: PUSH1 0x01 00000576: DUP1 00000577: SLOAD 00000578: SWAP1 00000579: PUSH2 0x0100 0000057c: EXP 0000057d: SWAP1 0000057e: DIV 0000057f: PUSH1 0x01 00000581: PUSH1 0x01 00000583: PUSH1 0xa0 00000585: SHL 00000586: SUB 00000587: AND 00000588: DUP9 00000589: DUP6 0000058a: DUP2 0000058b: MLOAD 0000058c: DUP2 0000058d: LT 0000058e: PUSH2 0x0599 00000591: JUMPI 00000592: PUSH2 0x0599 00000595: PUSH2 0x1665 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH1 0x20 0000059c: MUL 0000059d: PUSH1 0x20 0000059f: ADD 000005a0: ADD 000005a1: MLOAD 000005a2: PUSH1 0x00 000005a4: SHL 000005a5: PUSH2 0x0eb2 000005a8: JUMP 000005a9: JUMPDEST 000005aa: POP 000005ab: PUSH1 0x40 000005ad: MLOAD 000005ae: PUSH1 0x01 000005b0: PUSH1 0x01 000005b2: PUSH1 0xa0 000005b4: SHL 000005b5: SUB 000005b6: DUP4 000005b7: AND 000005b8: DUP2 000005b9: MSTORE 000005ba: PUSH32 0x4b0c0eecf65b0e220ab71c8ee4864f49a8bce98efda26dfb8260aadf3ece094f 000005db: SWAP1 000005dc: PUSH1 0x20 000005de: ADD 000005df: PUSH1 0x40 000005e1: MLOAD 000005e2: DUP1 000005e3: SWAP2 000005e4: SUB 000005e5: SWAP1 000005e6: LOG1 000005e7: JUMPDEST 000005e8: PUSH1 0x40 000005ea: MLOAD 000005eb: PUSH4 0x6eb1769f 000005f0: PUSH1 0xe1 000005f2: SHL 000005f3: DUP2 000005f4: MSTORE 000005f5: PUSH1 0x01 000005f7: PUSH1 0x01 000005f9: PUSH1 0xa0 000005fb: SHL 000005fc: SUB 000005fd: DUP4 000005fe: DUP2 000005ff: AND 00000600: PUSH1 0x04 00000602: DUP4 00000603: ADD 00000604: MSTORE 00000605: ADDRESS 00000606: PUSH1 0x24 00000608: DUP4 00000609: ADD 0000060a: MSTORE 0000060b: DUP3 0000060c: SWAP2 0000060d: SWAP1 0000060e: DUP7 0000060f: AND 00000610: SWAP1 00000611: PUSH4 0xdd62ed3e 00000616: SWAP1 00000617: PUSH1 0x44 00000619: ADD 0000061a: PUSH1 0x20 0000061c: PUSH1 0x40 0000061e: MLOAD 0000061f: DUP1 00000620: DUP4 00000621: SUB 00000622: DUP2 00000623: DUP7 00000624: GAS 00000625: STATICCALL 00000626: ISZERO 00000627: DUP1 00000628: ISZERO 00000629: PUSH2 0x0636 0000062c: JUMPI 0000062d: RETURNDATASIZE 0000062e: PUSH1 0x00 00000630: DUP1 00000631: RETURNDATACOPY 00000632: RETURNDATASIZE 00000633: PUSH1 0x00 00000635: REVERT 00000636: JUMPDEST 00000637: POP 00000638: POP 00000639: POP 0000063a: POP 0000063b: PUSH1 0x40 0000063d: MLOAD 0000063e: RETURNDATASIZE 0000063f: PUSH1 0x1f 00000641: NOT 00000642: PUSH1 0x1f 00000644: DUP3 00000645: ADD 00000646: AND 00000647: DUP3 00000648: ADD 00000649: DUP1 0000064a: PUSH1 0x40 0000064c: MSTORE 0000064d: POP 0000064e: DUP2 0000064f: ADD 00000650: SWAP1 00000651: PUSH2 0x065a 00000654: SWAP2 00000655: SWAP1 00000656: PUSH2 0x167b 00000659: JUMP 0000065a: JUMPDEST 0000065b: LT 0000065c: ISZERO 0000065d: PUSH2 0x06bc 00000660: JUMPI 00000661: PUSH1 0x40 00000663: MLOAD 00000664: PUSH4 0xdaea85c5 00000669: PUSH1 0xe0 0000066b: SHL 0000066c: DUP2 0000066d: MSTORE 0000066e: PUSH1 0x01 00000670: PUSH1 0x01 00000672: PUSH1 0xa0 00000674: SHL 00000675: SUB 00000676: DUP8 00000677: DUP2 00000678: AND 00000679: PUSH1 0x04 0000067b: DUP4 0000067c: ADD 0000067d: MSTORE 0000067e: DUP4 0000067f: AND 00000680: SWAP1 00000681: PUSH4 0xdaea85c5 00000686: SWAP1 00000687: PUSH1 0x24 00000689: ADD 0000068a: PUSH1 0x00 0000068c: PUSH1 0x40 0000068e: MLOAD 0000068f: DUP1 00000690: DUP4 00000691: SUB 00000692: DUP2 00000693: PUSH1 0x00 00000695: DUP8 00000696: DUP1 00000697: EXTCODESIZE 00000698: ISZERO 00000699: DUP1 0000069a: ISZERO 0000069b: PUSH2 0x06a3 0000069e: JUMPI 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: REVERT 000006a3: JUMPDEST 000006a4: POP 000006a5: GAS 000006a6: CALL 000006a7: ISZERO 000006a8: DUP1 000006a9: ISZERO 000006aa: PUSH2 0x06b7 000006ad: JUMPI 000006ae: RETURNDATASIZE 000006af: PUSH1 0x00 000006b1: DUP1 000006b2: RETURNDATACOPY 000006b3: RETURNDATASIZE 000006b4: PUSH1 0x00 000006b6: REVERT 000006b7: JUMPDEST 000006b8: POP 000006b9: POP 000006ba: POP 000006bb: POP 000006bc: JUMPDEST 000006bd: PUSH1 0x40 000006bf: MLOAD 000006c0: PUSH4 0x23b872dd 000006c5: PUSH1 0xe0 000006c7: SHL 000006c8: DUP2 000006c9: MSTORE 000006ca: PUSH1 0x01 000006cc: PUSH1 0x01 000006ce: PUSH1 0xa0 000006d0: SHL 000006d1: SUB 000006d2: DUP4 000006d3: DUP2 000006d4: AND 000006d5: PUSH1 0x04 000006d7: DUP4 000006d8: ADD 000006d9: MSTORE 000006da: PUSH20 0xe95aa278f24636d8f6bc96153a7510bd68866550 000006ef: PUSH1 0x24 000006f1: DUP4 000006f2: ADD 000006f3: MSTORE 000006f4: PUSH1 0x44 000006f6: DUP3 000006f7: ADD 000006f8: DUP4 000006f9: SWAP1 000006fa: MSTORE 000006fb: DUP6 000006fc: AND 000006fd: SWAP1 000006fe: PUSH4 0x23b872dd 00000703: SWAP1 00000704: PUSH1 0x64 00000706: ADD 00000707: PUSH1 0x00 00000709: PUSH1 0x40 0000070b: MLOAD 0000070c: DUP1 0000070d: DUP4 0000070e: SUB 0000070f: DUP2 00000710: PUSH1 0x00 00000712: DUP8 00000713: DUP1 00000714: EXTCODESIZE 00000715: ISZERO 00000716: DUP1 00000717: ISZERO 00000718: PUSH2 0x0720 0000071b: JUMPI 0000071c: PUSH1 0x00 0000071e: DUP1 0000071f: REVERT 00000720: JUMPDEST 00000721: POP 00000722: GAS 00000723: CALL 00000724: ISZERO 00000725: DUP1 00000726: ISZERO 00000727: PUSH2 0x0734 0000072a: JUMPI 0000072b: RETURNDATASIZE 0000072c: PUSH1 0x00 0000072e: DUP1 0000072f: RETURNDATACOPY 00000730: RETURNDATASIZE 00000731: PUSH1 0x00 00000733: REVERT 00000734: JUMPDEST 00000735: POP 00000736: POP 00000737: POP 00000738: POP 00000739: JUMPDEST 0000073a: POP 0000073b: POP 0000073c: DUP1 0000073d: DUP1 0000073e: PUSH2 0x0746 00000741: SWAP1 00000742: PUSH2 0x16aa 00000745: JUMP 00000746: JUMPDEST 00000747: SWAP2 00000748: POP 00000749: POP 0000074a: PUSH2 0x04a8 0000074d: JUMP 0000074e: JUMPDEST 0000074f: POP 00000750: POP 00000751: POP 00000752: POP 00000753: POP 00000754: JUMP 00000755: JUMPDEST 00000756: PUSH1 0x00 00000758: DUP3 00000759: DUP2 0000075a: MSTORE 0000075b: PUSH1 0x20 0000075d: DUP2 0000075e: SWAP1 0000075f: MSTORE 00000760: PUSH1 0x40 00000762: SWAP1 00000763: KECCAK256 00000764: PUSH1 0x01 00000766: ADD 00000767: SLOAD 00000768: PUSH2 0x0770 0000076b: DUP2 0000076c: PUSH2 0x0e45 0000076f: JUMP 00000770: JUMPDEST 00000771: PUSH2 0x077a 00000774: DUP4 00000775: DUP4 00000776: PUSH2 0x0f4f 00000779: JUMP 0000077a: JUMPDEST 0000077b: POP 0000077c: POP 0000077d: POP 0000077e: JUMP 0000077f: JUMPDEST 00000780: PUSH1 0x01 00000782: PUSH1 0x01 00000784: PUSH1 0xa0 00000786: SHL 00000787: SUB 00000788: DUP2 00000789: AND 0000078a: CALLER 0000078b: EQ 0000078c: PUSH2 0x07ef 0000078f: JUMPI 00000790: PUSH1 0x40 00000792: MLOAD 00000793: PUSH3 0x461bcd 00000797: PUSH1 0xe5 00000799: SHL 0000079a: DUP2 0000079b: MSTORE 0000079c: PUSH1 0x20 0000079e: PUSH1 0x04 000007a0: DUP3 000007a1: ADD 000007a2: MSTORE 000007a3: PUSH1 0x2f 000007a5: PUSH1 0x24 000007a7: DUP3 000007a8: ADD 000007a9: MSTORE 000007aa: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365 000007cb: PUSH1 0x44 000007cd: DUP3 000007ce: ADD 000007cf: MSTORE 000007d0: PUSH15 0x103937b632b9903337b91039b2b633 000007e0: PUSH1 0x89 000007e2: SHL 000007e3: PUSH1 0x64 000007e5: DUP3 000007e6: ADD 000007e7: MSTORE 000007e8: PUSH1 0x84 000007ea: ADD 000007eb: PUSH2 0x0442 000007ee: JUMP 000007ef: JUMPDEST 000007f0: PUSH2 0x07f9 000007f3: DUP3 000007f4: DUP3 000007f5: PUSH2 0x0fd3 000007f8: JUMP 000007f9: JUMPDEST 000007fa: POP 000007fb: POP 000007fc: JUMP 000007fd: JUMPDEST 000007fe: PUSH1 0x00 00000800: DUP1 00000801: MLOAD 00000802: PUSH1 0x20 00000804: PUSH2 0x18e5 00000807: DUP4 00000808: CODECOPY 00000809: DUP2 0000080a: MLOAD 0000080b: SWAP2 0000080c: MSTORE 0000080d: PUSH2 0x0815 00000810: DUP2 00000811: PUSH2 0x0e45 00000814: JUMP 00000815: JUMPDEST 00000816: PUSH2 0x081d 00000819: PUSH2 0x0400 0000081c: JUMP 0000081d: JUMPDEST 0000081e: PUSH1 0x00 00000820: JUMPDEST 00000821: DUP3 00000822: MLOAD 00000823: DUP2 00000824: LT 00000825: ISZERO 00000826: PUSH2 0x077a 00000829: JUMPI 0000082a: PUSH1 0x00 0000082c: PUSH2 0x0854 0000082f: PUSH1 0x01 00000831: DUP1 00000832: SLOAD 00000833: SWAP1 00000834: PUSH2 0x0100 00000837: EXP 00000838: SWAP1 00000839: DIV 0000083a: PUSH1 0x01 0000083c: PUSH1 0x01 0000083e: PUSH1 0xa0 00000840: SHL 00000841: SUB 00000842: AND 00000843: DUP6 00000844: DUP5 00000845: DUP2 00000846: MLOAD 00000847: DUP2 00000848: LT 00000849: PUSH2 0x04dc 0000084c: JUMPI 0000084d: PUSH2 0x04dc 00000850: PUSH2 0x1665 00000853: JUMP 00000854: JUMPDEST 00000855: SWAP1 00000856: POP 00000857: DUP1 00000858: PUSH1 0x01 0000085a: PUSH1 0x01 0000085c: PUSH1 0xa0 0000085e: SHL 0000085f: SUB 00000860: AND 00000861: BALANCE 00000862: PUSH1 0x00 00000864: SUB 00000865: PUSH2 0x086e 00000868: JUMPI 00000869: POP 0000086a: PUSH2 0x08fa 0000086d: JUMP 0000086e: JUMPDEST 0000086f: DUP1 00000870: EXTCODESIZE 00000871: PUSH4 0xffffffff 00000876: AND 00000877: PUSH2 0x08a5 0000087a: JUMPI 0000087b: PUSH2 0x08a3 0000087e: PUSH1 0x01 00000880: DUP1 00000881: SLOAD 00000882: SWAP1 00000883: PUSH2 0x0100 00000886: EXP 00000887: SWAP1 00000888: DIV 00000889: PUSH1 0x01 0000088b: PUSH1 0x01 0000088d: PUSH1 0xa0 0000088f: SHL 00000890: SUB 00000891: AND 00000892: DUP6 00000893: DUP5 00000894: DUP2 00000895: MLOAD 00000896: DUP2 00000897: LT 00000898: PUSH2 0x0599 0000089b: JUMPI 0000089c: PUSH2 0x0599 0000089f: PUSH2 0x1665 000008a2: JUMP 000008a3: JUMPDEST 000008a4: POP 000008a5: JUMPDEST 000008a6: DUP1 000008a7: PUSH1 0x01 000008a9: PUSH1 0x01 000008ab: PUSH1 0xa0 000008ad: SHL 000008ae: SUB 000008af: AND 000008b0: PUSH4 0xe4330545 000008b5: PUSH1 0x40 000008b7: MLOAD 000008b8: DUP2 000008b9: PUSH4 0xffffffff 000008be: AND 000008bf: PUSH1 0xe0 000008c1: SHL 000008c2: DUP2 000008c3: MSTORE 000008c4: PUSH1 0x04 000008c6: ADD 000008c7: PUSH1 0x00 000008c9: PUSH1 0x40 000008cb: MLOAD 000008cc: DUP1 000008cd: DUP4 000008ce: SUB 000008cf: DUP2 000008d0: PUSH1 0x00 000008d2: DUP8 000008d3: DUP1 000008d4: EXTCODESIZE 000008d5: ISZERO 000008d6: DUP1 000008d7: ISZERO 000008d8: PUSH2 0x08e0 000008db: JUMPI 000008dc: PUSH1 0x00 000008de: DUP1 000008df: REVERT 000008e0: JUMPDEST 000008e1: POP 000008e2: GAS 000008e3: CALL 000008e4: ISZERO 000008e5: DUP1 000008e6: ISZERO 000008e7: PUSH2 0x08f4 000008ea: JUMPI 000008eb: RETURNDATASIZE 000008ec: PUSH1 0x00 000008ee: DUP1 000008ef: RETURNDATACOPY 000008f0: RETURNDATASIZE 000008f1: PUSH1 0x00 000008f3: REVERT 000008f4: JUMPDEST 000008f5: POP 000008f6: POP 000008f7: POP 000008f8: POP 000008f9: POP 000008fa: JUMPDEST 000008fb: DUP1 000008fc: PUSH2 0x0904 000008ff: DUP2 00000900: PUSH2 0x16aa 00000903: JUMP 00000904: JUMPDEST 00000905: SWAP2 00000906: POP 00000907: POP 00000908: PUSH2 0x0820 0000090b: JUMP 0000090c: JUMPDEST 0000090d: PUSH1 0x00 0000090f: PUSH2 0x0917 00000912: DUP2 00000913: PUSH2 0x0e45 00000916: JUMP 00000917: JUMPDEST 00000918: PUSH2 0x091f 0000091b: PUSH2 0x1038 0000091e: JUMP 0000091f: JUMPDEST 00000920: POP 00000921: JUMP 00000922: JUMPDEST 00000923: PUSH1 0x00 00000925: PUSH2 0x092d 00000928: DUP2 00000929: PUSH2 0x0e45 0000092c: JUMP 0000092d: JUMPDEST 0000092e: PUSH2 0x091f 00000931: PUSH2 0x108a 00000934: JUMP 00000935: JUMPDEST 00000936: PUSH1 0x01 00000938: SLOAD 00000939: PUSH1 0x00 0000093b: SWAP1 0000093c: PUSH2 0x047e 0000093f: SWAP1 00000940: PUSH2 0x0100 00000943: SWAP1 00000944: DIV 00000945: PUSH1 0x01 00000947: PUSH1 0x01 00000949: PUSH1 0xa0 0000094b: SHL 0000094c: SUB 0000094d: AND 0000094e: DUP4 0000094f: PUSH2 0x0e4f 00000952: JUMP 00000953: JUMPDEST 00000954: PUSH1 0x00 00000956: SWAP2 00000957: DUP3 00000958: MSTORE 00000959: PUSH1 0x20 0000095b: DUP3 0000095c: DUP2 0000095d: MSTORE 0000095e: PUSH1 0x40 00000960: DUP1 00000961: DUP5 00000962: KECCAK256 00000963: PUSH1 0x01 00000965: PUSH1 0x01 00000967: PUSH1 0xa0 00000969: SHL 0000096a: SUB 0000096b: SWAP4 0000096c: SWAP1 0000096d: SWAP4 0000096e: AND 0000096f: DUP5 00000970: MSTORE 00000971: SWAP2 00000972: SWAP1 00000973: MSTORE 00000974: SWAP1 00000975: KECCAK256 00000976: SLOAD 00000977: PUSH1 0xff 00000979: AND 0000097a: SWAP1 0000097b: JUMP 0000097c: JUMPDEST 0000097d: PUSH1 0x00 0000097f: DUP1 00000980: MLOAD 00000981: PUSH1 0x20 00000983: PUSH2 0x18e5 00000986: DUP4 00000987: CODECOPY 00000988: DUP2 00000989: MLOAD 0000098a: SWAP2 0000098b: MSTORE 0000098c: PUSH2 0x0994 0000098f: DUP2 00000990: PUSH2 0x0e45 00000993: JUMP 00000994: JUMPDEST 00000995: PUSH2 0x099c 00000998: PUSH2 0x0400 0000099b: JUMP 0000099c: JUMPDEST 0000099d: PUSH1 0x00 0000099f: JUMPDEST 000009a0: DUP5 000009a1: MLOAD 000009a2: DUP2 000009a3: LT 000009a4: ISZERO 000009a5: PUSH2 0x074e 000009a8: JUMPI 000009a9: PUSH1 0x00 000009ab: DUP6 000009ac: DUP3 000009ad: DUP2 000009ae: MLOAD 000009af: DUP2 000009b0: LT 000009b1: PUSH2 0x09bc 000009b4: JUMPI 000009b5: PUSH2 0x09bc 000009b8: PUSH2 0x1665 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH1 0x20 000009bf: MUL 000009c0: PUSH1 0x20 000009c2: ADD 000009c3: ADD 000009c4: MLOAD 000009c5: SWAP1 000009c6: POP 000009c7: PUSH1 0x00 000009c9: DUP6 000009ca: DUP4 000009cb: DUP2 000009cc: MLOAD 000009cd: DUP2 000009ce: LT 000009cf: PUSH2 0x09da 000009d2: JUMPI 000009d3: PUSH2 0x09da 000009d6: PUSH2 0x1665 000009d9: JUMP 000009da: JUMPDEST 000009db: PUSH1 0x20 000009dd: MUL 000009de: PUSH1 0x20 000009e0: ADD 000009e1: ADD 000009e2: MLOAD 000009e3: SWAP1 000009e4: POP 000009e5: PUSH1 0x00 000009e7: DUP6 000009e8: DUP5 000009e9: DUP2 000009ea: MLOAD 000009eb: DUP2 000009ec: LT 000009ed: PUSH2 0x09f8 000009f0: JUMPI 000009f1: PUSH2 0x09f8 000009f4: PUSH2 0x1665 000009f7: JUMP 000009f8: JUMPDEST 000009f9: PUSH1 0x20 000009fb: SWAP1 000009fc: DUP2 000009fd: MUL 000009fe: SWAP2 000009ff: SWAP1 00000a00: SWAP2 00000a01: ADD 00000a02: ADD 00000a03: MLOAD 00000a04: PUSH1 0x40 00000a06: MLOAD 00000a07: PUSH4 0x70a08231 00000a0c: PUSH1 0xe0 00000a0e: SHL 00000a0f: DUP2 00000a10: MSTORE 00000a11: ADDRESS 00000a12: PUSH1 0x04 00000a14: DUP3 00000a15: ADD 00000a16: MSTORE 00000a17: SWAP1 00000a18: SWAP2 00000a19: POP 00000a1a: DUP2 00000a1b: SWAP1 00000a1c: PUSH1 0x01 00000a1e: PUSH1 0x01 00000a20: PUSH1 0xa0 00000a22: SHL 00000a23: SUB 00000a24: DUP6 00000a25: AND 00000a26: SWAP1 00000a27: PUSH4 0x70a08231 00000a2c: SWAP1 00000a2d: PUSH1 0x24 00000a2f: ADD 00000a30: PUSH1 0x20 00000a32: PUSH1 0x40 00000a34: MLOAD 00000a35: DUP1 00000a36: DUP4 00000a37: SUB 00000a38: DUP2 00000a39: DUP7 00000a3a: GAS 00000a3b: STATICCALL 00000a3c: ISZERO 00000a3d: DUP1 00000a3e: ISZERO 00000a3f: PUSH2 0x0a4c 00000a42: JUMPI 00000a43: RETURNDATASIZE 00000a44: PUSH1 0x00 00000a46: DUP1 00000a47: RETURNDATACOPY 00000a48: RETURNDATASIZE 00000a49: PUSH1 0x00 00000a4b: REVERT 00000a4c: JUMPDEST 00000a4d: POP 00000a4e: POP 00000a4f: POP 00000a50: POP 00000a51: PUSH1 0x40 00000a53: MLOAD 00000a54: RETURNDATASIZE 00000a55: PUSH1 0x1f 00000a57: NOT 00000a58: PUSH1 0x1f 00000a5a: DUP3 00000a5b: ADD 00000a5c: AND 00000a5d: DUP3 00000a5e: ADD 00000a5f: DUP1 00000a60: PUSH1 0x40 00000a62: MSTORE 00000a63: POP 00000a64: DUP2 00000a65: ADD 00000a66: SWAP1 00000a67: PUSH2 0x0a70 00000a6a: SWAP2 00000a6b: SWAP1 00000a6c: PUSH2 0x167b 00000a6f: JUMP 00000a70: JUMPDEST 00000a71: LT 00000a72: ISZERO 00000a73: PUSH2 0x0a9f 00000a76: DUP10 00000a77: DUP7 00000a78: DUP2 00000a79: MLOAD 00000a7a: DUP2 00000a7b: LT 00000a7c: PUSH2 0x0a87 00000a7f: JUMPI 00000a80: PUSH2 0x0a87 00000a83: PUSH2 0x1665 00000a86: JUMP 00000a87: JUMPDEST 00000a88: PUSH1 0x20 00000a8a: MUL 00000a8b: PUSH1 0x20 00000a8d: ADD 00000a8e: ADD 00000a8f: MLOAD 00000a90: PUSH1 0x01 00000a92: PUSH1 0x01 00000a94: PUSH1 0xa0 00000a96: SHL 00000a97: SUB 00000a98: AND 00000a99: PUSH1 0x14 00000a9b: PUSH2 0x10c5 00000a9e: JUMP 00000a9f: JUMPDEST 00000aa0: DUP5 00000aa1: PUSH1 0x01 00000aa3: PUSH1 0x01 00000aa5: PUSH1 0xa0 00000aa7: SHL 00000aa8: SUB 00000aa9: AND 00000aaa: PUSH4 0x06fdde03 00000aaf: PUSH1 0x40 00000ab1: MLOAD 00000ab2: DUP2 00000ab3: PUSH4 0xffffffff 00000ab8: AND 00000ab9: PUSH1 0xe0 00000abb: SHL 00000abc: DUP2 00000abd: MSTORE 00000abe: PUSH1 0x04 00000ac0: ADD 00000ac1: PUSH1 0x00 00000ac3: PUSH1 0x40 00000ac5: MLOAD 00000ac6: DUP1 00000ac7: DUP4 00000ac8: SUB 00000ac9: DUP2 00000aca: DUP7 00000acb: GAS 00000acc: STATICCALL 00000acd: ISZERO 00000ace: DUP1 00000acf: ISZERO 00000ad0: PUSH2 0x0add 00000ad3: JUMPI 00000ad4: RETURNDATASIZE 00000ad5: PUSH1 0x00 00000ad7: DUP1 00000ad8: RETURNDATACOPY 00000ad9: RETURNDATASIZE 00000ada: PUSH1 0x00 00000adc: REVERT 00000add: JUMPDEST 00000ade: POP 00000adf: POP 00000ae0: POP 00000ae1: POP 00000ae2: PUSH1 0x40 00000ae4: MLOAD 00000ae5: RETURNDATASIZE 00000ae6: PUSH1 0x00 00000ae8: DUP3 00000ae9: RETURNDATACOPY 00000aea: PUSH1 0x1f 00000aec: RETURNDATASIZE 00000aed: SWAP1 00000aee: DUP2 00000aef: ADD 00000af0: PUSH1 0x1f 00000af2: NOT 00000af3: AND 00000af4: DUP3 00000af5: ADD 00000af6: PUSH1 0x40 00000af8: MSTORE 00000af9: PUSH2 0x0b05 00000afc: SWAP2 00000afd: SWAP1 00000afe: DUP2 00000aff: ADD 00000b00: SWAP1 00000b01: PUSH2 0x16e7 00000b04: JUMP 00000b05: JUMPDEST 00000b06: PUSH1 0x40 00000b08: MLOAD 00000b09: PUSH1 0x20 00000b0b: ADD 00000b0c: PUSH2 0x0b16 00000b0f: SWAP3 00000b10: SWAP2 00000b11: SWAP1 00000b12: PUSH2 0x177b 00000b15: JUMP 00000b16: JUMPDEST 00000b17: PUSH1 0x40 00000b19: MLOAD 00000b1a: PUSH1 0x20 00000b1c: DUP2 00000b1d: DUP4 00000b1e: SUB 00000b1f: SUB 00000b20: DUP2 00000b21: MSTORE 00000b22: SWAP1 00000b23: PUSH1 0x40 00000b25: MSTORE 00000b26: SWAP1 00000b27: PUSH2 0x0b43 00000b2a: JUMPI 00000b2b: PUSH1 0x40 00000b2d: MLOAD 00000b2e: PUSH3 0x461bcd 00000b32: PUSH1 0xe5 00000b34: SHL 00000b35: DUP2 00000b36: MSTORE 00000b37: PUSH1 0x04 00000b39: ADD 00000b3a: PUSH2 0x0442 00000b3d: SWAP2 00000b3e: SWAP1 00000b3f: PUSH2 0x17fb 00000b42: JUMP 00000b43: JUMPDEST 00000b44: POP 00000b45: PUSH1 0x40 00000b47: MLOAD 00000b48: PUSH4 0xa9059cbb 00000b4d: PUSH1 0xe0 00000b4f: SHL 00000b50: DUP2 00000b51: MSTORE 00000b52: PUSH1 0x01 00000b54: PUSH1 0x01 00000b56: PUSH1 0xa0 00000b58: SHL 00000b59: SUB 00000b5a: DUP4 00000b5b: DUP2 00000b5c: AND 00000b5d: PUSH1 0x04 00000b5f: DUP4 00000b60: ADD 00000b61: MSTORE 00000b62: PUSH1 0x24 00000b64: DUP3 00000b65: ADD 00000b66: DUP4 00000b67: SWAP1 00000b68: MSTORE 00000b69: DUP5 00000b6a: AND 00000b6b: SWAP1 00000b6c: PUSH4 0xa9059cbb 00000b71: SWAP1 00000b72: PUSH1 0x44 00000b74: ADD 00000b75: PUSH1 0x00 00000b77: PUSH1 0x40 00000b79: MLOAD 00000b7a: DUP1 00000b7b: DUP4 00000b7c: SUB 00000b7d: DUP2 00000b7e: PUSH1 0x00 00000b80: DUP8 00000b81: DUP1 00000b82: EXTCODESIZE 00000b83: ISZERO 00000b84: DUP1 00000b85: ISZERO 00000b86: PUSH2 0x0b8e 00000b89: JUMPI 00000b8a: PUSH1 0x00 00000b8c: DUP1 00000b8d: REVERT 00000b8e: JUMPDEST 00000b8f: POP 00000b90: GAS 00000b91: CALL 00000b92: ISZERO 00000b93: DUP1 00000b94: ISZERO 00000b95: PUSH2 0x0ba2 00000b98: JUMPI 00000b99: RETURNDATASIZE 00000b9a: PUSH1 0x00 00000b9c: DUP1 00000b9d: RETURNDATACOPY 00000b9e: RETURNDATASIZE 00000b9f: PUSH1 0x00 00000ba1: REVERT 00000ba2: JUMPDEST 00000ba3: POP 00000ba4: POP 00000ba5: POP 00000ba6: POP 00000ba7: POP 00000ba8: POP 00000ba9: POP 00000baa: DUP1 00000bab: DUP1 00000bac: PUSH2 0x0bb4 00000baf: SWAP1 00000bb0: PUSH2 0x16aa 00000bb3: JUMP 00000bb4: JUMPDEST 00000bb5: SWAP2 00000bb6: POP 00000bb7: POP 00000bb8: PUSH2 0x099f 00000bbb: JUMP 00000bbc: JUMPDEST 00000bbd: PUSH1 0x00 00000bbf: DUP1 00000bc0: MLOAD 00000bc1: PUSH1 0x20 00000bc3: PUSH2 0x18e5 00000bc6: DUP4 00000bc7: CODECOPY 00000bc8: DUP2 00000bc9: MLOAD 00000bca: SWAP2 00000bcb: MSTORE 00000bcc: PUSH2 0x0bd4 00000bcf: DUP2 00000bd0: PUSH2 0x0e45 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: PUSH2 0x0bdc 00000bd8: PUSH2 0x0400 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: DUP2 00000bde: MLOAD 00000bdf: DUP4 00000be0: MLOAD 00000be1: EQ 00000be2: PUSH2 0x0c38 00000be5: JUMPI 00000be6: PUSH1 0x40 00000be8: MLOAD 00000be9: PUSH3 0x461bcd 00000bed: PUSH1 0xe5 00000bef: SHL 00000bf0: DUP2 00000bf1: MSTORE 00000bf2: PUSH1 0x20 00000bf4: PUSH1 0x04 00000bf6: DUP3 00000bf7: ADD 00000bf8: MSTORE 00000bf9: PUSH1 0x22 00000bfb: PUSH1 0x24 00000bfd: DUP3 00000bfe: ADD 00000bff: MSTORE 00000c00: PUSH32 0x4d48324d6f6e65794875623a20496e76616c696420706172616d73206c656e67 00000c21: PUSH1 0x44 00000c23: DUP3 00000c24: ADD 00000c25: MSTORE 00000c26: PUSH2 0x0e8d 00000c29: PUSH1 0xf3 00000c2b: SHL 00000c2c: PUSH1 0x64 00000c2e: DUP3 00000c2f: ADD 00000c30: MSTORE 00000c31: PUSH1 0x84 00000c33: ADD 00000c34: PUSH2 0x0442 00000c37: JUMP 00000c38: JUMPDEST 00000c39: PUSH1 0x00 00000c3b: DUP1 00000c3c: JUMPDEST 00000c3d: DUP4 00000c3e: MLOAD 00000c3f: DUP2 00000c40: LT 00000c41: ISZERO 00000c42: PUSH2 0x0c7e 00000c45: JUMPI 00000c46: DUP4 00000c47: DUP2 00000c48: DUP2 00000c49: MLOAD 00000c4a: DUP2 00000c4b: LT 00000c4c: PUSH2 0x0c57 00000c4f: JUMPI 00000c50: PUSH2 0x0c57 00000c53: PUSH2 0x1665 00000c56: JUMP 00000c57: JUMPDEST 00000c58: PUSH1 0x20 00000c5a: MUL 00000c5b: PUSH1 0x20 00000c5d: ADD 00000c5e: ADD 00000c5f: MLOAD 00000c60: DUP3 00000c61: PUSH2 0x0c6a 00000c64: SWAP2 00000c65: SWAP1 00000c66: PUSH2 0x182e 00000c69: JUMP 00000c6a: JUMPDEST 00000c6b: SWAP2 00000c6c: POP 00000c6d: DUP1 00000c6e: PUSH2 0x0c76 00000c71: DUP2 00000c72: PUSH2 0x16aa 00000c75: JUMP 00000c76: JUMPDEST 00000c77: SWAP2 00000c78: POP 00000c79: POP 00000c7a: PUSH2 0x0c3c 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: POP 00000c80: SELFBALANCE 00000c81: DUP2 00000c82: DUP2 00000c83: LT 00000c84: ISZERO 00000c85: PUSH2 0x0cdb 00000c88: JUMPI 00000c89: PUSH1 0x40 00000c8b: MLOAD 00000c8c: PUSH3 0x461bcd 00000c90: PUSH1 0xe5 00000c92: SHL 00000c93: DUP2 00000c94: MSTORE 00000c95: PUSH1 0x20 00000c97: PUSH1 0x04 00000c99: DUP3 00000c9a: ADD 00000c9b: MSTORE 00000c9c: PUSH1 0x22 00000c9e: PUSH1 0x24 00000ca0: DUP3 00000ca1: ADD 00000ca2: MSTORE 00000ca3: PUSH32 0x4d48324d6f6e65794875623a20496e76616c69642061737365742062616c616e 00000cc4: PUSH1 0x44 00000cc6: DUP3 00000cc7: ADD 00000cc8: MSTORE 00000cc9: PUSH2 0x6365 00000ccc: PUSH1 0xf0 00000cce: SHL 00000ccf: PUSH1 0x64 00000cd1: DUP3 00000cd2: ADD 00000cd3: MSTORE 00000cd4: PUSH1 0x84 00000cd6: ADD 00000cd7: PUSH2 0x0442 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: PUSH1 0x00 00000cde: JUMPDEST 00000cdf: DUP6 00000ce0: MLOAD 00000ce1: DUP2 00000ce2: LT 00000ce3: ISZERO 00000ce4: PUSH2 0x0de4 00000ce7: JUMPI 00000ce8: DUP6 00000ce9: DUP2 00000cea: DUP2 00000ceb: MLOAD 00000cec: DUP2 00000ced: LT 00000cee: PUSH2 0x0cf9 00000cf1: JUMPI 00000cf2: PUSH2 0x0cf9 00000cf5: PUSH2 0x1665 00000cf8: JUMP 00000cf9: JUMPDEST 00000cfa: PUSH1 0x20 00000cfc: MUL 00000cfd: PUSH1 0x20 00000cff: ADD 00000d00: ADD 00000d01: MLOAD 00000d02: PUSH1 0x01 00000d04: PUSH1 0x01 00000d06: PUSH1 0xa0 00000d08: SHL 00000d09: SUB 00000d0a: AND 00000d0b: PUSH2 0x08fc 00000d0e: DUP7 00000d0f: DUP4 00000d10: DUP2 00000d11: MLOAD 00000d12: DUP2 00000d13: LT 00000d14: PUSH2 0x0d1f 00000d17: JUMPI 00000d18: PUSH2 0x0d1f 00000d1b: PUSH2 0x1665 00000d1e: JUMP 00000d1f: JUMPDEST 00000d20: PUSH1 0x20 00000d22: MUL 00000d23: PUSH1 0x20 00000d25: ADD 00000d26: ADD 00000d27: MLOAD 00000d28: SWAP1 00000d29: DUP2 00000d2a: ISZERO 00000d2b: MUL 00000d2c: SWAP1 00000d2d: PUSH1 0x40 00000d2f: MLOAD 00000d30: PUSH1 0x00 00000d32: PUSH1 0x40 00000d34: MLOAD 00000d35: DUP1 00000d36: DUP4 00000d37: SUB 00000d38: DUP2 00000d39: DUP6 00000d3a: DUP9 00000d3b: DUP9 00000d3c: CALL 00000d3d: SWAP4 00000d3e: POP 00000d3f: POP 00000d40: POP 00000d41: POP 00000d42: ISZERO 00000d43: DUP1 00000d44: ISZERO 00000d45: PUSH2 0x0d52 00000d48: JUMPI 00000d49: RETURNDATASIZE 00000d4a: PUSH1 0x00 00000d4c: DUP1 00000d4d: RETURNDATACOPY 00000d4e: RETURNDATASIZE 00000d4f: PUSH1 0x00 00000d51: REVERT 00000d52: JUMPDEST 00000d53: POP 00000d54: PUSH32 0xed00f4b3c46d7c225a3a5a0771589317e7d55742990d035231f4bd4ac10c6ad3 00000d75: DUP7 00000d76: DUP3 00000d77: DUP2 00000d78: MLOAD 00000d79: DUP2 00000d7a: LT 00000d7b: PUSH2 0x0d86 00000d7e: JUMPI 00000d7f: PUSH2 0x0d86 00000d82: PUSH2 0x1665 00000d85: JUMP 00000d86: JUMPDEST 00000d87: PUSH1 0x20 00000d89: MUL 00000d8a: PUSH1 0x20 00000d8c: ADD 00000d8d: ADD 00000d8e: MLOAD 00000d8f: DUP7 00000d90: DUP4 00000d91: DUP2 00000d92: MLOAD 00000d93: DUP2 00000d94: LT 00000d95: PUSH2 0x0da0 00000d98: JUMPI 00000d99: PUSH2 0x0da0 00000d9c: PUSH2 0x1665 00000d9f: JUMP 00000da0: JUMPDEST 00000da1: PUSH1 0x20 00000da3: MUL 00000da4: PUSH1 0x20 00000da6: ADD 00000da7: ADD 00000da8: MLOAD 00000da9: PUSH1 0x40 00000dab: MLOAD 00000dac: PUSH2 0x0dca 00000daf: SWAP3 00000db0: SWAP2 00000db1: SWAP1 00000db2: PUSH1 0x01 00000db4: PUSH1 0x01 00000db6: PUSH1 0xa0 00000db8: SHL 00000db9: SUB 00000dba: SWAP3 00000dbb: SWAP1 00000dbc: SWAP3 00000dbd: AND 00000dbe: DUP3 00000dbf: MSTORE 00000dc0: PUSH1 0x20 00000dc2: DUP3 00000dc3: ADD 00000dc4: MSTORE 00000dc5: PUSH1 0x40 00000dc7: ADD 00000dc8: SWAP1 00000dc9: JUMP 00000dca: JUMPDEST 00000dcb: PUSH1 0x40 00000dcd: MLOAD 00000dce: DUP1 00000dcf: SWAP2 00000dd0: SUB 00000dd1: SWAP1 00000dd2: LOG1 00000dd3: DUP1 00000dd4: PUSH2 0x0ddc 00000dd7: DUP2 00000dd8: PUSH2 0x16aa 00000ddb: JUMP 00000ddc: JUMPDEST 00000ddd: SWAP2 00000dde: POP 00000ddf: POP 00000de0: PUSH2 0x0cde 00000de3: JUMP 00000de4: JUMPDEST 00000de5: POP 00000de6: POP 00000de7: POP 00000de8: POP 00000de9: POP 00000dea: POP 00000deb: JUMP 00000dec: JUMPDEST 00000ded: PUSH1 0x00 00000def: DUP3 00000df0: DUP2 00000df1: MSTORE 00000df2: PUSH1 0x20 00000df4: DUP2 00000df5: SWAP1 00000df6: MSTORE 00000df7: PUSH1 0x40 00000df9: SWAP1 00000dfa: KECCAK256 00000dfb: PUSH1 0x01 00000dfd: ADD 00000dfe: SLOAD 00000dff: PUSH2 0x0e07 00000e02: DUP2 00000e03: PUSH2 0x0e45 00000e06: JUMP 00000e07: JUMPDEST 00000e08: PUSH2 0x077a 00000e0b: DUP4 00000e0c: DUP4 00000e0d: PUSH2 0x0fd3 00000e10: JUMP 00000e11: JUMPDEST 00000e12: PUSH1 0x00 00000e14: PUSH2 0x0e1c 00000e17: DUP2 00000e18: PUSH2 0x0e45 00000e1b: JUMP 00000e1c: JUMPDEST 00000e1d: POP 00000e1e: PUSH1 0x01 00000e20: DUP1 00000e21: SLOAD 00000e22: PUSH1 0x01 00000e24: PUSH1 0x01 00000e26: PUSH1 0xa0 00000e28: SHL 00000e29: SUB 00000e2a: SWAP1 00000e2b: SWAP3 00000e2c: AND 00000e2d: PUSH2 0x0100 00000e30: MUL 00000e31: PUSH2 0x0100 00000e34: PUSH1 0x01 00000e36: PUSH1 0xa8 00000e38: SHL 00000e39: SUB 00000e3a: NOT 00000e3b: SWAP1 00000e3c: SWAP3 00000e3d: AND 00000e3e: SWAP2 00000e3f: SWAP1 00000e40: SWAP2 00000e41: OR 00000e42: SWAP1 00000e43: SSTORE 00000e44: JUMP 00000e45: JUMPDEST 00000e46: PUSH2 0x091f 00000e49: DUP2 00000e4a: CALLER 00000e4b: PUSH2 0x1261 00000e4e: JUMP 00000e4f: JUMPDEST 00000e50: PUSH1 0x40 00000e52: MLOAD 00000e53: ADDRESS 00000e54: PUSH1 0x38 00000e56: DUP3 00000e57: ADD 00000e58: MSTORE 00000e59: PUSH16 0x5af43d82803e903d91602b57fd5bf3ff 00000e6a: PUSH1 0x24 00000e6c: DUP3 00000e6d: ADD 00000e6e: MSTORE 00000e6f: PUSH1 0x14 00000e71: DUP2 00000e72: ADD 00000e73: DUP4 00000e74: SWAP1 00000e75: MSTORE 00000e76: PUSH20 0x3d602d80600a3d3981f3363d3d373d3d3d363d73 00000e8b: DUP2 00000e8c: MSTORE 00000e8d: PUSH1 0x58 00000e8f: DUP2 00000e90: ADD 00000e91: DUP3 00000e92: SWAP1 00000e93: MSTORE 00000e94: PUSH1 0x37 00000e96: PUSH1 0x0c 00000e98: DUP3 00000e99: ADD 00000e9a: KECCAK256 00000e9b: PUSH1 0x78 00000e9d: DUP3 00000e9e: ADD 00000e9f: MSTORE 00000ea0: PUSH1 0x55 00000ea2: PUSH1 0x43 00000ea4: SWAP1 00000ea5: SWAP2 00000ea6: ADD 00000ea7: KECCAK256 00000ea8: PUSH1 0x00 00000eaa: SWAP1 00000eab: JUMPDEST 00000eac: SWAP4 00000ead: SWAP3 00000eae: POP 00000eaf: POP 00000eb0: POP 00000eb1: JUMP 00000eb2: JUMPDEST 00000eb3: PUSH1 0x00 00000eb5: PUSH23 0x3d602d80600a3d3981f3363d3d373d3d3d363d73000000 00000ecd: DUP4 00000ece: PUSH1 0x60 00000ed0: SHL 00000ed1: PUSH1 0xe8 00000ed3: SHR 00000ed4: OR 00000ed5: PUSH1 0x00 00000ed7: MSTORE 00000ed8: PUSH15 0x5af43d82803e903d91602b57fd5bf3 00000ee8: DUP4 00000ee9: PUSH1 0x78 00000eeb: SHL 00000eec: OR 00000eed: PUSH1 0x20 00000eef: MSTORE 00000ef0: DUP2 00000ef1: PUSH1 0x37 00000ef3: PUSH1 0x09 00000ef5: PUSH1 0x00 00000ef7: CREATE2 00000ef8: SWAP1 00000ef9: POP 00000efa: PUSH1 0x01 00000efc: PUSH1 0x01 00000efe: PUSH1 0xa0 00000f00: SHL 00000f01: SUB 00000f02: DUP2 00000f03: AND 00000f04: PUSH2 0x047e 00000f07: JUMPI 00000f08: PUSH1 0x40 00000f0a: MLOAD 00000f0b: PUSH3 0x461bcd 00000f0f: PUSH1 0xe5 00000f11: SHL 00000f12: DUP2 00000f13: MSTORE 00000f14: PUSH1 0x20 00000f16: PUSH1 0x04 00000f18: DUP3 00000f19: ADD 00000f1a: MSTORE 00000f1b: PUSH1 0x17 00000f1d: PUSH1 0x24 00000f1f: DUP3 00000f20: ADD 00000f21: MSTORE 00000f22: PUSH32 0x455243313136373a2063726561746532206661696c6564000000000000000000 00000f43: PUSH1 0x44 00000f45: DUP3 00000f46: ADD 00000f47: MSTORE 00000f48: PUSH1 0x64 00000f4a: ADD 00000f4b: PUSH2 0x0442 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: PUSH2 0x0f59 00000f53: DUP3 00000f54: DUP3 00000f55: PUSH2 0x0953 00000f58: JUMP 00000f59: JUMPDEST 00000f5a: PUSH2 0x07f9 00000f5d: JUMPI 00000f5e: PUSH1 0x00 00000f60: DUP3 00000f61: DUP2 00000f62: MSTORE 00000f63: PUSH1 0x20 00000f65: DUP2 00000f66: DUP2 00000f67: MSTORE 00000f68: PUSH1 0x40 00000f6a: DUP1 00000f6b: DUP4 00000f6c: KECCAK256 00000f6d: PUSH1 0x01 00000f6f: PUSH1 0x01 00000f71: PUSH1 0xa0 00000f73: SHL 00000f74: SUB 00000f75: DUP6 00000f76: AND 00000f77: DUP5 00000f78: MSTORE 00000f79: SWAP1 00000f7a: SWAP2 00000f7b: MSTORE 00000f7c: SWAP1 00000f7d: KECCAK256 00000f7e: DUP1 00000f7f: SLOAD 00000f80: PUSH1 0xff 00000f82: NOT 00000f83: AND 00000f84: PUSH1 0x01 00000f86: OR 00000f87: SWAP1 00000f88: SSTORE 00000f89: PUSH2 0x0f8f 00000f8c: CALLER 00000f8d: SWAP1 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: PUSH1 0x01 00000f92: PUSH1 0x01 00000f94: PUSH1 0xa0 00000f96: SHL 00000f97: SUB 00000f98: AND 00000f99: DUP2 00000f9a: PUSH1 0x01 00000f9c: PUSH1 0x01 00000f9e: PUSH1 0xa0 00000fa0: SHL 00000fa1: SUB 00000fa2: AND 00000fa3: DUP4 00000fa4: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00000fc5: PUSH1 0x40 00000fc7: MLOAD 00000fc8: PUSH1 0x40 00000fca: MLOAD 00000fcb: DUP1 00000fcc: SWAP2 00000fcd: SUB 00000fce: SWAP1 00000fcf: LOG4 00000fd0: POP 00000fd1: POP 00000fd2: JUMP 00000fd3: JUMPDEST 00000fd4: PUSH2 0x0fdd 00000fd7: DUP3 00000fd8: DUP3 00000fd9: PUSH2 0x0953 00000fdc: JUMP 00000fdd: JUMPDEST 00000fde: ISZERO 00000fdf: PUSH2 0x07f9 00000fe2: JUMPI 00000fe3: PUSH1 0x00 00000fe5: DUP3 00000fe6: DUP2 00000fe7: MSTORE 00000fe8: PUSH1 0x20 00000fea: DUP2 00000feb: DUP2 00000fec: MSTORE 00000fed: PUSH1 0x40 00000fef: DUP1 00000ff0: DUP4 00000ff1: KECCAK256 00000ff2: PUSH1 0x01 00000ff4: PUSH1 0x01 00000ff6: PUSH1 0xa0 00000ff8: SHL 00000ff9: SUB 00000ffa: DUP6 00000ffb: AND 00000ffc: DUP1 00000ffd: DUP6 00000ffe: MSTORE 00000fff: SWAP3 00001000: MSTORE 00001001: DUP1 00001002: DUP4 00001003: KECCAK256 00001004: DUP1 00001005: SLOAD 00001006: PUSH1 0xff 00001008: NOT 00001009: AND 0000100a: SWAP1 0000100b: SSTORE 0000100c: MLOAD 0000100d: CALLER 0000100e: SWAP3 0000100f: DUP6 00001010: SWAP2 00001011: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00001032: SWAP2 00001033: SWAP1 00001034: LOG4 00001035: POP 00001036: POP 00001037: JUMP 00001038: JUMPDEST 00001039: PUSH2 0x1040 0000103c: PUSH2 0x12ba 0000103f: JUMP 00001040: JUMPDEST 00001041: PUSH1 0x01 00001043: DUP1 00001044: SLOAD 00001045: PUSH1 0xff 00001047: NOT 00001048: AND 00001049: SWAP1 0000104a: SSTORE 0000104b: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 0000106c: CALLER 0000106d: JUMPDEST 0000106e: PUSH1 0x40 00001070: MLOAD 00001071: PUSH1 0x01 00001073: PUSH1 0x01 00001075: PUSH1 0xa0 00001077: SHL 00001078: SUB 00001079: SWAP1 0000107a: SWAP2 0000107b: AND 0000107c: DUP2 0000107d: MSTORE 0000107e: PUSH1 0x20 00001080: ADD 00001081: PUSH1 0x40 00001083: MLOAD 00001084: DUP1 00001085: SWAP2 00001086: SUB 00001087: SWAP1 00001088: LOG1 00001089: JUMP 0000108a: JUMPDEST 0000108b: PUSH2 0x1092 0000108e: PUSH2 0x0400 00001091: JUMP 00001092: JUMPDEST 00001093: PUSH1 0x01 00001095: DUP1 00001096: SLOAD 00001097: PUSH1 0xff 00001099: NOT 0000109a: AND 0000109b: DUP2 0000109c: OR 0000109d: SWAP1 0000109e: SSTORE 0000109f: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 000010c0: CALLER 000010c1: PUSH2 0x106d 000010c4: JUMP 000010c5: JUMPDEST 000010c6: PUSH1 0x60 000010c8: PUSH1 0x00 000010ca: PUSH2 0x10d4 000010cd: DUP4 000010ce: PUSH1 0x02 000010d0: PUSH2 0x1841 000010d3: JUMP 000010d4: JUMPDEST 000010d5: PUSH2 0x10df 000010d8: SWAP1 000010d9: PUSH1 0x02 000010db: PUSH2 0x182e 000010de: JUMP 000010df: JUMPDEST 000010e0: PUSH8 0xffffffffffffffff 000010e9: DUP2 000010ea: GT 000010eb: ISZERO 000010ec: PUSH2 0x10f7 000010ef: JUMPI 000010f0: PUSH2 0x10f7 000010f3: PUSH2 0x1343 000010f6: JUMP 000010f7: JUMPDEST 000010f8: PUSH1 0x40 000010fa: MLOAD 000010fb: SWAP1 000010fc: DUP1 000010fd: DUP3 000010fe: MSTORE 000010ff: DUP1 00001100: PUSH1 0x1f 00001102: ADD 00001103: PUSH1 0x1f 00001105: NOT 00001106: AND 00001107: PUSH1 0x20 00001109: ADD 0000110a: DUP3 0000110b: ADD 0000110c: PUSH1 0x40 0000110e: MSTORE 0000110f: DUP1 00001110: ISZERO 00001111: PUSH2 0x1121 00001114: JUMPI 00001115: PUSH1 0x20 00001117: DUP3 00001118: ADD 00001119: DUP2 0000111a: DUP1 0000111b: CALLDATASIZE 0000111c: DUP4 0000111d: CALLDATACOPY 0000111e: ADD 0000111f: SWAP1 00001120: POP 00001121: JUMPDEST 00001122: POP 00001123: SWAP1 00001124: POP 00001125: PUSH1 0x03 00001127: PUSH1 0xfc 00001129: SHL 0000112a: DUP2 0000112b: PUSH1 0x00 0000112d: DUP2 0000112e: MLOAD 0000112f: DUP2 00001130: LT 00001131: PUSH2 0x113c 00001134: JUMPI 00001135: PUSH2 0x113c 00001138: PUSH2 0x1665 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH1 0x20 0000113f: ADD 00001140: ADD 00001141: SWAP1 00001142: PUSH1 0x01 00001144: PUSH1 0x01 00001146: PUSH1 0xf8 00001148: SHL 00001149: SUB 0000114a: NOT 0000114b: AND 0000114c: SWAP1 0000114d: DUP2 0000114e: PUSH1 0x00 00001150: BYTE 00001151: SWAP1 00001152: MSTORE8 00001153: POP 00001154: PUSH1 0x0f 00001156: PUSH1 0xfb 00001158: SHL 00001159: DUP2 0000115a: PUSH1 0x01 0000115c: DUP2 0000115d: MLOAD 0000115e: DUP2 0000115f: LT 00001160: PUSH2 0x116b 00001163: JUMPI 00001164: PUSH2 0x116b 00001167: PUSH2 0x1665 0000116a: JUMP 0000116b: JUMPDEST 0000116c: PUSH1 0x20 0000116e: ADD 0000116f: ADD 00001170: SWAP1 00001171: PUSH1 0x01 00001173: PUSH1 0x01 00001175: PUSH1 0xf8 00001177: SHL 00001178: SUB 00001179: NOT 0000117a: AND 0000117b: SWAP1 0000117c: DUP2 0000117d: PUSH1 0x00 0000117f: BYTE 00001180: SWAP1 00001181: MSTORE8 00001182: POP 00001183: PUSH1 0x00 00001185: PUSH2 0x118f 00001188: DUP5 00001189: PUSH1 0x02 0000118b: PUSH2 0x1841 0000118e: JUMP 0000118f: JUMPDEST 00001190: PUSH2 0x119a 00001193: SWAP1 00001194: PUSH1 0x01 00001196: PUSH2 0x182e 00001199: JUMP 0000119a: JUMPDEST 0000119b: SWAP1 0000119c: POP 0000119d: JUMPDEST 0000119e: PUSH1 0x01 000011a0: DUP2 000011a1: GT 000011a2: ISZERO 000011a3: PUSH2 0x1212 000011a6: JUMPI 000011a7: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3 000011b8: PUSH1 0x81 000011ba: SHL 000011bb: DUP6 000011bc: PUSH1 0x0f 000011be: AND 000011bf: PUSH1 0x10 000011c1: DUP2 000011c2: LT 000011c3: PUSH2 0x11ce 000011c6: JUMPI 000011c7: PUSH2 0x11ce 000011ca: PUSH2 0x1665 000011cd: JUMP 000011ce: JUMPDEST 000011cf: BYTE 000011d0: PUSH1 0xf8 000011d2: SHL 000011d3: DUP3 000011d4: DUP3 000011d5: DUP2 000011d6: MLOAD 000011d7: DUP2 000011d8: LT 000011d9: PUSH2 0x11e4 000011dc: JUMPI 000011dd: PUSH2 0x11e4 000011e0: PUSH2 0x1665 000011e3: JUMP 000011e4: JUMPDEST 000011e5: PUSH1 0x20 000011e7: ADD 000011e8: ADD 000011e9: SWAP1 000011ea: PUSH1 0x01 000011ec: PUSH1 0x01 000011ee: PUSH1 0xf8 000011f0: SHL 000011f1: SUB 000011f2: NOT 000011f3: AND 000011f4: SWAP1 000011f5: DUP2 000011f6: PUSH1 0x00 000011f8: BYTE 000011f9: SWAP1 000011fa: MSTORE8 000011fb: POP 000011fc: PUSH1 0x04 000011fe: SWAP5 000011ff: SWAP1 00001200: SWAP5 00001201: SHR 00001202: SWAP4 00001203: PUSH2 0x120b 00001206: DUP2 00001207: PUSH2 0x1858 0000120a: JUMP 0000120b: JUMPDEST 0000120c: SWAP1 0000120d: POP 0000120e: PUSH2 0x119d 00001211: JUMP 00001212: JUMPDEST 00001213: POP 00001214: DUP4 00001215: ISZERO 00001216: PUSH2 0x0eab 00001219: JUMPI 0000121a: PUSH1 0x40 0000121c: MLOAD 0000121d: PUSH3 0x461bcd 00001221: PUSH1 0xe5 00001223: SHL 00001224: DUP2 00001225: MSTORE 00001226: PUSH1 0x20 00001228: PUSH1 0x04 0000122a: DUP3 0000122b: ADD 0000122c: DUP2 0000122d: SWAP1 0000122e: MSTORE 0000122f: PUSH1 0x24 00001231: DUP3 00001232: ADD 00001233: MSTORE 00001234: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74 00001255: PUSH1 0x44 00001257: DUP3 00001258: ADD 00001259: MSTORE 0000125a: PUSH1 0x64 0000125c: ADD 0000125d: PUSH2 0x0442 00001260: JUMP 00001261: JUMPDEST 00001262: PUSH2 0x126b 00001265: DUP3 00001266: DUP3 00001267: PUSH2 0x0953 0000126a: JUMP 0000126b: JUMPDEST 0000126c: PUSH2 0x07f9 0000126f: JUMPI 00001270: PUSH2 0x1278 00001273: DUP2 00001274: PUSH2 0x1303 00001277: JUMP 00001278: JUMPDEST 00001279: PUSH2 0x1283 0000127c: DUP4 0000127d: PUSH1 0x20 0000127f: PUSH2 0x10c5 00001282: JUMP 00001283: JUMPDEST 00001284: PUSH1 0x40 00001286: MLOAD 00001287: PUSH1 0x20 00001289: ADD 0000128a: PUSH2 0x1294 0000128d: SWAP3 0000128e: SWAP2 0000128f: SWAP1 00001290: PUSH2 0x186f 00001293: JUMP 00001294: JUMPDEST 00001295: PUSH1 0x40 00001297: DUP1 00001298: MLOAD 00001299: PUSH1 0x1f 0000129b: NOT 0000129c: DUP2 0000129d: DUP5 0000129e: SUB 0000129f: ADD 000012a0: DUP2 000012a1: MSTORE 000012a2: SWAP1 000012a3: DUP3 000012a4: SWAP1 000012a5: MSTORE 000012a6: PUSH3 0x461bcd 000012aa: PUSH1 0xe5 000012ac: SHL 000012ad: DUP3 000012ae: MSTORE 000012af: PUSH2 0x0442 000012b2: SWAP2 000012b3: PUSH1 0x04 000012b5: ADD 000012b6: PUSH2 0x17fb 000012b9: JUMP 000012ba: JUMPDEST 000012bb: PUSH1 0x01 000012bd: SLOAD 000012be: PUSH1 0xff 000012c0: AND 000012c1: PUSH2 0x044b 000012c4: JUMPI 000012c5: PUSH1 0x40 000012c7: MLOAD 000012c8: PUSH3 0x461bcd 000012cc: PUSH1 0xe5 000012ce: SHL 000012cf: DUP2 000012d0: MSTORE 000012d1: PUSH1 0x20 000012d3: PUSH1 0x04 000012d5: DUP3 000012d6: ADD 000012d7: MSTORE 000012d8: PUSH1 0x14 000012da: PUSH1 0x24 000012dc: DUP3 000012dd: ADD 000012de: MSTORE 000012df: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 000012f4: PUSH1 0x62 000012f6: SHL 000012f7: PUSH1 0x44 000012f9: DUP3 000012fa: ADD 000012fb: MSTORE 000012fc: PUSH1 0x64 000012fe: ADD 000012ff: PUSH2 0x0442 00001302: JUMP 00001303: JUMPDEST 00001304: PUSH1 0x60 00001306: PUSH2 0x047e 00001309: PUSH1 0x01 0000130b: PUSH1 0x01 0000130d: PUSH1 0xa0 0000130f: SHL 00001310: SUB 00001311: DUP4 00001312: AND 00001313: PUSH1 0x14 00001315: PUSH2 0x10c5 00001318: JUMP 00001319: JUMPDEST 0000131a: PUSH1 0x00 0000131c: PUSH1 0x20 0000131e: DUP3 0000131f: DUP5 00001320: SUB 00001321: SLT 00001322: ISZERO 00001323: PUSH2 0x132b 00001326: JUMPI 00001327: PUSH1 0x00 00001329: DUP1 0000132a: REVERT 0000132b: JUMPDEST 0000132c: DUP2 0000132d: CALLDATALOAD 0000132e: PUSH1 0x01 00001330: PUSH1 0x01 00001332: PUSH1 0xe0 00001334: SHL 00001335: SUB 00001336: NOT 00001337: DUP2 00001338: AND 00001339: DUP2 0000133a: EQ 0000133b: PUSH2 0x0eab 0000133e: JUMPI 0000133f: PUSH1 0x00 00001341: DUP1 00001342: REVERT 00001343: JUMPDEST 00001344: PUSH4 0x4e487b71 00001349: PUSH1 0xe0 0000134b: SHL 0000134c: PUSH1 0x00 0000134e: MSTORE 0000134f: PUSH1 0x41 00001351: PUSH1 0x04 00001353: MSTORE 00001354: PUSH1 0x24 00001356: PUSH1 0x00 00001358: REVERT 00001359: JUMPDEST 0000135a: PUSH1 0x40 0000135c: MLOAD 0000135d: PUSH1 0x1f 0000135f: DUP3 00001360: ADD 00001361: PUSH1 0x1f 00001363: NOT 00001364: AND 00001365: DUP2 00001366: ADD 00001367: PUSH8 0xffffffffffffffff 00001370: DUP2 00001371: GT 00001372: DUP3 00001373: DUP3 00001374: LT 00001375: OR 00001376: ISZERO 00001377: PUSH2 0x1382 0000137a: JUMPI 0000137b: PUSH2 0x1382 0000137e: PUSH2 0x1343 00001381: JUMP 00001382: JUMPDEST 00001383: PUSH1 0x40 00001385: MSTORE 00001386: SWAP2 00001387: SWAP1 00001388: POP 00001389: JUMP 0000138a: JUMPDEST 0000138b: PUSH1 0x00 0000138d: PUSH8 0xffffffffffffffff 00001396: DUP3 00001397: GT 00001398: ISZERO 00001399: PUSH2 0x13a4 0000139c: JUMPI 0000139d: PUSH2 0x13a4 000013a0: PUSH2 0x1343 000013a3: JUMP 000013a4: JUMPDEST 000013a5: POP 000013a6: PUSH1 0x05 000013a8: SHL 000013a9: PUSH1 0x20 000013ab: ADD 000013ac: SWAP1 000013ad: JUMP 000013ae: JUMPDEST 000013af: PUSH1 0x00 000013b1: DUP3 000013b2: PUSH1 0x1f 000013b4: DUP4 000013b5: ADD 000013b6: SLT 000013b7: PUSH2 0x13bf 000013ba: JUMPI 000013bb: PUSH1 0x00 000013bd: DUP1 000013be: REVERT 000013bf: JUMPDEST 000013c0: DUP2 000013c1: CALLDATALOAD 000013c2: PUSH1 0x20 000013c4: PUSH2 0x13d4 000013c7: PUSH2 0x13cf 000013ca: DUP4 000013cb: PUSH2 0x138a 000013ce: JUMP 000013cf: JUMPDEST 000013d0: PUSH2 0x1359 000013d3: JUMP 000013d4: JUMPDEST 000013d5: DUP3 000013d6: DUP2 000013d7: MSTORE 000013d8: PUSH1 0x05 000013da: SWAP3 000013db: SWAP1 000013dc: SWAP3 000013dd: SHL 000013de: DUP5 000013df: ADD 000013e0: DUP2 000013e1: ADD 000013e2: SWAP2 000013e3: DUP2 000013e4: DUP2 000013e5: ADD 000013e6: SWAP1 000013e7: DUP7 000013e8: DUP5 000013e9: GT 000013ea: ISZERO 000013eb: PUSH2 0x13f3 000013ee: JUMPI 000013ef: PUSH1 0x00 000013f1: DUP1 000013f2: REVERT 000013f3: JUMPDEST 000013f4: DUP3 000013f5: DUP7 000013f6: ADD 000013f7: JUMPDEST 000013f8: DUP5 000013f9: DUP2 000013fa: LT 000013fb: ISZERO 000013fc: PUSH2 0x140e 000013ff: JUMPI 00001400: DUP1 00001401: CALLDATALOAD 00001402: DUP4 00001403: MSTORE 00001404: SWAP2 00001405: DUP4 00001406: ADD 00001407: SWAP2 00001408: DUP4 00001409: ADD 0000140a: PUSH2 0x13f7 0000140d: JUMP 0000140e: JUMPDEST 0000140f: POP 00001410: SWAP7 00001411: SWAP6 00001412: POP 00001413: POP 00001414: POP 00001415: POP 00001416: POP 00001417: POP 00001418: JUMP 00001419: JUMPDEST 0000141a: DUP1 0000141b: CALLDATALOAD 0000141c: PUSH1 0x01 0000141e: PUSH1 0x01 00001420: PUSH1 0xa0 00001422: SHL 00001423: SUB 00001424: DUP2 00001425: AND 00001426: DUP2 00001427: EQ 00001428: PUSH2 0x1430 0000142b: JUMPI 0000142c: PUSH1 0x00 0000142e: DUP1 0000142f: REVERT 00001430: JUMPDEST 00001431: SWAP2 00001432: SWAP1 00001433: POP 00001434: JUMP 00001435: JUMPDEST 00001436: PUSH1 0x00 00001438: DUP1 00001439: PUSH1 0x40 0000143b: DUP4 0000143c: DUP6 0000143d: SUB 0000143e: SLT 0000143f: ISZERO 00001440: PUSH2 0x1448 00001443: JUMPI 00001444: PUSH1 0x00 00001446: DUP1 00001447: REVERT 00001448: JUMPDEST 00001449: DUP3 0000144a: CALLDATALOAD 0000144b: PUSH8 0xffffffffffffffff 00001454: DUP2 00001455: GT 00001456: ISZERO 00001457: PUSH2 0x145f 0000145a: JUMPI 0000145b: PUSH1 0x00 0000145d: DUP1 0000145e: REVERT 0000145f: JUMPDEST 00001460: PUSH2 0x146b 00001463: DUP6 00001464: DUP3 00001465: DUP7 00001466: ADD 00001467: PUSH2 0x13ae 0000146a: JUMP 0000146b: JUMPDEST 0000146c: SWAP3 0000146d: POP 0000146e: POP 0000146f: PUSH2 0x147a 00001472: PUSH1 0x20 00001474: DUP5 00001475: ADD 00001476: PUSH2 0x1419 00001479: JUMP 0000147a: JUMPDEST 0000147b: SWAP1 0000147c: POP 0000147d: SWAP3 0000147e: POP 0000147f: SWAP3 00001480: SWAP1 00001481: POP 00001482: JUMP 00001483: JUMPDEST 00001484: PUSH1 0x00 00001486: PUSH1 0x20 00001488: DUP3 00001489: DUP5 0000148a: SUB 0000148b: SLT 0000148c: ISZERO 0000148d: PUSH2 0x1495 00001490: JUMPI 00001491: PUSH1 0x00 00001493: DUP1 00001494: REVERT 00001495: JUMPDEST 00001496: PUSH2 0x0eab 00001499: DUP3 0000149a: PUSH2 0x1419 0000149d: JUMP 0000149e: JUMPDEST 0000149f: PUSH1 0x00 000014a1: PUSH1 0x20 000014a3: DUP3 000014a4: DUP5 000014a5: SUB 000014a6: SLT 000014a7: ISZERO 000014a8: PUSH2 0x14b0 000014ab: JUMPI 000014ac: PUSH1 0x00 000014ae: DUP1 000014af: REVERT 000014b0: JUMPDEST 000014b1: POP 000014b2: CALLDATALOAD 000014b3: SWAP2 000014b4: SWAP1 000014b5: POP 000014b6: JUMP 000014b7: JUMPDEST 000014b8: PUSH1 0x00 000014ba: DUP1 000014bb: PUSH1 0x40 000014bd: DUP4 000014be: DUP6 000014bf: SUB 000014c0: SLT 000014c1: ISZERO 000014c2: PUSH2 0x14ca 000014c5: JUMPI 000014c6: PUSH1 0x00 000014c8: DUP1 000014c9: REVERT 000014ca: JUMPDEST 000014cb: DUP3 000014cc: CALLDATALOAD 000014cd: SWAP2 000014ce: POP 000014cf: PUSH2 0x147a 000014d2: PUSH1 0x20 000014d4: DUP5 000014d5: ADD 000014d6: PUSH2 0x1419 000014d9: JUMP 000014da: JUMPDEST 000014db: PUSH1 0x00 000014dd: PUSH1 0x20 000014df: DUP3 000014e0: DUP5 000014e1: SUB 000014e2: SLT 000014e3: ISZERO 000014e4: PUSH2 0x14ec 000014e7: JUMPI 000014e8: PUSH1 0x00 000014ea: DUP1 000014eb: REVERT 000014ec: JUMPDEST 000014ed: DUP2 000014ee: CALLDATALOAD 000014ef: PUSH8 0xffffffffffffffff 000014f8: DUP2 000014f9: GT 000014fa: ISZERO 000014fb: PUSH2 0x1503 000014fe: JUMPI 000014ff: PUSH1 0x00 00001501: DUP1 00001502: REVERT 00001503: JUMPDEST 00001504: PUSH2 0x150f 00001507: DUP5 00001508: DUP3 00001509: DUP6 0000150a: ADD 0000150b: PUSH2 0x13ae 0000150e: JUMP 0000150f: JUMPDEST 00001510: SWAP5 00001511: SWAP4 00001512: POP 00001513: POP 00001514: POP 00001515: POP 00001516: JUMP 00001517: JUMPDEST 00001518: PUSH1 0x00 0000151a: DUP3 0000151b: PUSH1 0x1f 0000151d: DUP4 0000151e: ADD 0000151f: SLT 00001520: PUSH2 0x1528 00001523: JUMPI 00001524: PUSH1 0x00 00001526: DUP1 00001527: REVERT 00001528: JUMPDEST 00001529: DUP2 0000152a: CALLDATALOAD 0000152b: PUSH1 0x20 0000152d: PUSH2 0x1538 00001530: PUSH2 0x13cf 00001533: DUP4 00001534: PUSH2 0x138a 00001537: JUMP 00001538: JUMPDEST 00001539: DUP3 0000153a: DUP2 0000153b: MSTORE 0000153c: PUSH1 0x05 0000153e: SWAP3 0000153f: SWAP1 00001540: SWAP3 00001541: SHL 00001542: DUP5 00001543: ADD 00001544: DUP2 00001545: ADD 00001546: SWAP2 00001547: DUP2 00001548: DUP2 00001549: ADD 0000154a: SWAP1 0000154b: DUP7 0000154c: DUP5 0000154d: GT 0000154e: ISZERO 0000154f: PUSH2 0x1557 00001552: JUMPI 00001553: PUSH1 0x00 00001555: DUP1 00001556: REVERT 00001557: JUMPDEST 00001558: DUP3 00001559: DUP7 0000155a: ADD 0000155b: JUMPDEST 0000155c: DUP5 0000155d: DUP2 0000155e: LT 0000155f: ISZERO 00001560: PUSH2 0x140e 00001563: JUMPI 00001564: PUSH2 0x156c 00001567: DUP2 00001568: PUSH2 0x1419 0000156b: JUMP 0000156c: JUMPDEST 0000156d: DUP4 0000156e: MSTORE 0000156f: SWAP2 00001570: DUP4 00001571: ADD 00001572: SWAP2 00001573: DUP4 00001574: ADD 00001575: PUSH2 0x155b 00001578: JUMP 00001579: JUMPDEST 0000157a: PUSH1 0x00 0000157c: DUP1 0000157d: PUSH1 0x00 0000157f: PUSH1 0x60 00001581: DUP5 00001582: DUP7 00001583: SUB 00001584: SLT 00001585: ISZERO 00001586: PUSH2 0x158e 00001589: JUMPI 0000158a: PUSH1 0x00 0000158c: DUP1 0000158d: REVERT 0000158e: JUMPDEST 0000158f: DUP4 00001590: CALLDATALOAD 00001591: PUSH8 0xffffffffffffffff 0000159a: DUP1 0000159b: DUP3 0000159c: GT 0000159d: ISZERO 0000159e: PUSH2 0x15a6 000015a1: JUMPI 000015a2: PUSH1 0x00 000015a4: DUP1 000015a5: REVERT 000015a6: JUMPDEST 000015a7: PUSH2 0x15b2 000015aa: DUP8 000015ab: DUP4 000015ac: DUP9 000015ad: ADD 000015ae: PUSH2 0x1517 000015b1: JUMP 000015b2: JUMPDEST 000015b3: SWAP5 000015b4: POP 000015b5: PUSH1 0x20 000015b7: DUP7 000015b8: ADD 000015b9: CALLDATALOAD 000015ba: SWAP2 000015bb: POP 000015bc: DUP1 000015bd: DUP3 000015be: GT 000015bf: ISZERO 000015c0: PUSH2 0x15c8 000015c3: JUMPI 000015c4: PUSH1 0x00 000015c6: DUP1 000015c7: REVERT 000015c8: JUMPDEST 000015c9: PUSH2 0x15d4 000015cc: DUP8 000015cd: DUP4 000015ce: DUP9 000015cf: ADD 000015d0: PUSH2 0x1517 000015d3: JUMP 000015d4: JUMPDEST 000015d5: SWAP4 000015d6: POP 000015d7: PUSH1 0x40 000015d9: DUP7 000015da: ADD 000015db: CALLDATALOAD 000015dc: SWAP2 000015dd: POP 000015de: DUP1 000015df: DUP3 000015e0: GT 000015e1: ISZERO 000015e2: PUSH2 0x15ea 000015e5: JUMPI 000015e6: PUSH1 0x00 000015e8: DUP1 000015e9: REVERT 000015ea: JUMPDEST 000015eb: POP 000015ec: PUSH2 0x15f7 000015ef: DUP7 000015f0: DUP3 000015f1: DUP8 000015f2: ADD 000015f3: PUSH2 0x13ae 000015f6: JUMP 000015f7: JUMPDEST 000015f8: SWAP2 000015f9: POP 000015fa: POP 000015fb: SWAP3 000015fc: POP 000015fd: SWAP3 000015fe: POP 000015ff: SWAP3 00001600: JUMP 00001601: JUMPDEST 00001602: PUSH1 0x00 00001604: DUP1 00001605: PUSH1 0x40 00001607: DUP4 00001608: DUP6 00001609: SUB 0000160a: SLT 0000160b: ISZERO 0000160c: PUSH2 0x1614 0000160f: JUMPI 00001610: PUSH1 0x00 00001612: DUP1 00001613: REVERT 00001614: JUMPDEST 00001615: DUP3 00001616: CALLDATALOAD 00001617: PUSH8 0xffffffffffffffff 00001620: DUP1 00001621: DUP3 00001622: GT 00001623: ISZERO 00001624: PUSH2 0x162c 00001627: JUMPI 00001628: PUSH1 0x00 0000162a: DUP1 0000162b: REVERT 0000162c: JUMPDEST 0000162d: PUSH2 0x1638 00001630: DUP7 00001631: DUP4 00001632: DUP8 00001633: ADD 00001634: PUSH2 0x1517 00001637: JUMP 00001638: JUMPDEST 00001639: SWAP4 0000163a: POP 0000163b: PUSH1 0x20 0000163d: DUP6 0000163e: ADD 0000163f: CALLDATALOAD 00001640: SWAP2 00001641: POP 00001642: DUP1 00001643: DUP3 00001644: GT 00001645: ISZERO 00001646: PUSH2 0x164e 00001649: JUMPI 0000164a: PUSH1 0x00 0000164c: DUP1 0000164d: REVERT 0000164e: JUMPDEST 0000164f: POP 00001650: PUSH2 0x165b 00001653: DUP6 00001654: DUP3 00001655: DUP7 00001656: ADD 00001657: PUSH2 0x13ae 0000165a: JUMP 0000165b: JUMPDEST 0000165c: SWAP2 0000165d: POP 0000165e: POP 0000165f: SWAP3 00001660: POP 00001661: SWAP3 00001662: SWAP1 00001663: POP 00001664: JUMP 00001665: JUMPDEST 00001666: PUSH4 0x4e487b71 0000166b: PUSH1 0xe0 0000166d: SHL 0000166e: PUSH1 0x00 00001670: MSTORE 00001671: PUSH1 0x32 00001673: PUSH1 0x04 00001675: MSTORE 00001676: PUSH1 0x24 00001678: PUSH1 0x00 0000167a: REVERT 0000167b: JUMPDEST 0000167c: PUSH1 0x00 0000167e: PUSH1 0x20 00001680: DUP3 00001681: DUP5 00001682: SUB 00001683: SLT 00001684: ISZERO 00001685: PUSH2 0x168d 00001688: JUMPI 00001689: PUSH1 0x00 0000168b: DUP1 0000168c: REVERT 0000168d: JUMPDEST 0000168e: POP 0000168f: MLOAD 00001690: SWAP2 00001691: SWAP1 00001692: POP 00001693: JUMP 00001694: JUMPDEST 00001695: PUSH4 0x4e487b71 0000169a: PUSH1 0xe0 0000169c: SHL 0000169d: PUSH1 0x00 0000169f: MSTORE 000016a0: PUSH1 0x11 000016a2: PUSH1 0x04 000016a4: MSTORE 000016a5: PUSH1 0x24 000016a7: PUSH1 0x00 000016a9: REVERT 000016aa: JUMPDEST 000016ab: PUSH1 0x00 000016ad: PUSH1 0x01 000016af: DUP3 000016b0: ADD 000016b1: PUSH2 0x16bc 000016b4: JUMPI 000016b5: PUSH2 0x16bc 000016b8: PUSH2 0x1694 000016bb: JUMP 000016bc: JUMPDEST 000016bd: POP 000016be: PUSH1 0x01 000016c0: ADD 000016c1: SWAP1 000016c2: JUMP 000016c3: JUMPDEST 000016c4: PUSH1 0x00 000016c6: JUMPDEST 000016c7: DUP4 000016c8: DUP2 000016c9: LT 000016ca: ISZERO 000016cb: PUSH2 0x16de 000016ce: JUMPI 000016cf: DUP2 000016d0: DUP2 000016d1: ADD 000016d2: MLOAD 000016d3: DUP4 000016d4: DUP3 000016d5: ADD 000016d6: MSTORE 000016d7: PUSH1 0x20 000016d9: ADD 000016da: PUSH2 0x16c6 000016dd: JUMP 000016de: JUMPDEST 000016df: POP 000016e0: POP 000016e1: PUSH1 0x00 000016e3: SWAP2 000016e4: ADD 000016e5: MSTORE 000016e6: JUMP 000016e7: JUMPDEST 000016e8: PUSH1 0x00 000016ea: PUSH1 0x20 000016ec: DUP3 000016ed: DUP5 000016ee: SUB 000016ef: SLT 000016f0: ISZERO 000016f1: PUSH2 0x16f9 000016f4: JUMPI 000016f5: PUSH1 0x00 000016f7: DUP1 000016f8: REVERT 000016f9: JUMPDEST 000016fa: DUP2 000016fb: MLOAD 000016fc: PUSH8 0xffffffffffffffff 00001705: DUP1 00001706: DUP3 00001707: GT 00001708: ISZERO 00001709: PUSH2 0x1711 0000170c: JUMPI 0000170d: PUSH1 0x00 0000170f: DUP1 00001710: REVERT 00001711: JUMPDEST 00001712: DUP2 00001713: DUP5 00001714: ADD 00001715: SWAP2 00001716: POP 00001717: DUP5 00001718: PUSH1 0x1f 0000171a: DUP4 0000171b: ADD 0000171c: SLT 0000171d: PUSH2 0x1725 00001720: JUMPI 00001721: PUSH1 0x00 00001723: DUP1 00001724: REVERT 00001725: JUMPDEST 00001726: DUP2 00001727: MLOAD 00001728: DUP2 00001729: DUP2 0000172a: GT 0000172b: ISZERO 0000172c: PUSH2 0x1737 0000172f: JUMPI 00001730: PUSH2 0x1737 00001733: PUSH2 0x1343 00001736: JUMP 00001737: JUMPDEST 00001738: PUSH2 0x174a 0000173b: PUSH1 0x1f 0000173d: DUP3 0000173e: ADD 0000173f: PUSH1 0x1f 00001741: NOT 00001742: AND 00001743: PUSH1 0x20 00001745: ADD 00001746: PUSH2 0x1359 00001749: JUMP 0000174a: JUMPDEST 0000174b: SWAP2 0000174c: POP 0000174d: DUP1 0000174e: DUP3 0000174f: MSTORE 00001750: DUP6 00001751: PUSH1 0x20 00001753: DUP3 00001754: DUP6 00001755: ADD 00001756: ADD 00001757: GT 00001758: ISZERO 00001759: PUSH2 0x1761 0000175c: JUMPI 0000175d: PUSH1 0x00 0000175f: DUP1 00001760: REVERT 00001761: JUMPDEST 00001762: PUSH2 0x1772 00001765: DUP2 00001766: PUSH1 0x20 00001768: DUP5 00001769: ADD 0000176a: PUSH1 0x20 0000176c: DUP7 0000176d: ADD 0000176e: PUSH2 0x16c3 00001771: JUMP 00001772: JUMPDEST 00001773: POP 00001774: SWAP5 00001775: SWAP4 00001776: POP 00001777: POP 00001778: POP 00001779: POP 0000177a: JUMP 0000177b: JUMPDEST 0000177c: PUSH32 0x4d4832486f7457616c6c65743a20696e76616c696420746f6b656e2062616c61 0000179d: DUP2 0000179e: MSTORE 0000179f: PUSH4 0x03731b29 000017a4: PUSH1 0xe5 000017a6: SHL 000017a7: PUSH1 0x20 000017a9: DUP3 000017aa: ADD 000017ab: MSTORE 000017ac: PUSH1 0x00 000017ae: DUP4 000017af: MLOAD 000017b0: PUSH2 0x17c0 000017b3: DUP2 000017b4: PUSH1 0x24 000017b6: DUP6 000017b7: ADD 000017b8: PUSH1 0x20 000017ba: DUP9 000017bb: ADD 000017bc: PUSH2 0x16c3 000017bf: JUMP 000017c0: JUMPDEST 000017c1: PUSH1 0x05 000017c3: PUSH1 0xfb 000017c5: SHL 000017c6: PUSH1 0x24 000017c8: SWAP2 000017c9: DUP5 000017ca: ADD 000017cb: SWAP2 000017cc: DUP3 000017cd: ADD 000017ce: MSTORE 000017cf: DUP4 000017d0: MLOAD 000017d1: PUSH2 0x17e1 000017d4: DUP2 000017d5: PUSH1 0x25 000017d7: DUP5 000017d8: ADD 000017d9: PUSH1 0x20 000017db: DUP9 000017dc: ADD 000017dd: PUSH2 0x16c3 000017e0: JUMP 000017e1: JUMPDEST 000017e2: PUSH1 0x29 000017e4: PUSH1 0xf8 000017e6: SHL 000017e7: PUSH1 0x25 000017e9: SWAP3 000017ea: SWAP1 000017eb: SWAP2 000017ec: ADD 000017ed: SWAP2 000017ee: DUP3 000017ef: ADD 000017f0: MSTORE 000017f1: PUSH1 0x26 000017f3: ADD 000017f4: SWAP5 000017f5: SWAP4 000017f6: POP 000017f7: POP 000017f8: POP 000017f9: POP 000017fa: JUMP 000017fb: JUMPDEST 000017fc: PUSH1 0x20 000017fe: DUP2 000017ff: MSTORE 00001800: PUSH1 0x00 00001802: DUP3 00001803: MLOAD 00001804: DUP1 00001805: PUSH1 0x20 00001807: DUP5 00001808: ADD 00001809: MSTORE 0000180a: PUSH2 0x181a 0000180d: DUP2 0000180e: PUSH1 0x40 00001810: DUP6 00001811: ADD 00001812: PUSH1 0x20 00001814: DUP8 00001815: ADD 00001816: PUSH2 0x16c3 00001819: JUMP 0000181a: JUMPDEST 0000181b: PUSH1 0x1f 0000181d: ADD 0000181e: PUSH1 0x1f 00001820: NOT 00001821: AND 00001822: SWAP2 00001823: SWAP1 00001824: SWAP2 00001825: ADD 00001826: PUSH1 0x40 00001828: ADD 00001829: SWAP3 0000182a: SWAP2 0000182b: POP 0000182c: POP 0000182d: JUMP 0000182e: JUMPDEST 0000182f: DUP1 00001830: DUP3 00001831: ADD 00001832: DUP1 00001833: DUP3 00001834: GT 00001835: ISZERO 00001836: PUSH2 0x047e 00001839: JUMPI 0000183a: PUSH2 0x047e 0000183d: PUSH2 0x1694 00001840: JUMP 00001841: JUMPDEST 00001842: DUP1 00001843: DUP3 00001844: MUL 00001845: DUP2 00001846: ISZERO 00001847: DUP3 00001848: DUP3 00001849: DIV 0000184a: DUP5 0000184b: EQ 0000184c: OR 0000184d: PUSH2 0x047e 00001850: JUMPI 00001851: PUSH2 0x047e 00001854: PUSH2 0x1694 00001857: JUMP 00001858: JUMPDEST 00001859: PUSH1 0x00 0000185b: DUP2 0000185c: PUSH2 0x1867 0000185f: JUMPI 00001860: PUSH2 0x1867 00001863: PUSH2 0x1694 00001866: JUMP 00001867: JUMPDEST 00001868: POP 00001869: PUSH1 0x00 0000186b: NOT 0000186c: ADD 0000186d: SWAP1 0000186e: JUMP 0000186f: JUMPDEST 00001870: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000 00001891: DUP2 00001892: MSTORE 00001893: PUSH1 0x00 00001895: DUP4 00001896: MLOAD 00001897: PUSH2 0x18a7 0000189a: DUP2 0000189b: PUSH1 0x17 0000189d: DUP6 0000189e: ADD 0000189f: PUSH1 0x20 000018a1: DUP9 000018a2: ADD 000018a3: PUSH2 0x16c3 000018a6: JUMP 000018a7: JUMPDEST 000018a8: PUSH17 0x01034b99036b4b9b9b4b733903937b6329 000018ba: PUSH1 0x7d 000018bc: SHL 000018bd: PUSH1 0x17 000018bf: SWAP2 000018c0: DUP5 000018c1: ADD 000018c2: SWAP2 000018c3: DUP3 000018c4: ADD 000018c5: MSTORE 000018c6: DUP4 000018c7: MLOAD 000018c8: PUSH2 0x18d8 000018cb: DUP2 000018cc: PUSH1 0x28 000018ce: DUP5 000018cf: ADD 000018d0: PUSH1 0x20 000018d2: DUP9 000018d3: ADD 000018d4: PUSH2 0x16c3 000018d7: JUMP 000018d8: JUMPDEST 000018d9: ADD 000018da: PUSH1 0x28 000018dc: ADD 000018dd: SWAP5 000018de: SWAP4 000018df: POP 000018e0: POP 000018e1: POP 000018e2: POP 000018e3: JUMP 000018e4: INVALID 000018e5: CODESIZE 000018e6: PUSH13 0xe6cc46a10075c4b1cde5365fa4 000018f4: UNKNOWN(0xBE) 000018f5: PUSH1 0xd9 000018f7: DIV 000018f8: CHAINID 000018f9: UNKNOWN(0xCF) 000018fa: BALANCE 000018fb: MSTORE 000018fc: UNKNOWN(0xBE) 000018fd: UNKNOWN(0xE6) 000018fe: UNKNOWN(0xED) 000018ff: UNKNOWN(0xAC) 00001900: UNKNOWN(0xEF) 00001901: UNKNOWN(0x0D) 00001902: PUSH5 0xcd63a26469 00001908: PUSH17 0x667358221220276b1db0c0ab24dda33d59 0000191a: SWAP4 0000191b: EXTCODECOPY 0000191c: DUP12 0000191d: SWAP1 0000191e: DUP3 0000191f: REVERT 00001920: DUP15 00001921: ORIGIN 00001922: PUSH25
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xad509c1d",
"selector": "0xad509c1d",
"calldata_variants": [
"0xad509c1d",
"0xad509c1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcedceff9",
"selector": "0xcedceff9",
"calldata_variants": [
"0xcedceff9",
"0xcedceff90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd784d426",
"selector": "0xd784d426",
"calldata_variants": [
"0xd784d426",
"0xd784d4260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd82465a7",
"selector": "0xd82465a7",
"calldata_variants": [
"0xd82465a7",
"0xd82465a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a6d2cc8",
"selector": "0x8a6d2cc8",
"calldata_variants": [
"0x8a6d2cc8",
"0x8a6d2cc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8abf6077",
"selector": "0x8abf6077",
"calldata_variants": [
"0x8abf6077",
"0x8abf60770000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6433,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xfa4ed0dfa917544cb87a2ac23fc6a840869a6c021851f261bab39f9b8a0b1281
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xfa4ed0dfa917544cb87a2ac23fc6a840869a6c021851f261bab39f9b8a0b1281",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xad509c1d",
"selector": "0xad509c1d",
"calldata_variants": [
"0xad509c1d",
"0xad509c1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcedceff9",
"selector": "0xcedceff9",
"calldata_variants": [
"0xcedceff9",
"0xcedceff90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd784d426",
"selector": "0xd784d426",
"calldata_variants": [
"0xd784d426",
"0xd784d4260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd82465a7",
"selector": "0xd82465a7",
"calldata_variants": [
"0xd82465a7",
"0xd82465a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a6d2cc8",
"selector": "0x8a6d2cc8",
"calldata_variants": [
"0x8a6d2cc8",
"0x8a6d2cc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8abf6077",
"selector": "0x8abf6077",
"calldata_variants": [
"0x8abf6077",
"0x8abf60770000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x14c7ed6855dd3dbe54a15e2060ede71b0cb549a7a89ba9a4231866bc5f7a5454
call_targets:
0x2046d4ca08180754c740b08223c2d9f318f19636
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x14c7ed6855dd3dbe54a15e2060ede71b0cb549a7a89ba9a4231866bc5f7a5454",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2046d4ca08180754c740b08223c2d9f318f19636"
],
"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": "0xad509c1d",
"selector": "0xad509c1d",
"calldata_variants": [
"0xad509c1d",
"0xad509c1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcedceff9",
"selector": "0xcedceff9",
"calldata_variants": [
"0xcedceff9",
"0xcedceff90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd784d426",
"selector": "0xd784d426",
"calldata_variants": [
"0xd784d426",
"0xd784d4260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd82465a7",
"selector": "0xd82465a7",
"calldata_variants": [
"0xd82465a7",
"0xd82465a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a6d2cc8",
"selector": "0x8a6d2cc8",
"calldata_variants": [
"0x8a6d2cc8",
"0x8a6d2cc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8abf6077",
"selector": "0x8abf6077",
"calldata_variants": [
"0x8abf6077",
"0x8abf60770000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1702,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1827,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2275,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 6433,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x14c7ed6855dd3dbe54a15e2060ede71b0cb549a7a89ba9a4231866bc5f7a5454
call_targets:
0x2046d4ca08180754c740b08223c2d9f318f19636
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x14c7ed6855dd3dbe54a15e2060ede71b0cb549a7a89ba9a4231866bc5f7a5454",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2046d4ca08180754c740b08223c2d9f318f19636"
],
"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": "0xad509c1d",
"selector": "0xad509c1d",
"calldata_variants": [
"0xad509c1d",
"0xad509c1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcedceff9",
"selector": "0xcedceff9",
"calldata_variants": [
"0xcedceff9",
"0xcedceff90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd784d426",
"selector": "0xd784d426",
"calldata_variants": [
"0xd784d426",
"0xd784d4260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd82465a7",
"selector": "0xd82465a7",
"calldata_variants": [
"0xd82465a7",
"0xd82465a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a6d2cc8",
"selector": "0x8a6d2cc8",
"calldata_variants": [
"0x8a6d2cc8",
"0x8a6d2cc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8abf6077",
"selector": "0x8abf6077",
"calldata_variants": [
"0x8abf6077",
"0x8abf60770000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1702,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1827,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2275,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 6433,
"type": "tx_origin_used"
}
]
}
|