019b477e-d255-7345-9fd8-d994c8770908
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 |
|---|---|---|---|---|
| 27929 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27930 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103253 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103254 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103255 | detector.run | complete | 1 / 3 | 1 week ago |
| 103256 | 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 0x0074 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x71c5ecb1 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x71c5ecb1 00000024: EQ 00000025: PUSH2 0x010f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd3ed47de 0000002f: EQ 00000030: PUSH2 0x014c 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xde9375f2 0000003a: EQ 0000003b: PUSH2 0x0175 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf41c33e9 00000045: EQ 00000046: PUSH2 0x01a0 00000049: JUMPI 0000004a: PUSH2 0x007b 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x18712c21 00000055: EQ 00000056: PUSH2 0x0080 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x5312ea8e 00000060: EQ 00000061: PUSH2 0x00a9 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x5a9a49c7 0000006b: EQ 0000006c: PUSH2 0x00d2 0000006f: JUMPI 00000070: PUSH2 0x007b 00000073: JUMP 00000074: JUMPDEST 00000075: CALLDATASIZE 00000076: PUSH2 0x007b 00000079: JUMPI 0000007a: STOP 0000007b: JUMPDEST 0000007c: PUSH1 0x00 0000007e: DUP1 0000007f: REVERT 00000080: JUMPDEST 00000081: CALLVALUE 00000082: DUP1 00000083: ISZERO 00000084: PUSH2 0x008c 00000087: JUMPI 00000088: PUSH1 0x00 0000008a: DUP1 0000008b: REVERT 0000008c: JUMPDEST 0000008d: POP 0000008e: PUSH2 0x00a7 00000091: PUSH1 0x04 00000093: DUP1 00000094: CALLDATASIZE 00000095: SUB 00000096: DUP2 00000097: ADD 00000098: SWAP1 00000099: PUSH2 0x00a2 0000009c: SWAP2 0000009d: SWAP1 0000009e: PUSH2 0x0e7b 000000a1: JUMP 000000a2: JUMPDEST 000000a3: PUSH2 0x01dd 000000a6: JUMP 000000a7: JUMPDEST 000000a8: STOP 000000a9: JUMPDEST 000000aa: CALLVALUE 000000ab: DUP1 000000ac: ISZERO 000000ad: PUSH2 0x00b5 000000b0: JUMPI 000000b1: PUSH1 0x00 000000b3: DUP1 000000b4: REVERT 000000b5: JUMPDEST 000000b6: POP 000000b7: PUSH2 0x00d0 000000ba: PUSH1 0x04 000000bc: DUP1 000000bd: CALLDATASIZE 000000be: SUB 000000bf: DUP2 000000c0: ADD 000000c1: SWAP1 000000c2: PUSH2 0x00cb 000000c5: SWAP2 000000c6: SWAP1 000000c7: PUSH2 0x0ebb 000000ca: JUMP 000000cb: JUMPDEST 000000cc: PUSH2 0x0477 000000cf: JUMP 000000d0: JUMPDEST 000000d1: STOP 000000d2: JUMPDEST 000000d3: CALLVALUE 000000d4: DUP1 000000d5: ISZERO 000000d6: PUSH2 0x00de 000000d9: JUMPI 000000da: PUSH1 0x00 000000dc: DUP1 000000dd: REVERT 000000de: JUMPDEST 000000df: POP 000000e0: PUSH2 0x00f9 000000e3: PUSH1 0x04 000000e5: DUP1 000000e6: CALLDATASIZE 000000e7: SUB 000000e8: DUP2 000000e9: ADD 000000ea: SWAP1 000000eb: PUSH2 0x00f4 000000ee: SWAP2 000000ef: SWAP1 000000f0: PUSH2 0x1041 000000f3: JUMP 000000f4: JUMPDEST 000000f5: PUSH2 0x06db 000000f8: JUMP 000000f9: JUMPDEST 000000fa: PUSH1 0x40 000000fc: MLOAD 000000fd: PUSH2 0x0106 00000100: SWAP2 00000101: SWAP1 00000102: PUSH2 0x10cb 00000105: JUMP 00000106: JUMPDEST 00000107: PUSH1 0x40 00000109: MLOAD 0000010a: DUP1 0000010b: SWAP2 0000010c: SUB 0000010d: SWAP1 0000010e: RETURN 0000010f: JUMPDEST 00000110: CALLVALUE 00000111: DUP1 00000112: ISZERO 00000113: PUSH2 0x011b 00000116: JUMPI 00000117: PUSH1 0x00 00000119: DUP1 0000011a: REVERT 0000011b: JUMPDEST 0000011c: POP 0000011d: PUSH2 0x0136 00000120: PUSH1 0x04 00000122: DUP1 00000123: CALLDATASIZE 00000124: SUB 00000125: DUP2 00000126: ADD 00000127: SWAP1 00000128: PUSH2 0x0131 0000012b: SWAP2 0000012c: SWAP1 0000012d: PUSH2 0x0ebb 00000130: JUMP 00000131: JUMPDEST 00000132: PUSH2 0x06f1 00000135: JUMP 00000136: JUMPDEST 00000137: PUSH1 0x40 00000139: MLOAD 0000013a: PUSH2 0x0143 0000013d: SWAP2 0000013e: SWAP1 0000013f: PUSH2 0x10f5 00000142: JUMP 00000143: JUMPDEST 00000144: PUSH1 0x40 00000146: MLOAD 00000147: DUP1 00000148: SWAP2 00000149: SUB 0000014a: SWAP1 0000014b: RETURN 0000014c: JUMPDEST 0000014d: CALLVALUE 0000014e: DUP1 0000014f: ISZERO 00000150: PUSH2 0x0158 00000153: JUMPI 00000154: PUSH1 0x00 00000156: DUP1 00000157: REVERT 00000158: JUMPDEST 00000159: POP 0000015a: PUSH2 0x0173 0000015d: PUSH1 0x04 0000015f: DUP1 00000160: CALLDATASIZE 00000161: SUB 00000162: DUP2 00000163: ADD 00000164: SWAP1 00000165: PUSH2 0x016e 00000168: SWAP2 00000169: SWAP1 0000016a: PUSH2 0x116b 0000016d: JUMP 0000016e: JUMPDEST 0000016f: PUSH2 0x0709 00000172: JUMP 00000173: JUMPDEST 00000174: STOP 00000175: JUMPDEST 00000176: CALLVALUE 00000177: DUP1 00000178: ISZERO 00000179: PUSH2 0x0181 0000017c: JUMPI 0000017d: PUSH1 0x00 0000017f: DUP1 00000180: REVERT 00000181: JUMPDEST 00000182: POP 00000183: PUSH2 0x018a 00000186: PUSH2 0x0c21 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH1 0x40 0000018d: MLOAD 0000018e: PUSH2 0x0197 00000191: SWAP2 00000192: SWAP1 00000193: PUSH2 0x1237 00000196: JUMP 00000197: JUMPDEST 00000198: PUSH1 0x40 0000019a: MLOAD 0000019b: DUP1 0000019c: SWAP2 0000019d: SUB 0000019e: SWAP1 0000019f: RETURN 000001a0: JUMPDEST 000001a1: CALLVALUE 000001a2: DUP1 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: PUSH2 0x01c7 000001b1: PUSH1 0x04 000001b3: DUP1 000001b4: CALLDATASIZE 000001b5: SUB 000001b6: DUP2 000001b7: ADD 000001b8: SWAP1 000001b9: PUSH2 0x01c2 000001bc: SWAP2 000001bd: SWAP1 000001be: PUSH2 0x1290 000001c1: JUMP 000001c2: JUMPDEST 000001c3: PUSH2 0x0c45 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH1 0x40 000001ca: MLOAD 000001cb: PUSH2 0x01d4 000001ce: SWAP2 000001cf: SWAP1 000001d0: PUSH2 0x12cc 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH1 0x40 000001d7: MLOAD 000001d8: DUP1 000001d9: SWAP2 000001da: SUB 000001db: SWAP1 000001dc: RETURN 000001dd: JUMPDEST 000001de: PUSH32 0x000000000000000000000000287493f76b8a1833e9e0bf2de0d972fb16c6c8ae 000001ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000214: AND 00000215: PUSH4 0x4783c35b 0000021a: PUSH1 0x40 0000021c: MLOAD 0000021d: DUP2 0000021e: PUSH4 0xffffffff 00000223: AND 00000224: PUSH1 0xe0 00000226: SHL 00000227: DUP2 00000228: MSTORE 00000229: PUSH1 0x04 0000022b: ADD 0000022c: PUSH1 0x20 0000022e: PUSH1 0x40 00000230: MLOAD 00000231: DUP1 00000232: DUP4 00000233: SUB 00000234: DUP2 00000235: DUP7 00000236: GAS 00000237: STATICCALL 00000238: ISZERO 00000239: DUP1 0000023a: ISZERO 0000023b: PUSH2 0x0248 0000023e: JUMPI 0000023f: RETURNDATASIZE 00000240: PUSH1 0x00 00000242: DUP1 00000243: RETURNDATACOPY 00000244: RETURNDATASIZE 00000245: PUSH1 0x00 00000247: REVERT 00000248: JUMPDEST 00000249: POP 0000024a: POP 0000024b: POP 0000024c: POP 0000024d: PUSH1 0x40 0000024f: MLOAD 00000250: RETURNDATASIZE 00000251: PUSH1 0x1f 00000253: NOT 00000254: PUSH1 0x1f 00000256: DUP3 00000257: ADD 00000258: AND 00000259: DUP3 0000025a: ADD 0000025b: DUP1 0000025c: PUSH1 0x40 0000025e: MSTORE 0000025f: POP 00000260: DUP2 00000261: ADD 00000262: SWAP1 00000263: PUSH2 0x026c 00000266: SWAP2 00000267: SWAP1 00000268: PUSH2 0x12fc 0000026b: JUMP 0000026c: JUMPDEST 0000026d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000282: AND 00000283: CALLER 00000284: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000299: AND 0000029a: EQ 0000029b: PUSH1 0x40 0000029d: MLOAD 0000029e: DUP1 0000029f: PUSH1 0x40 000002a1: ADD 000002a2: PUSH1 0x40 000002a4: MSTORE 000002a5: DUP1 000002a6: PUSH1 0x1d 000002a8: DUP2 000002a9: MSTORE 000002aa: PUSH1 0x20 000002ac: ADD 000002ad: PUSH32 0x484e3a436f6d6d6f6e2f756e617574686f72697a65642d63616c6c6572000000 000002ce: DUP2 000002cf: MSTORE 000002d0: POP 000002d1: SWAP1 000002d2: PUSH2 0x0311 000002d5: JUMPI 000002d6: PUSH1 0x40 000002d8: MLOAD 000002d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000002fa: DUP2 000002fb: MSTORE 000002fc: PUSH1 0x04 000002fe: ADD 000002ff: PUSH2 0x0308 00000302: SWAP2 00000303: SWAP1 00000304: PUSH2 0x13a8 00000307: JUMP 00000308: JUMPDEST 00000309: PUSH1 0x40 0000030b: MLOAD 0000030c: DUP1 0000030d: SWAP2 0000030e: SUB 0000030f: SWAP1 00000310: REVERT 00000311: JUMPDEST 00000312: POP 00000313: PUSH1 0x00 00000315: DUP1 00000316: SHL 00000317: DUP2 00000318: EQ 00000319: ISZERO 0000031a: PUSH1 0x40 0000031c: MLOAD 0000031d: DUP1 0000031e: PUSH1 0x40 00000320: ADD 00000321: PUSH1 0x40 00000323: MSTORE 00000324: DUP1 00000325: PUSH1 0x1c 00000327: DUP2 00000328: MSTORE 00000329: PUSH1 0x20 0000032b: ADD 0000032c: PUSH32 0x484e3a5661756c742f696e76616c69642d6d65726b6c652d726f6f7400000000 0000034d: DUP2 0000034e: MSTORE 0000034f: POP 00000350: SWAP1 00000351: PUSH2 0x0390 00000354: JUMPI 00000355: PUSH1 0x40 00000357: MLOAD 00000358: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000379: DUP2 0000037a: MSTORE 0000037b: PUSH1 0x04 0000037d: ADD 0000037e: PUSH2 0x0387 00000381: SWAP2 00000382: SWAP1 00000383: PUSH2 0x13a8 00000386: JUMP 00000387: JUMPDEST 00000388: PUSH1 0x40 0000038a: MLOAD 0000038b: DUP1 0000038c: SWAP2 0000038d: SUB 0000038e: SWAP1 0000038f: REVERT 00000390: JUMPDEST 00000391: POP 00000392: PUSH1 0x00 00000394: DUP1 00000395: SHL 00000396: PUSH1 0x01 00000398: PUSH1 0x00 0000039a: DUP5 0000039b: DUP2 0000039c: MSTORE 0000039d: PUSH1 0x20 0000039f: ADD 000003a0: SWAP1 000003a1: DUP2 000003a2: MSTORE 000003a3: PUSH1 0x20 000003a5: ADD 000003a6: PUSH1 0x00 000003a8: KECCAK256 000003a9: SLOAD 000003aa: EQ 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: DUP1 000003af: PUSH1 0x40 000003b1: ADD 000003b2: PUSH1 0x40 000003b4: MSTORE 000003b5: DUP1 000003b6: PUSH1 0x20 000003b8: DUP2 000003b9: MSTORE 000003ba: PUSH1 0x20 000003bc: ADD 000003bd: PUSH32 0x484e3a5661756c742f6d65726b6c652d726f6f742d616c72656164792d736574 000003de: DUP2 000003df: MSTORE 000003e0: POP 000003e1: SWAP1 000003e2: PUSH2 0x0421 000003e5: JUMPI 000003e6: PUSH1 0x40 000003e8: MLOAD 000003e9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000040a: DUP2 0000040b: MSTORE 0000040c: PUSH1 0x04 0000040e: ADD 0000040f: PUSH2 0x0418 00000412: SWAP2 00000413: SWAP1 00000414: PUSH2 0x13a8 00000417: JUMP 00000418: JUMPDEST 00000419: PUSH1 0x40 0000041b: MLOAD 0000041c: DUP1 0000041d: SWAP2 0000041e: SUB 0000041f: SWAP1 00000420: REVERT 00000421: JUMPDEST 00000422: POP 00000423: DUP1 00000424: PUSH1 0x01 00000426: PUSH1 0x00 00000428: DUP5 00000429: DUP2 0000042a: MSTORE 0000042b: PUSH1 0x20 0000042d: ADD 0000042e: SWAP1 0000042f: DUP2 00000430: MSTORE 00000431: PUSH1 0x20 00000433: ADD 00000434: PUSH1 0x00 00000436: KECCAK256 00000437: DUP2 00000438: SWAP1 00000439: SSTORE 0000043a: POP 0000043b: PUSH32 0xb04b7d6145a7588fdcf339a22877d5965f861c171204fc37688058c5f6c06d3b 0000045c: DUP3 0000045d: DUP3 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: PUSH2 0x046b 00000464: SWAP3 00000465: SWAP2 00000466: SWAP1 00000467: PUSH2 0x13ca 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH1 0x40 0000046e: MLOAD 0000046f: DUP1 00000470: SWAP2 00000471: SUB 00000472: SWAP1 00000473: LOG1 00000474: POP 00000475: POP 00000476: JUMP 00000477: JUMPDEST 00000478: PUSH32 0x000000000000000000000000287493f76b8a1833e9e0bf2de0d972fb16c6c8ae 00000499: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ae: AND 000004af: PUSH4 0x4783c35b 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: DUP2 000004b8: PUSH4 0xffffffff 000004bd: AND 000004be: PUSH1 0xe0 000004c0: SHL 000004c1: DUP2 000004c2: MSTORE 000004c3: PUSH1 0x04 000004c5: ADD 000004c6: PUSH1 0x20 000004c8: PUSH1 0x40 000004ca: MLOAD 000004cb: DUP1 000004cc: DUP4 000004cd: SUB 000004ce: DUP2 000004cf: DUP7 000004d0: GAS 000004d1: STATICCALL 000004d2: ISZERO 000004d3: DUP1 000004d4: ISZERO 000004d5: PUSH2 0x04e2 000004d8: JUMPI 000004d9: RETURNDATASIZE 000004da: PUSH1 0x00 000004dc: DUP1 000004dd: RETURNDATACOPY 000004de: RETURNDATASIZE 000004df: PUSH1 0x00 000004e1: REVERT 000004e2: JUMPDEST 000004e3: POP 000004e4: POP 000004e5: POP 000004e6: POP 000004e7: PUSH1 0x40 000004e9: MLOAD 000004ea: RETURNDATASIZE 000004eb: PUSH1 0x1f 000004ed: NOT 000004ee: PUSH1 0x1f 000004f0: DUP3 000004f1: ADD 000004f2: AND 000004f3: DUP3 000004f4: ADD 000004f5: DUP1 000004f6: PUSH1 0x40 000004f8: MSTORE 000004f9: POP 000004fa: DUP2 000004fb: ADD 000004fc: SWAP1 000004fd: PUSH2 0x0506 00000500: SWAP2 00000501: SWAP1 00000502: PUSH2 0x12fc 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000051c: AND 0000051d: CALLER 0000051e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000533: AND 00000534: EQ 00000535: PUSH1 0x40 00000537: MLOAD 00000538: DUP1 00000539: PUSH1 0x40 0000053b: ADD 0000053c: PUSH1 0x40 0000053e: MSTORE 0000053f: DUP1 00000540: PUSH1 0x1d 00000542: DUP2 00000543: MSTORE 00000544: PUSH1 0x20 00000546: ADD 00000547: PUSH32 0x484e3a436f6d6d6f6e2f756e617574686f72697a65642d63616c6c6572000000 00000568: DUP2 00000569: MSTORE 0000056a: POP 0000056b: SWAP1 0000056c: PUSH2 0x05ab 0000056f: JUMPI 00000570: PUSH1 0x40 00000572: MLOAD 00000573: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000594: DUP2 00000595: MSTORE 00000596: PUSH1 0x04 00000598: ADD 00000599: PUSH2 0x05a2 0000059c: SWAP2 0000059d: SWAP1 0000059e: PUSH2 0x13a8 000005a1: JUMP 000005a2: JUMPDEST 000005a3: PUSH1 0x40 000005a5: MLOAD 000005a6: DUP1 000005a7: SWAP2 000005a8: SUB 000005a9: SWAP1 000005aa: REVERT 000005ab: JUMPDEST 000005ac: POP 000005ad: PUSH1 0x00 000005af: PUSH2 0x05b6 000005b2: PUSH2 0x0c5d 000005b5: JUMP 000005b6: JUMPDEST 000005b7: SWAP1 000005b8: POP 000005b9: PUSH1 0x00 000005bb: CALLER 000005bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d1: AND 000005d2: DUP4 000005d3: PUSH1 0x40 000005d5: MLOAD 000005d6: PUSH2 0x05de 000005d9: SWAP1 000005da: PUSH2 0x1424 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH1 0x00 000005e1: PUSH1 0x40 000005e3: MLOAD 000005e4: DUP1 000005e5: DUP4 000005e6: SUB 000005e7: DUP2 000005e8: DUP6 000005e9: DUP8 000005ea: GAS 000005eb: CALL 000005ec: SWAP3 000005ed: POP 000005ee: POP 000005ef: POP 000005f0: RETURNDATASIZE 000005f1: DUP1 000005f2: PUSH1 0x00 000005f4: DUP2 000005f5: EQ 000005f6: PUSH2 0x061b 000005f9: JUMPI 000005fa: PUSH1 0x40 000005fc: MLOAD 000005fd: SWAP2 000005fe: POP 000005ff: PUSH1 0x1f 00000601: NOT 00000602: PUSH1 0x3f 00000604: RETURNDATASIZE 00000605: ADD 00000606: AND 00000607: DUP3 00000608: ADD 00000609: PUSH1 0x40 0000060b: MSTORE 0000060c: RETURNDATASIZE 0000060d: DUP3 0000060e: MSTORE 0000060f: RETURNDATASIZE 00000610: PUSH1 0x00 00000612: PUSH1 0x20 00000614: DUP5 00000615: ADD 00000616: RETURNDATACOPY 00000617: PUSH2 0x0620 0000061a: JUMP 0000061b: JUMPDEST 0000061c: PUSH1 0x60 0000061e: SWAP2 0000061f: POP 00000620: JUMPDEST 00000621: POP 00000622: POP 00000623: SWAP1 00000624: POP 00000625: DUP1 00000626: PUSH1 0x40 00000628: MLOAD 00000629: DUP1 0000062a: PUSH1 0x40 0000062c: ADD 0000062d: PUSH1 0x40 0000062f: MSTORE 00000630: DUP1 00000631: PUSH1 0x18 00000633: DUP2 00000634: MSTORE 00000635: PUSH1 0x20 00000637: ADD 00000638: PUSH32 0x484e3a436f6d6d6f6e2f6661696c65642d746f2d73656e640000000000000000 00000659: DUP2 0000065a: MSTORE 0000065b: POP 0000065c: SWAP1 0000065d: PUSH2 0x069c 00000660: JUMPI 00000661: PUSH1 0x40 00000663: MLOAD 00000664: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000685: DUP2 00000686: MSTORE 00000687: PUSH1 0x04 00000689: ADD 0000068a: PUSH2 0x0693 0000068d: SWAP2 0000068e: SWAP1 0000068f: PUSH2 0x13a8 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH1 0x40 00000696: MLOAD 00000697: DUP1 00000698: SWAP2 00000699: SUB 0000069a: SWAP1 0000069b: REVERT 0000069c: JUMPDEST 0000069d: POP 0000069e: PUSH32 0x2e39961a70a10f4d46383948095ac2752b3ee642a7c76aa827410aaff08c2e51 000006bf: DUP3 000006c0: DUP5 000006c1: PUSH1 0x40 000006c3: MLOAD 000006c4: PUSH2 0x06ce 000006c7: SWAP3 000006c8: SWAP2 000006c9: SWAP1 000006ca: PUSH2 0x1448 000006cd: JUMP 000006ce: JUMPDEST 000006cf: PUSH1 0x40 000006d1: MLOAD 000006d2: DUP1 000006d3: SWAP2 000006d4: SUB 000006d5: SWAP1 000006d6: LOG1 000006d7: POP 000006d8: POP 000006d9: POP 000006da: JUMP 000006db: JUMPDEST 000006dc: PUSH1 0x00 000006de: PUSH2 0x06e8 000006e1: DUP5 000006e2: DUP5 000006e3: DUP5 000006e4: PUSH2 0x0cf3 000006e7: JUMP 000006e8: JUMPDEST 000006e9: SWAP1 000006ea: POP 000006eb: SWAP4 000006ec: SWAP3 000006ed: POP 000006ee: POP 000006ef: POP 000006f0: JUMP 000006f1: JUMPDEST 000006f2: PUSH1 0x01 000006f4: PUSH1 0x20 000006f6: MSTORE 000006f7: DUP1 000006f8: PUSH1 0x00 000006fa: MSTORE 000006fb: PUSH1 0x40 000006fd: PUSH1 0x00 000006ff: KECCAK256 00000700: PUSH1 0x00 00000702: SWAP2 00000703: POP 00000704: SWAP1 00000705: POP 00000706: SLOAD 00000707: DUP2 00000708: JUMP 00000709: JUMPDEST 0000070a: PUSH2 0x0711 0000070d: PUSH2 0x0d0a 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH1 0x00 00000714: DUP3 00000715: DUP3 00000716: SWAP1 00000717: POP 00000718: GT 00000719: PUSH1 0x40 0000071b: MLOAD 0000071c: DUP1 0000071d: PUSH1 0x40 0000071f: ADD 00000720: PUSH1 0x40 00000722: MSTORE 00000723: DUP1 00000724: PUSH1 0x17 00000726: DUP2 00000727: MSTORE 00000728: PUSH1 0x20 0000072a: ADD 0000072b: PUSH32 0x484e3a5661756c742f656d7074792d7061796c6f616473000000000000000000 0000074c: DUP2 0000074d: MSTORE 0000074e: POP 0000074f: SWAP1 00000750: PUSH2 0x078f 00000753: JUMPI 00000754: PUSH1 0x40 00000756: MLOAD 00000757: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000778: DUP2 00000779: MSTORE 0000077a: PUSH1 0x04 0000077c: ADD 0000077d: PUSH2 0x0786 00000780: SWAP2 00000781: SWAP1 00000782: PUSH2 0x13a8 00000785: JUMP 00000786: JUMPDEST 00000787: PUSH1 0x40 00000789: MLOAD 0000078a: DUP1 0000078b: SWAP2 0000078c: SUB 0000078d: SWAP1 0000078e: REVERT 0000078f: JUMPDEST 00000790: POP 00000791: PUSH1 0x00 00000793: DUP1 00000794: PUSH1 0x02 00000796: PUSH1 0x00 00000798: CALLER 00000799: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ae: AND 000007af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c4: AND 000007c5: DUP2 000007c6: MSTORE 000007c7: PUSH1 0x20 000007c9: ADD 000007ca: SWAP1 000007cb: DUP2 000007cc: MSTORE 000007cd: PUSH1 0x20 000007cf: ADD 000007d0: PUSH1 0x00 000007d2: KECCAK256 000007d3: SLOAD 000007d4: SWAP1 000007d5: POP 000007d6: PUSH1 0x00 000007d8: JUMPDEST 000007d9: DUP5 000007da: DUP5 000007db: SWAP1 000007dc: POP 000007dd: DUP2 000007de: LT 000007df: ISZERO 000007e0: PUSH2 0x0aad 000007e3: JUMPI 000007e4: DUP2 000007e5: DUP6 000007e6: DUP6 000007e7: DUP4 000007e8: DUP2 000007e9: DUP2 000007ea: LT 000007eb: PUSH2 0x07f7 000007ee: JUMPI 000007ef: PUSH2 0x07f6 000007f2: PUSH2 0x1471 000007f5: JUMP 000007f6: JUMPDEST 000007f7: JUMPDEST 000007f8: SWAP1 000007f9: POP 000007fa: PUSH1 0x20 000007fc: MUL 000007fd: DUP2 000007fe: ADD 000007ff: SWAP1 00000800: PUSH2 0x0809 00000803: SWAP2 00000804: SWAP1 00000805: PUSH2 0x14af 00000808: JUMP 00000809: JUMPDEST 0000080a: PUSH1 0x00 0000080c: ADD 0000080d: CALLDATALOAD 0000080e: GT 0000080f: PUSH1 0x40 00000811: MLOAD 00000812: DUP1 00000813: PUSH1 0x40 00000815: ADD 00000816: PUSH1 0x40 00000818: MSTORE 00000819: DUP1 0000081a: PUSH1 0x18 0000081c: DUP2 0000081d: MSTORE 0000081e: PUSH1 0x20 00000820: ADD 00000821: PUSH32 0x484e3a5661756c742f616c72656164792d636c61696d65640000000000000000 00000842: DUP2 00000843: MSTORE 00000844: POP 00000845: SWAP1 00000846: PUSH2 0x0885 00000849: JUMPI 0000084a: PUSH1 0x40 0000084c: MLOAD 0000084d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000086e: DUP2 0000086f: MSTORE 00000870: PUSH1 0x04 00000872: ADD 00000873: PUSH2 0x087c 00000876: SWAP2 00000877: SWAP1 00000878: PUSH2 0x13a8 0000087b: JUMP 0000087c: JUMPDEST 0000087d: PUSH1 0x40 0000087f: MLOAD 00000880: DUP1 00000881: SWAP2 00000882: SUB 00000883: SWAP1 00000884: REVERT 00000885: JUMPDEST 00000886: POP 00000887: PUSH1 0x00 00000889: CALLER 0000088a: DUP7 0000088b: DUP7 0000088c: DUP5 0000088d: DUP2 0000088e: DUP2 0000088f: LT 00000890: PUSH2 0x089c 00000893: JUMPI 00000894: PUSH2 0x089b 00000897: PUSH2 0x1471 0000089a: JUMP 0000089b: JUMPDEST 0000089c: JUMPDEST 0000089d: SWAP1 0000089e: POP 0000089f: PUSH1 0x20 000008a1: MUL 000008a2: DUP2 000008a3: ADD 000008a4: SWAP1 000008a5: PUSH2 0x08ae 000008a8: SWAP2 000008a9: SWAP1 000008aa: PUSH2 0x14af 000008ad: JUMP 000008ae: JUMPDEST 000008af: PUSH1 0x20 000008b1: ADD 000008b2: CALLDATALOAD 000008b3: PUSH1 0x40 000008b5: MLOAD 000008b6: PUSH1 0x20 000008b8: ADD 000008b9: PUSH2 0x08c3 000008bc: SWAP3 000008bd: SWAP2 000008be: SWAP1 000008bf: PUSH2 0x1448 000008c2: JUMP 000008c3: JUMPDEST 000008c4: PUSH1 0x40 000008c6: MLOAD 000008c7: PUSH1 0x20 000008c9: DUP2 000008ca: DUP4 000008cb: SUB 000008cc: SUB 000008cd: DUP2 000008ce: MSTORE 000008cf: SWAP1 000008d0: PUSH1 0x40 000008d2: MSTORE 000008d3: DUP1 000008d4: MLOAD 000008d5: SWAP1 000008d6: PUSH1 0x20 000008d8: ADD 000008d9: KECCAK256 000008da: PUSH1 0x40 000008dc: MLOAD 000008dd: PUSH1 0x20 000008df: ADD 000008e0: PUSH2 0x08e9 000008e3: SWAP2 000008e4: SWAP1 000008e5: PUSH2 0x14f8 000008e8: JUMP 000008e9: JUMPDEST 000008ea: PUSH1 0x40 000008ec: MLOAD 000008ed: PUSH1 0x20 000008ef: DUP2 000008f0: DUP4 000008f1: SUB 000008f2: SUB 000008f3: DUP2 000008f4: MSTORE 000008f5: SWAP1 000008f6: PUSH1 0x40 000008f8: MSTORE 000008f9: DUP1 000008fa: MLOAD 000008fb: SWAP1 000008fc: PUSH1 0x20 000008fe: ADD 000008ff: KECCAK256 00000900: SWAP1 00000901: POP 00000902: PUSH1 0x00 00000904: PUSH1 0x01 00000906: PUSH1 0x00 00000908: DUP9 00000909: DUP9 0000090a: DUP7 0000090b: DUP2 0000090c: DUP2 0000090d: LT 0000090e: PUSH2 0x091a 00000911: JUMPI 00000912: PUSH2 0x0919 00000915: PUSH2 0x1471 00000918: JUMP 00000919: JUMPDEST 0000091a: JUMPDEST 0000091b: SWAP1 0000091c: POP 0000091d: PUSH1 0x20 0000091f: MUL 00000920: DUP2 00000921: ADD 00000922: SWAP1 00000923: PUSH2 0x092c 00000926: SWAP2 00000927: SWAP1 00000928: PUSH2 0x14af 0000092b: JUMP 0000092c: JUMPDEST 0000092d: PUSH1 0x00 0000092f: ADD 00000930: CALLDATALOAD 00000931: DUP2 00000932: MSTORE 00000933: PUSH1 0x20 00000935: ADD 00000936: SWAP1 00000937: DUP2 00000938: MSTORE 00000939: PUSH1 0x20 0000093b: ADD 0000093c: PUSH1 0x00 0000093e: KECCAK256 0000093f: SLOAD 00000940: SWAP1 00000941: POP 00000942: PUSH2 0x09bf 00000945: DUP8 00000946: DUP8 00000947: DUP6 00000948: DUP2 00000949: DUP2 0000094a: LT 0000094b: PUSH2 0x0957 0000094e: JUMPI 0000094f: PUSH2 0x0956 00000952: PUSH2 0x1471 00000955: JUMP 00000956: JUMPDEST 00000957: JUMPDEST 00000958: SWAP1 00000959: POP 0000095a: PUSH1 0x20 0000095c: MUL 0000095d: DUP2 0000095e: ADD 0000095f: SWAP1 00000960: PUSH2 0x0969 00000963: SWAP2 00000964: SWAP1 00000965: PUSH2 0x14af 00000968: JUMP 00000969: JUMPDEST 0000096a: DUP1 0000096b: PUSH1 0x40 0000096d: ADD 0000096e: SWAP1 0000096f: PUSH2 0x0978 00000972: SWAP2 00000973: SWAP1 00000974: PUSH2 0x1513 00000977: JUMP 00000978: JUMPDEST 00000979: DUP1 0000097a: DUP1 0000097b: PUSH1 0x20 0000097d: MUL 0000097e: PUSH1 0x20 00000980: ADD 00000981: PUSH1 0x40 00000983: MLOAD 00000984: SWAP1 00000985: DUP2 00000986: ADD 00000987: PUSH1 0x40 00000989: MSTORE 0000098a: DUP1 0000098b: SWAP4 0000098c: SWAP3 0000098d: SWAP2 0000098e: SWAP1 0000098f: DUP2 00000990: DUP2 00000991: MSTORE 00000992: PUSH1 0x20 00000994: ADD 00000995: DUP4 00000996: DUP4 00000997: PUSH1 0x20 00000999: MUL 0000099a: DUP1 0000099b: DUP3 0000099c: DUP5 0000099d: CALLDATACOPY 0000099e: PUSH1 0x00 000009a0: DUP2 000009a1: DUP5 000009a2: ADD 000009a3: MSTORE 000009a4: PUSH1 0x1f 000009a6: NOT 000009a7: PUSH1 0x1f 000009a9: DUP3 000009aa: ADD 000009ab: AND 000009ac: SWAP1 000009ad: POP 000009ae: DUP1 000009af: DUP4 000009b0: ADD 000009b1: SWAP3 000009b2: POP 000009b3: POP 000009b4: POP 000009b5: POP 000009b6: POP 000009b7: POP 000009b8: POP 000009b9: DUP3 000009ba: DUP5 000009bb: PUSH2 0x06db 000009be: JUMP 000009bf: JUMPDEST 000009c0: PUSH1 0x40 000009c2: MLOAD 000009c3: DUP1 000009c4: PUSH1 0x40 000009c6: ADD 000009c7: PUSH1 0x40 000009c9: MSTORE 000009ca: DUP1 000009cb: PUSH1 0x1d 000009cd: DUP2 000009ce: MSTORE 000009cf: PUSH1 0x20 000009d1: ADD 000009d2: PUSH32 0x484e3a5661756c742f696e76616c69642d6d65726b6c652d70726f6f66000000 000009f3: DUP2 000009f4: MSTORE 000009f5: POP 000009f6: SWAP1 000009f7: PUSH2 0x0a36 000009fa: JUMPI 000009fb: PUSH1 0x40 000009fd: MLOAD 000009fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a1f: DUP2 00000a20: MSTORE 00000a21: PUSH1 0x04 00000a23: ADD 00000a24: PUSH2 0x0a2d 00000a27: SWAP2 00000a28: SWAP1 00000a29: PUSH2 0x13a8 00000a2c: JUMP 00000a2d: JUMPDEST 00000a2e: PUSH1 0x40 00000a30: MLOAD 00000a31: DUP1 00000a32: SWAP2 00000a33: SUB 00000a34: SWAP1 00000a35: REVERT 00000a36: JUMPDEST 00000a37: POP 00000a38: DUP7 00000a39: DUP7 00000a3a: DUP5 00000a3b: DUP2 00000a3c: DUP2 00000a3d: LT 00000a3e: PUSH2 0x0a4a 00000a41: JUMPI 00000a42: PUSH2 0x0a49 00000a45: PUSH2 0x1471 00000a48: JUMP 00000a49: JUMPDEST 00000a4a: JUMPDEST 00000a4b: SWAP1 00000a4c: POP 00000a4d: PUSH1 0x20 00000a4f: MUL 00000a50: DUP2 00000a51: ADD 00000a52: SWAP1 00000a53: PUSH2 0x0a5c 00000a56: SWAP2 00000a57: SWAP1 00000a58: PUSH2 0x14af 00000a5b: JUMP 00000a5c: JUMPDEST 00000a5d: PUSH1 0x00 00000a5f: ADD 00000a60: CALLDATALOAD 00000a61: SWAP4 00000a62: POP 00000a63: DUP7 00000a64: DUP7 00000a65: DUP5 00000a66: DUP2 00000a67: DUP2 00000a68: LT 00000a69: PUSH2 0x0a75 00000a6c: JUMPI 00000a6d: PUSH2 0x0a74 00000a70: PUSH2 0x1471 00000a73: JUMP 00000a74: JUMPDEST 00000a75: JUMPDEST 00000a76: SWAP1 00000a77: POP 00000a78: PUSH1 0x20 00000a7a: MUL 00000a7b: DUP2 00000a7c: ADD 00000a7d: SWAP1 00000a7e: PUSH2 0x0a87 00000a81: SWAP2 00000a82: SWAP1 00000a83: PUSH2 0x14af 00000a86: JUMP 00000a87: JUMPDEST 00000a88: PUSH1 0x20 00000a8a: ADD 00000a8b: CALLDATALOAD 00000a8c: DUP6 00000a8d: PUSH2 0x0a96 00000a90: SWAP2 00000a91: SWAP1 00000a92: PUSH2 0x15a5 00000a95: JUMP 00000a96: JUMPDEST 00000a97: SWAP5 00000a98: POP 00000a99: POP 00000a9a: POP 00000a9b: DUP1 00000a9c: DUP1 00000a9d: PUSH2 0x0aa5 00000aa0: SWAP1 00000aa1: PUSH2 0x15d9 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: SWAP2 00000aa7: POP 00000aa8: POP 00000aa9: PUSH2 0x07d8 00000aac: JUMP 00000aad: JUMPDEST 00000aae: POP 00000aaf: DUP1 00000ab0: PUSH1 0x02 00000ab2: PUSH1 0x00 00000ab4: CALLER 00000ab5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aca: AND 00000acb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae0: AND 00000ae1: DUP2 00000ae2: MSTORE 00000ae3: PUSH1 0x20 00000ae5: ADD 00000ae6: SWAP1 00000ae7: DUP2 00000ae8: MSTORE 00000ae9: PUSH1 0x20 00000aeb: ADD 00000aec: PUSH1 0x00 00000aee: KECCAK256 00000aef: DUP2 00000af0: SWAP1 00000af1: SSTORE 00000af2: POP 00000af3: PUSH32 0x92ccf450a286a957af52509bc1c9939d1a6a481783e142e41e2499f0bb66ebc6 00000b14: CALLER 00000b15: DUP4 00000b16: DUP4 00000b17: PUSH1 0x40 00000b19: MLOAD 00000b1a: PUSH2 0x0b25 00000b1d: SWAP4 00000b1e: SWAP3 00000b1f: SWAP2 00000b20: SWAP1 00000b21: PUSH2 0x1621 00000b24: JUMP 00000b25: JUMPDEST 00000b26: PUSH1 0x40 00000b28: MLOAD 00000b29: DUP1 00000b2a: SWAP2 00000b2b: SUB 00000b2c: SWAP1 00000b2d: LOG1 00000b2e: PUSH1 0x00 00000b30: CALLER 00000b31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b46: AND 00000b47: DUP4 00000b48: PUSH1 0x40 00000b4a: MLOAD 00000b4b: PUSH2 0x0b53 00000b4e: SWAP1 00000b4f: PUSH2 0x1424 00000b52: JUMP 00000b53: JUMPDEST 00000b54: PUSH1 0x00 00000b56: PUSH1 0x40 00000b58: MLOAD 00000b59: DUP1 00000b5a: DUP4 00000b5b: SUB 00000b5c: DUP2 00000b5d: DUP6 00000b5e: DUP8 00000b5f: GAS 00000b60: CALL 00000b61: SWAP3 00000b62: POP 00000b63: POP 00000b64: POP 00000b65: RETURNDATASIZE 00000b66: DUP1 00000b67: PUSH1 0x00 00000b69: DUP2 00000b6a: EQ 00000b6b: PUSH2 0x0b90 00000b6e: JUMPI 00000b6f: PUSH1 0x40 00000b71: MLOAD 00000b72: SWAP2 00000b73: POP 00000b74: PUSH1 0x1f 00000b76: NOT 00000b77: PUSH1 0x3f 00000b79: RETURNDATASIZE 00000b7a: ADD 00000b7b: AND 00000b7c: DUP3 00000b7d: ADD 00000b7e: PUSH1 0x40 00000b80: MSTORE 00000b81: RETURNDATASIZE 00000b82: DUP3 00000b83: MSTORE 00000b84: RETURNDATASIZE 00000b85: PUSH1 0x00 00000b87: PUSH1 0x20 00000b89: DUP5 00000b8a: ADD 00000b8b: RETURNDATACOPY 00000b8c: PUSH2 0x0b95 00000b8f: JUMP 00000b90: JUMPDEST 00000b91: PUSH1 0x60 00000b93: SWAP2 00000b94: POP 00000b95: JUMPDEST 00000b96: POP 00000b97: POP 00000b98: SWAP1 00000b99: POP 00000b9a: DUP1 00000b9b: PUSH1 0x40 00000b9d: MLOAD 00000b9e: DUP1 00000b9f: PUSH1 0x40 00000ba1: ADD 00000ba2: PUSH1 0x40 00000ba4: MSTORE 00000ba5: DUP1 00000ba6: PUSH1 0x18 00000ba8: DUP2 00000ba9: MSTORE 00000baa: PUSH1 0x20 00000bac: ADD 00000bad: PUSH32 0x484e3a436f6d6d6f6e2f6661696c65642d746f2d73656e640000000000000000 00000bce: DUP2 00000bcf: MSTORE 00000bd0: POP 00000bd1: SWAP1 00000bd2: PUSH2 0x0c11 00000bd5: JUMPI 00000bd6: PUSH1 0x40 00000bd8: MLOAD 00000bd9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bfa: DUP2 00000bfb: MSTORE 00000bfc: PUSH1 0x04 00000bfe: ADD 00000bff: PUSH2 0x0c08 00000c02: SWAP2 00000c03: SWAP1 00000c04: PUSH2 0x13a8 00000c07: JUMP 00000c08: JUMPDEST 00000c09: PUSH1 0x40 00000c0b: MLOAD 00000c0c: DUP1 00000c0d: SWAP2 00000c0e: SUB 00000c0f: SWAP1 00000c10: REVERT 00000c11: JUMPDEST 00000c12: POP 00000c13: POP 00000c14: POP 00000c15: POP 00000c16: PUSH2 0x0c1d 00000c19: PUSH2 0x0d59 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: POP 00000c1f: POP 00000c20: JUMP 00000c21: JUMPDEST 00000c22: PUSH32 0x000000000000000000000000287493f76b8a1833e9e0bf2de0d972fb16c6c8ae 00000c43: DUP2 00000c44: JUMP 00000c45: JUMPDEST 00000c46: PUSH1 0x02 00000c48: PUSH1 0x20 00000c4a: MSTORE 00000c4b: DUP1 00000c4c: PUSH1 0x00 00000c4e: MSTORE 00000c4f: PUSH1 0x40 00000c51: PUSH1 0x00 00000c53: KECCAK256 00000c54: PUSH1 0x00 00000c56: SWAP2 00000c57: POP 00000c58: SWAP1 00000c59: POP 00000c5a: SLOAD 00000c5b: DUP2 00000c5c: JUMP 00000c5d: JUMPDEST 00000c5e: PUSH1 0x00 00000c60: PUSH32 0x000000000000000000000000287493f76b8a1833e9e0bf2de0d972fb16c6c8ae 00000c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c96: AND 00000c97: PUSH4 0x4783c35b 00000c9c: PUSH1 0x40 00000c9e: MLOAD 00000c9f: DUP2 00000ca0: PUSH4 0xffffffff 00000ca5: AND 00000ca6: PUSH1 0xe0 00000ca8: SHL 00000ca9: DUP2 00000caa: MSTORE 00000cab: PUSH1 0x04 00000cad: ADD 00000cae: PUSH1 0x20 00000cb0: PUSH1 0x40 00000cb2: MLOAD 00000cb3: DUP1 00000cb4: DUP4 00000cb5: SUB 00000cb6: DUP2 00000cb7: DUP7 00000cb8: GAS 00000cb9: STATICCALL 00000cba: ISZERO 00000cbb: DUP1 00000cbc: ISZERO 00000cbd: PUSH2 0x0cca 00000cc0: JUMPI 00000cc1: RETURNDATASIZE 00000cc2: PUSH1 0x00 00000cc4: DUP1 00000cc5: RETURNDATACOPY 00000cc6: RETURNDATASIZE 00000cc7: PUSH1 0x00 00000cc9: REVERT 00000cca: JUMPDEST 00000ccb: POP 00000ccc: POP 00000ccd: POP 00000cce: POP 00000ccf: PUSH1 0x40 00000cd1: MLOAD 00000cd2: RETURNDATASIZE 00000cd3: PUSH1 0x1f 00000cd5: NOT 00000cd6: PUSH1 0x1f 00000cd8: DUP3 00000cd9: ADD 00000cda: AND 00000cdb: DUP3 00000cdc: ADD 00000cdd: DUP1 00000cde: PUSH1 0x40 00000ce0: MSTORE 00000ce1: POP 00000ce2: DUP2 00000ce3: ADD 00000ce4: SWAP1 00000ce5: PUSH2 0x0cee 00000ce8: SWAP2 00000ce9: SWAP1 00000cea: PUSH2 0x12fc 00000ced: JUMP 00000cee: JUMPDEST 00000cef: SWAP1 00000cf0: POP 00000cf1: SWAP1 00000cf2: JUMP 00000cf3: JUMPDEST 00000cf4: PUSH1 0x00 00000cf6: DUP3 00000cf7: PUSH2 0x0d00 00000cfa: DUP6 00000cfb: DUP5 00000cfc: PUSH2 0x0d63 00000cff: JUMP 00000d00: JUMPDEST 00000d01: EQ 00000d02: SWAP1 00000d03: POP 00000d04: SWAP4 00000d05: SWAP3 00000d06: POP 00000d07: POP 00000d08: POP 00000d09: JUMP 00000d0a: JUMPDEST 00000d0b: PUSH1 0x02 00000d0d: PUSH1 0x00 00000d0f: SLOAD 00000d10: SUB 00000d11: PUSH2 0x0d4f 00000d14: JUMPI 00000d15: PUSH1 0x40 00000d17: MLOAD 00000d18: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d39: DUP2 00000d3a: MSTORE 00000d3b: PUSH1 0x04 00000d3d: ADD 00000d3e: PUSH2 0x0d46 00000d41: SWAP1 00000d42: PUSH2 0x16a4 00000d45: JUMP 00000d46: JUMPDEST 00000d47: PUSH1 0x40 00000d49: MLOAD 00000d4a: DUP1 00000d4b: SWAP2 00000d4c: SUB 00000d4d: SWAP1 00000d4e: REVERT 00000d4f: JUMPDEST 00000d50: PUSH1 0x02 00000d52: PUSH1 0x00 00000d54: DUP2 00000d55: SWAP1 00000d56: SSTORE 00000d57: POP 00000d58: JUMP 00000d59: JUMPDEST 00000d5a: PUSH1 0x01 00000d5c: PUSH1 0x00 00000d5e: DUP2 00000d5f: SWAP1 00000d60: SSTORE 00000d61: POP 00000d62: JUMP 00000d63: JUMPDEST 00000d64: PUSH1 0x00 00000d66: DUP1 00000d67: DUP3 00000d68: SWAP1 00000d69: POP 00000d6a: PUSH1 0x00 00000d6c: JUMPDEST 00000d6d: DUP5 00000d6e: MLOAD 00000d6f: DUP2 00000d70: LT 00000d71: ISZERO 00000d72: PUSH2 0x0dae 00000d75: JUMPI 00000d76: PUSH2 0x0d99 00000d79: DUP3 00000d7a: DUP7 00000d7b: DUP4 00000d7c: DUP2 00000d7d: MLOAD 00000d7e: DUP2 00000d7f: LT 00000d80: PUSH2 0x0d8c 00000d83: JUMPI 00000d84: PUSH2 0x0d8b 00000d87: PUSH2 0x1471 00000d8a: JUMP 00000d8b: JUMPDEST 00000d8c: JUMPDEST 00000d8d: PUSH1 0x20 00000d8f: MUL 00000d90: PUSH1 0x20 00000d92: ADD 00000d93: ADD 00000d94: MLOAD 00000d95: PUSH2 0x0db9 00000d98: JUMP 00000d99: JUMPDEST 00000d9a: SWAP2 00000d9b: POP 00000d9c: DUP1 00000d9d: DUP1 00000d9e: PUSH2 0x0da6 00000da1: SWAP1 00000da2: PUSH2 0x15d9 00000da5: JUMP 00000da6: JUMPDEST 00000da7: SWAP2 00000da8: POP 00000da9: POP 00000daa: PUSH2 0x0d6c 00000dad: JUMP 00000dae: JUMPDEST 00000daf: POP 00000db0: DUP1 00000db1: SWAP2 00000db2: POP 00000db3: POP 00000db4: SWAP3 00000db5: SWAP2 00000db6: POP 00000db7: POP 00000db8: JUMP 00000db9: JUMPDEST 00000dba: PUSH1 0x00 00000dbc: DUP2 00000dbd: DUP4 00000dbe: LT 00000dbf: PUSH2 0x0dd1 00000dc2: JUMPI 00000dc3: PUSH2 0x0dcc 00000dc6: DUP3 00000dc7: DUP5 00000dc8: PUSH2 0x0de4 00000dcb: JUMP 00000dcc: JUMPDEST 00000dcd: PUSH2 0x0ddc 00000dd0: JUMP 00000dd1: JUMPDEST 00000dd2: PUSH2 0x0ddb 00000dd5: DUP4 00000dd6: DUP4 00000dd7: PUSH2 0x0de4 00000dda: JUMP 00000ddb: JUMPDEST 00000ddc: JUMPDEST 00000ddd: SWAP1 00000dde: POP 00000ddf: SWAP3 00000de0: SWAP2 00000de1: POP 00000de2: POP 00000de3: JUMP 00000de4: JUMPDEST 00000de5: PUSH1 0x00 00000de7: DUP3 00000de8: PUSH1 0x00 00000dea: MSTORE 00000deb: DUP2 00000dec: PUSH1 0x20 00000dee: MSTORE 00000def: PUSH1 0x40 00000df1: PUSH1 0x00 00000df3: KECCAK256 00000df4: SWAP1 00000df5: POP 00000df6: SWAP3 00000df7: SWAP2 00000df8: POP 00000df9: POP 00000dfa: JUMP 00000dfb: JUMPDEST 00000dfc: PUSH1 0x00 00000dfe: PUSH1 0x40 00000e00: MLOAD 00000e01: SWAP1 00000e02: POP 00000e03: SWAP1 00000e04: JUMP 00000e05: JUMPDEST 00000e06: PUSH1 0x00 00000e08: DUP1 00000e09: REVERT 00000e0a: JUMPDEST 00000e0b: PUSH1 0x00 00000e0d: DUP1 00000e0e: REVERT 00000e0f: JUMPDEST 00000e10: PUSH1 0x00 00000e12: DUP2 00000e13: SWAP1 00000e14: POP 00000e15: SWAP2 00000e16: SWAP1 00000e17: POP 00000e18: JUMP 00000e19: JUMPDEST 00000e1a: PUSH2 0x0e22 00000e1d: DUP2 00000e1e: PUSH2 0x0e0f 00000e21: JUMP 00000e22: JUMPDEST 00000e23: DUP2 00000e24: EQ 00000e25: PUSH2 0x0e2d 00000e28: JUMPI 00000e29: PUSH1 0x00 00000e2b: DUP1 00000e2c: REVERT 00000e2d: JUMPDEST 00000e2e: POP 00000e2f: JUMP 00000e30: JUMPDEST 00000e31: PUSH1 0x00 00000e33: DUP2 00000e34: CALLDATALOAD 00000e35: SWAP1 00000e36: POP 00000e37: PUSH2 0x0e3f 00000e3a: DUP2 00000e3b: PUSH2 0x0e19 00000e3e: JUMP 00000e3f: JUMPDEST 00000e40: SWAP3 00000e41: SWAP2 00000e42: POP 00000e43: POP 00000e44: JUMP 00000e45: JUMPDEST 00000e46: PUSH1 0x00 00000e48: DUP2 00000e49: SWAP1 00000e4a: POP 00000e4b: SWAP2 00000e4c: SWAP1 00000e4d: POP 00000e4e: JUMP 00000e4f: JUMPDEST 00000e50: PUSH2 0x0e58 00000e53: DUP2 00000e54: PUSH2 0x0e45 00000e57: JUMP 00000e58: JUMPDEST 00000e59: DUP2 00000e5a: EQ 00000e5b: PUSH2 0x0e63 00000e5e: JUMPI 00000e5f: PUSH1 0x00 00000e61: DUP1 00000e62: REVERT 00000e63: JUMPDEST 00000e64: POP 00000e65: JUMP 00000e66: JUMPDEST 00000e67: PUSH1 0x00 00000e69: DUP2 00000e6a: CALLDATALOAD 00000e6b: SWAP1 00000e6c: POP 00000e6d: PUSH2 0x0e75 00000e70: DUP2 00000e71: PUSH2 0x0e4f 00000e74: JUMP 00000e75: JUMPDEST 00000e76: SWAP3 00000e77: SWAP2 00000e78: POP 00000e79: POP 00000e7a: JUMP 00000e7b: JUMPDEST 00000e7c: PUSH1 0x00 00000e7e: DUP1 00000e7f: PUSH1 0x40 00000e81: DUP4 00000e82: DUP6 00000e83: SUB 00000e84: SLT 00000e85: ISZERO 00000e86: PUSH2 0x0e92 00000e89: JUMPI 00000e8a: PUSH2 0x0e91 00000e8d: PUSH2 0x0e05 00000e90: JUMP 00000e91: JUMPDEST 00000e92: JUMPDEST 00000e93: PUSH1 0x00 00000e95: PUSH2 0x0ea0 00000e98: DUP6 00000e99: DUP3 00000e9a: DUP7 00000e9b: ADD 00000e9c: PUSH2 0x0e30 00000e9f: JUMP 00000ea0: JUMPDEST 00000ea1: SWAP3 00000ea2: POP 00000ea3: POP 00000ea4: PUSH1 0x20 00000ea6: PUSH2 0x0eb1 00000ea9: DUP6 00000eaa: DUP3 00000eab: DUP7 00000eac: ADD 00000ead: PUSH2 0x0e66 00000eb0: JUMP 00000eb1: JUMPDEST 00000eb2: SWAP2 00000eb3: POP 00000eb4: POP 00000eb5: SWAP3 00000eb6: POP 00000eb7: SWAP3 00000eb8: SWAP1 00000eb9: POP 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH1 0x00 00000ebe: PUSH1 0x20 00000ec0: DUP3 00000ec1: DUP5 00000ec2: SUB 00000ec3: SLT 00000ec4: ISZERO 00000ec5: PUSH2 0x0ed1 00000ec8: JUMPI 00000ec9: PUSH2 0x0ed0 00000ecc: PUSH2 0x0e05 00000ecf: JUMP 00000ed0: JUMPDEST 00000ed1: JUMPDEST 00000ed2: PUSH1 0x00 00000ed4: PUSH2 0x0edf 00000ed7: DUP5 00000ed8: DUP3 00000ed9: DUP6 00000eda: ADD 00000edb: PUSH2 0x0e30 00000ede: JUMP 00000edf: JUMPDEST 00000ee0: SWAP2 00000ee1: POP 00000ee2: POP 00000ee3: SWAP3 00000ee4: SWAP2 00000ee5: POP 00000ee6: POP 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: PUSH1 0x00 00000eeb: DUP1 00000eec: REVERT 00000eed: JUMPDEST 00000eee: PUSH1 0x00 00000ef0: PUSH1 0x1f 00000ef2: NOT 00000ef3: PUSH1 0x1f 00000ef5: DUP4 00000ef6: ADD 00000ef7: AND 00000ef8: SWAP1 00000ef9: POP 00000efa: SWAP2 00000efb: SWAP1 00000efc: POP 00000efd: JUMP 00000efe: JUMPDEST 00000eff: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000f20: PUSH1 0x00 00000f22: MSTORE 00000f23: PUSH1 0x41 00000f25: PUSH1 0x04 00000f27: MSTORE 00000f28: PUSH1 0x24 00000f2a: PUSH1 0x00 00000f2c: REVERT 00000f2d: JUMPDEST 00000f2e: PUSH2 0x0f36 00000f31: DUP3 00000f32: PUSH2 0x0eed 00000f35: JUMP 00000f36: JUMPDEST 00000f37: DUP2 00000f38: ADD 00000f39: DUP2 00000f3a: DUP2 00000f3b: LT 00000f3c: PUSH8 0xffffffffffffffff 00000f45: DUP3 00000f46: GT 00000f47: OR 00000f48: ISZERO 00000f49: PUSH2 0x0f55 00000f4c: JUMPI 00000f4d: PUSH2 0x0f54 00000f50: PUSH2 0x0efe 00000f53: JUMP 00000f54: JUMPDEST 00000f55: JUMPDEST 00000f56: DUP1 00000f57: PUSH1 0x40 00000f59: MSTORE 00000f5a: POP 00000f5b: POP 00000f5c: POP 00000f5d: JUMP 00000f5e: JUMPDEST 00000f5f: PUSH1 0x00 00000f61: PUSH2 0x0f68 00000f64: PUSH2 0x0dfb 00000f67: JUMP 00000f68: JUMPDEST 00000f69: SWAP1 00000f6a: POP 00000f6b: PUSH2 0x0f74 00000f6e: DUP3 00000f6f: DUP3 00000f70: PUSH2 0x0f2d 00000f73: JUMP 00000f74: JUMPDEST 00000f75: SWAP2 00000f76: SWAP1 00000f77: POP 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH1 0x00 00000f7c: PUSH8 0xffffffffffffffff 00000f85: DUP3 00000f86: GT 00000f87: ISZERO 00000f88: PUSH2 0x0f94 00000f8b: JUMPI 00000f8c: PUSH2 0x0f93 00000f8f: PUSH2 0x0efe 00000f92: JUMP 00000f93: JUMPDEST 00000f94: JUMPDEST 00000f95: PUSH1 0x20 00000f97: DUP3 00000f98: MUL 00000f99: SWAP1 00000f9a: POP 00000f9b: PUSH1 0x20 00000f9d: DUP2 00000f9e: ADD 00000f9f: SWAP1 00000fa0: POP 00000fa1: SWAP2 00000fa2: SWAP1 00000fa3: POP 00000fa4: JUMP 00000fa5: JUMPDEST 00000fa6: PUSH1 0x00 00000fa8: DUP1 00000fa9: REVERT 00000faa: JUMPDEST 00000fab: PUSH1 0x00 00000fad: PUSH2 0x0fbd 00000fb0: PUSH2 0x0fb8 00000fb3: DUP5 00000fb4: PUSH2 0x0f79 00000fb7: JUMP 00000fb8: JUMPDEST 00000fb9: PUSH2 0x0f5e 00000fbc: JUMP 00000fbd: JUMPDEST 00000fbe: SWAP1 00000fbf: POP 00000fc0: DUP1 00000fc1: DUP4 00000fc2: DUP3 00000fc3: MSTORE 00000fc4: PUSH1 0x20 00000fc6: DUP3 00000fc7: ADD 00000fc8: SWAP1 00000fc9: POP 00000fca: PUSH1 0x20 00000fcc: DUP5 00000fcd: MUL 00000fce: DUP4 00000fcf: ADD 00000fd0: DUP6 00000fd1: DUP2 00000fd2: GT 00000fd3: ISZERO 00000fd4: PUSH2 0x0fe0 00000fd7: JUMPI 00000fd8: PUSH2 0x0fdf 00000fdb: PUSH2 0x0fa5 00000fde: JUMP 00000fdf: JUMPDEST 00000fe0: JUMPDEST 00000fe1: DUP4 00000fe2: JUMPDEST 00000fe3: DUP2 00000fe4: DUP2 00000fe5: LT 00000fe6: ISZERO 00000fe7: PUSH2 0x1009 00000fea: JUMPI 00000feb: DUP1 00000fec: PUSH2 0x0ff5 00000fef: DUP9 00000ff0: DUP3 00000ff1: PUSH2 0x0e66 00000ff4: JUMP 00000ff5: JUMPDEST 00000ff6: DUP5 00000ff7: MSTORE 00000ff8: PUSH1 0x20 00000ffa: DUP5 00000ffb: ADD 00000ffc: SWAP4 00000ffd: POP 00000ffe: POP 00000fff: PUSH1 0x20 00001001: DUP2 00001002: ADD 00001003: SWAP1 00001004: POP 00001005: PUSH2 0x0fe2 00001008: JUMP 00001009: JUMPDEST 0000100a: POP 0000100b: POP 0000100c: POP 0000100d: SWAP4 0000100e: SWAP3 0000100f: POP 00001010: POP 00001011: POP 00001012: JUMP 00001013: JUMPDEST 00001014: PUSH1 0x00 00001016: DUP3 00001017: PUSH1 0x1f 00001019: DUP4 0000101a: ADD 0000101b: SLT 0000101c: PUSH2 0x1028 0000101f: JUMPI 00001020: PUSH2 0x1027 00001023: PUSH2 0x0ee8 00001026: JUMP 00001027: JUMPDEST 00001028: JUMPDEST 00001029: DUP2 0000102a: CALLDATALOAD 0000102b: PUSH2 0x1038 0000102e: DUP5 0000102f: DUP3 00001030: PUSH1 0x20 00001032: DUP7 00001033: ADD 00001034: PUSH2 0x0faa 00001037: JUMP 00001038: JUMPDEST 00001039: SWAP2 0000103a: POP 0000103b: POP 0000103c: SWAP3 0000103d: SWAP2 0000103e: POP 0000103f: POP 00001040: JUMP 00001041: JUMPDEST 00001042: PUSH1 0x00 00001044: DUP1 00001045: PUSH1 0x00 00001047: PUSH1 0x60 00001049: DUP5 0000104a: DUP7 0000104b: SUB 0000104c: SLT 0000104d: ISZERO 0000104e: PUSH2 0x105a 00001051: JUMPI 00001052: PUSH2 0x1059 00001055: PUSH2 0x0e05 00001058: JUMP 00001059: JUMPDEST 0000105a: JUMPDEST 0000105b: PUSH1 0x00 0000105d: DUP5 0000105e: ADD 0000105f: CALLDATALOAD 00001060: PUSH8 0xffffffffffffffff 00001069: DUP2 0000106a: GT 0000106b: ISZERO 0000106c: PUSH2 0x1078 0000106f: JUMPI 00001070: PUSH2 0x1077 00001073: PUSH2 0x0e0a 00001076: JUMP 00001077: JUMPDEST 00001078: JUMPDEST 00001079: PUSH2 0x1084 0000107c: DUP7 0000107d: DUP3 0000107e: DUP8 0000107f: ADD 00001080: PUSH2 0x1013 00001083: JUMP 00001084: JUMPDEST 00001085: SWAP4 00001086: POP 00001087: POP 00001088: PUSH1 0x20 0000108a: PUSH2 0x1095 0000108d: DUP7 0000108e: DUP3 0000108f: DUP8 00001090: ADD 00001091: PUSH2 0x0e66 00001094: JUMP 00001095: JUMPDEST 00001096: SWAP3 00001097: POP 00001098: POP 00001099: PUSH1 0x40 0000109b: PUSH2 0x10a6 0000109e: DUP7 0000109f: DUP3 000010a0: DUP8 000010a1: ADD 000010a2: PUSH2 0x0e66 000010a5: JUMP 000010a6: JUMPDEST 000010a7: SWAP2 000010a8: POP 000010a9: POP 000010aa: SWAP3 000010ab: POP 000010ac: SWAP3 000010ad: POP 000010ae: SWAP3 000010af: JUMP 000010b0: JUMPDEST 000010b1: PUSH1 0x00 000010b3: DUP2 000010b4: ISZERO 000010b5: ISZERO 000010b6: SWAP1 000010b7: POP 000010b8: SWAP2 000010b9: SWAP1 000010ba: POP 000010bb: JUMP 000010bc: JUMPDEST 000010bd: PUSH2 0x10c5 000010c0: DUP2 000010c1: PUSH2 0x10b0 000010c4: JUMP 000010c5: JUMPDEST 000010c6: DUP3 000010c7: MSTORE 000010c8: POP 000010c9: POP 000010ca: JUMP 000010cb: JUMPDEST 000010cc: PUSH1 0x00 000010ce: PUSH1 0x20 000010d0: DUP3 000010d1: ADD 000010d2: SWAP1 000010d3: POP 000010d4: PUSH2 0x10e0 000010d7: PUSH1 0x00 000010d9: DUP4 000010da: ADD 000010db: DUP5 000010dc: PUSH2 0x10bc 000010df: JUMP 000010e0: JUMPDEST 000010e1: SWAP3 000010e2: SWAP2 000010e3: POP 000010e4: POP 000010e5: JUMP 000010e6: JUMPDEST 000010e7: PUSH2 0x10ef 000010ea: DUP2 000010eb: PUSH2 0x0e45 000010ee: JUMP 000010ef: JUMPDEST 000010f0: DUP3 000010f1: MSTORE 000010f2: POP 000010f3: POP 000010f4: JUMP 000010f5: JUMPDEST 000010f6: PUSH1 0x00 000010f8: PUSH1 0x20 000010fa: DUP3 000010fb: ADD 000010fc: SWAP1 000010fd: POP 000010fe: PUSH2 0x110a 00001101: PUSH1 0x00 00001103: DUP4 00001104: ADD 00001105: DUP5 00001106: PUSH2 0x10e6 00001109: JUMP 0000110a: JUMPDEST 0000110b: SWAP3 0000110c: SWAP2 0000110d: POP 0000110e: POP 0000110f: JUMP 00001110: JUMPDEST 00001111: PUSH1 0x00 00001113: DUP1 00001114: REVERT 00001115: JUMPDEST 00001116: PUSH1 0x00 00001118: DUP1 00001119: DUP4 0000111a: PUSH1 0x1f 0000111c: DUP5 0000111d: ADD 0000111e: SLT 0000111f: PUSH2 0x112b 00001122: JUMPI 00001123: PUSH2 0x112a 00001126: PUSH2 0x0ee8 00001129: JUMP 0000112a: JUMPDEST 0000112b: JUMPDEST 0000112c: DUP3 0000112d: CALLDATALOAD 0000112e: SWAP1 0000112f: POP 00001130: PUSH8 0xffffffffffffffff 00001139: DUP2 0000113a: GT 0000113b: ISZERO 0000113c: PUSH2 0x1148 0000113f: JUMPI 00001140: PUSH2 0x1147 00001143: PUSH2 0x1110 00001146: JUMP 00001147: JUMPDEST 00001148: JUMPDEST 00001149: PUSH1 0x20 0000114b: DUP4 0000114c: ADD 0000114d: SWAP2 0000114e: POP 0000114f: DUP4 00001150: PUSH1 0x20 00001152: DUP3 00001153: MUL 00001154: DUP4 00001155: ADD 00001156: GT 00001157: ISZERO 00001158: PUSH2 0x1164 0000115b: JUMPI 0000115c: PUSH2 0x1163 0000115f: PUSH2 0x0fa5 00001162: JUMP 00001163: JUMPDEST 00001164: JUMPDEST 00001165: SWAP3 00001166: POP 00001167: SWAP3 00001168: SWAP1 00001169: POP 0000116a: JUMP 0000116b: JUMPDEST 0000116c: PUSH1 0x00 0000116e: DUP1 0000116f: PUSH1 0x20 00001171: DUP4 00001172: DUP6 00001173: SUB 00001174: SLT 00001175: ISZERO 00001176: PUSH2 0x1182 00001179: JUMPI 0000117a: PUSH2 0x1181 0000117d: PUSH2 0x0e05 00001180: JUMP 00001181: JUMPDEST 00001182: JUMPDEST 00001183: PUSH1 0x00 00001185: DUP4 00001186: ADD 00001187: CALLDATALOAD 00001188: PUSH8 0xffffffffffffffff 00001191: DUP2 00001192: GT 00001193: ISZERO 00001194: PUSH2 0x11a0 00001197: JUMPI 00001198: PUSH2 0x119f 0000119b: PUSH2 0x0e0a 0000119e: JUMP 0000119f: JUMPDEST 000011a0: JUMPDEST 000011a1: PUSH2 0x11ac 000011a4: DUP6 000011a5: DUP3 000011a6: DUP7 000011a7: ADD 000011a8: PUSH2 0x1115 000011ab: JUMP 000011ac: JUMPDEST 000011ad: SWAP3 000011ae: POP 000011af: SWAP3 000011b0: POP 000011b1: POP 000011b2: SWAP3 000011b3: POP 000011b4: SWAP3 000011b5: SWAP1 000011b6: POP 000011b7: JUMP 000011b8: JUMPDEST 000011b9: PUSH1 0x00 000011bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d0: DUP3 000011d1: AND 000011d2: SWAP1 000011d3: POP 000011d4: SWAP2 000011d5: SWAP1 000011d6: POP 000011d7: JUMP 000011d8: JUMPDEST 000011d9: PUSH1 0x00 000011db: DUP2 000011dc: SWAP1 000011dd: POP 000011de: SWAP2 000011df: SWAP1 000011e0: POP 000011e1: JUMP 000011e2: JUMPDEST 000011e3: PUSH1 0x00 000011e5: PUSH2 0x11fd 000011e8: PUSH2 0x11f8 000011eb: PUSH2 0x11f3 000011ee: DUP5 000011ef: PUSH2 0x11b8 000011f2: JUMP 000011f3: JUMPDEST 000011f4: PUSH2 0x11d8 000011f7: JUMP 000011f8: JUMPDEST 000011f9: PUSH2 0x11b8 000011fc: JUMP 000011fd: JUMPDEST 000011fe: SWAP1 000011ff: POP 00001200: SWAP2 00001201: SWAP1 00001202: POP 00001203: JUMP 00001204: JUMPDEST 00001205: PUSH1 0x00 00001207: PUSH2 0x120f 0000120a: DUP3 0000120b: PUSH2 0x11e2 0000120e: JUMP 0000120f: JUMPDEST 00001210: SWAP1 00001211: POP 00001212: SWAP2 00001213: SWAP1 00001214: POP 00001215: JUMP 00001216: JUMPDEST 00001217: PUSH1 0x00 00001219: PUSH2 0x1221 0000121c: DUP3 0000121d: PUSH2 0x1204 00001220: JUMP 00001221: JUMPDEST 00001222: SWAP1 00001223: POP 00001224: SWAP2 00001225: SWAP1 00001226: POP 00001227: JUMP 00001228: JUMPDEST 00001229: PUSH2 0x1231 0000122c: DUP2 0000122d: PUSH2 0x1216 00001230: JUMP 00001231: JUMPDEST 00001232: DUP3 00001233: MSTORE 00001234: POP 00001235: POP 00001236: JUMP 00001237: JUMPDEST 00001238: PUSH1 0x00 0000123a: PUSH1 0x20 0000123c: DUP3 0000123d: ADD 0000123e: SWAP1 0000123f: POP 00001240: PUSH2 0x124c 00001243: PUSH1 0x00 00001245: DUP4 00001246: ADD 00001247: DUP5 00001248: PUSH2 0x1228 0000124b: JUMP 0000124c: JUMPDEST 0000124d: SWAP3 0000124e: SWAP2 0000124f: POP 00001250: POP 00001251: JUMP 00001252: JUMPDEST 00001253: PUSH1 0x00 00001255: PUSH2 0x125d 00001258: DUP3 00001259: PUSH2 0x11b8 0000125c: JUMP 0000125d: JUMPDEST 0000125e: SWAP1 0000125f: POP 00001260: SWAP2 00001261: SWAP1 00001262: POP 00001263: JUMP 00001264: JUMPDEST 00001265: PUSH2 0x126d 00001268: DUP2 00001269: PUSH2 0x1252 0000126c: JUMP 0000126d: JUMPDEST 0000126e: DUP2 0000126f: EQ 00001270: PUSH2 0x1278 00001273: JUMPI 00001274: PUSH1 0x00 00001276: DUP1 00001277: REVERT 00001278: JUMPDEST 00001279: POP 0000127a: JUMP 0000127b: JUMPDEST 0000127c: PUSH1 0x00 0000127e: DUP2 0000127f: CALLDATALOAD 00001280: SWAP1 00001281: POP 00001282: PUSH2 0x128a 00001285: DUP2 00001286: PUSH2 0x1264 00001289: JUMP 0000128a: JUMPDEST 0000128b: SWAP3 0000128c: SWAP2 0000128d: POP 0000128e: POP 0000128f: JUMP 00001290: JUMPDEST 00001291: PUSH1 0x00 00001293: PUSH1 0x20 00001295: DUP3 00001296: DUP5 00001297: SUB 00001298: SLT 00001299: ISZERO 0000129a: PUSH2 0x12a6 0000129d: JUMPI 0000129e: PUSH2 0x12a5 000012a1: PUSH2 0x0e05 000012a4: JUMP 000012a5: JUMPDEST 000012a6: JUMPDEST 000012a7: PUSH1 0x00 000012a9: PUSH2 0x12b4 000012ac: DUP5 000012ad: DUP3 000012ae: DUP6 000012af: ADD 000012b0: PUSH2 0x127b 000012b3: JUMP 000012b4: JUMPDEST 000012b5: SWAP2 000012b6: POP 000012b7: POP 000012b8: SWAP3 000012b9: SWAP2 000012ba: POP 000012bb: POP 000012bc: JUMP 000012bd: JUMPDEST 000012be: PUSH2 0x12c6 000012c1: DUP2 000012c2: PUSH2 0x0e0f 000012c5: JUMP 000012c6: JUMPDEST 000012c7: DUP3 000012c8: MSTORE 000012c9: POP 000012ca: POP 000012cb: JUMP 000012cc: JUMPDEST 000012cd: PUSH1 0x00 000012cf: PUSH1 0x20 000012d1: DUP3 000012d2: ADD 000012d3: SWAP1 000012d4: POP 000012d5: PUSH2 0x12e1 000012d8: PUSH1 0x00 000012da: DUP4 000012db: ADD 000012dc: DUP5 000012dd: PUSH2 0x12bd 000012e0: JUMP 000012e1: JUMPDEST 000012e2: SWAP3 000012e3: SWAP2 000012e4: POP 000012e5: POP 000012e6: JUMP 000012e7: JUMPDEST 000012e8: PUSH1 0x00 000012ea: DUP2 000012eb: MLOAD 000012ec: SWAP1 000012ed: POP 000012ee: PUSH2 0x12f6 000012f1: DUP2 000012f2: PUSH2 0x1264 000012f5: JUMP 000012f6: JUMPDEST 000012f7: SWAP3 000012f8: SWAP2 000012f9: POP 000012fa: POP 000012fb: JUMP 000012fc: JUMPDEST 000012fd: PUSH1 0x00 000012ff: PUSH1 0x20 00001301: DUP3 00001302: DUP5 00001303: SUB 00001304: SLT 00001305: ISZERO 00001306: PUSH2 0x1312 00001309: JUMPI 0000130a: PUSH2 0x1311 0000130d: PUSH2 0x0e05 00001310: JUMP 00001311: JUMPDEST 00001312: JUMPDEST 00001313: PUSH1 0x00 00001315: PUSH2 0x1320 00001318: DUP5 00001319: DUP3 0000131a: DUP6 0000131b: ADD 0000131c: PUSH2 0x12e7 0000131f: JUMP 00001320: JUMPDEST 00001321: SWAP2 00001322: POP 00001323: POP 00001324: SWAP3 00001325: SWAP2 00001326: POP 00001327: POP 00001328: JUMP 00001329: JUMPDEST 0000132a: PUSH1 0x00 0000132c: DUP2 0000132d: MLOAD 0000132e: SWAP1 0000132f: POP 00001330: SWAP2 00001331: SWAP1 00001332: POP 00001333: JUMP 00001334: JUMPDEST 00001335: PUSH1 0x00 00001337: DUP3 00001338: DUP3 00001339: MSTORE 0000133a: PUSH1 0x20 0000133c: DUP3 0000133d: ADD 0000133e: SWAP1 0000133f: POP 00001340: SWAP3 00001341: SWAP2 00001342: POP 00001343: POP 00001344: JUMP 00001345: JUMPDEST 00001346: PUSH1 0x00 00001348: JUMPDEST 00001349: DUP4 0000134a: DUP2 0000134b: LT 0000134c: ISZERO 0000134d: PUSH2 0x1363 00001350: JUMPI 00001351: DUP1 00001352: DUP3 00001353: ADD 00001354: MLOAD 00001355: DUP2 00001356: DUP5 00001357: ADD 00001358: MSTORE 00001359: PUSH1 0x20 0000135b: DUP2 0000135c: ADD 0000135d: SWAP1 0000135e: POP 0000135f: PUSH2 0x1348 00001362: JUMP 00001363: JUMPDEST 00001364: PUSH1 0x00 00001366: DUP5 00001367: DUP5 00001368: ADD 00001369: MSTORE 0000136a: POP 0000136b: POP 0000136c: POP 0000136d: POP 0000136e: JUMP 0000136f: JUMPDEST 00001370: PUSH1 0x00 00001372: PUSH2 0x137a 00001375: DUP3 00001376: PUSH2 0x1329 00001379: JUMP 0000137a: JUMPDEST 0000137b: PUSH2 0x1384 0000137e: DUP2 0000137f: DUP6 00001380: PUSH2 0x1334 00001383: JUMP 00001384: JUMPDEST 00001385: SWAP4 00001386: POP 00001387: PUSH2 0x1394 0000138a: DUP2 0000138b: DUP6 0000138c: PUSH1 0x20 0000138e: DUP7 0000138f: ADD 00001390: PUSH2 0x1345 00001393: JUMP 00001394: JUMPDEST 00001395: PUSH2 0x139d 00001398: DUP2 00001399: PUSH2 0x0eed 0000139c: JUMP 0000139d: JUMPDEST 0000139e: DUP5 0000139f: ADD 000013a0: SWAP2 000013a1: POP 000013a2: POP 000013a3: SWAP3 000013a4: SWAP2 000013a5: POP 000013a6: POP 000013a7: JUMP 000013a8: JUMPDEST 000013a9: PUSH1 0x00 000013ab: PUSH1 0x20 000013ad: DUP3 000013ae: ADD 000013af: SWAP1 000013b0: POP 000013b1: DUP2 000013b2: DUP2 000013b3: SUB 000013b4: PUSH1 0x00 000013b6: DUP4 000013b7: ADD 000013b8: MSTORE 000013b9: PUSH2 0x13c2 000013bc: DUP2 000013bd: DUP5 000013be: PUSH2 0x136f 000013c1: JUMP 000013c2: JUMPDEST 000013c3: SWAP1 000013c4: POP 000013c5: SWAP3 000013c6: SWAP2 000013c7: POP 000013c8: POP 000013c9: JUMP 000013ca: JUMPDEST 000013cb: PUSH1 0x00 000013cd: PUSH1 0x40 000013cf: DUP3 000013d0: ADD 000013d1: SWAP1 000013d2: POP 000013d3: PUSH2 0x13df 000013d6: PUSH1 0x00 000013d8: DUP4 000013d9: ADD 000013da: DUP6 000013db: PUSH2 0x12bd 000013de: JUMP 000013df: JUMPDEST 000013e0: PUSH2 0x13ec 000013e3: PUSH1 0x20 000013e5: DUP4 000013e6: ADD 000013e7: DUP5 000013e8: PUSH2 0x10e6 000013eb: JUMP 000013ec: JUMPDEST 000013ed: SWAP4 000013ee: SWAP3 000013ef: POP 000013f0: POP 000013f1: POP 000013f2: JUMP 000013f3: JUMPDEST 000013f4: PUSH1 0x00 000013f6: DUP2 000013f7: SWAP1 000013f8: POP 000013f9: SWAP3 000013fa: SWAP2 000013fb: POP 000013fc: POP 000013fd: JUMP 000013fe: JUMPDEST 000013ff: POP 00001400: JUMP 00001401: JUMPDEST 00001402: PUSH1 0x00 00001404: PUSH2 0x140e 00001407: PUSH1 0x00 00001409: DUP4 0000140a: PUSH2 0x13f3 0000140d: JUMP 0000140e: JUMPDEST 0000140f: SWAP2 00001410: POP 00001411: PUSH2 0x1419 00001414: DUP3 00001415: PUSH2 0x13fe 00001418: JUMP 00001419: JUMPDEST 0000141a: PUSH1 0x00 0000141c: DUP3 0000141d: ADD 0000141e: SWAP1 0000141f: POP 00001420: SWAP2 00001421: SWAP1 00001422: POP 00001423: JUMP 00001424: JUMPDEST 00001425: PUSH1 0x00 00001427: PUSH2 0x142f 0000142a: DUP3 0000142b: PUSH2 0x1401 0000142e: JUMP 0000142f: JUMPDEST 00001430: SWAP2 00001431: POP 00001432: DUP2 00001433: SWAP1 00001434: POP 00001435: SWAP2 00001436: SWAP1 00001437: POP 00001438: JUMP 00001439: JUMPDEST 0000143a: PUSH2 0x1442 0000143d: DUP2 0000143e: PUSH2 0x1252 00001441: JUMP 00001442: JUMPDEST 00001443: DUP3 00001444: MSTORE 00001445: POP 00001446: POP 00001447: JUMP 00001448: JUMPDEST 00001449: PUSH1 0x00 0000144b: PUSH1 0x40 0000144d: DUP3 0000144e: ADD 0000144f: SWAP1 00001450: POP 00001451: PUSH2 0x145d 00001454: PUSH1 0x00 00001456: DUP4 00001457: ADD 00001458: DUP6 00001459: PUSH2 0x1439 0000145c: JUMP 0000145d: JUMPDEST 0000145e: PUSH2 0x146a 00001461: PUSH1 0x20 00001463: DUP4 00001464: ADD 00001465: DUP5 00001466: PUSH2 0x12bd 00001469: JUMP 0000146a: JUMPDEST 0000146b: SWAP4 0000146c: SWAP3 0000146d: POP 0000146e: POP 0000146f: POP 00001470: JUMP 00001471: JUMPDEST 00001472: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001493: PUSH1 0x00 00001495: MSTORE 00001496: PUSH1 0x32 00001498: PUSH1 0x04 0000149a: MSTORE 0000149b: PUSH1 0x24 0000149d: PUSH1 0x00 0000149f: REVERT 000014a0: JUMPDEST 000014a1: PUSH1 0x00 000014a3: DUP1 000014a4: REVERT 000014a5: JUMPDEST 000014a6: PUSH1 0x00 000014a8: DUP1 000014a9: REVERT 000014aa: JUMPDEST 000014ab: PUSH1 0x00 000014ad: DUP1 000014ae: REVERT 000014af: JUMPDEST 000014b0: PUSH1 0x00 000014b2: DUP3 000014b3: CALLDATALOAD 000014b4: PUSH1 0x01 000014b6: PUSH1 0x60 000014b8: SUB 000014b9: DUP4 000014ba: CALLDATASIZE 000014bb: SUB 000014bc: SUB 000014bd: DUP2 000014be: SLT 000014bf: PUSH2 0x14cb 000014c2: JUMPI 000014c3: PUSH2 0x14ca 000014c6: PUSH2 0x14a0 000014c9: JUMP 000014ca: JUMPDEST 000014cb: JUMPDEST 000014cc: DUP1 000014cd: DUP4 000014ce: ADD 000014cf: SWAP2 000014d0: POP 000014d1: POP 000014d2: SWAP3 000014d3: SWAP2 000014d4: POP 000014d5: POP 000014d6: JUMP 000014d7: JUMPDEST 000014d8: PUSH1 0x00 000014da: DUP2 000014db: SWAP1 000014dc: POP 000014dd: SWAP2 000014de: SWAP1 000014df: POP 000014e0: JUMP 000014e1: JUMPDEST 000014e2: PUSH2 0x14f2 000014e5: PUSH2 0x14ed 000014e8: DUP3 000014e9: PUSH2 0x0e45 000014ec: JUMP 000014ed: JUMPDEST 000014ee: PUSH2 0x14d7 000014f1: JUMP 000014f2: JUMPDEST 000014f3: DUP3 000014f4: MSTORE 000014f5: POP 000014f6: POP 000014f7: JUMP 000014f8: JUMPDEST 000014f9: PUSH1 0x00 000014fb: PUSH2 0x1504 000014fe: DUP3 000014ff: DUP5 00001500: PUSH2 0x14e1 00001503: JUMP 00001504: JUMPDEST 00001505: PUSH1 0x20 00001507: DUP3 00001508: ADD 00001509: SWAP2 0000150a: POP 0000150b: DUP2 0000150c: SWAP1 0000150d: POP 0000150e: SWAP3 0000150f: SWAP2 00001510: POP 00001511: POP 00001512: JUMP 00001513: JUMPDEST 00001514: PUSH1 0x00 00001516: DUP1 00001517: DUP4 00001518: CALLDATALOAD 00001519: PUSH1 0x01 0000151b: PUSH1 0x20 0000151d: SUB 0000151e: DUP5 0000151f: CALLDATASIZE 00001520: SUB 00001521: SUB 00001522: DUP2 00001523: SLT 00001524: PUSH2 0x1530 00001527: JUMPI 00001528: PUSH2 0x152f 0000152b: PUSH2 0x14a0 0000152e: JUMP 0000152f: JUMPDEST 00001530: JUMPDEST 00001531: DUP1 00001532: DUP5 00001533: ADD 00001534: SWAP3 00001535: POP 00001536: DUP3 00001537: CALLDATALOAD 00001538: SWAP2 00001539: POP 0000153a: PUSH8 0xffffffffffffffff 00001543: DUP3 00001544: GT 00001545: ISZERO 00001546: PUSH2 0x1552 00001549: JUMPI 0000154a: PUSH2 0x1551 0000154d: PUSH2 0x14a5 00001550: JUMP 00001551: JUMPDEST 00001552: JUMPDEST 00001553: PUSH1 0x20 00001555: DUP4 00001556: ADD 00001557: SWAP3 00001558: POP 00001559: PUSH1 0x20 0000155b: DUP3 0000155c: MUL 0000155d: CALLDATASIZE 0000155e: SUB 0000155f: DUP4 00001560: SGT 00001561: ISZERO 00001562: PUSH2 0x156e 00001565: JUMPI 00001566: PUSH2 0x156d 00001569: PUSH2 0x14aa 0000156c: JUMP 0000156d: JUMPDEST 0000156e: JUMPDEST 0000156f: POP 00001570: SWAP3 00001571: POP 00001572: SWAP3 00001573: SWAP1 00001574: POP 00001575: JUMP 00001576: JUMPDEST 00001577: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001598: PUSH1 0x00 0000159a: MSTORE 0000159b: PUSH1 0x11 0000159d: PUSH1 0x04 0000159f: MSTORE 000015a0: PUSH1 0x24 000015a2: PUSH1 0x00 000015a4: REVERT 000015a5: JUMPDEST 000015a6: PUSH1 0x00 000015a8: PUSH2 0x15b0 000015ab: DUP3 000015ac: PUSH2 0x0e0f 000015af: JUMP 000015b0: JUMPDEST 000015b1: SWAP2 000015b2: POP 000015b3: PUSH2 0x15bb 000015b6: DUP4 000015b7: PUSH2 0x0e0f 000015ba: JUMP 000015bb: JUMPDEST 000015bc: SWAP3 000015bd: POP 000015be: DUP3 000015bf: DUP3 000015c0: ADD 000015c1: SWAP1 000015c2: POP 000015c3: DUP1 000015c4: DUP3 000015c5: GT 000015c6: ISZERO 000015c7: PUSH2 0x15d3 000015ca: JUMPI 000015cb: PUSH2 0x15d2 000015ce: PUSH2 0x1576 000015d1: JUMP 000015d2: JUMPDEST 000015d3: JUMPDEST 000015d4: SWAP3 000015d5: SWAP2 000015d6: POP 000015d7: POP 000015d8: JUMP 000015d9: JUMPDEST 000015da: PUSH1 0x00 000015dc: PUSH2 0x15e4 000015df: DUP3 000015e0: PUSH2 0x0e0f 000015e3: JUMP 000015e4: JUMPDEST 000015e5: SWAP2 000015e6: POP 000015e7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001608: DUP3 00001609: SUB 0000160a: PUSH2 0x1616 0000160d: JUMPI 0000160e: PUSH2 0x1615 00001611: PUSH2 0x1576 00001614: JUMP 00001615: JUMPDEST 00001616: JUMPDEST 00001617: PUSH1 0x01 00001619: DUP3 0000161a: ADD 0000161b: SWAP1 0000161c: POP 0000161d: SWAP2 0000161e: SWAP1 0000161f: POP 00001620: JUMP 00001621: JUMPDEST 00001622: PUSH1 0x00 00001624: PUSH1 0x60 00001626: DUP3 00001627: ADD 00001628: SWAP1 00001629: POP 0000162a: PUSH2 0x1636 0000162d: PUSH1 0x00 0000162f: DUP4 00001630: ADD 00001631: DUP7 00001632: PUSH2 0x1439 00001635: JUMP 00001636: JUMPDEST 00001637: PUSH2 0x1643 0000163a: PUSH1 0x20 0000163c: DUP4 0000163d: ADD 0000163e: DUP6 0000163f: PUSH2 0x12bd 00001642: JUMP 00001643: JUMPDEST 00001644: PUSH2 0x1650 00001647: PUSH1 0x40 00001649: DUP4 0000164a: ADD 0000164b: DUP5 0000164c: PUSH2 0x12bd 0000164f: JUMP 00001650: JUMPDEST 00001651: SWAP5 00001652: SWAP4 00001653: POP 00001654: POP 00001655: POP 00001656: POP 00001657: JUMP 00001658: JUMPDEST 00001659: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000167a: PUSH1 0x00 0000167c: DUP3 0000167d: ADD 0000167e: MSTORE 0000167f: POP 00001680: JUMP 00001681: JUMPDEST 00001682: PUSH1 0x00 00001684: PUSH2 0x168e 00001687: PUSH1 0x1f 00001689: DUP4 0000168a: PUSH2 0x1334 0000168d: JUMP 0000168e: JUMPDEST 0000168f: SWAP2 00001690: POP 00001691: PUSH2 0x1699 00001694: DUP3 00001695: PUSH2 0x1658 00001698: JUMP 00001699: JUMPDEST 0000169a: PUSH1 0x20 0000169c: DUP3 0000169d: ADD 0000169e: SWAP1 0000169f: POP 000016a0: SWAP2 000016a1: SWAP1 000016a2: POP 000016a3: JUMP 000016a4: JUMPDEST 000016a5: PUSH1 0x00 000016a7: PUSH1 0x20 000016a9: DUP3 000016aa: ADD 000016ab: SWAP1 000016ac: POP 000016ad: DUP2 000016ae: DUP2 000016af: SUB 000016b0: PUSH1 0x00 000016b2: DUP4 000016b3: ADD 000016b4: MSTORE 000016b5: PUSH2 0x16bd 000016b8: DUP2 000016b9: PUSH2 0x1681 000016bc: JUMP 000016bd: JUMPDEST 000016be: SWAP1 000016bf: POP 000016c0: SWAP2 000016c1: SWAP1 000016c2: POP 000016c3: JUMP 000016c4: INVALID 000016c5: LOG2 000016c6: PUSH5 0x6970667358 000016cc: UNKNOWN(0x22) 000016cd: SLT 000016ce: KECCAK256 000016cf: PUSH13 0x0f636cc662cca287458ba00316 000016dd: GASPRICE 000016de: NOT 000016df: NUMBER 000016e0: SLT 000016e1: CALLER 000016e2: PUSH0 000016e3: CREATE 000016e4: UNKNOWN(0xAD) 000016e5: UNKNOWN(0x4E) 000016e6: UNKNOWN(0xD3) 000016e7: UNKNOWN(0xAF) 000016e8: UNKNOWN(0xBE) 000016e9: UNKNOWN(0xC9) 000016ea: BLOBBASEFEE 000016eb: DUP16 000016ec: PUSH7 0xe51f64736f6c63 000016f4: NUMBER 000016f5: STOP 000016f6: ADDMOD 000016f7: SLT 000016f8: STOP 000016f9: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x652833118dd2cf5e27b9b83ccdeba638965e700ea11beef449d76a00cd9a7972
call_targets:
0xc64783f0be60a81a716535287539a694403183ba
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x652833118dd2cf5e27b9b83ccdeba638965e700ea11beef449d76a00cd9a7972",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc64783f0be60a81a716535287539a694403183ba"
],
"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": "0x71c5ecb1",
"selector": "0x71c5ecb1",
"calldata_variants": [
"0x71c5ecb1",
"0x71c5ecb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3ed47de",
"selector": "0xd3ed47de",
"calldata_variants": [
"0xd3ed47de",
"0xd3ed47de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde9375f2",
"selector": "0xde9375f2",
"calldata_variants": [
"0xde9375f2",
"0xde9375f20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf41c33e9",
"selector": "0xf41c33e9",
"calldata_variants": [
"0xf41c33e9",
"0xf41c33e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18712c21",
"selector": "0x18712c21",
"calldata_variants": [
"0x18712c21",
"0x18712c210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5312ea8e",
"selector": "0x5312ea8e",
"calldata_variants": [
"0x5312ea8e",
"0x5312ea8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a9a49c7",
"selector": "0x5a9a49c7",
"calldata_variants": [
"0x5a9a49c7",
"0x5a9a49c70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1515,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2912,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 643,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1309,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x652833118dd2cf5e27b9b83ccdeba638965e700ea11beef449d76a00cd9a7972
call_targets:
0xc64783f0be60a81a716535287539a694403183ba
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x652833118dd2cf5e27b9b83ccdeba638965e700ea11beef449d76a00cd9a7972",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc64783f0be60a81a716535287539a694403183ba"
],
"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": "0x71c5ecb1",
"selector": "0x71c5ecb1",
"calldata_variants": [
"0x71c5ecb1",
"0x71c5ecb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3ed47de",
"selector": "0xd3ed47de",
"calldata_variants": [
"0xd3ed47de",
"0xd3ed47de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde9375f2",
"selector": "0xde9375f2",
"calldata_variants": [
"0xde9375f2",
"0xde9375f20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf41c33e9",
"selector": "0xf41c33e9",
"calldata_variants": [
"0xf41c33e9",
"0xf41c33e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18712c21",
"selector": "0x18712c21",
"calldata_variants": [
"0x18712c21",
"0x18712c210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5312ea8e",
"selector": "0x5312ea8e",
"calldata_variants": [
"0x5312ea8e",
"0x5312ea8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a9a49c7",
"selector": "0x5a9a49c7",
"calldata_variants": [
"0x5a9a49c7",
"0x5a9a49c70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1515,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2912,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 643,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1309,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x98eddc7a2a2fd2a177f31a28d57e2847b82b04f25a09d97b446f064c8d9019b7
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 14,
"trace_id": "0x98eddc7a2a2fd2a177f31a28d57e2847b82b04f25a09d97b446f064c8d9019b7",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x71c5ecb1",
"selector": "0x71c5ecb1",
"calldata_variants": [
"0x71c5ecb1",
"0x71c5ecb10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3ed47de",
"selector": "0xd3ed47de",
"calldata_variants": [
"0xd3ed47de",
"0xd3ed47de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde9375f2",
"selector": "0xde9375f2",
"calldata_variants": [
"0xde9375f2",
"0xde9375f20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf41c33e9",
"selector": "0xf41c33e9",
"calldata_variants": [
"0xf41c33e9",
"0xf41c33e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18712c21",
"selector": "0x18712c21",
"calldata_variants": [
"0x18712c21",
"0x18712c210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5312ea8e",
"selector": "0x5312ea8e",
"calldata_variants": [
"0x5312ea8e",
"0x5312ea8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a9a49c7",
"selector": "0x5a9a49c7",
"calldata_variants": [
"0x5a9a49c7",
"0x5a9a49c70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|