019b3844-a5bf-71a6-844b-b2addba9e286
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 |
|---|---|---|---|---|
| 16251 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 16252 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 59750 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 59751 | capability.graph | complete | 1 / 3 | 1 week ago |
| 59752 | detector.run | complete | 1 / 3 | 1 week ago |
| 59753 | 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 0x0109 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9babdd40 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xaffed0e0 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xaffed0e0 0000002f: EQ 00000030: PUSH2 0x05a7 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xba9a91a5 0000003a: EQ 0000003b: PUSH2 0x05bc 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xcd2cc740 00000045: EQ 00000046: PUSH2 0x05d1 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd1af6462 00000050: EQ 00000051: PUSH2 0x05e6 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf698da25 0000005b: EQ 0000005c: PUSH2 0x05fb 0000005f: JUMPI 00000060: PUSH2 0x0109 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x9babdd40 0000006b: EQ 0000006c: PUSH2 0x02bb 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x9e4e7318 00000076: EQ 00000077: PUSH2 0x02d0 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xa0ab9653 00000081: EQ 00000082: PUSH2 0x02e5 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xa0e67e2b 0000008c: EQ 0000008d: PUSH2 0x0542 00000090: JUMPI 00000091: PUSH2 0x0109 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x2f54bf6e 0000009c: GT 0000009d: PUSH2 0x00dc 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x2f54bf6e 000000a7: EQ 000000a8: PUSH2 0x0220 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x42cde4e8 000000b2: EQ 000000b3: PUSH2 0x0267 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x5b768ee9 000000bd: EQ 000000be: PUSH2 0x027c 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x619c1295 000000c8: EQ 000000c9: PUSH2 0x0291 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x877ba46a 000000d3: EQ 000000d4: PUSH2 0x02a6 000000d7: JUMPI 000000d8: PUSH2 0x0109 000000db: JUMP 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH4 0x04622c2e 000000e3: EQ 000000e4: PUSH2 0x0145 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x0c8bd670 000000ee: EQ 000000ef: PUSH2 0x016c 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x1279991b 000000f9: EQ 000000fa: PUSH2 0x01f6 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x1ed23c8c 00000104: EQ 00000105: PUSH2 0x020b 00000108: JUMPI 00000109: JUMPDEST 0000010a: PUSH1 0x40 0000010c: DUP1 0000010d: MLOAD 0000010e: CALLER 0000010f: DUP2 00000110: MSTORE 00000111: CALLVALUE 00000112: PUSH1 0x20 00000114: DUP3 00000115: ADD 00000116: MSTORE 00000117: DUP2 00000118: MLOAD 00000119: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 0000013a: SWAP3 0000013b: SWAP2 0000013c: DUP2 0000013d: SWAP1 0000013e: SUB 0000013f: SWAP1 00000140: SWAP2 00000141: ADD 00000142: SWAP1 00000143: LOG1 00000144: STOP 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0151 0000014c: JUMPI 0000014d: PUSH1 0x00 0000014f: DUP1 00000150: REVERT 00000151: JUMPDEST 00000152: POP 00000153: PUSH2 0x015a 00000156: PUSH2 0x0610 00000159: JUMP 0000015a: JUMPDEST 0000015b: PUSH1 0x40 0000015d: DUP1 0000015e: MLOAD 0000015f: SWAP2 00000160: DUP3 00000161: MSTORE 00000162: MLOAD 00000163: SWAP1 00000164: DUP2 00000165: SWAP1 00000166: SUB 00000167: PUSH1 0x20 00000169: ADD 0000016a: SWAP1 0000016b: RETURN 0000016c: JUMPDEST 0000016d: CALLVALUE 0000016e: DUP1 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: POP 0000017a: PUSH2 0x0181 0000017d: PUSH2 0x0634 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH1 0x40 00000184: DUP1 00000185: MLOAD 00000186: PUSH1 0x20 00000188: DUP1 00000189: DUP3 0000018a: MSTORE 0000018b: DUP4 0000018c: MLOAD 0000018d: DUP2 0000018e: DUP4 0000018f: ADD 00000190: MSTORE 00000191: DUP4 00000192: MLOAD 00000193: SWAP2 00000194: SWAP3 00000195: DUP4 00000196: SWAP3 00000197: SWAP1 00000198: DUP4 00000199: ADD 0000019a: SWAP2 0000019b: DUP6 0000019c: ADD 0000019d: SWAP1 0000019e: DUP1 0000019f: DUP4 000001a0: DUP4 000001a1: PUSH1 0x00 000001a3: JUMPDEST 000001a4: DUP4 000001a5: DUP2 000001a6: LT 000001a7: ISZERO 000001a8: PUSH2 0x01bb 000001ab: JUMPI 000001ac: DUP2 000001ad: DUP2 000001ae: ADD 000001af: MLOAD 000001b0: DUP4 000001b1: DUP3 000001b2: ADD 000001b3: MSTORE 000001b4: PUSH1 0x20 000001b6: ADD 000001b7: PUSH2 0x01a3 000001ba: JUMP 000001bb: JUMPDEST 000001bc: POP 000001bd: POP 000001be: POP 000001bf: POP 000001c0: SWAP1 000001c1: POP 000001c2: SWAP1 000001c3: DUP2 000001c4: ADD 000001c5: SWAP1 000001c6: PUSH1 0x1f 000001c8: AND 000001c9: DUP1 000001ca: ISZERO 000001cb: PUSH2 0x01e8 000001ce: JUMPI 000001cf: DUP1 000001d0: DUP3 000001d1: SUB 000001d2: DUP1 000001d3: MLOAD 000001d4: PUSH1 0x01 000001d6: DUP4 000001d7: PUSH1 0x20 000001d9: SUB 000001da: PUSH2 0x0100 000001dd: EXP 000001de: SUB 000001df: NOT 000001e0: AND 000001e1: DUP2 000001e2: MSTORE 000001e3: PUSH1 0x20 000001e5: ADD 000001e6: SWAP2 000001e7: POP 000001e8: JUMPDEST 000001e9: POP 000001ea: SWAP3 000001eb: POP 000001ec: POP 000001ed: POP 000001ee: PUSH1 0x40 000001f0: MLOAD 000001f1: DUP1 000001f2: SWAP2 000001f3: SUB 000001f4: SWAP1 000001f5: RETURN 000001f6: JUMPDEST 000001f7: CALLVALUE 000001f8: DUP1 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH2 0x015a 00000207: PUSH2 0x0650 0000020a: JUMP 0000020b: JUMPDEST 0000020c: CALLVALUE 0000020d: DUP1 0000020e: ISZERO 0000020f: PUSH2 0x0217 00000212: JUMPI 00000213: PUSH1 0x00 00000215: DUP1 00000216: REVERT 00000217: JUMPDEST 00000218: POP 00000219: PUSH2 0x015a 0000021c: PUSH2 0x0674 0000021f: JUMP 00000220: JUMPDEST 00000221: CALLVALUE 00000222: DUP1 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: POP 0000022e: PUSH2 0x0253 00000231: PUSH1 0x04 00000233: DUP1 00000234: CALLDATASIZE 00000235: SUB 00000236: PUSH1 0x20 00000238: DUP2 00000239: LT 0000023a: ISZERO 0000023b: PUSH2 0x0243 0000023e: JUMPI 0000023f: PUSH1 0x00 00000241: DUP1 00000242: REVERT 00000243: JUMPDEST 00000244: POP 00000245: CALLDATALOAD 00000246: PUSH1 0x01 00000248: PUSH1 0x01 0000024a: PUSH1 0xa0 0000024c: SHL 0000024d: SUB 0000024e: AND 0000024f: PUSH2 0x0698 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH1 0x40 00000256: DUP1 00000257: MLOAD 00000258: SWAP2 00000259: ISZERO 0000025a: ISZERO 0000025b: DUP3 0000025c: MSTORE 0000025d: MLOAD 0000025e: SWAP1 0000025f: DUP2 00000260: SWAP1 00000261: SUB 00000262: PUSH1 0x20 00000264: ADD 00000265: SWAP1 00000266: RETURN 00000267: JUMPDEST 00000268: CALLVALUE 00000269: DUP1 0000026a: ISZERO 0000026b: PUSH2 0x0273 0000026e: JUMPI 0000026f: PUSH1 0x00 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: POP 00000275: PUSH2 0x015a 00000278: PUSH2 0x06ad 0000027b: JUMP 0000027c: JUMPDEST 0000027d: CALLVALUE 0000027e: DUP1 0000027f: ISZERO 00000280: PUSH2 0x0288 00000283: JUMPI 00000284: PUSH1 0x00 00000286: DUP1 00000287: REVERT 00000288: JUMPDEST 00000289: POP 0000028a: PUSH2 0x0181 0000028d: PUSH2 0x06b3 00000290: JUMP 00000291: JUMPDEST 00000292: CALLVALUE 00000293: DUP1 00000294: ISZERO 00000295: PUSH2 0x029d 00000298: JUMPI 00000299: PUSH1 0x00 0000029b: DUP1 0000029c: REVERT 0000029d: JUMPDEST 0000029e: POP 0000029f: PUSH2 0x0181 000002a2: PUSH2 0x06ec 000002a5: JUMP 000002a6: JUMPDEST 000002a7: CALLVALUE 000002a8: DUP1 000002a9: ISZERO 000002aa: PUSH2 0x02b2 000002ad: JUMPI 000002ae: PUSH1 0x00 000002b0: DUP1 000002b1: REVERT 000002b2: JUMPDEST 000002b3: POP 000002b4: PUSH2 0x0181 000002b7: PUSH2 0x0716 000002ba: JUMP 000002bb: JUMPDEST 000002bc: CALLVALUE 000002bd: DUP1 000002be: ISZERO 000002bf: PUSH2 0x02c7 000002c2: JUMPI 000002c3: PUSH1 0x00 000002c5: DUP1 000002c6: REVERT 000002c7: JUMPDEST 000002c8: POP 000002c9: PUSH2 0x0181 000002cc: PUSH2 0x074f 000002cf: JUMP 000002d0: JUMPDEST 000002d1: CALLVALUE 000002d2: DUP1 000002d3: ISZERO 000002d4: PUSH2 0x02dc 000002d7: JUMPI 000002d8: PUSH1 0x00 000002da: DUP1 000002db: REVERT 000002dc: JUMPDEST 000002dd: POP 000002de: PUSH2 0x015a 000002e1: PUSH2 0x077c 000002e4: JUMP 000002e5: JUMPDEST 000002e6: CALLVALUE 000002e7: DUP1 000002e8: ISZERO 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: POP 000002f3: PUSH2 0x0540 000002f6: PUSH1 0x04 000002f8: DUP1 000002f9: CALLDATASIZE 000002fa: SUB 000002fb: PUSH2 0x0100 000002fe: DUP2 000002ff: LT 00000300: ISZERO 00000301: PUSH2 0x0309 00000304: JUMPI 00000305: PUSH1 0x00 00000307: DUP1 00000308: REVERT 00000309: JUMPDEST 0000030a: DUP2 0000030b: ADD 0000030c: SWAP1 0000030d: PUSH1 0x20 0000030f: DUP2 00000310: ADD 00000311: DUP2 00000312: CALLDATALOAD 00000313: PUSH1 0x01 00000315: PUSH1 0x20 00000317: SHL 00000318: DUP2 00000319: GT 0000031a: ISZERO 0000031b: PUSH2 0x0323 0000031e: JUMPI 0000031f: PUSH1 0x00 00000321: DUP1 00000322: REVERT 00000323: JUMPDEST 00000324: DUP3 00000325: ADD 00000326: DUP4 00000327: PUSH1 0x20 00000329: DUP3 0000032a: ADD 0000032b: GT 0000032c: ISZERO 0000032d: PUSH2 0x0335 00000330: JUMPI 00000331: PUSH1 0x00 00000333: DUP1 00000334: REVERT 00000335: JUMPDEST 00000336: DUP1 00000337: CALLDATALOAD 00000338: SWAP1 00000339: PUSH1 0x20 0000033b: ADD 0000033c: SWAP2 0000033d: DUP5 0000033e: PUSH1 0x20 00000340: DUP4 00000341: MUL 00000342: DUP5 00000343: ADD 00000344: GT 00000345: PUSH1 0x01 00000347: PUSH1 0x20 00000349: SHL 0000034a: DUP4 0000034b: GT 0000034c: OR 0000034d: ISZERO 0000034e: PUSH2 0x0356 00000351: JUMPI 00000352: PUSH1 0x00 00000354: DUP1 00000355: REVERT 00000356: JUMPDEST 00000357: SWAP2 00000358: SWAP1 00000359: DUP1 0000035a: DUP1 0000035b: PUSH1 0x20 0000035d: MUL 0000035e: PUSH1 0x20 00000360: ADD 00000361: PUSH1 0x40 00000363: MLOAD 00000364: SWAP1 00000365: DUP2 00000366: ADD 00000367: PUSH1 0x40 00000369: MSTORE 0000036a: DUP1 0000036b: SWAP4 0000036c: SWAP3 0000036d: SWAP2 0000036e: SWAP1 0000036f: DUP2 00000370: DUP2 00000371: MSTORE 00000372: PUSH1 0x20 00000374: ADD 00000375: DUP4 00000376: DUP4 00000377: PUSH1 0x20 00000379: MUL 0000037a: DUP1 0000037b: DUP3 0000037c: DUP5 0000037d: CALLDATACOPY 0000037e: PUSH1 0x00 00000380: SWAP3 00000381: ADD 00000382: SWAP2 00000383: SWAP1 00000384: SWAP2 00000385: MSTORE 00000386: POP 00000387: SWAP3 00000388: SWAP6 00000389: SWAP5 0000038a: SWAP4 0000038b: PUSH1 0x20 0000038d: DUP2 0000038e: ADD 0000038f: SWAP4 00000390: POP 00000391: CALLDATALOAD 00000392: SWAP2 00000393: POP 00000394: POP 00000395: PUSH1 0x01 00000397: PUSH1 0x20 00000399: SHL 0000039a: DUP2 0000039b: GT 0000039c: ISZERO 0000039d: PUSH2 0x03a5 000003a0: JUMPI 000003a1: PUSH1 0x00 000003a3: DUP1 000003a4: REVERT 000003a5: JUMPDEST 000003a6: DUP3 000003a7: ADD 000003a8: DUP4 000003a9: PUSH1 0x20 000003ab: DUP3 000003ac: ADD 000003ad: GT 000003ae: ISZERO 000003af: PUSH2 0x03b7 000003b2: JUMPI 000003b3: PUSH1 0x00 000003b5: DUP1 000003b6: REVERT 000003b7: JUMPDEST 000003b8: DUP1 000003b9: CALLDATALOAD 000003ba: SWAP1 000003bb: PUSH1 0x20 000003bd: ADD 000003be: SWAP2 000003bf: DUP5 000003c0: PUSH1 0x20 000003c2: DUP4 000003c3: MUL 000003c4: DUP5 000003c5: ADD 000003c6: GT 000003c7: PUSH1 0x01 000003c9: PUSH1 0x20 000003cb: SHL 000003cc: DUP4 000003cd: GT 000003ce: OR 000003cf: ISZERO 000003d0: PUSH2 0x03d8 000003d3: JUMPI 000003d4: PUSH1 0x00 000003d6: DUP1 000003d7: REVERT 000003d8: JUMPDEST 000003d9: SWAP2 000003da: SWAP1 000003db: DUP1 000003dc: DUP1 000003dd: PUSH1 0x20 000003df: MUL 000003e0: PUSH1 0x20 000003e2: ADD 000003e3: PUSH1 0x40 000003e5: MLOAD 000003e6: SWAP1 000003e7: DUP2 000003e8: ADD 000003e9: PUSH1 0x40 000003eb: MSTORE 000003ec: DUP1 000003ed: SWAP4 000003ee: SWAP3 000003ef: SWAP2 000003f0: SWAP1 000003f1: DUP2 000003f2: DUP2 000003f3: MSTORE 000003f4: PUSH1 0x20 000003f6: ADD 000003f7: DUP4 000003f8: DUP4 000003f9: PUSH1 0x20 000003fb: MUL 000003fc: DUP1 000003fd: DUP3 000003fe: DUP5 000003ff: CALLDATACOPY 00000400: PUSH1 0x00 00000402: SWAP3 00000403: ADD 00000404: SWAP2 00000405: SWAP1 00000406: SWAP2 00000407: MSTORE 00000408: POP 00000409: SWAP3 0000040a: SWAP6 0000040b: SWAP5 0000040c: SWAP4 0000040d: PUSH1 0x20 0000040f: DUP2 00000410: ADD 00000411: SWAP4 00000412: POP 00000413: CALLDATALOAD 00000414: SWAP2 00000415: POP 00000416: POP 00000417: PUSH1 0x01 00000419: PUSH1 0x20 0000041b: SHL 0000041c: DUP2 0000041d: GT 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: DUP3 00000429: ADD 0000042a: DUP4 0000042b: PUSH1 0x20 0000042d: DUP3 0000042e: ADD 0000042f: GT 00000430: ISZERO 00000431: PUSH2 0x0439 00000434: JUMPI 00000435: PUSH1 0x00 00000437: DUP1 00000438: REVERT 00000439: JUMPDEST 0000043a: DUP1 0000043b: CALLDATALOAD 0000043c: SWAP1 0000043d: PUSH1 0x20 0000043f: ADD 00000440: SWAP2 00000441: DUP5 00000442: PUSH1 0x20 00000444: DUP4 00000445: MUL 00000446: DUP5 00000447: ADD 00000448: GT 00000449: PUSH1 0x01 0000044b: PUSH1 0x20 0000044d: SHL 0000044e: DUP4 0000044f: GT 00000450: OR 00000451: ISZERO 00000452: PUSH2 0x045a 00000455: JUMPI 00000456: PUSH1 0x00 00000458: DUP1 00000459: REVERT 0000045a: JUMPDEST 0000045b: SWAP2 0000045c: SWAP1 0000045d: DUP1 0000045e: DUP1 0000045f: PUSH1 0x20 00000461: MUL 00000462: PUSH1 0x20 00000464: ADD 00000465: PUSH1 0x40 00000467: MLOAD 00000468: SWAP1 00000469: DUP2 0000046a: ADD 0000046b: PUSH1 0x40 0000046d: MSTORE 0000046e: DUP1 0000046f: SWAP4 00000470: SWAP3 00000471: SWAP2 00000472: SWAP1 00000473: DUP2 00000474: DUP2 00000475: MSTORE 00000476: PUSH1 0x20 00000478: ADD 00000479: DUP4 0000047a: DUP4 0000047b: PUSH1 0x20 0000047d: MUL 0000047e: DUP1 0000047f: DUP3 00000480: DUP5 00000481: CALLDATACOPY 00000482: PUSH1 0x00 00000484: SWAP3 00000485: ADD 00000486: SWAP2 00000487: SWAP1 00000488: SWAP2 00000489: MSTORE 0000048a: POP 0000048b: SWAP3 0000048c: SWAP6 0000048d: PUSH1 0x01 0000048f: PUSH1 0x01 00000491: PUSH1 0xa0 00000493: SHL 00000494: SUB 00000495: DUP6 00000496: CALLDATALOAD 00000497: AND 00000498: SWAP6 00000499: PUSH1 0x20 0000049b: DUP7 0000049c: ADD 0000049d: CALLDATALOAD 0000049e: SWAP6 0000049f: SWAP2 000004a0: SWAP5 000004a1: POP 000004a2: SWAP3 000004a3: POP 000004a4: PUSH1 0x60 000004a6: DUP2 000004a7: ADD 000004a8: SWAP2 000004a9: POP 000004aa: PUSH1 0x40 000004ac: ADD 000004ad: CALLDATALOAD 000004ae: PUSH1 0x01 000004b0: PUSH1 0x20 000004b2: SHL 000004b3: DUP2 000004b4: GT 000004b5: ISZERO 000004b6: PUSH2 0x04be 000004b9: JUMPI 000004ba: PUSH1 0x00 000004bc: DUP1 000004bd: REVERT 000004be: JUMPDEST 000004bf: DUP3 000004c0: ADD 000004c1: DUP4 000004c2: PUSH1 0x20 000004c4: DUP3 000004c5: ADD 000004c6: GT 000004c7: ISZERO 000004c8: PUSH2 0x04d0 000004cb: JUMPI 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: REVERT 000004d0: JUMPDEST 000004d1: DUP1 000004d2: CALLDATALOAD 000004d3: SWAP1 000004d4: PUSH1 0x20 000004d6: ADD 000004d7: SWAP2 000004d8: DUP5 000004d9: PUSH1 0x01 000004db: DUP4 000004dc: MUL 000004dd: DUP5 000004de: ADD 000004df: GT 000004e0: PUSH1 0x01 000004e2: PUSH1 0x20 000004e4: SHL 000004e5: DUP4 000004e6: GT 000004e7: OR 000004e8: ISZERO 000004e9: PUSH2 0x04f1 000004ec: JUMPI 000004ed: PUSH1 0x00 000004ef: DUP1 000004f0: REVERT 000004f1: JUMPDEST 000004f2: SWAP2 000004f3: SWAP1 000004f4: DUP1 000004f5: DUP1 000004f6: PUSH1 0x1f 000004f8: ADD 000004f9: PUSH1 0x20 000004fb: DUP1 000004fc: SWAP2 000004fd: DIV 000004fe: MUL 000004ff: PUSH1 0x20 00000501: ADD 00000502: PUSH1 0x40 00000504: MLOAD 00000505: SWAP1 00000506: DUP2 00000507: ADD 00000508: PUSH1 0x40 0000050a: MSTORE 0000050b: DUP1 0000050c: SWAP4 0000050d: SWAP3 0000050e: SWAP2 0000050f: SWAP1 00000510: DUP2 00000511: DUP2 00000512: MSTORE 00000513: PUSH1 0x20 00000515: ADD 00000516: DUP4 00000517: DUP4 00000518: DUP1 00000519: DUP3 0000051a: DUP5 0000051b: CALLDATACOPY 0000051c: PUSH1 0x00 0000051e: SWAP3 0000051f: ADD 00000520: SWAP2 00000521: SWAP1 00000522: SWAP2 00000523: MSTORE 00000524: POP 00000525: SWAP3 00000526: SWAP6 00000527: POP 00000528: POP 00000529: PUSH1 0x01 0000052b: PUSH1 0x01 0000052d: PUSH1 0xa0 0000052f: SHL 00000530: SUB 00000531: DUP4 00000532: CALLDATALOAD 00000533: AND 00000534: SWAP4 00000535: POP 00000536: POP 00000537: POP 00000538: PUSH1 0x20 0000053a: ADD 0000053b: CALLDATALOAD 0000053c: PUSH2 0x07a0 0000053f: JUMP 00000540: JUMPDEST 00000541: STOP 00000542: JUMPDEST 00000543: CALLVALUE 00000544: DUP1 00000545: ISZERO 00000546: PUSH2 0x054e 00000549: JUMPI 0000054a: PUSH1 0x00 0000054c: DUP1 0000054d: REVERT 0000054e: JUMPDEST 0000054f: POP 00000550: PUSH2 0x0557 00000553: PUSH2 0x0e59 00000556: JUMP 00000557: JUMPDEST 00000558: PUSH1 0x40 0000055a: DUP1 0000055b: MLOAD 0000055c: PUSH1 0x20 0000055e: DUP1 0000055f: DUP3 00000560: MSTORE 00000561: DUP4 00000562: MLOAD 00000563: DUP2 00000564: DUP4 00000565: ADD 00000566: MSTORE 00000567: DUP4 00000568: MLOAD 00000569: SWAP2 0000056a: SWAP3 0000056b: DUP4 0000056c: SWAP3 0000056d: SWAP1 0000056e: DUP4 0000056f: ADD 00000570: SWAP2 00000571: DUP6 00000572: DUP2 00000573: ADD 00000574: SWAP2 00000575: MUL 00000576: DUP1 00000577: DUP4 00000578: DUP4 00000579: PUSH1 0x00 0000057b: JUMPDEST 0000057c: DUP4 0000057d: DUP2 0000057e: LT 0000057f: ISZERO 00000580: PUSH2 0x0593 00000583: JUMPI 00000584: DUP2 00000585: DUP2 00000586: ADD 00000587: MLOAD 00000588: DUP4 00000589: DUP3 0000058a: ADD 0000058b: MSTORE 0000058c: PUSH1 0x20 0000058e: ADD 0000058f: PUSH2 0x057b 00000592: JUMP 00000593: JUMPDEST 00000594: POP 00000595: POP 00000596: POP 00000597: POP 00000598: SWAP1 00000599: POP 0000059a: ADD 0000059b: SWAP3 0000059c: POP 0000059d: POP 0000059e: POP 0000059f: PUSH1 0x40 000005a1: MLOAD 000005a2: DUP1 000005a3: SWAP2 000005a4: SUB 000005a5: SWAP1 000005a6: RETURN 000005a7: JUMPDEST 000005a8: CALLVALUE 000005a9: DUP1 000005aa: ISZERO 000005ab: PUSH2 0x05b3 000005ae: JUMPI 000005af: PUSH1 0x00 000005b1: DUP1 000005b2: REVERT 000005b3: JUMPDEST 000005b4: POP 000005b5: PUSH2 0x015a 000005b8: PUSH2 0x0ebb 000005bb: JUMP 000005bc: JUMPDEST 000005bd: CALLVALUE 000005be: DUP1 000005bf: ISZERO 000005c0: PUSH2 0x05c8 000005c3: JUMPI 000005c4: PUSH1 0x00 000005c6: DUP1 000005c7: REVERT 000005c8: JUMPDEST 000005c9: POP 000005ca: PUSH2 0x015a 000005cd: PUSH2 0x0ec1 000005d0: JUMP 000005d1: JUMPDEST 000005d2: CALLVALUE 000005d3: DUP1 000005d4: ISZERO 000005d5: PUSH2 0x05dd 000005d8: JUMPI 000005d9: PUSH1 0x00 000005db: DUP1 000005dc: REVERT 000005dd: JUMPDEST 000005de: POP 000005df: PUSH2 0x0181 000005e2: PUSH2 0x0ee5 000005e5: JUMP 000005e6: JUMPDEST 000005e7: CALLVALUE 000005e8: DUP1 000005e9: ISZERO 000005ea: PUSH2 0x05f2 000005ed: JUMPI 000005ee: PUSH1 0x00 000005f0: DUP1 000005f1: REVERT 000005f2: JUMPDEST 000005f3: POP 000005f4: PUSH2 0x0181 000005f7: PUSH2 0x0f10 000005fa: JUMP 000005fb: JUMPDEST 000005fc: CALLVALUE 000005fd: DUP1 000005fe: ISZERO 000005ff: PUSH2 0x0607 00000602: JUMPI 00000603: PUSH1 0x00 00000605: DUP1 00000606: REVERT 00000607: JUMPDEST 00000608: POP 00000609: PUSH2 0x015a 0000060c: PUSH2 0x0f3e 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH32 0x32f3de0d7fc1cdd909bb4d992a94061e800669c611b9d07f137df1f4bb85f097 00000632: DUP2 00000633: JUMP 00000634: JUMPDEST 00000635: PUSH1 0x40 00000637: MLOAD 00000638: DUP1 00000639: PUSH1 0x60 0000063b: ADD 0000063c: PUSH1 0x40 0000063e: MSTORE 0000063f: DUP1 00000640: PUSH1 0x23 00000642: DUP2 00000643: MSTORE 00000644: PUSH1 0x20 00000646: ADD 00000647: PUSH2 0x0f51 0000064a: PUSH1 0x23 0000064c: SWAP2 0000064d: CODECOPY 0000064e: DUP2 0000064f: JUMP 00000650: JUMPDEST 00000651: PUSH32 0x3ee892349ae4bbe61dce18f95115b5dc02daf49204cc602458cd4c1f540d56d7 00000672: DUP2 00000673: JUMP 00000674: JUMPDEST 00000675: PUSH32 0xd87cd6ef79d4e2b95e15ce8abf732db51ec771f1ca2edccf22a46c729ac56472 00000696: DUP2 00000697: JUMP 00000698: JUMPDEST 00000699: PUSH1 0x02 0000069b: PUSH1 0x20 0000069d: MSTORE 0000069e: PUSH1 0x00 000006a0: SWAP1 000006a1: DUP2 000006a2: MSTORE 000006a3: PUSH1 0x40 000006a5: SWAP1 000006a6: KECCAK256 000006a7: SLOAD 000006a8: PUSH1 0xff 000006aa: AND 000006ab: DUP2 000006ac: JUMP 000006ad: JUMPDEST 000006ae: PUSH1 0x01 000006b0: SLOAD 000006b1: DUP2 000006b2: JUMP 000006b3: JUMPDEST 000006b4: PUSH1 0x40 000006b6: MLOAD 000006b7: DUP1 000006b8: PUSH1 0x40 000006ba: ADD 000006bb: PUSH1 0x40 000006bd: MSTORE 000006be: DUP1 000006bf: PUSH1 0x1f 000006c1: DUP2 000006c2: MSTORE 000006c3: PUSH1 0x20 000006c5: ADD 000006c6: PUSH32 0x46554e4354494f4e2043414c4c20544f204e4f524d414c204143434f554e5400 000006e7: DUP2 000006e8: MSTORE 000006e9: POP 000006ea: DUP2 000006eb: JUMP 000006ec: JUMPDEST 000006ed: PUSH1 0x40 000006ef: MLOAD 000006f0: DUP1 000006f1: PUSH1 0x40 000006f3: ADD 000006f4: PUSH1 0x40 000006f6: MSTORE 000006f7: DUP1 000006f8: PUSH1 0x0e 000006fa: DUP2 000006fb: MSTORE 000006fc: PUSH1 0x20 000006fe: ADD 000006ff: PUSH14 0x2ba927a7239022ac22a1aaaa27a9 0000070e: PUSH1 0x91 00000710: SHL 00000711: DUP2 00000712: MSTORE 00000713: POP 00000714: DUP2 00000715: JUMP 00000716: JUMPDEST 00000717: PUSH1 0x40 00000719: MLOAD 0000071a: DUP1 0000071b: PUSH1 0x40 0000071d: ADD 0000071e: PUSH1 0x40 00000720: MSTORE 00000721: DUP1 00000722: PUSH1 0x1c 00000724: DUP2 00000725: MSTORE 00000726: PUSH1 0x20 00000728: ADD 00000729: PUSH32 0x494e56414c4944205448524553484f4c442f5349472d4c454e47544800000000 0000074a: DUP2 0000074b: MSTORE 0000074c: POP 0000074d: DUP2 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH1 0x40 00000752: MLOAD 00000753: DUP1 00000754: PUSH1 0x40 00000756: ADD 00000757: PUSH1 0x40 00000759: MSTORE 0000075a: DUP1 0000075b: PUSH1 0x11 0000075d: DUP2 0000075e: MSTORE 0000075f: PUSH1 0x20 00000761: ADD 00000762: PUSH17 0x5448524553484f4c442f5349474e455253 00000774: PUSH1 0x78 00000776: SHL 00000777: DUP2 00000778: MSTORE 00000779: POP 0000077a: DUP2 0000077b: JUMP 0000077c: JUMPDEST 0000077d: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6 0000079e: DUP2 0000079f: JUMP 000007a0: JUMPDEST 000007a1: PUSH1 0x01 000007a3: SLOAD 000007a4: DUP8 000007a5: MLOAD 000007a6: EQ 000007a7: PUSH1 0x40 000007a9: MLOAD 000007aa: DUP1 000007ab: PUSH1 0x40 000007ad: ADD 000007ae: PUSH1 0x40 000007b0: MSTORE 000007b1: DUP1 000007b2: PUSH1 0x1c 000007b4: DUP2 000007b5: MSTORE 000007b6: PUSH1 0x20 000007b8: ADD 000007b9: PUSH32 0x494e56414c4944205448524553484f4c442f5349472d4c454e47544800000000 000007da: DUP2 000007db: MSTORE 000007dc: POP 000007dd: SWAP1 000007de: PUSH2 0x0865 000007e1: JUMPI 000007e2: PUSH1 0x40 000007e4: MLOAD 000007e5: PUSH3 0x461bcd 000007e9: PUSH1 0xe5 000007eb: SHL 000007ec: DUP2 000007ed: MSTORE 000007ee: PUSH1 0x04 000007f0: ADD 000007f1: DUP1 000007f2: DUP1 000007f3: PUSH1 0x20 000007f5: ADD 000007f6: DUP3 000007f7: DUP2 000007f8: SUB 000007f9: DUP3 000007fa: MSTORE 000007fb: DUP4 000007fc: DUP2 000007fd: DUP2 000007fe: MLOAD 000007ff: DUP2 00000800: MSTORE 00000801: PUSH1 0x20 00000803: ADD 00000804: SWAP2 00000805: POP 00000806: DUP1 00000807: MLOAD 00000808: SWAP1 00000809: PUSH1 0x20 0000080b: ADD 0000080c: SWAP1 0000080d: DUP1 0000080e: DUP4 0000080f: DUP4 00000810: PUSH1 0x00 00000812: JUMPDEST 00000813: DUP4 00000814: DUP2 00000815: LT 00000816: ISZERO 00000817: PUSH2 0x082a 0000081a: JUMPI 0000081b: DUP2 0000081c: DUP2 0000081d: ADD 0000081e: MLOAD 0000081f: DUP4 00000820: DUP3 00000821: ADD 00000822: MSTORE 00000823: PUSH1 0x20 00000825: ADD 00000826: PUSH2 0x0812 00000829: JUMP 0000082a: JUMPDEST 0000082b: POP 0000082c: POP 0000082d: POP 0000082e: POP 0000082f: SWAP1 00000830: POP 00000831: SWAP1 00000832: DUP2 00000833: ADD 00000834: SWAP1 00000835: PUSH1 0x1f 00000837: AND 00000838: DUP1 00000839: ISZERO 0000083a: PUSH2 0x0857 0000083d: JUMPI 0000083e: DUP1 0000083f: DUP3 00000840: SUB 00000841: DUP1 00000842: MLOAD 00000843: PUSH1 0x01 00000845: DUP4 00000846: PUSH1 0x20 00000848: SUB 00000849: PUSH2 0x0100 0000084c: EXP 0000084d: SUB 0000084e: NOT 0000084f: AND 00000850: DUP2 00000851: MSTORE 00000852: PUSH1 0x20 00000854: ADD 00000855: SWAP2 00000856: POP 00000857: JUMPDEST 00000858: POP 00000859: SWAP3 0000085a: POP 0000085b: POP 0000085c: POP 0000085d: PUSH1 0x40 0000085f: MLOAD 00000860: DUP1 00000861: SWAP2 00000862: SUB 00000863: SWAP1 00000864: REVERT 00000865: JUMPDEST 00000866: POP 00000867: DUP6 00000868: MLOAD 00000869: DUP8 0000086a: MLOAD 0000086b: EQ 0000086c: DUP1 0000086d: ISZERO 0000086e: PUSH2 0x0878 00000871: JUMPI 00000872: POP 00000873: DUP8 00000874: MLOAD 00000875: DUP8 00000876: MLOAD 00000877: EQ 00000878: JUMPDEST 00000879: PUSH1 0x40 0000087b: MLOAD 0000087c: DUP1 0000087d: PUSH1 0x40 0000087f: ADD 00000880: PUSH1 0x40 00000882: MSTORE 00000883: DUP1 00000884: PUSH1 0x1c 00000886: DUP2 00000887: MSTORE 00000888: PUSH1 0x20 0000088a: ADD 0000088b: PUSH32 0x494e56414c4944205448524553484f4c442f5349472d4c454e47544800000000 000008ac: DUP2 000008ad: MSTORE 000008ae: POP 000008af: SWAP1 000008b0: PUSH2 0x08fa 000008b3: JUMPI 000008b4: PUSH1 0x40 000008b6: MLOAD 000008b7: PUSH3 0x461bcd 000008bb: PUSH1 0xe5 000008bd: SHL 000008be: DUP2 000008bf: MSTORE 000008c0: PUSH1 0x20 000008c2: PUSH1 0x04 000008c4: DUP3 000008c5: ADD 000008c6: DUP2 000008c7: DUP2 000008c8: MSTORE 000008c9: DUP4 000008ca: MLOAD 000008cb: PUSH1 0x24 000008cd: DUP5 000008ce: ADD 000008cf: MSTORE 000008d0: DUP4 000008d1: MLOAD 000008d2: SWAP1 000008d3: SWAP3 000008d4: DUP4 000008d5: SWAP3 000008d6: PUSH1 0x44 000008d8: SWAP1 000008d9: SWAP2 000008da: ADD 000008db: SWAP2 000008dc: SWAP1 000008dd: DUP6 000008de: ADD 000008df: SWAP1 000008e0: DUP1 000008e1: DUP4 000008e2: DUP4 000008e3: PUSH1 0x00 000008e5: DUP4 000008e6: ISZERO 000008e7: PUSH2 0x082a 000008ea: JUMPI 000008eb: DUP2 000008ec: DUP2 000008ed: ADD 000008ee: MLOAD 000008ef: DUP4 000008f0: DUP3 000008f1: ADD 000008f2: MSTORE 000008f3: PUSH1 0x20 000008f5: ADD 000008f6: PUSH2 0x0812 000008f9: JUMP 000008fa: JUMPDEST 000008fb: POP 000008fc: PUSH1 0x01 000008fe: PUSH1 0x01 00000900: PUSH1 0xa0 00000902: SHL 00000903: SUB 00000904: DUP3 00000905: AND 00000906: CALLER 00000907: EQ 00000908: DUP1 00000909: PUSH2 0x0919 0000090c: JUMPI 0000090d: POP 0000090e: PUSH1 0x01 00000910: PUSH1 0x01 00000912: PUSH1 0xa0 00000914: SHL 00000915: SUB 00000916: DUP3 00000917: AND 00000918: ISZERO 00000919: JUMPDEST 0000091a: PUSH1 0x40 0000091c: MLOAD 0000091d: DUP1 0000091e: PUSH1 0x40 00000920: ADD 00000921: PUSH1 0x40 00000923: MSTORE 00000924: DUP1 00000925: PUSH1 0x0e 00000927: DUP2 00000928: MSTORE 00000929: PUSH1 0x20 0000092b: ADD 0000092c: PUSH14 0x2ba927a7239022ac22a1aaaa27a9 0000093b: PUSH1 0x91 0000093d: SHL 0000093e: DUP2 0000093f: MSTORE 00000940: POP 00000941: SWAP1 00000942: PUSH2 0x098c 00000945: JUMPI 00000946: PUSH1 0x40 00000948: MLOAD 00000949: PUSH3 0x461bcd 0000094d: PUSH1 0xe5 0000094f: SHL 00000950: DUP2 00000951: MSTORE 00000952: PUSH1 0x20 00000954: PUSH1 0x04 00000956: DUP3 00000957: ADD 00000958: DUP2 00000959: DUP2 0000095a: MSTORE 0000095b: DUP4 0000095c: MLOAD 0000095d: PUSH1 0x24 0000095f: DUP5 00000960: ADD 00000961: MSTORE 00000962: DUP4 00000963: MLOAD 00000964: SWAP1 00000965: SWAP3 00000966: DUP4 00000967: SWAP3 00000968: PUSH1 0x44 0000096a: SWAP1 0000096b: SWAP2 0000096c: ADD 0000096d: SWAP2 0000096e: SWAP1 0000096f: DUP6 00000970: ADD 00000971: SWAP1 00000972: DUP1 00000973: DUP4 00000974: DUP4 00000975: PUSH1 0x00 00000977: DUP4 00000978: ISZERO 00000979: PUSH2 0x082a 0000097c: JUMPI 0000097d: DUP2 0000097e: DUP2 0000097f: ADD 00000980: MLOAD 00000981: DUP4 00000982: DUP3 00000983: ADD 00000984: MSTORE 00000985: PUSH1 0x20 00000987: ADD 00000988: PUSH2 0x0812 0000098b: JUMP 0000098c: JUMPDEST 0000098d: POP 0000098e: DUP3 0000098f: MLOAD 00000990: PUSH1 0x20 00000992: DUP1 00000993: DUP6 00000994: ADD 00000995: SWAP2 00000996: SWAP1 00000997: SWAP2 00000998: KECCAK256 00000999: PUSH1 0x00 0000099b: DUP1 0000099c: SLOAD 0000099d: PUSH1 0x40 0000099f: DUP1 000009a0: MLOAD 000009a1: PUSH32 0x3ee892349ae4bbe61dce18f95115b5dc02daf49204cc602458cd4c1f540d56d7 000009c2: DUP2 000009c3: DUP8 000009c4: ADD 000009c5: MSTORE 000009c6: PUSH1 0x01 000009c8: PUSH1 0x01 000009ca: PUSH1 0xa0 000009cc: SHL 000009cd: SUB 000009ce: DUP1 000009cf: DUP13 000009d0: AND 000009d1: DUP3 000009d2: DUP5 000009d3: ADD 000009d4: MSTORE 000009d5: PUSH1 0x60 000009d7: DUP3 000009d8: ADD 000009d9: DUP12 000009da: SWAP1 000009db: MSTORE 000009dc: PUSH1 0x80 000009de: DUP3 000009df: ADD 000009e0: SWAP6 000009e1: SWAP1 000009e2: SWAP6 000009e3: MSTORE 000009e4: PUSH1 0xa0 000009e6: DUP2 000009e7: ADD 000009e8: SWAP3 000009e9: SWAP1 000009ea: SWAP3 000009eb: MSTORE 000009ec: SWAP3 000009ed: DUP7 000009ee: AND 000009ef: PUSH1 0xc0 000009f1: DUP3 000009f2: ADD 000009f3: MSTORE 000009f4: PUSH1 0xe0 000009f6: DUP1 000009f7: DUP3 000009f8: ADD 000009f9: DUP7 000009fa: SWAP1 000009fb: MSTORE 000009fc: DUP4 000009fd: MLOAD 000009fe: DUP1 000009ff: DUP4 00000a00: SUB 00000a01: SWAP1 00000a02: SWAP2 00000a03: ADD 00000a04: DUP2 00000a05: MSTORE 00000a06: PUSH2 0x0100 00000a09: DUP3 00000a0a: ADD 00000a0b: DUP5 00000a0c: MSTORE 00000a0d: DUP1 00000a0e: MLOAD 00000a0f: SWAP1 00000a10: DUP6 00000a11: ADD 00000a12: KECCAK256 00000a13: PUSH1 0x04 00000a15: SLOAD 00000a16: PUSH2 0x1901 00000a19: PUSH1 0xf0 00000a1b: SHL 00000a1c: PUSH2 0x0120 00000a1f: DUP5 00000a20: ADD 00000a21: MSTORE 00000a22: PUSH2 0x0122 00000a25: DUP4 00000a26: ADD 00000a27: MSTORE 00000a28: PUSH2 0x0142 00000a2b: DUP1 00000a2c: DUP4 00000a2d: ADD 00000a2e: DUP3 00000a2f: SWAP1 00000a30: MSTORE 00000a31: DUP5 00000a32: MLOAD 00000a33: DUP1 00000a34: DUP5 00000a35: SUB 00000a36: SWAP1 00000a37: SWAP2 00000a38: ADD 00000a39: DUP2 00000a3a: MSTORE 00000a3b: PUSH2 0x0162 00000a3e: SWAP1 00000a3f: SWAP3 00000a40: ADD 00000a41: SWAP1 00000a42: SWAP4 00000a43: MSTORE 00000a44: DUP1 00000a45: MLOAD 00000a46: SWAP4 00000a47: ADD 00000a48: SWAP3 00000a49: SWAP1 00000a4a: SWAP3 00000a4b: KECCAK256 00000a4c: SWAP1 00000a4d: SWAP2 00000a4e: DUP1 00000a4f: JUMPDEST 00000a50: PUSH1 0x01 00000a52: SLOAD 00000a53: DUP2 00000a54: LT 00000a55: ISZERO 00000a56: PUSH2 0x0bb5 00000a59: JUMPI 00000a5a: PUSH1 0x00 00000a5c: PUSH1 0x01 00000a5e: DUP5 00000a5f: DUP15 00000a60: DUP5 00000a61: DUP2 00000a62: MLOAD 00000a63: DUP2 00000a64: LT 00000a65: PUSH2 0x0a6a 00000a68: JUMPI 00000a69: INVALID 00000a6a: JUMPDEST 00000a6b: PUSH1 0x20 00000a6d: MUL 00000a6e: PUSH1 0x20 00000a70: ADD 00000a71: ADD 00000a72: MLOAD 00000a73: DUP15 00000a74: DUP6 00000a75: DUP2 00000a76: MLOAD 00000a77: DUP2 00000a78: LT 00000a79: PUSH2 0x0a7e 00000a7c: JUMPI 00000a7d: INVALID 00000a7e: JUMPDEST 00000a7f: PUSH1 0x20 00000a81: MUL 00000a82: PUSH1 0x20 00000a84: ADD 00000a85: ADD 00000a86: MLOAD 00000a87: DUP15 00000a88: DUP7 00000a89: DUP2 00000a8a: MLOAD 00000a8b: DUP2 00000a8c: LT 00000a8d: PUSH2 0x0a92 00000a90: JUMPI 00000a91: INVALID 00000a92: JUMPDEST 00000a93: PUSH1 0x20 00000a95: MUL 00000a96: PUSH1 0x20 00000a98: ADD 00000a99: ADD 00000a9a: MLOAD 00000a9b: PUSH1 0x40 00000a9d: MLOAD 00000a9e: PUSH1 0x00 00000aa0: DUP2 00000aa1: MSTORE 00000aa2: PUSH1 0x20 00000aa4: ADD 00000aa5: PUSH1 0x40 00000aa7: MSTORE 00000aa8: PUSH1 0x40 00000aaa: MLOAD 00000aab: DUP1 00000aac: DUP6 00000aad: DUP2 00000aae: MSTORE 00000aaf: PUSH1 0x20 00000ab1: ADD 00000ab2: DUP5 00000ab3: PUSH1 0xff 00000ab5: AND 00000ab6: PUSH1 0xff 00000ab8: AND 00000ab9: DUP2 00000aba: MSTORE 00000abb: PUSH1 0x20 00000abd: ADD 00000abe: DUP4 00000abf: DUP2 00000ac0: MSTORE 00000ac1: PUSH1 0x20 00000ac3: ADD 00000ac4: DUP3 00000ac5: DUP2 00000ac6: MSTORE 00000ac7: PUSH1 0x20 00000ac9: ADD 00000aca: SWAP5 00000acb: POP 00000acc: POP 00000acd: POP 00000ace: POP 00000acf: POP 00000ad0: PUSH1 0x20 00000ad2: PUSH1 0x40 00000ad4: MLOAD 00000ad5: PUSH1 0x20 00000ad7: DUP2 00000ad8: SUB 00000ad9: SWAP1 00000ada: DUP1 00000adb: DUP5 00000adc: SUB 00000add: SWAP1 00000ade: DUP6 00000adf: GAS 00000ae0: STATICCALL 00000ae1: ISZERO 00000ae2: DUP1 00000ae3: ISZERO 00000ae4: PUSH2 0x0af1 00000ae7: JUMPI 00000ae8: RETURNDATASIZE 00000ae9: PUSH1 0x00 00000aeb: DUP1 00000aec: RETURNDATACOPY 00000aed: RETURNDATASIZE 00000aee: PUSH1 0x00 00000af0: REVERT 00000af1: JUMPDEST 00000af2: POP 00000af3: POP 00000af4: POP 00000af5: PUSH1 0x20 00000af7: PUSH1 0x40 00000af9: MLOAD 00000afa: SUB 00000afb: MLOAD 00000afc: SWAP1 00000afd: POP 00000afe: DUP3 00000aff: PUSH1 0x01 00000b01: PUSH1 0x01 00000b03: PUSH1 0xa0 00000b05: SHL 00000b06: SUB 00000b07: AND 00000b08: DUP2 00000b09: PUSH1 0x01 00000b0b: PUSH1 0x01 00000b0d: PUSH1 0xa0 00000b0f: SHL 00000b10: SUB 00000b11: AND 00000b12: GT 00000b13: DUP1 00000b14: ISZERO 00000b15: PUSH2 0x0b36 00000b18: JUMPI 00000b19: POP 00000b1a: PUSH1 0x01 00000b1c: PUSH1 0x01 00000b1e: PUSH1 0xa0 00000b20: SHL 00000b21: SUB 00000b22: DUP2 00000b23: AND 00000b24: PUSH1 0x00 00000b26: SWAP1 00000b27: DUP2 00000b28: MSTORE 00000b29: PUSH1 0x02 00000b2b: PUSH1 0x20 00000b2d: MSTORE 00000b2e: PUSH1 0x40 00000b30: SWAP1 00000b31: KECCAK256 00000b32: SLOAD 00000b33: PUSH1 0xff 00000b35: AND 00000b36: JUMPDEST 00000b37: PUSH1 0x40 00000b39: MLOAD 00000b3a: DUP1 00000b3b: PUSH1 0x40 00000b3d: ADD 00000b3e: PUSH1 0x40 00000b40: MSTORE 00000b41: DUP1 00000b42: PUSH1 0x0f 00000b44: DUP2 00000b45: MSTORE 00000b46: PUSH1 0x20 00000b48: ADD 00000b49: PUSH15 0x57524f4e47205349474e4154555245 00000b59: PUSH1 0x88 00000b5b: SHL 00000b5c: DUP2 00000b5d: MSTORE 00000b5e: POP 00000b5f: SWAP1 00000b60: PUSH2 0x0baa 00000b63: JUMPI 00000b64: PUSH1 0x40 00000b66: MLOAD 00000b67: PUSH3 0x461bcd 00000b6b: PUSH1 0xe5 00000b6d: SHL 00000b6e: DUP2 00000b6f: MSTORE 00000b70: PUSH1 0x20 00000b72: PUSH1 0x04 00000b74: DUP3 00000b75: ADD 00000b76: DUP2 00000b77: DUP2 00000b78: MSTORE 00000b79: DUP4 00000b7a: MLOAD 00000b7b: PUSH1 0x24 00000b7d: DUP5 00000b7e: ADD 00000b7f: MSTORE 00000b80: DUP4 00000b81: MLOAD 00000b82: SWAP1 00000b83: SWAP3 00000b84: DUP4 00000b85: SWAP3 00000b86: PUSH1 0x44 00000b88: SWAP1 00000b89: SWAP2 00000b8a: ADD 00000b8b: SWAP2 00000b8c: SWAP1 00000b8d: DUP6 00000b8e: ADD 00000b8f: SWAP1 00000b90: DUP1 00000b91: DUP4 00000b92: DUP4 00000b93: PUSH1 0x00 00000b95: DUP4 00000b96: ISZERO 00000b97: PUSH2 0x082a 00000b9a: JUMPI 00000b9b: DUP2 00000b9c: DUP2 00000b9d: ADD 00000b9e: MLOAD 00000b9f: DUP4 00000ba0: DUP3 00000ba1: ADD 00000ba2: MSTORE 00000ba3: PUSH1 0x20 00000ba5: ADD 00000ba6: PUSH2 0x0812 00000ba9: JUMP 00000baa: JUMPDEST 00000bab: POP 00000bac: SWAP2 00000bad: POP 00000bae: PUSH1 0x01 00000bb0: ADD 00000bb1: PUSH2 0x0a4f 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: POP 00000bb7: PUSH1 0x00 00000bb9: DUP1 00000bba: SLOAD 00000bbb: PUSH1 0x01 00000bbd: ADD 00000bbe: SWAP1 00000bbf: SSTORE 00000bc0: DUP6 00000bc1: MLOAD 00000bc2: ISZERO 00000bc3: PUSH2 0x0c53 00000bc6: JUMPI 00000bc7: PUSH2 0x0bcf 00000bca: DUP9 00000bcb: PUSH2 0x0f44 00000bce: JUMP 00000bcf: JUMPDEST 00000bd0: PUSH1 0x40 00000bd2: MLOAD 00000bd3: DUP1 00000bd4: PUSH1 0x40 00000bd6: ADD 00000bd7: PUSH1 0x40 00000bd9: MSTORE 00000bda: DUP1 00000bdb: PUSH1 0x1f 00000bdd: DUP2 00000bde: MSTORE 00000bdf: PUSH1 0x20 00000be1: ADD 00000be2: PUSH32 0x46554e4354494f4e2043414c4c20544f204e4f524d414c204143434f554e5400 00000c03: DUP2 00000c04: MSTORE 00000c05: POP 00000c06: SWAP1 00000c07: PUSH2 0x0c51 00000c0a: JUMPI 00000c0b: PUSH1 0x40 00000c0d: MLOAD 00000c0e: PUSH3 0x461bcd 00000c12: PUSH1 0xe5 00000c14: SHL 00000c15: DUP2 00000c16: MSTORE 00000c17: PUSH1 0x20 00000c19: PUSH1 0x04 00000c1b: DUP3 00000c1c: ADD 00000c1d: DUP2 00000c1e: DUP2 00000c1f: MSTORE 00000c20: DUP4 00000c21: MLOAD 00000c22: PUSH1 0x24 00000c24: DUP5 00000c25: ADD 00000c26: MSTORE 00000c27: DUP4 00000c28: MLOAD 00000c29: SWAP1 00000c2a: SWAP3 00000c2b: DUP4 00000c2c: SWAP3 00000c2d: PUSH1 0x44 00000c2f: SWAP1 00000c30: SWAP2 00000c31: ADD 00000c32: SWAP2 00000c33: SWAP1 00000c34: DUP6 00000c35: ADD 00000c36: SWAP1 00000c37: DUP1 00000c38: DUP4 00000c39: DUP4 00000c3a: PUSH1 0x00 00000c3c: DUP4 00000c3d: ISZERO 00000c3e: PUSH2 0x082a 00000c41: JUMPI 00000c42: DUP2 00000c43: DUP2 00000c44: ADD 00000c45: MLOAD 00000c46: DUP4 00000c47: DUP3 00000c48: ADD 00000c49: MSTORE 00000c4a: PUSH1 0x20 00000c4c: ADD 00000c4d: PUSH2 0x0812 00000c50: JUMP 00000c51: JUMPDEST 00000c52: POP 00000c53: JUMPDEST 00000c54: PUSH1 0x00 00000c56: DUP9 00000c57: PUSH1 0x01 00000c59: PUSH1 0x01 00000c5b: PUSH1 0xa0 00000c5d: SHL 00000c5e: SUB 00000c5f: AND 00000c60: DUP6 00000c61: DUP10 00000c62: DUP10 00000c63: PUSH1 0x40 00000c65: MLOAD 00000c66: DUP1 00000c67: DUP3 00000c68: DUP1 00000c69: MLOAD 00000c6a: SWAP1 00000c6b: PUSH1 0x20 00000c6d: ADD 00000c6e: SWAP1 00000c6f: DUP1 00000c70: DUP4 00000c71: DUP4 00000c72: JUMPDEST 00000c73: PUSH1 0x20 00000c75: DUP4 00000c76: LT 00000c77: PUSH2 0x0c91 00000c7a: JUMPI 00000c7b: DUP1 00000c7c: MLOAD 00000c7d: DUP3 00000c7e: MSTORE 00000c7f: PUSH1 0x1f 00000c81: NOT 00000c82: SWAP1 00000c83: SWAP3 00000c84: ADD 00000c85: SWAP2 00000c86: PUSH1 0x20 00000c88: SWAP2 00000c89: DUP3 00000c8a: ADD 00000c8b: SWAP2 00000c8c: ADD 00000c8d: PUSH2 0x0c72 00000c90: JUMP 00000c91: JUMPDEST 00000c92: PUSH1 0x01 00000c94: DUP4 00000c95: PUSH1 0x20 00000c97: SUB 00000c98: PUSH2 0x0100 00000c9b: EXP 00000c9c: SUB 00000c9d: DUP1 00000c9e: NOT 00000c9f: DUP3 00000ca0: MLOAD 00000ca1: AND 00000ca2: DUP2 00000ca3: DUP5 00000ca4: MLOAD 00000ca5: AND 00000ca6: DUP1 00000ca7: DUP3 00000ca8: OR 00000ca9: DUP6 00000caa: MSTORE 00000cab: POP 00000cac: POP 00000cad: POP 00000cae: POP 00000caf: POP 00000cb0: POP 00000cb1: SWAP1 00000cb2: POP 00000cb3: ADD 00000cb4: SWAP2 00000cb5: POP 00000cb6: POP 00000cb7: PUSH1 0x00 00000cb9: PUSH1 0x40 00000cbb: MLOAD 00000cbc: DUP1 00000cbd: DUP4 00000cbe: SUB 00000cbf: DUP2 00000cc0: DUP6 00000cc1: DUP9 00000cc2: DUP9 00000cc3: CALL 00000cc4: SWAP4 00000cc5: POP 00000cc6: POP 00000cc7: POP 00000cc8: POP 00000cc9: RETURNDATASIZE 00000cca: DUP1 00000ccb: PUSH1 0x00 00000ccd: DUP2 00000cce: EQ 00000ccf: PUSH2 0x0cf4 00000cd2: JUMPI 00000cd3: PUSH1 0x40 00000cd5: MLOAD 00000cd6: SWAP2 00000cd7: POP 00000cd8: PUSH1 0x1f 00000cda: NOT 00000cdb: PUSH1 0x3f 00000cdd: RETURNDATASIZE 00000cde: ADD 00000cdf: AND 00000ce0: DUP3 00000ce1: ADD 00000ce2: PUSH1 0x40 00000ce4: MSTORE 00000ce5: RETURNDATASIZE 00000ce6: DUP3 00000ce7: MSTORE 00000ce8: RETURNDATASIZE 00000ce9: PUSH1 0x00 00000ceb: PUSH1 0x20 00000ced: DUP5 00000cee: ADD 00000cef: RETURNDATACOPY 00000cf0: PUSH2 0x0cf9 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: PUSH1 0x60 00000cf7: SWAP2 00000cf8: POP 00000cf9: JUMPDEST 00000cfa: POP 00000cfb: POP 00000cfc: SWAP1 00000cfd: POP 00000cfe: DUP1 00000cff: PUSH1 0x40 00000d01: MLOAD 00000d02: DUP1 00000d03: PUSH1 0x40 00000d05: ADD 00000d06: PUSH1 0x40 00000d08: MSTORE 00000d09: DUP1 00000d0a: PUSH1 0x12 00000d0c: DUP2 00000d0d: MSTORE 00000d0e: PUSH1 0x20 00000d10: ADD 00000d11: PUSH18 0x125395115493905308151608119052531151 00000d24: PUSH1 0x72 00000d26: SHL 00000d27: DUP2 00000d28: MSTORE 00000d29: POP 00000d2a: SWAP1 00000d2b: PUSH2 0x0d75 00000d2e: JUMPI 00000d2f: PUSH1 0x40 00000d31: MLOAD 00000d32: PUSH3 0x461bcd 00000d36: PUSH1 0xe5 00000d38: SHL 00000d39: DUP2 00000d3a: MSTORE 00000d3b: PUSH1 0x20 00000d3d: PUSH1 0x04 00000d3f: DUP3 00000d40: ADD 00000d41: DUP2 00000d42: DUP2 00000d43: MSTORE 00000d44: DUP4 00000d45: MLOAD 00000d46: PUSH1 0x24 00000d48: DUP5 00000d49: ADD 00000d4a: MSTORE 00000d4b: DUP4 00000d4c: MLOAD 00000d4d: SWAP1 00000d4e: SWAP3 00000d4f: DUP4 00000d50: SWAP3 00000d51: PUSH1 0x44 00000d53: SWAP1 00000d54: SWAP2 00000d55: ADD 00000d56: SWAP2 00000d57: SWAP1 00000d58: DUP6 00000d59: ADD 00000d5a: SWAP1 00000d5b: DUP1 00000d5c: DUP4 00000d5d: DUP4 00000d5e: PUSH1 0x00 00000d60: DUP4 00000d61: ISZERO 00000d62: PUSH2 0x082a 00000d65: JUMPI 00000d66: DUP2 00000d67: DUP2 00000d68: ADD 00000d69: MLOAD 00000d6a: DUP4 00000d6b: DUP3 00000d6c: ADD 00000d6d: MSTORE 00000d6e: PUSH1 0x20 00000d70: ADD 00000d71: PUSH2 0x0812 00000d74: JUMP 00000d75: JUMPDEST 00000d76: POP 00000d77: PUSH32 0x187ae0bfb8619f02a4db1cfef70a54e5722d00d8fcfe6811f1a1f044633ca0a7 00000d98: CALLER 00000d99: DUP11 00000d9a: DUP11 00000d9b: DUP11 00000d9c: PUSH1 0x40 00000d9e: MLOAD 00000d9f: DUP1 00000da0: DUP6 00000da1: PUSH1 0x01 00000da3: PUSH1 0x01 00000da5: PUSH1 0xa0 00000da7: SHL 00000da8: SUB 00000da9: AND 00000daa: PUSH1 0x01 00000dac: PUSH1 0x01 00000dae: PUSH1 0xa0 00000db0: SHL 00000db1: SUB 00000db2: AND 00000db3: DUP2 00000db4: MSTORE 00000db5: PUSH1 0x20 00000db7: ADD 00000db8: DUP5 00000db9: PUSH1 0x01 00000dbb: PUSH1 0x01 00000dbd: PUSH1 0xa0 00000dbf: SHL 00000dc0: SUB 00000dc1: AND 00000dc2: PUSH1 0x01 00000dc4: PUSH1 0x01 00000dc6: PUSH1 0xa0 00000dc8: SHL 00000dc9: SUB 00000dca: AND 00000dcb: DUP2 00000dcc: MSTORE 00000dcd: PUSH1 0x20 00000dcf: ADD 00000dd0: DUP4 00000dd1: DUP2 00000dd2: MSTORE 00000dd3: PUSH1 0x20 00000dd5: ADD 00000dd6: DUP1 00000dd7: PUSH1 0x20 00000dd9: ADD 00000dda: DUP3 00000ddb: DUP2 00000ddc: SUB 00000ddd: DUP3 00000dde: MSTORE 00000ddf: DUP4 00000de0: DUP2 00000de1: DUP2 00000de2: MLOAD 00000de3: DUP2 00000de4: MSTORE 00000de5: PUSH1 0x20 00000de7: ADD 00000de8: SWAP2 00000de9: POP 00000dea: DUP1 00000deb: MLOAD 00000dec: SWAP1 00000ded: PUSH1 0x20 00000def: ADD 00000df0: SWAP1 00000df1: DUP1 00000df2: DUP4 00000df3: DUP4 00000df4: PUSH1 0x00 00000df6: JUMPDEST 00000df7: DUP4 00000df8: DUP2 00000df9: LT 00000dfa: ISZERO 00000dfb: PUSH2 0x0e0e 00000dfe: JUMPI 00000dff: DUP2 00000e00: DUP2 00000e01: ADD 00000e02: MLOAD 00000e03: DUP4 00000e04: DUP3 00000e05: ADD 00000e06: MSTORE 00000e07: PUSH1 0x20 00000e09: ADD 00000e0a: PUSH2 0x0df6 00000e0d: JUMP 00000e0e: JUMPDEST 00000e0f: POP 00000e10: POP 00000e11: POP 00000e12: POP 00000e13: SWAP1 00000e14: POP 00000e15: SWAP1 00000e16: DUP2 00000e17: ADD 00000e18: SWAP1 00000e19: PUSH1 0x1f 00000e1b: AND 00000e1c: DUP1 00000e1d: ISZERO 00000e1e: PUSH2 0x0e3b 00000e21: JUMPI 00000e22: DUP1 00000e23: DUP3 00000e24: SUB 00000e25: DUP1 00000e26: MLOAD 00000e27: PUSH1 0x01 00000e29: DUP4 00000e2a: PUSH1 0x20 00000e2c: SUB 00000e2d: PUSH2 0x0100 00000e30: EXP 00000e31: SUB 00000e32: NOT 00000e33: AND 00000e34: DUP2 00000e35: MSTORE 00000e36: PUSH1 0x20 00000e38: ADD 00000e39: SWAP2 00000e3a: POP 00000e3b: JUMPDEST 00000e3c: POP 00000e3d: SWAP6 00000e3e: POP 00000e3f: POP 00000e40: POP 00000e41: POP 00000e42: POP 00000e43: POP 00000e44: PUSH1 0x40 00000e46: MLOAD 00000e47: DUP1 00000e48: SWAP2 00000e49: SUB 00000e4a: SWAP1 00000e4b: LOG1 00000e4c: POP 00000e4d: POP 00000e4e: POP 00000e4f: POP 00000e50: POP 00000e51: POP 00000e52: POP 00000e53: POP 00000e54: POP 00000e55: POP 00000e56: POP 00000e57: POP 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: PUSH1 0x60 00000e5c: PUSH1 0x03 00000e5e: DUP1 00000e5f: SLOAD 00000e60: DUP1 00000e61: PUSH1 0x20 00000e63: MUL 00000e64: PUSH1 0x20 00000e66: ADD 00000e67: PUSH1 0x40 00000e69: MLOAD 00000e6a: SWAP1 00000e6b: DUP2 00000e6c: ADD 00000e6d: PUSH1 0x40 00000e6f: MSTORE 00000e70: DUP1 00000e71: SWAP3 00000e72: SWAP2 00000e73: SWAP1 00000e74: DUP2 00000e75: DUP2 00000e76: MSTORE 00000e77: PUSH1 0x20 00000e79: ADD 00000e7a: DUP3 00000e7b: DUP1 00000e7c: SLOAD 00000e7d: DUP1 00000e7e: ISZERO 00000e7f: PUSH2 0x0eb1 00000e82: JUMPI 00000e83: PUSH1 0x20 00000e85: MUL 00000e86: DUP3 00000e87: ADD 00000e88: SWAP2 00000e89: SWAP1 00000e8a: PUSH1 0x00 00000e8c: MSTORE 00000e8d: PUSH1 0x20 00000e8f: PUSH1 0x00 00000e91: KECCAK256 00000e92: SWAP1 00000e93: JUMPDEST 00000e94: DUP2 00000e95: SLOAD 00000e96: PUSH1 0x01 00000e98: PUSH1 0x01 00000e9a: PUSH1 0xa0 00000e9c: SHL 00000e9d: SUB 00000e9e: AND 00000e9f: DUP2 00000ea0: MSTORE 00000ea1: PUSH1 0x01 00000ea3: SWAP1 00000ea4: SWAP2 00000ea5: ADD 00000ea6: SWAP1 00000ea7: PUSH1 0x20 00000ea9: ADD 00000eaa: DUP1 00000eab: DUP4 00000eac: GT 00000ead: PUSH2 0x0e93 00000eb0: JUMPI 00000eb1: JUMPDEST 00000eb2: POP 00000eb3: POP 00000eb4: POP 00000eb5: POP 00000eb6: POP 00000eb7: SWAP1 00000eb8: POP 00000eb9: SWAP1 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH1 0x00 00000ebe: SLOAD 00000ebf: DUP2 00000ec0: JUMP 00000ec1: JUMPDEST 00000ec2: PUSH32 0x72dc1dc597006ea524d75bd3377c4663827629e52e27fd2169cca6f90f6d1ef9 00000ee3: DUP2 00000ee4: JUMP 00000ee5: JUMPDEST 00000ee6: PUSH1 0x40 00000ee8: MLOAD 00000ee9: DUP1 00000eea: PUSH1 0x40 00000eec: ADD 00000eed: PUSH1 0x40 00000eef: MSTORE 00000ef0: DUP1 00000ef1: PUSH1 0x0f 00000ef3: DUP2 00000ef4: MSTORE 00000ef5: PUSH1 0x20 00000ef7: ADD 00000ef8: PUSH15 0x57524f4e47205349474e4154555245 00000f08: PUSH1 0x88 00000f0a: SHL 00000f0b: DUP2 00000f0c: MSTORE 00000f0d: POP 00000f0e: DUP2 00000f0f: JUMP 00000f10: JUMPDEST 00000f11: PUSH1 0x40 00000f13: MLOAD 00000f14: DUP1 00000f15: PUSH1 0x40 00000f17: ADD 00000f18: PUSH1 0x40 00000f1a: MSTORE 00000f1b: DUP1 00000f1c: PUSH1 0x12 00000f1e: DUP2 00000f1f: MSTORE 00000f20: PUSH1 0x20 00000f22: ADD 00000f23: PUSH18 0x125395115493905308151608119052531151 00000f36: PUSH1 0x72 00000f38: SHL 00000f39: DUP2 00000f3a: MSTORE 00000f3b: POP 00000f3c: DUP2 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: PUSH1 0x04 00000f41: SLOAD 00000f42: DUP2 00000f43: JUMP 00000f44: JUMPDEST 00000f45: EXTCODESIZE 00000f46: PUSH4 0xffffffff 00000f4b: AND 00000f4c: ISZERO 00000f4d: ISZERO 00000f4e: SWAP1 00000f4f: JUMP 00000f50: INVALID 00000f51: MSTORE8 00000f52: BLOBHASH 00000f53: SELFBALANCE 00000f54: UNKNOWN(0x4E) 00000f55: GASLIMIT 00000f56: MSTORE 00000f57: MSTORE8 00000f58: KECCAK256 00000f59: UNKNOWN(0x4D) 00000f5a: SSTORE 00000f5b: MSTORE8 00000f5c: SLOAD 00000f5d: KECCAK256 00000f5e: TIMESTAMP 00000f5f: GASLIMIT 00000f60: KECCAK256 00000f61: BLOBHASH 00000f62: UNKNOWN(0x4E) 00000f63: KECCAK256 00000f64: BLOBHASH 00000f65: UNKNOWN(0x4E) 00000f66: NUMBER 00000f67: MSTORE 00000f68: GASLIMIT 00000f69: COINBASE 00000f6a: MSTORE8 00000f6b: BLOBHASH 00000f6c: UNKNOWN(0x4E) 00000f6d: SELFBALANCE 00000f6e: KECCAK256 00000f6f: UNKNOWN(0x4F) 00000f70: MSTORE 00000f71: DIFFICULTY 00000f72: GASLIMIT 00000f73: MSTORE 00000f74: LOG2 00000f75: PUSH6 0x627a7a723158 00000f7c: KECCAK256 00000f7d: PUSH11 0x40336a351188a254b9c1ec 00000f89: DUP4 00000f8a: UNKNOWN(0xAF) 00000f8b: UNKNOWN(0xB6) 00000f8c: UNKNOWN(0x26) 00000f8d: UNKNOWN(0xE0) 00000f8e: PUSH9 0x4c15434025a81ae3b8 00000f98: EXP 00000f99: UNKNOWN(0xFC) 00000f9a: GAS 00000f9b: DELEGATECALL 00000f9c: UNKNOWN(0xFC) 00000f9d: PUSH5 0x736f6c6343 00000fa3: STOP 00000fa4: SDIV 00000fa5: GT 00000fa6: STOP 00000fa7: ORIGIN
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 | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x3d88d59563a7aec17a32e4a86c6c3603c58b7b030cf4a2bf1197ed0a2d1e4e62
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x3d88d59563a7aec17a32e4a86c6c3603c58b7b030cf4a2bf1197ed0a2d1e4e62",
"confirmed": false,
"trace_mode": "callTracer",
"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": "0xaffed0e0",
"selector": "0xaffed0e0",
"calldata_variants": [
"0xaffed0e0",
"0xaffed0e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba9a91a5",
"selector": "0xba9a91a5",
"calldata_variants": [
"0xba9a91a5",
"0xba9a91a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd2cc740",
"selector": "0xcd2cc740",
"calldata_variants": [
"0xcd2cc740",
"0xcd2cc7400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1af6462",
"selector": "0xd1af6462",
"calldata_variants": [
"0xd1af6462",
"0xd1af64620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf698da25",
"selector": "0xf698da25",
"calldata_variants": [
"0xf698da25",
"0xf698da250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9babdd40",
"selector": "0x9babdd40",
"calldata_variants": [
"0x9babdd40",
"0x9babdd400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e4e7318",
"selector": "0x9e4e7318",
"calldata_variants": [
"0x9e4e7318",
"0x9e4e73180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0ab9653",
"selector": "0xa0ab9653",
"calldata_variants": [
"0xa0ab9653",
"0xa0ab96530000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3995,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 4007,
"type": "tx_origin_used"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| 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": "0xaffed0e0",
"selector": "0xaffed0e0",
"calldata_variants": [
"0xaffed0e0",
"0xaffed0e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba9a91a5",
"selector": "0xba9a91a5",
"calldata_variants": [
"0xba9a91a5",
"0xba9a91a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd2cc740",
"selector": "0xcd2cc740",
"calldata_variants": [
"0xcd2cc740",
"0xcd2cc7400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1af6462",
"selector": "0xd1af6462",
"calldata_variants": [
"0xd1af6462",
"0xd1af64620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf698da25",
"selector": "0xf698da25",
"calldata_variants": [
"0xf698da25",
"0xf698da250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9babdd40",
"selector": "0x9babdd40",
"calldata_variants": [
"0x9babdd40",
"0x9babdd400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e4e7318",
"selector": "0x9e4e7318",
"calldata_variants": [
"0x9e4e7318",
"0x9e4e73180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0ab9653",
"selector": "0xa0ab9653",
"calldata_variants": [
"0xa0ab9653",
"0xa0ab96530000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4007,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1066a85c016f8d0428ed57c5e37c84d660fdd6fefd98b28228acf1d792503c1a
call_targets:
0xd42d11654a5cc0675c2544de97149758928e95f4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1066a85c016f8d0428ed57c5e37c84d660fdd6fefd98b28228acf1d792503c1a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd42d11654a5cc0675c2544de97149758928e95f4"
],
"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": "0xaffed0e0",
"selector": "0xaffed0e0",
"calldata_variants": [
"0xaffed0e0",
"0xaffed0e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba9a91a5",
"selector": "0xba9a91a5",
"calldata_variants": [
"0xba9a91a5",
"0xba9a91a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd2cc740",
"selector": "0xcd2cc740",
"calldata_variants": [
"0xcd2cc740",
"0xcd2cc7400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1af6462",
"selector": "0xd1af6462",
"calldata_variants": [
"0xd1af6462",
"0xd1af64620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf698da25",
"selector": "0xf698da25",
"calldata_variants": [
"0xf698da25",
"0xf698da250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9babdd40",
"selector": "0x9babdd40",
"calldata_variants": [
"0x9babdd40",
"0x9babdd400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e4e7318",
"selector": "0x9e4e7318",
"calldata_variants": [
"0x9e4e7318",
"0x9e4e73180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0ab9653",
"selector": "0xa0ab9653",
"calldata_variants": [
"0xa0ab9653",
"0xa0ab96530000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3267,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 4007,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1066a85c016f8d0428ed57c5e37c84d660fdd6fefd98b28228acf1d792503c1a
call_targets:
0xd42d11654a5cc0675c2544de97149758928e95f4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1066a85c016f8d0428ed57c5e37c84d660fdd6fefd98b28228acf1d792503c1a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd42d11654a5cc0675c2544de97149758928e95f4"
],
"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": "0xaffed0e0",
"selector": "0xaffed0e0",
"calldata_variants": [
"0xaffed0e0",
"0xaffed0e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba9a91a5",
"selector": "0xba9a91a5",
"calldata_variants": [
"0xba9a91a5",
"0xba9a91a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd2cc740",
"selector": "0xcd2cc740",
"calldata_variants": [
"0xcd2cc740",
"0xcd2cc7400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1af6462",
"selector": "0xd1af6462",
"calldata_variants": [
"0xd1af6462",
"0xd1af64620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf698da25",
"selector": "0xf698da25",
"calldata_variants": [
"0xf698da25",
"0xf698da250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9babdd40",
"selector": "0x9babdd40",
"calldata_variants": [
"0x9babdd40",
"0x9babdd400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e4e7318",
"selector": "0x9e4e7318",
"calldata_variants": [
"0x9e4e7318",
"0x9e4e73180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0ab9653",
"selector": "0xa0ab9653",
"calldata_variants": [
"0xa0ab9653",
"0xa0ab96530000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3267,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 4007,
"type": "tx_origin_used"
}
]
}
|