019b3844-a499-70ae-af7b-2845a4d278bf
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 |
|---|---|---|---|---|
| 16047 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 16048 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 106593 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 106594 | capability.graph | complete | 1 / 3 | 1 week ago |
| 106595 | detector.run | complete | 1 / 3 | 1 week ago |
| 106596 | 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 0x008a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x01f5 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x99df0bd5 0000002f: EQ 00000030: PUSH2 0x0227 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa6a11bb1 0000003a: EQ 0000003b: PUSH2 0x0247 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xbd2e5a83 00000045: EQ 00000046: PUSH2 0x026b 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xc34c08e5 00000050: EQ 00000051: PUSH2 0x028b 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x4e71d92d 00000060: EQ 00000061: PUSH2 0x00ce 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x5957b1eb 0000006b: EQ 0000006c: PUSH2 0x00e5 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x6144b9a1 00000076: EQ 00000077: PUSH2 0x01ab 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x7875d95a 00000081: EQ 00000082: PUSH2 0x01cb 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: CALLDATASIZE 0000008c: PUSH2 0x00c9 0000008f: JUMPI 00000090: PUSH1 0x40 00000092: DUP1 00000093: MLOAD 00000094: CALLER 00000095: DUP2 00000096: MSTORE 00000097: CALLVALUE 00000098: PUSH1 0x20 0000009a: DUP3 0000009b: ADD 0000009c: MSTORE 0000009d: PUSH32 0x7784f8d436dc514f0690e472c7e2d7f660a73e504c69b2350f6be5a5f02432ef 000000be: SWAP2 000000bf: ADD 000000c0: PUSH1 0x40 000000c2: MLOAD 000000c3: DUP1 000000c4: SWAP2 000000c5: SUB 000000c6: SWAP1 000000c7: LOG1 000000c8: STOP 000000c9: JUMPDEST 000000ca: PUSH1 0x00 000000cc: DUP1 000000cd: REVERT 000000ce: JUMPDEST 000000cf: CALLVALUE 000000d0: DUP1 000000d1: ISZERO 000000d2: PUSH2 0x00da 000000d5: JUMPI 000000d6: PUSH1 0x00 000000d8: DUP1 000000d9: REVERT 000000da: JUMPDEST 000000db: POP 000000dc: PUSH2 0x00e3 000000df: PUSH2 0x02a9 000000e2: JUMP 000000e3: JUMPDEST 000000e4: STOP 000000e5: JUMPDEST 000000e6: CALLVALUE 000000e7: DUP1 000000e8: ISZERO 000000e9: PUSH2 0x00f1 000000ec: JUMPI 000000ed: PUSH1 0x00 000000ef: DUP1 000000f0: REVERT 000000f1: JUMPDEST 000000f2: POP 000000f3: PUSH2 0x016f 000000f6: PUSH2 0x0100 000000f9: CALLDATASIZE 000000fa: PUSH1 0x04 000000fc: PUSH2 0x0c03 000000ff: JUMP 00000100: JUMPDEST 00000101: PUSH1 0x40 00000103: DUP1 00000104: MLOAD 00000105: PUSH1 0x60 00000107: DUP2 00000108: ADD 00000109: DUP3 0000010a: MSTORE 0000010b: PUSH1 0x00 0000010d: DUP1 0000010e: DUP3 0000010f: MSTORE 00000110: PUSH1 0x20 00000112: DUP3 00000113: ADD 00000114: DUP2 00000115: SWAP1 00000116: MSTORE 00000117: SWAP2 00000118: DUP2 00000119: ADD 0000011a: SWAP2 0000011b: SWAP1 0000011c: SWAP2 0000011d: MSTORE 0000011e: POP 0000011f: PUSH1 0x01 00000121: PUSH1 0x01 00000123: PUSH1 0xa0 00000125: SHL 00000126: SUB 00000127: SWAP1 00000128: DUP2 00000129: AND 0000012a: PUSH1 0x00 0000012c: DUP2 0000012d: DUP2 0000012e: MSTORE 0000012f: PUSH1 0x05 00000131: PUSH1 0x20 00000133: SWAP1 00000134: DUP2 00000135: MSTORE 00000136: PUSH1 0x40 00000138: DUP1 00000139: DUP4 0000013a: KECCAK256 0000013b: DUP2 0000013c: MLOAD 0000013d: PUSH1 0x60 0000013f: DUP2 00000140: ADD 00000141: DUP4 00000142: MSTORE 00000143: DUP2 00000144: SLOAD 00000145: DUP8 00000146: AND 00000147: DUP2 00000148: MSTORE 00000149: PUSH1 0x01 0000014b: DUP3 0000014c: ADD 0000014d: SLOAD 0000014e: SWAP1 0000014f: SWAP7 00000150: AND 00000151: DUP7 00000152: DUP5 00000153: ADD 00000154: MSTORE 00000155: PUSH1 0x02 00000157: ADD 00000158: SLOAD 00000159: DUP6 0000015a: DUP3 0000015b: ADD 0000015c: MSTORE 0000015d: SWAP3 0000015e: DUP3 0000015f: MSTORE 00000160: PUSH1 0x06 00000162: SWAP1 00000163: MSTORE 00000164: KECCAK256 00000165: SLOAD 00000166: SWAP1 00000167: SWAP2 00000168: PUSH1 0xff 0000016a: SWAP1 0000016b: SWAP2 0000016c: AND 0000016d: SWAP1 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH1 0x40 00000172: DUP1 00000173: MLOAD 00000174: DUP4 00000175: MLOAD 00000176: PUSH1 0x01 00000178: PUSH1 0x01 0000017a: PUSH1 0xa0 0000017c: SHL 0000017d: SUB 0000017e: SWAP1 0000017f: DUP2 00000180: AND 00000181: DUP3 00000182: MSTORE 00000183: PUSH1 0x20 00000185: DUP1 00000186: DUP7 00000187: ADD 00000188: MLOAD 00000189: SWAP1 0000018a: SWAP2 0000018b: AND 0000018c: SWAP1 0000018d: DUP3 0000018e: ADD 0000018f: MSTORE 00000190: SWAP3 00000191: DUP2 00000192: ADD 00000193: MLOAD 00000194: SWAP1 00000195: DUP4 00000196: ADD 00000197: MSTORE 00000198: ISZERO 00000199: ISZERO 0000019a: PUSH1 0x60 0000019c: DUP3 0000019d: ADD 0000019e: MSTORE 0000019f: PUSH1 0x80 000001a1: ADD 000001a2: JUMPDEST 000001a3: PUSH1 0x40 000001a5: MLOAD 000001a6: DUP1 000001a7: SWAP2 000001a8: SUB 000001a9: SWAP1 000001aa: RETURN 000001ab: JUMPDEST 000001ac: CALLVALUE 000001ad: DUP1 000001ae: ISZERO 000001af: PUSH2 0x01b7 000001b2: JUMPI 000001b3: PUSH1 0x00 000001b5: DUP1 000001b6: REVERT 000001b7: JUMPDEST 000001b8: POP 000001b9: PUSH2 0x00e3 000001bc: PUSH2 0x01c6 000001bf: CALLDATASIZE 000001c0: PUSH1 0x04 000001c2: PUSH2 0x0d00 000001c5: JUMP 000001c6: JUMPDEST 000001c7: PUSH2 0x051e 000001ca: JUMP 000001cb: JUMPDEST 000001cc: CALLVALUE 000001cd: DUP1 000001ce: ISZERO 000001cf: PUSH2 0x01d7 000001d2: JUMPI 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: REVERT 000001d7: JUMPDEST 000001d8: POP 000001d9: PUSH1 0x04 000001db: SLOAD 000001dc: PUSH2 0x01e5 000001df: SWAP1 000001e0: PUSH1 0xff 000001e2: AND 000001e3: DUP2 000001e4: JUMP 000001e5: JUMPDEST 000001e6: PUSH1 0x40 000001e8: MLOAD 000001e9: SWAP1 000001ea: ISZERO 000001eb: ISZERO 000001ec: DUP2 000001ed: MSTORE 000001ee: PUSH1 0x20 000001f0: ADD 000001f1: PUSH2 0x01a2 000001f4: JUMP 000001f5: JUMPDEST 000001f6: CALLVALUE 000001f7: DUP1 000001f8: ISZERO 000001f9: PUSH2 0x0201 000001fc: JUMPI 000001fd: PUSH1 0x00 000001ff: DUP1 00000200: REVERT 00000201: JUMPDEST 00000202: POP 00000203: PUSH1 0x01 00000205: SLOAD 00000206: PUSH1 0x01 00000208: PUSH1 0x01 0000020a: PUSH1 0xa0 0000020c: SHL 0000020d: SUB 0000020e: AND 0000020f: JUMPDEST 00000210: PUSH1 0x40 00000212: MLOAD 00000213: PUSH1 0x01 00000215: PUSH1 0x01 00000217: PUSH1 0xa0 00000219: SHL 0000021a: SUB 0000021b: SWAP1 0000021c: SWAP2 0000021d: AND 0000021e: DUP2 0000021f: MSTORE 00000220: PUSH1 0x20 00000222: ADD 00000223: PUSH2 0x01a2 00000226: JUMP 00000227: JUMPDEST 00000228: CALLVALUE 00000229: DUP1 0000022a: ISZERO 0000022b: PUSH2 0x0233 0000022e: JUMPI 0000022f: PUSH1 0x00 00000231: DUP1 00000232: REVERT 00000233: JUMPDEST 00000234: POP 00000235: PUSH2 0x00e3 00000238: PUSH2 0x0242 0000023b: CALLDATASIZE 0000023c: PUSH1 0x04 0000023e: PUSH2 0x0c27 00000241: JUMP 00000242: JUMPDEST 00000243: PUSH2 0x06cb 00000246: JUMP 00000247: JUMPDEST 00000248: CALLVALUE 00000249: DUP1 0000024a: ISZERO 0000024b: PUSH2 0x0253 0000024e: JUMPI 0000024f: PUSH1 0x00 00000251: DUP1 00000252: REVERT 00000253: JUMPDEST 00000254: POP 00000255: PUSH2 0x025d 00000258: PUSH1 0x03 0000025a: SLOAD 0000025b: DUP2 0000025c: JUMP 0000025d: JUMPDEST 0000025e: PUSH1 0x40 00000260: MLOAD 00000261: SWAP1 00000262: DUP2 00000263: MSTORE 00000264: PUSH1 0x20 00000266: ADD 00000267: PUSH2 0x01a2 0000026a: JUMP 0000026b: JUMPDEST 0000026c: CALLVALUE 0000026d: DUP1 0000026e: ISZERO 0000026f: PUSH2 0x0277 00000272: JUMPI 00000273: PUSH1 0x00 00000275: DUP1 00000276: REVERT 00000277: JUMPDEST 00000278: POP 00000279: PUSH2 0x00e3 0000027c: PUSH2 0x0286 0000027f: CALLDATASIZE 00000280: PUSH1 0x04 00000282: PUSH2 0x0d92 00000285: JUMP 00000286: JUMPDEST 00000287: PUSH2 0x08ee 0000028a: JUMP 0000028b: JUMPDEST 0000028c: CALLVALUE 0000028d: DUP1 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: POP 00000299: PUSH1 0x02 0000029b: SLOAD 0000029c: PUSH1 0x01 0000029e: PUSH1 0x01 000002a0: PUSH1 0xa0 000002a2: SHL 000002a3: SUB 000002a4: AND 000002a5: PUSH2 0x020f 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH1 0x03 000002ac: SLOAD 000002ad: TIMESTAMP 000002ae: LT 000002af: ISZERO 000002b0: DUP1 000002b1: ISZERO 000002b2: PUSH2 0x02bc 000002b5: JUMPI 000002b6: POP 000002b7: PUSH1 0x03 000002b9: SLOAD 000002ba: ISZERO 000002bb: ISZERO 000002bc: JUMPDEST 000002bd: PUSH2 0x02fb 000002c0: JUMPI 000002c1: PUSH1 0x40 000002c3: MLOAD 000002c4: PUSH3 0x461bcd 000002c8: PUSH1 0xe5 000002ca: SHL 000002cb: DUP2 000002cc: MSTORE 000002cd: PUSH1 0x20 000002cf: PUSH1 0x04 000002d1: DUP3 000002d2: ADD 000002d3: MSTORE 000002d4: PUSH1 0x0b 000002d6: PUSH1 0x24 000002d8: DUP3 000002d9: ADD 000002da: MSTORE 000002db: PUSH11 0x21b7b6b4b7339039b7b7b7 000002e7: PUSH1 0xa9 000002e9: SHL 000002ea: PUSH1 0x44 000002ec: DUP3 000002ed: ADD 000002ee: MSTORE 000002ef: PUSH1 0x64 000002f1: ADD 000002f2: JUMPDEST 000002f3: PUSH1 0x40 000002f5: MLOAD 000002f6: DUP1 000002f7: SWAP2 000002f8: SUB 000002f9: SWAP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: PUSH1 0x04 000002fe: SLOAD 000002ff: PUSH1 0xff 00000301: AND 00000302: ISZERO 00000303: PUSH2 0x0341 00000306: JUMPI 00000307: PUSH1 0x40 00000309: MLOAD 0000030a: PUSH3 0x461bcd 0000030e: PUSH1 0xe5 00000310: SHL 00000311: DUP2 00000312: MSTORE 00000313: PUSH1 0x20 00000315: PUSH1 0x04 00000317: DUP3 00000318: ADD 00000319: MSTORE 0000031a: PUSH1 0x10 0000031c: PUSH1 0x24 0000031e: DUP3 0000031f: ADD 00000320: MSTORE 00000321: PUSH16 0x1499599d5b99081cdd5cdc195b991959 00000332: PUSH1 0x82 00000334: SHL 00000335: PUSH1 0x44 00000337: DUP3 00000338: ADD 00000339: MSTORE 0000033a: PUSH1 0x64 0000033c: ADD 0000033d: PUSH2 0x02f2 00000340: JUMP 00000341: JUMPDEST 00000342: PUSH1 0x02 00000344: PUSH1 0x00 00000346: SLOAD 00000347: EQ 00000348: ISZERO 00000349: PUSH2 0x0385 0000034c: JUMPI 0000034d: PUSH1 0x40 0000034f: MLOAD 00000350: PUSH3 0x461bcd 00000354: PUSH1 0xe5 00000356: SHL 00000357: DUP2 00000358: MSTORE 00000359: PUSH1 0x20 0000035b: PUSH1 0x04 0000035d: DUP3 0000035e: ADD 0000035f: MSTORE 00000360: PUSH1 0x0e 00000362: PUSH1 0x24 00000364: DUP3 00000365: ADD 00000366: MSTORE 00000367: PUSH14 0x1499595b9d1c985b9d0818d85b1b 00000376: PUSH1 0x92 00000378: SHL 00000379: PUSH1 0x44 0000037b: DUP3 0000037c: ADD 0000037d: MSTORE 0000037e: PUSH1 0x64 00000380: ADD 00000381: PUSH2 0x02f2 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH1 0x02 00000388: PUSH1 0x00 0000038a: SWAP1 0000038b: DUP2 0000038c: SSTORE 0000038d: CALLER 0000038e: DUP2 0000038f: MSTORE 00000390: PUSH1 0x06 00000392: PUSH1 0x20 00000394: MSTORE 00000395: PUSH1 0x40 00000397: SWAP1 00000398: KECCAK256 00000399: SLOAD 0000039a: PUSH1 0xff 0000039c: AND 0000039d: ISZERO 0000039e: PUSH2 0x03d4 000003a1: JUMPI 000003a2: PUSH1 0x40 000003a4: MLOAD 000003a5: PUSH3 0x461bcd 000003a9: PUSH1 0xe5 000003ab: SHL 000003ac: DUP2 000003ad: MSTORE 000003ae: PUSH1 0x20 000003b0: PUSH1 0x04 000003b2: DUP3 000003b3: ADD 000003b4: MSTORE 000003b5: PUSH1 0x08 000003b7: PUSH1 0x24 000003b9: DUP3 000003ba: ADD 000003bb: MSTORE 000003bc: PUSH8 0x1499599d5b991959 000003c5: PUSH1 0xc2 000003c7: SHL 000003c8: PUSH1 0x44 000003ca: DUP3 000003cb: ADD 000003cc: MSTORE 000003cd: PUSH1 0x64 000003cf: ADD 000003d0: PUSH2 0x02f2 000003d3: JUMP 000003d4: JUMPDEST 000003d5: CALLER 000003d6: PUSH1 0x00 000003d8: SWAP1 000003d9: DUP2 000003da: MSTORE 000003db: PUSH1 0x05 000003dd: PUSH1 0x20 000003df: SWAP1 000003e0: DUP2 000003e1: MSTORE 000003e2: PUSH1 0x40 000003e4: SWAP2 000003e5: DUP3 000003e6: SWAP1 000003e7: KECCAK256 000003e8: DUP3 000003e9: MLOAD 000003ea: PUSH1 0x60 000003ec: DUP2 000003ed: ADD 000003ee: DUP5 000003ef: MSTORE 000003f0: DUP2 000003f1: SLOAD 000003f2: PUSH1 0x01 000003f4: PUSH1 0x01 000003f6: PUSH1 0xa0 000003f8: SHL 000003f9: SUB 000003fa: SWAP1 000003fb: DUP2 000003fc: AND 000003fd: DUP3 000003fe: MSTORE 000003ff: PUSH1 0x01 00000401: DUP4 00000402: ADD 00000403: SLOAD 00000404: AND 00000405: SWAP3 00000406: DUP2 00000407: ADD 00000408: SWAP3 00000409: SWAP1 0000040a: SWAP3 0000040b: MSTORE 0000040c: PUSH1 0x02 0000040e: ADD 0000040f: SLOAD 00000410: SWAP2 00000411: DUP2 00000412: ADD 00000413: DUP3 00000414: SWAP1 00000415: MSTORE 00000416: SWAP1 00000417: PUSH2 0x0459 0000041a: JUMPI 0000041b: PUSH1 0x40 0000041d: MLOAD 0000041e: PUSH3 0x461bcd 00000422: PUSH1 0xe5 00000424: SHL 00000425: DUP2 00000426: MSTORE 00000427: PUSH1 0x20 00000429: PUSH1 0x04 0000042b: DUP3 0000042c: ADD 0000042d: MSTORE 0000042e: PUSH1 0x14 00000430: PUSH1 0x24 00000432: DUP3 00000433: ADD 00000434: MSTORE 00000435: PUSH20 0x139bc81858d8d95cdcda589b19481c99599d5b99 0000044a: PUSH1 0x62 0000044c: SHL 0000044d: PUSH1 0x44 0000044f: DUP3 00000450: ADD 00000451: MSTORE 00000452: PUSH1 0x64 00000454: ADD 00000455: PUSH2 0x02f2 00000458: JUMP 00000459: JUMPDEST 0000045a: CALLER 0000045b: PUSH1 0x00 0000045d: SWAP1 0000045e: DUP2 0000045f: MSTORE 00000460: PUSH1 0x06 00000462: PUSH1 0x20 00000464: SWAP1 00000465: DUP2 00000466: MSTORE 00000467: PUSH1 0x40 00000469: SWAP1 0000046a: SWAP2 0000046b: KECCAK256 0000046c: DUP1 0000046d: SLOAD 0000046e: PUSH1 0xff 00000470: NOT 00000471: AND 00000472: PUSH1 0x01 00000474: OR 00000475: SWAP1 00000476: SSTORE 00000477: DUP2 00000478: ADD 00000479: MLOAD 0000047a: PUSH1 0x01 0000047c: PUSH1 0x01 0000047e: PUSH1 0xa0 00000480: SHL 00000481: SUB 00000482: AND 00000483: PUSH2 0x049d 00000486: JUMPI 00000487: PUSH2 0x0498 0000048a: DUP2 0000048b: PUSH1 0x00 0000048d: ADD 0000048e: MLOAD 0000048f: DUP3 00000490: PUSH1 0x40 00000492: ADD 00000493: MLOAD 00000494: PUSH2 0x09c9 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH2 0x04b4 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH2 0x04b4 000004a1: DUP2 000004a2: PUSH1 0x20 000004a4: ADD 000004a5: MLOAD 000004a6: DUP3 000004a7: PUSH1 0x00 000004a9: ADD 000004aa: MLOAD 000004ab: DUP4 000004ac: PUSH1 0x40 000004ae: ADD 000004af: MLOAD 000004b0: PUSH2 0x0a76 000004b3: JUMP 000004b4: JUMPDEST 000004b5: DUP1 000004b6: PUSH1 0x20 000004b8: ADD 000004b9: MLOAD 000004ba: PUSH1 0x01 000004bc: PUSH1 0x01 000004be: PUSH1 0xa0 000004c0: SHL 000004c1: SUB 000004c2: AND 000004c3: DUP2 000004c4: PUSH1 0x00 000004c6: ADD 000004c7: MLOAD 000004c8: PUSH1 0x01 000004ca: PUSH1 0x01 000004cc: PUSH1 0xa0 000004ce: SHL 000004cf: SUB 000004d0: AND 000004d1: PUSH32 0x82c4addd7df9bb5b801dcdeb0a67eb8bda3d9e213af78965d584b0be8cb63660 000004f2: DUP4 000004f3: PUSH1 0x40 000004f5: ADD 000004f6: MLOAD 000004f7: TIMESTAMP 000004f8: PUSH1 0x40 000004fa: MLOAD 000004fb: PUSH2 0x050e 000004fe: SWAP3 000004ff: SWAP2 00000500: SWAP1 00000501: SWAP2 00000502: DUP3 00000503: MSTORE 00000504: PUSH1 0x20 00000506: DUP3 00000507: ADD 00000508: MSTORE 00000509: PUSH1 0x40 0000050b: ADD 0000050c: SWAP1 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH1 0x40 00000511: MLOAD 00000512: DUP1 00000513: SWAP2 00000514: SUB 00000515: SWAP1 00000516: LOG3 00000517: POP 00000518: PUSH1 0x01 0000051a: PUSH1 0x00 0000051c: SSTORE 0000051d: JUMP 0000051e: JUMPDEST 0000051f: CALLER 00000520: PUSH2 0x0531 00000523: PUSH1 0x02 00000525: SLOAD 00000526: PUSH1 0x01 00000528: PUSH1 0x01 0000052a: PUSH1 0xa0 0000052c: SHL 0000052d: SUB 0000052e: AND 0000052f: SWAP1 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH1 0x01 00000534: PUSH1 0x01 00000536: PUSH1 0xa0 00000538: SHL 00000539: SUB 0000053a: AND 0000053b: EQ 0000053c: PUSH2 0x0587 0000053f: JUMPI 00000540: PUSH1 0x40 00000542: MLOAD 00000543: PUSH3 0x461bcd 00000547: PUSH1 0xe5 00000549: SHL 0000054a: DUP2 0000054b: MSTORE 0000054c: PUSH1 0x20 0000054e: PUSH1 0x04 00000550: DUP3 00000551: ADD 00000552: MSTORE 00000553: PUSH1 0x1a 00000555: PUSH1 0x24 00000557: DUP3 00000558: ADD 00000559: MSTORE 0000055a: PUSH32 0x43616c6c6572206973206e6f7420746865206578656375746f72000000000000 0000057b: PUSH1 0x44 0000057d: DUP3 0000057e: ADD 0000057f: MSTORE 00000580: PUSH1 0x64 00000582: ADD 00000583: PUSH2 0x02f2 00000586: JUMP 00000587: JUMPDEST 00000588: PUSH1 0x00 0000058a: JUMPDEST 0000058b: DUP2 0000058c: DUP2 0000058d: LT 0000058e: ISZERO 0000058f: PUSH2 0x06c6 00000592: JUMPI 00000593: DUP3 00000594: DUP3 00000595: DUP3 00000596: DUP2 00000597: DUP2 00000598: LT 00000599: PUSH2 0x05a4 0000059c: JUMPI 0000059d: PUSH2 0x05a4 000005a0: PUSH2 0x0e77 000005a3: JUMP 000005a4: JUMPDEST 000005a5: SWAP1 000005a6: POP 000005a7: PUSH1 0x60 000005a9: MUL 000005aa: ADD 000005ab: PUSH1 0x20 000005ad: ADD 000005ae: PUSH1 0x20 000005b0: DUP2 000005b1: ADD 000005b2: SWAP1 000005b3: PUSH2 0x05bc 000005b6: SWAP2 000005b7: SWAP1 000005b8: PUSH2 0x0c03 000005bb: JUMP 000005bc: JUMPDEST 000005bd: PUSH1 0x01 000005bf: PUSH1 0x01 000005c1: PUSH1 0xa0 000005c3: SHL 000005c4: SUB 000005c5: AND 000005c6: DUP4 000005c7: DUP4 000005c8: DUP4 000005c9: DUP2 000005ca: DUP2 000005cb: LT 000005cc: PUSH2 0x05d7 000005cf: JUMPI 000005d0: PUSH2 0x05d7 000005d3: PUSH2 0x0e77 000005d6: JUMP 000005d7: JUMPDEST 000005d8: PUSH2 0x05ed 000005db: SWAP3 000005dc: PUSH1 0x20 000005de: PUSH1 0x60 000005e0: SWAP1 000005e1: SWAP3 000005e2: MUL 000005e3: ADD 000005e4: SWAP1 000005e5: DUP2 000005e6: ADD 000005e7: SWAP2 000005e8: POP 000005e9: PUSH2 0x0c03 000005ec: JUMP 000005ed: JUMPDEST 000005ee: PUSH1 0x01 000005f0: PUSH1 0x01 000005f2: PUSH1 0xa0 000005f4: SHL 000005f5: SUB 000005f6: AND 000005f7: PUSH32 0x88d466760495dcd29caad52b1747721794594498e8dbbdeb8d036c09a54e5cfa 00000618: DUP6 00000619: DUP6 0000061a: DUP6 0000061b: DUP2 0000061c: DUP2 0000061d: LT 0000061e: PUSH2 0x0629 00000621: JUMPI 00000622: PUSH2 0x0629 00000625: PUSH2 0x0e77 00000628: JUMP 00000629: JUMPDEST 0000062a: SWAP1 0000062b: POP 0000062c: PUSH1 0x60 0000062e: MUL 0000062f: ADD 00000630: PUSH1 0x40 00000632: ADD 00000633: CALLDATALOAD 00000634: PUSH1 0x40 00000636: MLOAD 00000637: PUSH2 0x0642 0000063a: SWAP2 0000063b: DUP2 0000063c: MSTORE 0000063d: PUSH1 0x20 0000063f: ADD 00000640: SWAP1 00000641: JUMP 00000642: JUMPDEST 00000643: PUSH1 0x40 00000645: MLOAD 00000646: DUP1 00000647: SWAP2 00000648: SUB 00000649: SWAP1 0000064a: LOG3 0000064b: DUP3 0000064c: DUP3 0000064d: DUP3 0000064e: DUP2 0000064f: DUP2 00000650: LT 00000651: PUSH2 0x065c 00000654: JUMPI 00000655: PUSH2 0x065c 00000658: PUSH2 0x0e77 0000065b: JUMP 0000065c: JUMPDEST 0000065d: SWAP1 0000065e: POP 0000065f: PUSH1 0x60 00000661: MUL 00000662: ADD 00000663: PUSH1 0x05 00000665: PUSH1 0x00 00000667: DUP6 00000668: DUP6 00000669: DUP6 0000066a: DUP2 0000066b: DUP2 0000066c: LT 0000066d: PUSH2 0x0678 00000670: JUMPI 00000671: PUSH2 0x0678 00000674: PUSH2 0x0e77 00000677: JUMP 00000678: JUMPDEST 00000679: PUSH2 0x068e 0000067c: SWAP3 0000067d: PUSH1 0x20 0000067f: PUSH1 0x60 00000681: SWAP1 00000682: SWAP3 00000683: MUL 00000684: ADD 00000685: SWAP1 00000686: DUP2 00000687: ADD 00000688: SWAP2 00000689: POP 0000068a: PUSH2 0x0c03 0000068d: JUMP 0000068e: JUMPDEST 0000068f: PUSH1 0x01 00000691: PUSH1 0x01 00000693: PUSH1 0xa0 00000695: SHL 00000696: SUB 00000697: AND 00000698: DUP2 00000699: MSTORE 0000069a: PUSH1 0x20 0000069c: DUP2 0000069d: ADD 0000069e: SWAP2 0000069f: SWAP1 000006a0: SWAP2 000006a1: MSTORE 000006a2: PUSH1 0x40 000006a4: ADD 000006a5: PUSH1 0x00 000006a7: KECCAK256 000006a8: PUSH2 0x06b1 000006ab: DUP3 000006ac: DUP3 000006ad: PUSH2 0x0ec3 000006b0: JUMP 000006b1: JUMPDEST 000006b2: POP 000006b3: DUP2 000006b4: SWAP1 000006b5: POP 000006b6: PUSH2 0x06be 000006b9: DUP2 000006ba: PUSH2 0x0e4e 000006bd: JUMP 000006be: JUMPDEST 000006bf: SWAP2 000006c0: POP 000006c1: POP 000006c2: PUSH2 0x058a 000006c5: JUMP 000006c6: JUMPDEST 000006c7: POP 000006c8: POP 000006c9: POP 000006ca: JUMP 000006cb: JUMPDEST 000006cc: CALLER 000006cd: PUSH2 0x06de 000006d0: PUSH1 0x02 000006d2: SLOAD 000006d3: PUSH1 0x01 000006d5: PUSH1 0x01 000006d7: PUSH1 0xa0 000006d9: SHL 000006da: SUB 000006db: AND 000006dc: SWAP1 000006dd: JUMP 000006de: JUMPDEST 000006df: PUSH1 0x01 000006e1: PUSH1 0x01 000006e3: PUSH1 0xa0 000006e5: SHL 000006e6: SUB 000006e7: AND 000006e8: EQ 000006e9: PUSH2 0x0734 000006ec: JUMPI 000006ed: PUSH1 0x40 000006ef: MLOAD 000006f0: PUSH3 0x461bcd 000006f4: PUSH1 0xe5 000006f6: SHL 000006f7: DUP2 000006f8: MSTORE 000006f9: PUSH1 0x20 000006fb: PUSH1 0x04 000006fd: DUP3 000006fe: ADD 000006ff: MSTORE 00000700: PUSH1 0x1a 00000702: PUSH1 0x24 00000704: DUP3 00000705: ADD 00000706: MSTORE 00000707: PUSH32 0x43616c6c6572206973206e6f7420746865206578656375746f72000000000000 00000728: PUSH1 0x44 0000072a: DUP3 0000072b: ADD 0000072c: MSTORE 0000072d: PUSH1 0x64 0000072f: ADD 00000730: PUSH2 0x02f2 00000733: JUMP 00000734: JUMPDEST 00000735: DUP2 00000736: MLOAD 00000737: DUP4 00000738: MLOAD 00000739: EQ 0000073a: PUSH2 0x0774 0000073d: JUMPI 0000073e: PUSH1 0x40 00000740: MLOAD 00000741: PUSH3 0x461bcd 00000745: PUSH1 0xe5 00000747: SHL 00000748: DUP2 00000749: MSTORE 0000074a: PUSH1 0x20 0000074c: PUSH1 0x04 0000074e: DUP3 0000074f: ADD 00000750: MSTORE 00000751: PUSH1 0x0c 00000753: PUSH1 0x24 00000755: DUP3 00000756: ADD 00000757: MSTORE 00000758: PUSH12 0x496e76616c69642064617461 00000765: PUSH1 0xa0 00000767: SHL 00000768: PUSH1 0x44 0000076a: DUP3 0000076b: ADD 0000076c: MSTORE 0000076d: PUSH1 0x64 0000076f: ADD 00000770: PUSH2 0x02f2 00000773: JUMP 00000774: JUMPDEST 00000775: PUSH1 0x04 00000777: SLOAD 00000778: PUSH1 0xff 0000077a: AND 0000077b: PUSH2 0x07b2 0000077e: JUMPI 0000077f: PUSH1 0x40 00000781: MLOAD 00000782: PUSH3 0x461bcd 00000786: PUSH1 0xe5 00000788: SHL 00000789: DUP2 0000078a: MSTORE 0000078b: PUSH1 0x20 0000078d: PUSH1 0x04 0000078f: DUP3 00000790: ADD 00000791: MSTORE 00000792: PUSH1 0x09 00000794: PUSH1 0x24 00000796: DUP3 00000797: ADD 00000798: MSTORE 00000799: PUSH9 0x526566756e64696e67 000007a3: PUSH1 0xb8 000007a5: SHL 000007a6: PUSH1 0x44 000007a8: DUP3 000007a9: ADD 000007aa: MSTORE 000007ab: PUSH1 0x64 000007ad: ADD 000007ae: PUSH2 0x02f2 000007b1: JUMP 000007b2: JUMPDEST 000007b3: PUSH1 0x00 000007b5: JUMPDEST 000007b6: DUP4 000007b7: MLOAD 000007b8: DUP2 000007b9: LT 000007ba: ISZERO 000007bb: PUSH2 0x08e8 000007be: JUMPI 000007bf: PUSH1 0x00 000007c1: PUSH1 0x01 000007c3: PUSH1 0x01 000007c5: PUSH1 0xa0 000007c7: SHL 000007c8: SUB 000007c9: AND 000007ca: DUP5 000007cb: DUP3 000007cc: DUP2 000007cd: MLOAD 000007ce: DUP2 000007cf: LT 000007d0: PUSH2 0x07db 000007d3: JUMPI 000007d4: PUSH2 0x07db 000007d7: PUSH2 0x0e77 000007da: JUMP 000007db: JUMPDEST 000007dc: PUSH1 0x20 000007de: MUL 000007df: PUSH1 0x20 000007e1: ADD 000007e2: ADD 000007e3: MLOAD 000007e4: PUSH1 0x01 000007e6: PUSH1 0x01 000007e8: PUSH1 0xa0 000007ea: SHL 000007eb: SUB 000007ec: AND 000007ed: EQ 000007ee: ISZERO 000007ef: PUSH2 0x081a 000007f2: JUMPI 000007f3: PUSH2 0x0815 000007f6: DUP3 000007f7: DUP5 000007f8: DUP4 000007f9: DUP2 000007fa: MLOAD 000007fb: DUP2 000007fc: LT 000007fd: PUSH2 0x0808 00000800: JUMPI 00000801: PUSH2 0x0808 00000804: PUSH2 0x0e77 00000807: JUMP 00000808: JUMPDEST 00000809: PUSH1 0x20 0000080b: MUL 0000080c: PUSH1 0x20 0000080e: ADD 0000080f: ADD 00000810: MLOAD 00000811: PUSH2 0x09c9 00000814: JUMP 00000815: JUMPDEST 00000816: PUSH2 0x0857 00000819: JUMP 0000081a: JUMPDEST 0000081b: PUSH2 0x0857 0000081e: DUP5 0000081f: DUP3 00000820: DUP2 00000821: MLOAD 00000822: DUP2 00000823: LT 00000824: PUSH2 0x082f 00000827: JUMPI 00000828: PUSH2 0x082f 0000082b: PUSH2 0x0e77 0000082e: JUMP 0000082f: JUMPDEST 00000830: PUSH1 0x20 00000832: MUL 00000833: PUSH1 0x20 00000835: ADD 00000836: ADD 00000837: MLOAD 00000838: DUP4 00000839: DUP6 0000083a: DUP5 0000083b: DUP2 0000083c: MLOAD 0000083d: DUP2 0000083e: LT 0000083f: PUSH2 0x084a 00000842: JUMPI 00000843: PUSH2 0x084a 00000846: PUSH2 0x0e77 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH1 0x20 0000084d: MUL 0000084e: PUSH1 0x20 00000850: ADD 00000851: ADD 00000852: MLOAD 00000853: PUSH2 0x0a76 00000856: JUMP 00000857: JUMPDEST 00000858: DUP4 00000859: DUP2 0000085a: DUP2 0000085b: MLOAD 0000085c: DUP2 0000085d: LT 0000085e: PUSH2 0x0869 00000861: JUMPI 00000862: PUSH2 0x0869 00000865: PUSH2 0x0e77 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH1 0x20 0000086c: MUL 0000086d: PUSH1 0x20 0000086f: ADD 00000870: ADD 00000871: MLOAD 00000872: PUSH1 0x01 00000874: PUSH1 0x01 00000876: PUSH1 0xa0 00000878: SHL 00000879: SUB 0000087a: AND 0000087b: DUP3 0000087c: PUSH1 0x01 0000087e: PUSH1 0x01 00000880: PUSH1 0xa0 00000882: SHL 00000883: SUB 00000884: AND 00000885: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb 000008a6: DUP6 000008a7: DUP5 000008a8: DUP2 000008a9: MLOAD 000008aa: DUP2 000008ab: LT 000008ac: PUSH2 0x08b7 000008af: JUMPI 000008b0: PUSH2 0x08b7 000008b3: PUSH2 0x0e77 000008b6: JUMP 000008b7: JUMPDEST 000008b8: PUSH1 0x20 000008ba: MUL 000008bb: PUSH1 0x20 000008bd: ADD 000008be: ADD 000008bf: MLOAD 000008c0: PUSH1 0x40 000008c2: MLOAD 000008c3: PUSH2 0x08ce 000008c6: SWAP2 000008c7: DUP2 000008c8: MSTORE 000008c9: PUSH1 0x20 000008cb: ADD 000008cc: SWAP1 000008cd: JUMP 000008ce: JUMPDEST 000008cf: PUSH1 0x40 000008d1: MLOAD 000008d2: DUP1 000008d3: SWAP2 000008d4: SUB 000008d5: SWAP1 000008d6: LOG3 000008d7: DUP1 000008d8: PUSH2 0x08e0 000008db: DUP2 000008dc: PUSH2 0x0e4e 000008df: JUMP 000008e0: JUMPDEST 000008e1: SWAP2 000008e2: POP 000008e3: POP 000008e4: PUSH2 0x07b5 000008e7: JUMP 000008e8: JUMPDEST 000008e9: POP 000008ea: POP 000008eb: POP 000008ec: POP 000008ed: JUMP 000008ee: JUMPDEST 000008ef: CALLER 000008f0: PUSH2 0x0901 000008f3: PUSH1 0x01 000008f5: SLOAD 000008f6: PUSH1 0x01 000008f8: PUSH1 0x01 000008fa: PUSH1 0xa0 000008fc: SHL 000008fd: SUB 000008fe: AND 000008ff: SWAP1 00000900: JUMP 00000901: JUMPDEST 00000902: PUSH1 0x01 00000904: PUSH1 0x01 00000906: PUSH1 0xa0 00000908: SHL 00000909: SUB 0000090a: AND 0000090b: EQ 0000090c: PUSH2 0x0957 0000090f: JUMPI 00000910: PUSH1 0x40 00000912: MLOAD 00000913: PUSH3 0x461bcd 00000917: PUSH1 0xe5 00000919: SHL 0000091a: DUP2 0000091b: MSTORE 0000091c: PUSH1 0x20 0000091e: PUSH1 0x04 00000920: DUP3 00000921: ADD 00000922: MSTORE 00000923: PUSH1 0x17 00000925: PUSH1 0x24 00000927: DUP3 00000928: ADD 00000929: MSTORE 0000092a: PUSH32 0x43616c6c6572206973206e6f7420746865206f776e6572000000000000000000 0000094b: PUSH1 0x44 0000094d: DUP3 0000094e: ADD 0000094f: MSTORE 00000950: PUSH1 0x64 00000952: ADD 00000953: PUSH2 0x02f2 00000956: JUMP 00000957: JUMPDEST 00000958: PUSH1 0x03 0000095a: SLOAD 0000095b: PUSH1 0x04 0000095d: SLOAD 0000095e: PUSH1 0x40 00000960: DUP1 00000961: MLOAD 00000962: SWAP3 00000963: DUP4 00000964: MSTORE 00000965: PUSH1 0x20 00000967: DUP4 00000968: ADD 00000969: DUP5 0000096a: SWAP1 0000096b: MSTORE 0000096c: PUSH1 0xff 0000096e: SWAP1 0000096f: SWAP2 00000970: AND 00000971: ISZERO 00000972: ISZERO 00000973: DUP3 00000974: DUP3 00000975: ADD 00000976: MSTORE 00000977: DUP4 00000978: ISZERO 00000979: ISZERO 0000097a: PUSH1 0x60 0000097c: DUP4 0000097d: ADD 0000097e: MSTORE 0000097f: MLOAD 00000980: PUSH32 0xfa1c2b2d91202d1b262e24467014dde43d43fba77ef915b8c60a57765d1916a9 000009a1: SWAP2 000009a2: DUP2 000009a3: SWAP1 000009a4: SUB 000009a5: PUSH1 0x80 000009a7: ADD 000009a8: SWAP1 000009a9: LOG1 000009aa: DUP1 000009ab: ISZERO 000009ac: PUSH2 0x09b5 000009af: JUMPI 000009b0: PUSH1 0x03 000009b2: DUP2 000009b3: SWAP1 000009b4: SSTORE 000009b5: JUMPDEST 000009b6: POP 000009b7: PUSH1 0x04 000009b9: DUP1 000009ba: SLOAD 000009bb: PUSH1 0xff 000009bd: NOT 000009be: AND 000009bf: SWAP2 000009c0: ISZERO 000009c1: ISZERO 000009c2: SWAP2 000009c3: SWAP1 000009c4: SWAP2 000009c5: OR 000009c6: SWAP1 000009c7: SSTORE 000009c8: JUMP 000009c9: JUMPDEST 000009ca: PUSH1 0x40 000009cc: DUP1 000009cd: MLOAD 000009ce: PUSH1 0x00 000009d0: DUP1 000009d1: DUP3 000009d2: MSTORE 000009d3: PUSH1 0x20 000009d5: DUP3 000009d6: ADD 000009d7: SWAP1 000009d8: SWAP3 000009d9: MSTORE 000009da: PUSH1 0x01 000009dc: PUSH1 0x01 000009de: PUSH1 0xa0 000009e0: SHL 000009e1: SUB 000009e2: DUP5 000009e3: AND 000009e4: SWAP1 000009e5: DUP4 000009e6: SWAP1 000009e7: PUSH1 0x40 000009e9: MLOAD 000009ea: PUSH2 0x09f3 000009ed: SWAP2 000009ee: SWAP1 000009ef: PUSH2 0x0dbe 000009f2: JUMP 000009f3: JUMPDEST 000009f4: PUSH1 0x00 000009f6: PUSH1 0x40 000009f8: MLOAD 000009f9: DUP1 000009fa: DUP4 000009fb: SUB 000009fc: DUP2 000009fd: DUP6 000009fe: DUP8 000009ff: GAS 00000a00: CALL 00000a01: SWAP3 00000a02: POP 00000a03: POP 00000a04: POP 00000a05: RETURNDATASIZE 00000a06: DUP1 00000a07: PUSH1 0x00 00000a09: DUP2 00000a0a: EQ 00000a0b: PUSH2 0x0a30 00000a0e: JUMPI 00000a0f: PUSH1 0x40 00000a11: MLOAD 00000a12: SWAP2 00000a13: POP 00000a14: PUSH1 0x1f 00000a16: NOT 00000a17: PUSH1 0x3f 00000a19: RETURNDATASIZE 00000a1a: ADD 00000a1b: AND 00000a1c: DUP3 00000a1d: ADD 00000a1e: PUSH1 0x40 00000a20: MSTORE 00000a21: RETURNDATASIZE 00000a22: DUP3 00000a23: MSTORE 00000a24: RETURNDATASIZE 00000a25: PUSH1 0x00 00000a27: PUSH1 0x20 00000a29: DUP5 00000a2a: ADD 00000a2b: RETURNDATACOPY 00000a2c: PUSH2 0x0a35 00000a2f: JUMP 00000a30: JUMPDEST 00000a31: PUSH1 0x60 00000a33: SWAP2 00000a34: POP 00000a35: JUMPDEST 00000a36: POP 00000a37: POP 00000a38: SWAP1 00000a39: POP 00000a3a: DUP1 00000a3b: PUSH2 0x06c6 00000a3e: JUMPI 00000a3f: PUSH1 0x40 00000a41: MLOAD 00000a42: PUSH3 0x461bcd 00000a46: PUSH1 0xe5 00000a48: SHL 00000a49: DUP2 00000a4a: MSTORE 00000a4b: PUSH1 0x20 00000a4d: PUSH1 0x04 00000a4f: DUP3 00000a50: ADD 00000a51: MSTORE 00000a52: PUSH1 0x0d 00000a54: PUSH1 0x24 00000a56: DUP3 00000a57: ADD 00000a58: MSTORE 00000a59: PUSH13 0x1499599d5b990819985a5b1959 00000a67: PUSH1 0x9a 00000a69: SHL 00000a6a: PUSH1 0x44 00000a6c: DUP3 00000a6d: ADD 00000a6e: MSTORE 00000a6f: PUSH1 0x64 00000a71: ADD 00000a72: PUSH2 0x02f2 00000a75: JUMP 00000a76: JUMPDEST 00000a77: PUSH1 0x40 00000a79: DUP1 00000a7a: MLOAD 00000a7b: PUSH1 0x01 00000a7d: PUSH1 0x01 00000a7f: PUSH1 0xa0 00000a81: SHL 00000a82: SUB 00000a83: DUP5 00000a84: DUP2 00000a85: AND 00000a86: PUSH1 0x24 00000a88: DUP4 00000a89: ADD 00000a8a: MSTORE 00000a8b: PUSH1 0x44 00000a8d: DUP1 00000a8e: DUP4 00000a8f: ADD 00000a90: DUP6 00000a91: SWAP1 00000a92: MSTORE 00000a93: DUP4 00000a94: MLOAD 00000a95: DUP1 00000a96: DUP5 00000a97: SUB 00000a98: SWAP1 00000a99: SWAP2 00000a9a: ADD 00000a9b: DUP2 00000a9c: MSTORE 00000a9d: PUSH1 0x64 00000a9f: SWAP1 00000aa0: SWAP3 00000aa1: ADD 00000aa2: DUP4 00000aa3: MSTORE 00000aa4: PUSH1 0x20 00000aa6: DUP3 00000aa7: ADD 00000aa8: DUP1 00000aa9: MLOAD 00000aaa: PUSH1 0x01 00000aac: PUSH1 0x01 00000aae: PUSH1 0xe0 00000ab0: SHL 00000ab1: SUB 00000ab2: AND 00000ab3: PUSH4 0xa9059cbb 00000ab8: PUSH1 0xe0 00000aba: SHL 00000abb: OR 00000abc: SWAP1 00000abd: MSTORE 00000abe: SWAP2 00000abf: MLOAD 00000ac0: PUSH1 0x00 00000ac2: SWAP3 00000ac3: DUP4 00000ac4: SWAP3 00000ac5: SWAP1 00000ac6: DUP8 00000ac7: AND 00000ac8: SWAP2 00000ac9: PUSH2 0x0ad2 00000acc: SWAP2 00000acd: SWAP1 00000ace: PUSH2 0x0dbe 00000ad1: JUMP 00000ad2: JUMPDEST 00000ad3: PUSH1 0x00 00000ad5: PUSH1 0x40 00000ad7: MLOAD 00000ad8: DUP1 00000ad9: DUP4 00000ada: SUB 00000adb: DUP2 00000adc: PUSH1 0x00 00000ade: DUP7 00000adf: GAS 00000ae0: CALL 00000ae1: SWAP2 00000ae2: POP 00000ae3: POP 00000ae4: RETURNDATASIZE 00000ae5: DUP1 00000ae6: PUSH1 0x00 00000ae8: DUP2 00000ae9: EQ 00000aea: PUSH2 0x0b0f 00000aed: JUMPI 00000aee: PUSH1 0x40 00000af0: MLOAD 00000af1: SWAP2 00000af2: POP 00000af3: PUSH1 0x1f 00000af5: NOT 00000af6: PUSH1 0x3f 00000af8: RETURNDATASIZE 00000af9: ADD 00000afa: AND 00000afb: DUP3 00000afc: ADD 00000afd: PUSH1 0x40 00000aff: MSTORE 00000b00: RETURNDATASIZE 00000b01: DUP3 00000b02: MSTORE 00000b03: RETURNDATASIZE 00000b04: PUSH1 0x00 00000b06: PUSH1 0x20 00000b08: DUP5 00000b09: ADD 00000b0a: RETURNDATACOPY 00000b0b: PUSH2 0x0b14 00000b0e: JUMP 00000b0f: JUMPDEST 00000b10: PUSH1 0x60 00000b12: SWAP2 00000b13: POP 00000b14: JUMPDEST 00000b15: POP 00000b16: SWAP2 00000b17: POP 00000b18: SWAP2 00000b19: POP 00000b1a: DUP2 00000b1b: DUP1 00000b1c: ISZERO 00000b1d: PUSH2 0x0b3e 00000b20: JUMPI 00000b21: POP 00000b22: DUP1 00000b23: MLOAD 00000b24: ISZERO 00000b25: DUP1 00000b26: PUSH2 0x0b3e 00000b29: JUMPI 00000b2a: POP 00000b2b: DUP1 00000b2c: DUP1 00000b2d: PUSH1 0x20 00000b2f: ADD 00000b30: SWAP1 00000b31: MLOAD 00000b32: DUP2 00000b33: ADD 00000b34: SWAP1 00000b35: PUSH2 0x0b3e 00000b38: SWAP2 00000b39: SWAP1 00000b3a: PUSH2 0x0d75 00000b3d: JUMP 00000b3e: JUMPDEST 00000b3f: PUSH2 0x0b7a 00000b42: JUMPI 00000b43: PUSH1 0x40 00000b45: MLOAD 00000b46: PUSH3 0x461bcd 00000b4a: PUSH1 0xe5 00000b4c: SHL 00000b4d: DUP2 00000b4e: MSTORE 00000b4f: PUSH1 0x20 00000b51: PUSH1 0x04 00000b53: DUP3 00000b54: ADD 00000b55: MSTORE 00000b56: PUSH1 0x0d 00000b58: PUSH1 0x24 00000b5a: DUP3 00000b5b: ADD 00000b5c: MSTORE 00000b5d: PUSH13 0x1499599d5b990819985a5b1959 00000b6b: PUSH1 0x9a 00000b6d: SHL 00000b6e: PUSH1 0x44 00000b70: DUP3 00000b71: ADD 00000b72: MSTORE 00000b73: PUSH1 0x64 00000b75: ADD 00000b76: PUSH2 0x02f2 00000b79: JUMP 00000b7a: JUMPDEST 00000b7b: POP 00000b7c: POP 00000b7d: POP 00000b7e: POP 00000b7f: POP 00000b80: JUMP 00000b81: JUMPDEST 00000b82: DUP1 00000b83: CALLDATALOAD 00000b84: PUSH2 0x0b8c 00000b87: DUP2 00000b88: PUSH2 0x0f03 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: SWAP2 00000b8e: SWAP1 00000b8f: POP 00000b90: JUMP 00000b91: JUMPDEST 00000b92: PUSH1 0x00 00000b94: DUP3 00000b95: PUSH1 0x1f 00000b97: DUP4 00000b98: ADD 00000b99: SLT 00000b9a: PUSH2 0x0ba2 00000b9d: JUMPI 00000b9e: PUSH1 0x00 00000ba0: DUP1 00000ba1: REVERT 00000ba2: JUMPDEST 00000ba3: DUP2 00000ba4: CALLDATALOAD 00000ba5: PUSH1 0x20 00000ba7: PUSH2 0x0bb7 00000baa: PUSH2 0x0bb2 00000bad: DUP4 00000bae: PUSH2 0x0e2a 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: PUSH2 0x0df9 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: DUP1 00000bb9: DUP4 00000bba: DUP3 00000bbb: MSTORE 00000bbc: DUP3 00000bbd: DUP3 00000bbe: ADD 00000bbf: SWAP2 00000bc0: POP 00000bc1: DUP3 00000bc2: DUP7 00000bc3: ADD 00000bc4: DUP8 00000bc5: DUP5 00000bc6: DUP7 00000bc7: PUSH1 0x05 00000bc9: SHL 00000bca: DUP10 00000bcb: ADD 00000bcc: ADD 00000bcd: GT 00000bce: ISZERO 00000bcf: PUSH2 0x0bd7 00000bd2: JUMPI 00000bd3: PUSH1 0x00 00000bd5: DUP1 00000bd6: REVERT 00000bd7: JUMPDEST 00000bd8: PUSH1 0x00 00000bda: JUMPDEST 00000bdb: DUP6 00000bdc: DUP2 00000bdd: LT 00000bde: ISZERO 00000bdf: PUSH2 0x0bf6 00000be2: JUMPI 00000be3: DUP2 00000be4: CALLDATALOAD 00000be5: DUP5 00000be6: MSTORE 00000be7: SWAP3 00000be8: DUP5 00000be9: ADD 00000bea: SWAP3 00000beb: SWAP1 00000bec: DUP5 00000bed: ADD 00000bee: SWAP1 00000bef: PUSH1 0x01 00000bf1: ADD 00000bf2: PUSH2 0x0bda 00000bf5: JUMP 00000bf6: JUMPDEST 00000bf7: POP 00000bf8: SWAP1 00000bf9: SWAP8 00000bfa: SWAP7 00000bfb: POP 00000bfc: POP 00000bfd: POP 00000bfe: POP 00000bff: POP 00000c00: POP 00000c01: POP 00000c02: JUMP 00000c03: JUMPDEST 00000c04: PUSH1 0x00 00000c06: PUSH1 0x20 00000c08: DUP3 00000c09: DUP5 00000c0a: SUB 00000c0b: SLT 00000c0c: ISZERO 00000c0d: PUSH2 0x0c15 00000c10: JUMPI 00000c11: PUSH1 0x00 00000c13: DUP1 00000c14: REVERT 00000c15: JUMPDEST 00000c16: DUP2 00000c17: CALLDATALOAD 00000c18: PUSH2 0x0c20 00000c1b: DUP2 00000c1c: PUSH2 0x0f03 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: SWAP4 00000c22: SWAP3 00000c23: POP 00000c24: POP 00000c25: POP 00000c26: JUMP 00000c27: JUMPDEST 00000c28: PUSH1 0x00 00000c2a: DUP1 00000c2b: PUSH1 0x00 00000c2d: PUSH1 0x60 00000c2f: DUP5 00000c30: DUP7 00000c31: SUB 00000c32: SLT 00000c33: ISZERO 00000c34: PUSH2 0x0c3c 00000c37: JUMPI 00000c38: PUSH1 0x00 00000c3a: DUP1 00000c3b: REVERT 00000c3c: JUMPDEST 00000c3d: DUP4 00000c3e: CALLDATALOAD 00000c3f: PUSH8 0xffffffffffffffff 00000c48: DUP1 00000c49: DUP3 00000c4a: GT 00000c4b: ISZERO 00000c4c: PUSH2 0x0c54 00000c4f: JUMPI 00000c50: PUSH1 0x00 00000c52: DUP1 00000c53: REVERT 00000c54: JUMPDEST 00000c55: DUP2 00000c56: DUP7 00000c57: ADD 00000c58: SWAP2 00000c59: POP 00000c5a: DUP7 00000c5b: PUSH1 0x1f 00000c5d: DUP4 00000c5e: ADD 00000c5f: SLT 00000c60: PUSH2 0x0c68 00000c63: JUMPI 00000c64: PUSH1 0x00 00000c66: DUP1 00000c67: REVERT 00000c68: JUMPDEST 00000c69: DUP2 00000c6a: CALLDATALOAD 00000c6b: PUSH1 0x20 00000c6d: PUSH2 0x0c78 00000c70: PUSH2 0x0bb2 00000c73: DUP4 00000c74: PUSH2 0x0e2a 00000c77: JUMP 00000c78: JUMPDEST 00000c79: DUP1 00000c7a: DUP4 00000c7b: DUP3 00000c7c: MSTORE 00000c7d: DUP3 00000c7e: DUP3 00000c7f: ADD 00000c80: SWAP2 00000c81: POP 00000c82: DUP3 00000c83: DUP7 00000c84: ADD 00000c85: DUP12 00000c86: DUP5 00000c87: DUP7 00000c88: PUSH1 0x05 00000c8a: SHL 00000c8b: DUP10 00000c8c: ADD 00000c8d: ADD 00000c8e: GT 00000c8f: ISZERO 00000c90: PUSH2 0x0c98 00000c93: JUMPI 00000c94: PUSH1 0x00 00000c96: DUP1 00000c97: REVERT 00000c98: JUMPDEST 00000c99: PUSH1 0x00 00000c9b: SWAP7 00000c9c: POP 00000c9d: JUMPDEST 00000c9e: DUP5 00000c9f: DUP8 00000ca0: LT 00000ca1: ISZERO 00000ca2: PUSH2 0x0cc4 00000ca5: JUMPI 00000ca6: DUP1 00000ca7: CALLDATALOAD 00000ca8: PUSH2 0x0cb0 00000cab: DUP2 00000cac: PUSH2 0x0f03 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: DUP4 00000cb2: MSTORE 00000cb3: PUSH1 0x01 00000cb5: SWAP7 00000cb6: SWAP1 00000cb7: SWAP7 00000cb8: ADD 00000cb9: SWAP6 00000cba: SWAP2 00000cbb: DUP4 00000cbc: ADD 00000cbd: SWAP2 00000cbe: DUP4 00000cbf: ADD 00000cc0: PUSH2 0x0c9d 00000cc3: JUMP 00000cc4: JUMPDEST 00000cc5: POP 00000cc6: SWAP8 00000cc7: POP 00000cc8: POP 00000cc9: DUP8 00000cca: ADD 00000ccb: CALLDATALOAD 00000ccc: SWAP3 00000ccd: POP 00000cce: POP 00000ccf: DUP1 00000cd0: DUP3 00000cd1: GT 00000cd2: ISZERO 00000cd3: PUSH2 0x0cdb 00000cd6: JUMPI 00000cd7: PUSH1 0x00 00000cd9: DUP1 00000cda: REVERT 00000cdb: JUMPDEST 00000cdc: POP 00000cdd: PUSH2 0x0ce8 00000ce0: DUP7 00000ce1: DUP3 00000ce2: DUP8 00000ce3: ADD 00000ce4: PUSH2 0x0b91 00000ce7: JUMP 00000ce8: JUMPDEST 00000ce9: SWAP3 00000cea: POP 00000ceb: POP 00000cec: PUSH2 0x0cf7 00000cef: PUSH1 0x40 00000cf1: DUP6 00000cf2: ADD 00000cf3: PUSH2 0x0b81 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: SWAP1 00000cf9: POP 00000cfa: SWAP3 00000cfb: POP 00000cfc: SWAP3 00000cfd: POP 00000cfe: SWAP3 00000cff: JUMP 00000d00: JUMPDEST 00000d01: PUSH1 0x00 00000d03: DUP1 00000d04: PUSH1 0x20 00000d06: DUP4 00000d07: DUP6 00000d08: SUB 00000d09: SLT 00000d0a: ISZERO 00000d0b: PUSH2 0x0d13 00000d0e: JUMPI 00000d0f: PUSH1 0x00 00000d11: DUP1 00000d12: REVERT 00000d13: JUMPDEST 00000d14: DUP3 00000d15: CALLDATALOAD 00000d16: PUSH8 0xffffffffffffffff 00000d1f: DUP1 00000d20: DUP3 00000d21: GT 00000d22: ISZERO 00000d23: PUSH2 0x0d2b 00000d26: JUMPI 00000d27: PUSH1 0x00 00000d29: DUP1 00000d2a: REVERT 00000d2b: JUMPDEST 00000d2c: DUP2 00000d2d: DUP6 00000d2e: ADD 00000d2f: SWAP2 00000d30: POP 00000d31: DUP6 00000d32: PUSH1 0x1f 00000d34: DUP4 00000d35: ADD 00000d36: SLT 00000d37: PUSH2 0x0d3f 00000d3a: JUMPI 00000d3b: PUSH1 0x00 00000d3d: DUP1 00000d3e: REVERT 00000d3f: JUMPDEST 00000d40: DUP2 00000d41: CALLDATALOAD 00000d42: DUP2 00000d43: DUP2 00000d44: GT 00000d45: ISZERO 00000d46: PUSH2 0x0d4e 00000d49: JUMPI 00000d4a: PUSH1 0x00 00000d4c: DUP1 00000d4d: REVERT 00000d4e: JUMPDEST 00000d4f: DUP7 00000d50: PUSH1 0x20 00000d52: PUSH1 0x60 00000d54: DUP4 00000d55: MUL 00000d56: DUP6 00000d57: ADD 00000d58: ADD 00000d59: GT 00000d5a: ISZERO 00000d5b: PUSH2 0x0d63 00000d5e: JUMPI 00000d5f: PUSH1 0x00 00000d61: DUP1 00000d62: REVERT 00000d63: JUMPDEST 00000d64: PUSH1 0x20 00000d66: SWAP3 00000d67: SWAP1 00000d68: SWAP3 00000d69: ADD 00000d6a: SWAP7 00000d6b: SWAP2 00000d6c: SWAP6 00000d6d: POP 00000d6e: SWAP1 00000d6f: SWAP4 00000d70: POP 00000d71: POP 00000d72: POP 00000d73: POP 00000d74: JUMP 00000d75: JUMPDEST 00000d76: PUSH1 0x00 00000d78: PUSH1 0x20 00000d7a: DUP3 00000d7b: DUP5 00000d7c: SUB 00000d7d: SLT 00000d7e: ISZERO 00000d7f: PUSH2 0x0d87 00000d82: JUMPI 00000d83: PUSH1 0x00 00000d85: DUP1 00000d86: REVERT 00000d87: JUMPDEST 00000d88: DUP2 00000d89: MLOAD 00000d8a: PUSH2 0x0c20 00000d8d: DUP2 00000d8e: PUSH2 0x0f1b 00000d91: JUMP 00000d92: JUMPDEST 00000d93: PUSH1 0x00 00000d95: DUP1 00000d96: PUSH1 0x40 00000d98: DUP4 00000d99: DUP6 00000d9a: SUB 00000d9b: SLT 00000d9c: ISZERO 00000d9d: PUSH2 0x0da5 00000da0: JUMPI 00000da1: PUSH1 0x00 00000da3: DUP1 00000da4: REVERT 00000da5: JUMPDEST 00000da6: DUP3 00000da7: CALLDATALOAD 00000da8: PUSH2 0x0db0 00000dab: DUP2 00000dac: PUSH2 0x0f1b 00000daf: JUMP 00000db0: JUMPDEST 00000db1: SWAP5 00000db2: PUSH1 0x20 00000db4: SWAP4 00000db5: SWAP1 00000db6: SWAP4 00000db7: ADD 00000db8: CALLDATALOAD 00000db9: SWAP4 00000dba: POP 00000dbb: POP 00000dbc: POP 00000dbd: JUMP 00000dbe: JUMPDEST 00000dbf: PUSH1 0x00 00000dc1: DUP3 00000dc2: MLOAD 00000dc3: PUSH1 0x00 00000dc5: JUMPDEST 00000dc6: DUP2 00000dc7: DUP2 00000dc8: LT 00000dc9: ISZERO 00000dca: PUSH2 0x0ddf 00000dcd: JUMPI 00000dce: PUSH1 0x20 00000dd0: DUP2 00000dd1: DUP7 00000dd2: ADD 00000dd3: DUP2 00000dd4: ADD 00000dd5: MLOAD 00000dd6: DUP6 00000dd7: DUP4 00000dd8: ADD 00000dd9: MSTORE 00000dda: ADD 00000ddb: PUSH2 0x0dc5 00000dde: JUMP 00000ddf: JUMPDEST 00000de0: DUP2 00000de1: DUP2 00000de2: GT 00000de3: ISZERO 00000de4: PUSH2 0x0dee 00000de7: JUMPI 00000de8: PUSH1 0x00 00000dea: DUP3 00000deb: DUP6 00000dec: ADD 00000ded: MSTORE 00000dee: JUMPDEST 00000def: POP 00000df0: SWAP2 00000df1: SWAP1 00000df2: SWAP2 00000df3: ADD 00000df4: SWAP3 00000df5: SWAP2 00000df6: POP 00000df7: POP 00000df8: JUMP 00000df9: JUMPDEST 00000dfa: PUSH1 0x40 00000dfc: MLOAD 00000dfd: PUSH1 0x1f 00000dff: DUP3 00000e00: ADD 00000e01: PUSH1 0x1f 00000e03: NOT 00000e04: AND 00000e05: DUP2 00000e06: ADD 00000e07: PUSH8 0xffffffffffffffff 00000e10: DUP2 00000e11: GT 00000e12: DUP3 00000e13: DUP3 00000e14: LT 00000e15: OR 00000e16: ISZERO 00000e17: PUSH2 0x0e22 00000e1a: JUMPI 00000e1b: PUSH2 0x0e22 00000e1e: PUSH2 0x0e8d 00000e21: JUMP 00000e22: JUMPDEST 00000e23: PUSH1 0x40 00000e25: MSTORE 00000e26: SWAP2 00000e27: SWAP1 00000e28: POP 00000e29: JUMP 00000e2a: JUMPDEST 00000e2b: PUSH1 0x00 00000e2d: PUSH8 0xffffffffffffffff 00000e36: DUP3 00000e37: GT 00000e38: ISZERO 00000e39: PUSH2 0x0e44 00000e3c: JUMPI 00000e3d: PUSH2 0x0e44 00000e40: PUSH2 0x0e8d 00000e43: JUMP 00000e44: JUMPDEST 00000e45: POP 00000e46: PUSH1 0x05 00000e48: SHL 00000e49: PUSH1 0x20 00000e4b: ADD 00000e4c: SWAP1 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: PUSH1 0x00 00000e51: PUSH1 0x00 00000e53: NOT 00000e54: DUP3 00000e55: EQ 00000e56: ISZERO 00000e57: PUSH2 0x0e70 00000e5a: JUMPI 00000e5b: PUSH4 0x4e487b71 00000e60: PUSH1 0xe0 00000e62: SHL 00000e63: PUSH1 0x00 00000e65: MSTORE 00000e66: PUSH1 0x11 00000e68: PUSH1 0x04 00000e6a: MSTORE 00000e6b: PUSH1 0x24 00000e6d: PUSH1 0x00 00000e6f: REVERT 00000e70: JUMPDEST 00000e71: POP 00000e72: PUSH1 0x01 00000e74: ADD 00000e75: SWAP1 00000e76: JUMP 00000e77: JUMPDEST 00000e78: PUSH4 0x4e487b71 00000e7d: PUSH1 0xe0 00000e7f: SHL 00000e80: PUSH1 0x00 00000e82: MSTORE 00000e83: PUSH1 0x32 00000e85: PUSH1 0x04 00000e87: MSTORE 00000e88: PUSH1 0x24 00000e8a: PUSH1 0x00 00000e8c: REVERT 00000e8d: JUMPDEST 00000e8e: PUSH4 0x4e487b71 00000e93: PUSH1 0xe0 00000e95: SHL 00000e96: PUSH1 0x00 00000e98: MSTORE 00000e99: PUSH1 0x41 00000e9b: PUSH1 0x04 00000e9d: MSTORE 00000e9e: PUSH1 0x24 00000ea0: PUSH1 0x00 00000ea2: REVERT 00000ea3: JUMPDEST 00000ea4: DUP1 00000ea5: SLOAD 00000ea6: PUSH1 0x01 00000ea8: PUSH1 0x01 00000eaa: PUSH1 0xa0 00000eac: SHL 00000ead: SUB 00000eae: NOT 00000eaf: AND 00000eb0: PUSH1 0x01 00000eb2: PUSH1 0x01 00000eb4: PUSH1 0xa0 00000eb6: SHL 00000eb7: SUB 00000eb8: SWAP3 00000eb9: SWAP1 00000eba: SWAP3 00000ebb: AND 00000ebc: SWAP2 00000ebd: SWAP1 00000ebe: SWAP2 00000ebf: OR 00000ec0: SWAP1 00000ec1: SSTORE 00000ec2: JUMP 00000ec3: JUMPDEST 00000ec4: DUP2 00000ec5: CALLDATALOAD 00000ec6: PUSH2 0x0ece 00000ec9: DUP2 00000eca: PUSH2 0x0f03 00000ecd: JUMP 00000ece: JUMPDEST 00000ecf: PUSH2 0x0ed8 00000ed2: DUP2 00000ed3: DUP4 00000ed4: PUSH2 0x0ea3 00000ed7: JUMP 00000ed8: JUMPDEST 00000ed9: POP 00000eda: PUSH1 0x20 00000edc: DUP3 00000edd: ADD 00000ede: CALLDATALOAD 00000edf: PUSH2 0x0ee7 00000ee2: DUP2 00000ee3: PUSH2 0x0f03 00000ee6: JUMP 00000ee7: JUMPDEST 00000ee8: PUSH2 0x0ef4 00000eeb: DUP2 00000eec: PUSH1 0x01 00000eee: DUP5 00000eef: ADD 00000ef0: PUSH2 0x0ea3 00000ef3: JUMP 00000ef4: JUMPDEST 00000ef5: POP 00000ef6: PUSH1 0x40 00000ef8: DUP3 00000ef9: ADD 00000efa: CALLDATALOAD 00000efb: PUSH1 0x02 00000efd: DUP3 00000efe: ADD 00000eff: SSTORE 00000f00: POP 00000f01: POP 00000f02: JUMP 00000f03: JUMPDEST 00000f04: PUSH1 0x01 00000f06: PUSH1 0x01 00000f08: PUSH1 0xa0 00000f0a: SHL 00000f0b: SUB 00000f0c: DUP2 00000f0d: AND 00000f0e: DUP2 00000f0f: EQ 00000f10: PUSH2 0x0f18 00000f13: JUMPI 00000f14: PUSH1 0x00 00000f16: DUP1 00000f17: REVERT 00000f18: JUMPDEST 00000f19: POP 00000f1a: JUMP 00000f1b: JUMPDEST 00000f1c: DUP1 00000f1d: ISZERO 00000f1e: ISZERO 00000f1f: DUP2 00000f20: EQ 00000f21: PUSH2 0x0f18 00000f24: JUMPI 00000f25: PUSH1 0x00 00000f27: DUP1 00000f28: REVERT 00000f29: INVALID 00000f2a: LOG2 00000f2b: PUSH5 0x6970667358 00000f31: UNKNOWN(0x22) 00000f32: SLT 00000f33: KECCAK256 00000f34: PUSH6 0x297a593d9cc0 00000f3b: UNKNOWN(0x21) 00000f3c: POP 00000f3d: DUP5 00000f3e: SWAP3 00000f3f: SHL 00000f40: PUSH3 0x41ae33 00000f44: BLOCKHASH 00000f45: UNKNOWN(0xD1) 00000f46: POP 00000f47: CLZ 00000f48: UNKNOWN(0xDF) 00000f49: UNKNOWN(0xD6) 00000f4a: PUSH28
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 | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x516b37f36182cb7d87db289aaa97ecfaac157e7f8de126934d6370f2bd260314
call_targets:
0xc213f258f4142f53d086f9edb7a36e67eb347f63
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x516b37f36182cb7d87db289aaa97ecfaac157e7f8de126934d6370f2bd260314",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc213f258f4142f53d086f9edb7a36e67eb347f63"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x99df0bd5",
"selector": "0x99df0bd5",
"calldata_variants": [
"0x99df0bd5",
"0x99df0bd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6a11bb1",
"selector": "0xa6a11bb1",
"calldata_variants": [
"0xa6a11bb1",
"0xa6a11bb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd2e5a83",
"selector": "0xbd2e5a83",
"calldata_variants": [
"0xbd2e5a83",
"0xbd2e5a830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc34c08e5",
"selector": "0xc34c08e5",
"calldata_variants": [
"0xc34c08e5",
"0xc34c08e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71d92d",
"selector": "0x4e71d92d",
"calldata_variants": [
"0x4e71d92d",
"0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5957b1eb",
"selector": "0x5957b1eb",
"calldata_variants": [
"0x5957b1eb",
"0x5957b1eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6144b9a1",
"selector": "0x6144b9a1",
"calldata_variants": [
"0x6144b9a1",
"0x6144b9a10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2560,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2784,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x516b37f36182cb7d87db289aaa97ecfaac157e7f8de126934d6370f2bd260314
call_targets:
0xc213f258f4142f53d086f9edb7a36e67eb347f63
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x516b37f36182cb7d87db289aaa97ecfaac157e7f8de126934d6370f2bd260314",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc213f258f4142f53d086f9edb7a36e67eb347f63"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x99df0bd5",
"selector": "0x99df0bd5",
"calldata_variants": [
"0x99df0bd5",
"0x99df0bd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6a11bb1",
"selector": "0xa6a11bb1",
"calldata_variants": [
"0xa6a11bb1",
"0xa6a11bb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd2e5a83",
"selector": "0xbd2e5a83",
"calldata_variants": [
"0xbd2e5a83",
"0xbd2e5a830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc34c08e5",
"selector": "0xc34c08e5",
"calldata_variants": [
"0xc34c08e5",
"0xc34c08e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71d92d",
"selector": "0x4e71d92d",
"calldata_variants": [
"0x4e71d92d",
"0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5957b1eb",
"selector": "0x5957b1eb",
"calldata_variants": [
"0x5957b1eb",
"0x5957b1eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6144b9a1",
"selector": "0x6144b9a1",
"calldata_variants": [
"0x6144b9a1",
"0x6144b9a10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2560,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2784,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|