019b3844-9c4e-7175-88a7-2de6f49869ad
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 |
|---|---|---|---|---|
| 14569 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 14570 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 99791 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 99792 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 99793 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 99794 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0059 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x150b7a02 00000019: EQ 0000001a: PUSH2 0x0065 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x2e025ac5 00000024: EQ 00000025: PUSH2 0x00a2 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8da5cb5b 0000002f: EQ 00000030: PUSH2 0x00cb 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xbfb7669e 0000003a: EQ 0000003b: PUSH2 0x00f6 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd5290296 00000045: EQ 00000046: PUSH2 0x011f 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xde6d6d96 00000050: EQ 00000051: PUSH2 0x0148 00000054: JUMPI 00000055: PUSH2 0x0060 00000058: JUMP 00000059: JUMPDEST 0000005a: CALLDATASIZE 0000005b: PUSH2 0x0060 0000005e: JUMPI 0000005f: STOP 00000060: JUMPDEST 00000061: PUSH1 0x00 00000063: DUP1 00000064: REVERT 00000065: JUMPDEST 00000066: CALLVALUE 00000067: DUP1 00000068: ISZERO 00000069: PUSH2 0x0071 0000006c: JUMPI 0000006d: PUSH1 0x00 0000006f: DUP1 00000070: REVERT 00000071: JUMPDEST 00000072: POP 00000073: PUSH2 0x008c 00000076: PUSH1 0x04 00000078: DUP1 00000079: CALLDATASIZE 0000007a: SUB 0000007b: DUP2 0000007c: ADD 0000007d: SWAP1 0000007e: PUSH2 0x0087 00000081: SWAP2 00000082: SWAP1 00000083: PUSH2 0x097a 00000086: JUMP 00000087: JUMPDEST 00000088: PUSH2 0x0171 0000008b: JUMP 0000008c: JUMPDEST 0000008d: PUSH1 0x40 0000008f: MLOAD 00000090: PUSH2 0x0099 00000093: SWAP2 00000094: SWAP1 00000095: PUSH2 0x0c1f 00000098: JUMP 00000099: JUMPDEST 0000009a: PUSH1 0x40 0000009c: MLOAD 0000009d: DUP1 0000009e: SWAP2 0000009f: SUB 000000a0: SWAP1 000000a1: RETURN 000000a2: JUMPDEST 000000a3: CALLVALUE 000000a4: DUP1 000000a5: ISZERO 000000a6: PUSH2 0x00ae 000000a9: JUMPI 000000aa: PUSH1 0x00 000000ac: DUP1 000000ad: REVERT 000000ae: JUMPDEST 000000af: POP 000000b0: PUSH2 0x00c9 000000b3: PUSH1 0x04 000000b5: DUP1 000000b6: CALLDATASIZE 000000b7: SUB 000000b8: DUP2 000000b9: ADD 000000ba: SWAP1 000000bb: PUSH2 0x00c4 000000be: SWAP2 000000bf: SWAP1 000000c0: PUSH2 0x09f5 000000c3: JUMP 000000c4: JUMPDEST 000000c5: PUSH2 0x0185 000000c8: JUMP 000000c9: JUMPDEST 000000ca: STOP 000000cb: JUMPDEST 000000cc: CALLVALUE 000000cd: DUP1 000000ce: ISZERO 000000cf: PUSH2 0x00d7 000000d2: JUMPI 000000d3: PUSH1 0x00 000000d5: DUP1 000000d6: REVERT 000000d7: JUMPDEST 000000d8: POP 000000d9: PUSH2 0x00e0 000000dc: PUSH2 0x0368 000000df: JUMP 000000e0: JUMPDEST 000000e1: PUSH1 0x40 000000e3: MLOAD 000000e4: PUSH2 0x00ed 000000e7: SWAP2 000000e8: SWAP1 000000e9: PUSH2 0x0ba4 000000ec: JUMP 000000ed: JUMPDEST 000000ee: PUSH1 0x40 000000f0: MLOAD 000000f1: DUP1 000000f2: SWAP2 000000f3: SUB 000000f4: SWAP1 000000f5: RETURN 000000f6: JUMPDEST 000000f7: CALLVALUE 000000f8: DUP1 000000f9: ISZERO 000000fa: PUSH2 0x0102 000000fd: JUMPI 000000fe: PUSH1 0x00 00000100: DUP1 00000101: REVERT 00000102: JUMPDEST 00000103: POP 00000104: PUSH2 0x011d 00000107: PUSH1 0x04 00000109: DUP1 0000010a: CALLDATASIZE 0000010b: SUB 0000010c: DUP2 0000010d: ADD 0000010e: SWAP1 0000010f: PUSH2 0x0118 00000112: SWAP2 00000113: SWAP1 00000114: PUSH2 0x093e 00000117: JUMP 00000118: JUMPDEST 00000119: PUSH2 0x038c 0000011c: JUMP 0000011d: JUMPDEST 0000011e: STOP 0000011f: JUMPDEST 00000120: CALLVALUE 00000121: DUP1 00000122: ISZERO 00000123: PUSH2 0x012b 00000126: JUMPI 00000127: PUSH1 0x00 00000129: DUP1 0000012a: REVERT 0000012b: JUMPDEST 0000012c: POP 0000012d: PUSH2 0x0146 00000130: PUSH1 0x04 00000132: DUP1 00000133: CALLDATASIZE 00000134: SUB 00000135: DUP2 00000136: ADD 00000137: SWAP1 00000138: PUSH2 0x0141 0000013b: SWAP2 0000013c: SWAP1 0000013d: PUSH2 0x09f5 00000140: JUMP 00000141: JUMPDEST 00000142: PUSH2 0x0453 00000145: JUMP 00000146: JUMPDEST 00000147: STOP 00000148: JUMPDEST 00000149: CALLVALUE 0000014a: DUP1 0000014b: ISZERO 0000014c: PUSH2 0x0154 0000014f: JUMPI 00000150: PUSH1 0x00 00000152: DUP1 00000153: REVERT 00000154: JUMPDEST 00000155: POP 00000156: PUSH2 0x016f 00000159: PUSH1 0x04 0000015b: DUP1 0000015c: CALLDATASIZE 0000015d: SUB 0000015e: DUP2 0000015f: ADD 00000160: SWAP1 00000161: PUSH2 0x016a 00000164: SWAP2 00000165: SWAP1 00000166: PUSH2 0x0a7e 00000169: JUMP 0000016a: JUMPDEST 0000016b: PUSH2 0x0617 0000016e: JUMP 0000016f: JUMPDEST 00000170: STOP 00000171: JUMPDEST 00000172: PUSH1 0x00 00000174: PUSH4 0x150b7a02 00000179: PUSH1 0xe0 0000017b: SHL 0000017c: SWAP1 0000017d: POP 0000017e: SWAP5 0000017f: SWAP4 00000180: POP 00000181: POP 00000182: POP 00000183: POP 00000184: JUMP 00000185: JUMPDEST 00000186: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5 000001a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001bc: AND 000001bd: CALLER 000001be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d3: AND 000001d4: EQ 000001d5: PUSH2 0x01dd 000001d8: JUMPI 000001d9: PUSH1 0x00 000001db: DUP1 000001dc: REVERT 000001dd: JUMPDEST 000001de: DUP2 000001df: DUP2 000001e0: SWAP1 000001e1: POP 000001e2: DUP5 000001e3: DUP5 000001e4: SWAP1 000001e5: POP 000001e6: EQ 000001e7: PUSH2 0x0225 000001ea: JUMPI 000001eb: PUSH1 0x40 000001ed: MLOAD 000001ee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000020f: DUP2 00000210: MSTORE 00000211: PUSH1 0x04 00000213: ADD 00000214: PUSH2 0x021c 00000217: SWAP1 00000218: PUSH2 0x0c3a 0000021b: JUMP 0000021c: JUMPDEST 0000021d: PUSH1 0x40 0000021f: MLOAD 00000220: DUP1 00000221: SWAP2 00000222: SUB 00000223: SWAP1 00000224: REVERT 00000225: JUMPDEST 00000226: PUSH1 0x00 00000228: JUMPDEST 00000229: DUP5 0000022a: DUP5 0000022b: SWAP1 0000022c: POP 0000022d: DUP2 0000022e: LT 0000022f: ISZERO 00000230: PUSH2 0x0360 00000233: JUMPI 00000234: DUP6 00000235: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024a: AND 0000024b: PUSH4 0xa9059cbb 00000250: DUP7 00000251: DUP7 00000252: DUP5 00000253: DUP2 00000254: DUP2 00000255: LT 00000256: PUSH2 0x0288 00000259: JUMPI 0000025a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000027b: PUSH1 0x00 0000027d: MSTORE 0000027e: PUSH1 0x32 00000280: PUSH1 0x04 00000282: MSTORE 00000283: PUSH1 0x24 00000285: PUSH1 0x00 00000287: REVERT 00000288: JUMPDEST 00000289: SWAP1 0000028a: POP 0000028b: PUSH1 0x20 0000028d: MUL 0000028e: ADD 0000028f: PUSH1 0x20 00000291: DUP2 00000292: ADD 00000293: SWAP1 00000294: PUSH2 0x029d 00000297: SWAP2 00000298: SWAP1 00000299: PUSH2 0x0915 0000029c: JUMP 0000029d: JUMPDEST 0000029e: DUP6 0000029f: DUP6 000002a0: DUP6 000002a1: DUP2 000002a2: DUP2 000002a3: LT 000002a4: PUSH2 0x02d6 000002a7: JUMPI 000002a8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000002c9: PUSH1 0x00 000002cb: MSTORE 000002cc: PUSH1 0x32 000002ce: PUSH1 0x04 000002d0: MSTORE 000002d1: PUSH1 0x24 000002d3: PUSH1 0x00 000002d5: REVERT 000002d6: JUMPDEST 000002d7: SWAP1 000002d8: POP 000002d9: PUSH1 0x20 000002db: MUL 000002dc: ADD 000002dd: CALLDATALOAD 000002de: PUSH1 0x40 000002e0: MLOAD 000002e1: DUP4 000002e2: PUSH4 0xffffffff 000002e7: AND 000002e8: PUSH1 0xe0 000002ea: SHL 000002eb: DUP2 000002ec: MSTORE 000002ed: PUSH1 0x04 000002ef: ADD 000002f0: PUSH2 0x02fa 000002f3: SWAP3 000002f4: SWAP2 000002f5: SWAP1 000002f6: PUSH2 0x0bf6 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH1 0x20 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: DUP1 00000301: DUP4 00000302: SUB 00000303: DUP2 00000304: PUSH1 0x00 00000306: DUP8 00000307: DUP1 00000308: EXTCODESIZE 00000309: ISZERO 0000030a: DUP1 0000030b: ISZERO 0000030c: PUSH2 0x0314 0000030f: JUMPI 00000310: PUSH1 0x00 00000312: DUP1 00000313: REVERT 00000314: JUMPDEST 00000315: POP 00000316: GAS 00000317: CALL 00000318: ISZERO 00000319: DUP1 0000031a: ISZERO 0000031b: PUSH2 0x0328 0000031e: JUMPI 0000031f: RETURNDATASIZE 00000320: PUSH1 0x00 00000322: DUP1 00000323: RETURNDATACOPY 00000324: RETURNDATASIZE 00000325: PUSH1 0x00 00000327: REVERT 00000328: JUMPDEST 00000329: POP 0000032a: POP 0000032b: POP 0000032c: POP 0000032d: PUSH1 0x40 0000032f: MLOAD 00000330: RETURNDATASIZE 00000331: PUSH1 0x1f 00000333: NOT 00000334: PUSH1 0x1f 00000336: DUP3 00000337: ADD 00000338: AND 00000339: DUP3 0000033a: ADD 0000033b: DUP1 0000033c: PUSH1 0x40 0000033e: MSTORE 0000033f: POP 00000340: DUP2 00000341: ADD 00000342: SWAP1 00000343: PUSH2 0x034c 00000346: SWAP2 00000347: SWAP1 00000348: PUSH2 0x0af3 0000034b: JUMP 0000034c: JUMPDEST 0000034d: POP 0000034e: DUP1 0000034f: DUP1 00000350: PUSH2 0x0358 00000353: SWAP1 00000354: PUSH2 0x0d80 00000357: JUMP 00000358: JUMPDEST 00000359: SWAP2 0000035a: POP 0000035b: POP 0000035c: PUSH2 0x0228 0000035f: JUMP 00000360: JUMPDEST 00000361: POP 00000362: POP 00000363: POP 00000364: POP 00000365: POP 00000366: POP 00000367: JUMP 00000368: JUMPDEST 00000369: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5 0000038a: DUP2 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5 000003ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c3: AND 000003c4: CALLER 000003c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003da: AND 000003db: EQ 000003dc: PUSH2 0x03e4 000003df: JUMPI 000003e0: PUSH1 0x00 000003e2: DUP1 000003e3: REVERT 000003e4: JUMPDEST 000003e5: DUP2 000003e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003fb: AND 000003fc: PUSH4 0xdeaa59df 00000401: DUP3 00000402: PUSH1 0x40 00000404: MLOAD 00000405: DUP3 00000406: PUSH4 0xffffffff 0000040b: AND 0000040c: PUSH1 0xe0 0000040e: SHL 0000040f: DUP2 00000410: MSTORE 00000411: PUSH1 0x04 00000413: ADD 00000414: PUSH2 0x041d 00000417: SWAP2 00000418: SWAP1 00000419: PUSH2 0x0ba4 0000041c: JUMP 0000041d: JUMPDEST 0000041e: PUSH1 0x00 00000420: PUSH1 0x40 00000422: MLOAD 00000423: DUP1 00000424: DUP4 00000425: SUB 00000426: DUP2 00000427: PUSH1 0x00 00000429: DUP8 0000042a: DUP1 0000042b: EXTCODESIZE 0000042c: ISZERO 0000042d: DUP1 0000042e: ISZERO 0000042f: PUSH2 0x0437 00000432: JUMPI 00000433: PUSH1 0x00 00000435: DUP1 00000436: REVERT 00000437: JUMPDEST 00000438: POP 00000439: GAS 0000043a: CALL 0000043b: ISZERO 0000043c: DUP1 0000043d: ISZERO 0000043e: PUSH2 0x044b 00000441: JUMPI 00000442: RETURNDATASIZE 00000443: PUSH1 0x00 00000445: DUP1 00000446: RETURNDATACOPY 00000447: RETURNDATASIZE 00000448: PUSH1 0x00 0000044a: REVERT 0000044b: JUMPDEST 0000044c: POP 0000044d: POP 0000044e: POP 0000044f: POP 00000450: POP 00000451: POP 00000452: JUMP 00000453: JUMPDEST 00000454: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5 00000475: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048a: AND 0000048b: CALLER 0000048c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a1: AND 000004a2: EQ 000004a3: PUSH2 0x04ab 000004a6: JUMPI 000004a7: PUSH1 0x00 000004a9: DUP1 000004aa: REVERT 000004ab: JUMPDEST 000004ac: DUP2 000004ad: DUP2 000004ae: SWAP1 000004af: POP 000004b0: DUP5 000004b1: DUP5 000004b2: SWAP1 000004b3: POP 000004b4: EQ 000004b5: PUSH2 0x04f3 000004b8: JUMPI 000004b9: PUSH1 0x40 000004bb: MLOAD 000004bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004dd: DUP2 000004de: MSTORE 000004df: PUSH1 0x04 000004e1: ADD 000004e2: PUSH2 0x04ea 000004e5: SWAP1 000004e6: PUSH2 0x0c3a 000004e9: JUMP 000004ea: JUMPDEST 000004eb: PUSH1 0x40 000004ed: MLOAD 000004ee: DUP1 000004ef: SWAP2 000004f0: SUB 000004f1: SWAP1 000004f2: REVERT 000004f3: JUMPDEST 000004f4: PUSH1 0x00 000004f6: JUMPDEST 000004f7: DUP5 000004f8: DUP5 000004f9: SWAP1 000004fa: POP 000004fb: DUP2 000004fc: LT 000004fd: ISZERO 000004fe: PUSH2 0x060f 00000501: JUMPI 00000502: DUP6 00000503: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000518: AND 00000519: PUSH4 0x23b872dd 0000051e: ADDRESS 0000051f: DUP8 00000520: DUP8 00000521: DUP6 00000522: DUP2 00000523: DUP2 00000524: LT 00000525: PUSH2 0x0557 00000528: JUMPI 00000529: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000054a: PUSH1 0x00 0000054c: MSTORE 0000054d: PUSH1 0x32 0000054f: PUSH1 0x04 00000551: MSTORE 00000552: PUSH1 0x24 00000554: PUSH1 0x00 00000556: REVERT 00000557: JUMPDEST 00000558: SWAP1 00000559: POP 0000055a: PUSH1 0x20 0000055c: MUL 0000055d: ADD 0000055e: PUSH1 0x20 00000560: DUP2 00000561: ADD 00000562: SWAP1 00000563: PUSH2 0x056c 00000566: SWAP2 00000567: SWAP1 00000568: PUSH2 0x0915 0000056b: JUMP 0000056c: JUMPDEST 0000056d: DUP7 0000056e: DUP7 0000056f: DUP7 00000570: DUP2 00000571: DUP2 00000572: LT 00000573: PUSH2 0x05a5 00000576: JUMPI 00000577: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000598: PUSH1 0x00 0000059a: MSTORE 0000059b: PUSH1 0x32 0000059d: PUSH1 0x04 0000059f: MSTORE 000005a0: PUSH1 0x24 000005a2: PUSH1 0x00 000005a4: REVERT 000005a5: JUMPDEST 000005a6: SWAP1 000005a7: POP 000005a8: PUSH1 0x20 000005aa: MUL 000005ab: ADD 000005ac: CALLDATALOAD 000005ad: PUSH1 0x40 000005af: MLOAD 000005b0: DUP5 000005b1: PUSH4 0xffffffff 000005b6: AND 000005b7: PUSH1 0xe0 000005b9: SHL 000005ba: DUP2 000005bb: MSTORE 000005bc: PUSH1 0x04 000005be: ADD 000005bf: PUSH2 0x05ca 000005c2: SWAP4 000005c3: SWAP3 000005c4: SWAP2 000005c5: SWAP1 000005c6: PUSH2 0x0bbf 000005c9: JUMP 000005ca: JUMPDEST 000005cb: PUSH1 0x00 000005cd: PUSH1 0x40 000005cf: MLOAD 000005d0: DUP1 000005d1: DUP4 000005d2: SUB 000005d3: DUP2 000005d4: PUSH1 0x00 000005d6: DUP8 000005d7: DUP1 000005d8: EXTCODESIZE 000005d9: ISZERO 000005da: DUP1 000005db: ISZERO 000005dc: PUSH2 0x05e4 000005df: JUMPI 000005e0: PUSH1 0x00 000005e2: DUP1 000005e3: REVERT 000005e4: JUMPDEST 000005e5: POP 000005e6: GAS 000005e7: CALL 000005e8: ISZERO 000005e9: DUP1 000005ea: ISZERO 000005eb: PUSH2 0x05f8 000005ee: JUMPI 000005ef: RETURNDATASIZE 000005f0: PUSH1 0x00 000005f2: DUP1 000005f3: RETURNDATACOPY 000005f4: RETURNDATASIZE 000005f5: PUSH1 0x00 000005f7: REVERT 000005f8: JUMPDEST 000005f9: POP 000005fa: POP 000005fb: POP 000005fc: POP 000005fd: DUP1 000005fe: DUP1 000005ff: PUSH2 0x0607 00000602: SWAP1 00000603: PUSH2 0x0d80 00000606: JUMP 00000607: JUMPDEST 00000608: SWAP2 00000609: POP 0000060a: POP 0000060b: PUSH2 0x04f6 0000060e: JUMP 0000060f: JUMPDEST 00000610: POP 00000611: POP 00000612: POP 00000613: POP 00000614: POP 00000615: POP 00000616: JUMP 00000617: JUMPDEST 00000618: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5 00000639: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064e: AND 0000064f: CALLER 00000650: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000665: AND 00000666: EQ 00000667: PUSH2 0x066f 0000066a: JUMPI 0000066b: PUSH1 0x00 0000066d: DUP1 0000066e: REVERT 0000066f: JUMPDEST 00000670: DUP2 00000671: DUP2 00000672: SWAP1 00000673: POP 00000674: DUP5 00000675: DUP5 00000676: SWAP1 00000677: POP 00000678: EQ 00000679: PUSH2 0x06b7 0000067c: JUMPI 0000067d: PUSH1 0x40 0000067f: MLOAD 00000680: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006a1: DUP2 000006a2: MSTORE 000006a3: PUSH1 0x04 000006a5: ADD 000006a6: PUSH2 0x06ae 000006a9: SWAP1 000006aa: PUSH2 0x0c3a 000006ad: JUMP 000006ae: JUMPDEST 000006af: PUSH1 0x40 000006b1: MLOAD 000006b2: DUP1 000006b3: SWAP2 000006b4: SUB 000006b5: SWAP1 000006b6: REVERT 000006b7: JUMPDEST 000006b8: PUSH1 0x00 000006ba: JUMPDEST 000006bb: DUP5 000006bc: DUP5 000006bd: SWAP1 000006be: POP 000006bf: DUP2 000006c0: LT 000006c1: ISZERO 000006c2: PUSH2 0x07d3 000006c5: JUMPI 000006c6: DUP5 000006c7: DUP5 000006c8: DUP3 000006c9: DUP2 000006ca: DUP2 000006cb: LT 000006cc: PUSH2 0x06fe 000006cf: JUMPI 000006d0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000006f1: PUSH1 0x00 000006f3: MSTORE 000006f4: PUSH1 0x32 000006f6: PUSH1 0x04 000006f8: MSTORE 000006f9: PUSH1 0x24 000006fb: PUSH1 0x00 000006fd: REVERT 000006fe: JUMPDEST 000006ff: SWAP1 00000700: POP 00000701: PUSH1 0x20 00000703: MUL 00000704: ADD 00000705: PUSH1 0x20 00000707: DUP2 00000708: ADD 00000709: SWAP1 0000070a: PUSH2 0x0713 0000070d: SWAP2 0000070e: SWAP1 0000070f: PUSH2 0x0915 00000712: JUMP 00000713: JUMPDEST 00000714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000729: AND 0000072a: DUP4 0000072b: DUP4 0000072c: DUP4 0000072d: DUP2 0000072e: DUP2 0000072f: LT 00000730: PUSH2 0x0762 00000733: JUMPI 00000734: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000755: PUSH1 0x00 00000757: MSTORE 00000758: PUSH1 0x32 0000075a: PUSH1 0x04 0000075c: MSTORE 0000075d: PUSH1 0x24 0000075f: PUSH1 0x00 00000761: REVERT 00000762: JUMPDEST 00000763: SWAP1 00000764: POP 00000765: PUSH1 0x20 00000767: MUL 00000768: ADD 00000769: CALLDATALOAD 0000076a: PUSH3 0x0124f8 0000076e: SWAP1 0000076f: PUSH1 0x40 00000771: MLOAD 00000772: PUSH2 0x077a 00000775: SWAP1 00000776: PUSH2 0x0b8f 00000779: JUMP 0000077a: JUMPDEST 0000077b: PUSH1 0x00 0000077d: PUSH1 0x40 0000077f: MLOAD 00000780: DUP1 00000781: DUP4 00000782: SUB 00000783: DUP2 00000784: DUP6 00000785: DUP9 00000786: DUP9 00000787: CALL 00000788: SWAP4 00000789: POP 0000078a: POP 0000078b: POP 0000078c: POP 0000078d: RETURNDATASIZE 0000078e: DUP1 0000078f: PUSH1 0x00 00000791: DUP2 00000792: EQ 00000793: PUSH2 0x07b8 00000796: JUMPI 00000797: PUSH1 0x40 00000799: MLOAD 0000079a: SWAP2 0000079b: POP 0000079c: PUSH1 0x1f 0000079e: NOT 0000079f: PUSH1 0x3f 000007a1: RETURNDATASIZE 000007a2: ADD 000007a3: AND 000007a4: DUP3 000007a5: ADD 000007a6: PUSH1 0x40 000007a8: MSTORE 000007a9: RETURNDATASIZE 000007aa: DUP3 000007ab: MSTORE 000007ac: RETURNDATASIZE 000007ad: PUSH1 0x00 000007af: PUSH1 0x20 000007b1: DUP5 000007b2: ADD 000007b3: RETURNDATACOPY 000007b4: PUSH2 0x07bd 000007b7: JUMP 000007b8: JUMPDEST 000007b9: PUSH1 0x60 000007bb: SWAP2 000007bc: POP 000007bd: JUMPDEST 000007be: POP 000007bf: POP 000007c0: POP 000007c1: DUP1 000007c2: DUP1 000007c3: PUSH2 0x07cb 000007c6: SWAP1 000007c7: PUSH2 0x0d80 000007ca: JUMP 000007cb: JUMPDEST 000007cc: SWAP2 000007cd: POP 000007ce: POP 000007cf: PUSH2 0x06ba 000007d2: JUMP 000007d3: JUMPDEST 000007d4: POP 000007d5: POP 000007d6: POP 000007d7: POP 000007d8: POP 000007d9: JUMP 000007da: JUMPDEST 000007db: PUSH1 0x00 000007dd: PUSH2 0x07ed 000007e0: PUSH2 0x07e8 000007e3: DUP5 000007e4: PUSH2 0x0c7f 000007e7: JUMP 000007e8: JUMPDEST 000007e9: PUSH2 0x0c5a 000007ec: JUMP 000007ed: JUMPDEST 000007ee: SWAP1 000007ef: POP 000007f0: DUP3 000007f1: DUP2 000007f2: MSTORE 000007f3: PUSH1 0x20 000007f5: DUP2 000007f6: ADD 000007f7: DUP5 000007f8: DUP5 000007f9: DUP5 000007fa: ADD 000007fb: GT 000007fc: ISZERO 000007fd: PUSH2 0x0805 00000800: JUMPI 00000801: PUSH1 0x00 00000803: DUP1 00000804: REVERT 00000805: JUMPDEST 00000806: PUSH2 0x0810 00000809: DUP5 0000080a: DUP3 0000080b: DUP6 0000080c: PUSH2 0x0d40 0000080f: JUMP 00000810: JUMPDEST 00000811: POP 00000812: SWAP4 00000813: SWAP3 00000814: POP 00000815: POP 00000816: POP 00000817: JUMP 00000818: JUMPDEST 00000819: PUSH1 0x00 0000081b: DUP2 0000081c: CALLDATALOAD 0000081d: SWAP1 0000081e: POP 0000081f: PUSH2 0x0827 00000822: DUP2 00000823: PUSH2 0x0e64 00000826: JUMP 00000827: JUMPDEST 00000828: SWAP3 00000829: SWAP2 0000082a: POP 0000082b: POP 0000082c: JUMP 0000082d: JUMPDEST 0000082e: PUSH1 0x00 00000830: DUP1 00000831: DUP4 00000832: PUSH1 0x1f 00000834: DUP5 00000835: ADD 00000836: SLT 00000837: PUSH2 0x083f 0000083a: JUMPI 0000083b: PUSH1 0x00 0000083d: DUP1 0000083e: REVERT 0000083f: JUMPDEST 00000840: DUP3 00000841: CALLDATALOAD 00000842: SWAP1 00000843: POP 00000844: PUSH8 0xffffffffffffffff 0000084d: DUP2 0000084e: GT 0000084f: ISZERO 00000850: PUSH2 0x0858 00000853: JUMPI 00000854: PUSH1 0x00 00000856: DUP1 00000857: REVERT 00000858: JUMPDEST 00000859: PUSH1 0x20 0000085b: DUP4 0000085c: ADD 0000085d: SWAP2 0000085e: POP 0000085f: DUP4 00000860: PUSH1 0x20 00000862: DUP3 00000863: MUL 00000864: DUP4 00000865: ADD 00000866: GT 00000867: ISZERO 00000868: PUSH2 0x0870 0000086b: JUMPI 0000086c: PUSH1 0x00 0000086e: DUP1 0000086f: REVERT 00000870: JUMPDEST 00000871: SWAP3 00000872: POP 00000873: SWAP3 00000874: SWAP1 00000875: POP 00000876: JUMP 00000877: JUMPDEST 00000878: PUSH1 0x00 0000087a: DUP1 0000087b: DUP4 0000087c: PUSH1 0x1f 0000087e: DUP5 0000087f: ADD 00000880: SLT 00000881: PUSH2 0x0889 00000884: JUMPI 00000885: PUSH1 0x00 00000887: DUP1 00000888: REVERT 00000889: JUMPDEST 0000088a: DUP3 0000088b: CALLDATALOAD 0000088c: SWAP1 0000088d: POP 0000088e: PUSH8 0xffffffffffffffff 00000897: DUP2 00000898: GT 00000899: ISZERO 0000089a: PUSH2 0x08a2 0000089d: JUMPI 0000089e: PUSH1 0x00 000008a0: DUP1 000008a1: REVERT 000008a2: JUMPDEST 000008a3: PUSH1 0x20 000008a5: DUP4 000008a6: ADD 000008a7: SWAP2 000008a8: POP 000008a9: DUP4 000008aa: PUSH1 0x20 000008ac: DUP3 000008ad: MUL 000008ae: DUP4 000008af: ADD 000008b0: GT 000008b1: ISZERO 000008b2: PUSH2 0x08ba 000008b5: JUMPI 000008b6: PUSH1 0x00 000008b8: DUP1 000008b9: REVERT 000008ba: JUMPDEST 000008bb: SWAP3 000008bc: POP 000008bd: SWAP3 000008be: SWAP1 000008bf: POP 000008c0: JUMP 000008c1: JUMPDEST 000008c2: PUSH1 0x00 000008c4: DUP2 000008c5: MLOAD 000008c6: SWAP1 000008c7: POP 000008c8: PUSH2 0x08d0 000008cb: DUP2 000008cc: PUSH2 0x0e7b 000008cf: JUMP 000008d0: JUMPDEST 000008d1: SWAP3 000008d2: SWAP2 000008d3: POP 000008d4: POP 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH1 0x00 000008d9: DUP3 000008da: PUSH1 0x1f 000008dc: DUP4 000008dd: ADD 000008de: SLT 000008df: PUSH2 0x08e7 000008e2: JUMPI 000008e3: PUSH1 0x00 000008e5: DUP1 000008e6: REVERT 000008e7: JUMPDEST 000008e8: DUP2 000008e9: CALLDATALOAD 000008ea: PUSH2 0x08f7 000008ed: DUP5 000008ee: DUP3 000008ef: PUSH1 0x20 000008f1: DUP7 000008f2: ADD 000008f3: PUSH2 0x07da 000008f6: JUMP 000008f7: JUMPDEST 000008f8: SWAP2 000008f9: POP 000008fa: POP 000008fb: SWAP3 000008fc: SWAP2 000008fd: POP 000008fe: POP 000008ff: JUMP 00000900: JUMPDEST 00000901: PUSH1 0x00 00000903: DUP2 00000904: CALLDATALOAD 00000905: SWAP1 00000906: POP 00000907: PUSH2 0x090f 0000090a: DUP2 0000090b: PUSH2 0x0e92 0000090e: JUMP 0000090f: JUMPDEST 00000910: SWAP3 00000911: SWAP2 00000912: POP 00000913: POP 00000914: JUMP 00000915: JUMPDEST 00000916: PUSH1 0x00 00000918: PUSH1 0x20 0000091a: DUP3 0000091b: DUP5 0000091c: SUB 0000091d: SLT 0000091e: ISZERO 0000091f: PUSH2 0x0927 00000922: JUMPI 00000923: PUSH1 0x00 00000925: DUP1 00000926: REVERT 00000927: JUMPDEST 00000928: PUSH1 0x00 0000092a: PUSH2 0x0935 0000092d: DUP5 0000092e: DUP3 0000092f: DUP6 00000930: ADD 00000931: PUSH2 0x0818 00000934: JUMP 00000935: JUMPDEST 00000936: SWAP2 00000937: POP 00000938: POP 00000939: SWAP3 0000093a: SWAP2 0000093b: POP 0000093c: POP 0000093d: JUMP 0000093e: JUMPDEST 0000093f: PUSH1 0x00 00000941: DUP1 00000942: PUSH1 0x40 00000944: DUP4 00000945: DUP6 00000946: SUB 00000947: SLT 00000948: ISZERO 00000949: PUSH2 0x0951 0000094c: JUMPI 0000094d: PUSH1 0x00 0000094f: DUP1 00000950: REVERT 00000951: JUMPDEST 00000952: PUSH1 0x00 00000954: PUSH2 0x095f 00000957: DUP6 00000958: DUP3 00000959: DUP7 0000095a: ADD 0000095b: PUSH2 0x0818 0000095e: JUMP 0000095f: JUMPDEST 00000960: SWAP3 00000961: POP 00000962: POP 00000963: PUSH1 0x20 00000965: PUSH2 0x0970 00000968: DUP6 00000969: DUP3 0000096a: DUP7 0000096b: ADD 0000096c: PUSH2 0x0818 0000096f: JUMP 00000970: JUMPDEST 00000971: SWAP2 00000972: POP 00000973: POP 00000974: SWAP3 00000975: POP 00000976: SWAP3 00000977: SWAP1 00000978: POP 00000979: JUMP 0000097a: JUMPDEST 0000097b: PUSH1 0x00 0000097d: DUP1 0000097e: PUSH1 0x00 00000980: DUP1 00000981: PUSH1 0x80 00000983: DUP6 00000984: DUP8 00000985: SUB 00000986: SLT 00000987: ISZERO 00000988: PUSH2 0x0990 0000098b: JUMPI 0000098c: PUSH1 0x00 0000098e: DUP1 0000098f: REVERT 00000990: JUMPDEST 00000991: PUSH1 0x00 00000993: PUSH2 0x099e 00000996: DUP8 00000997: DUP3 00000998: DUP9 00000999: ADD 0000099a: PUSH2 0x0818 0000099d: JUMP 0000099e: JUMPDEST 0000099f: SWAP5 000009a0: POP 000009a1: POP 000009a2: PUSH1 0x20 000009a4: PUSH2 0x09af 000009a7: DUP8 000009a8: DUP3 000009a9: DUP9 000009aa: ADD 000009ab: PUSH2 0x0818 000009ae: JUMP 000009af: JUMPDEST 000009b0: SWAP4 000009b1: POP 000009b2: POP 000009b3: PUSH1 0x40 000009b5: PUSH2 0x09c0 000009b8: DUP8 000009b9: DUP3 000009ba: DUP9 000009bb: ADD 000009bc: PUSH2 0x0900 000009bf: JUMP 000009c0: JUMPDEST 000009c1: SWAP3 000009c2: POP 000009c3: POP 000009c4: PUSH1 0x60 000009c6: DUP6 000009c7: ADD 000009c8: CALLDATALOAD 000009c9: PUSH8 0xffffffffffffffff 000009d2: DUP2 000009d3: GT 000009d4: ISZERO 000009d5: PUSH2 0x09dd 000009d8: JUMPI 000009d9: PUSH1 0x00 000009db: DUP1 000009dc: REVERT 000009dd: JUMPDEST 000009de: PUSH2 0x09e9 000009e1: DUP8 000009e2: DUP3 000009e3: DUP9 000009e4: ADD 000009e5: PUSH2 0x08d6 000009e8: JUMP 000009e9: JUMPDEST 000009ea: SWAP2 000009eb: POP 000009ec: POP 000009ed: SWAP3 000009ee: SWAP6 000009ef: SWAP2 000009f0: SWAP5 000009f1: POP 000009f2: SWAP3 000009f3: POP 000009f4: JUMP 000009f5: JUMPDEST 000009f6: PUSH1 0x00 000009f8: DUP1 000009f9: PUSH1 0x00 000009fb: DUP1 000009fc: PUSH1 0x00 000009fe: PUSH1 0x60 00000a00: DUP7 00000a01: DUP9 00000a02: SUB 00000a03: SLT 00000a04: ISZERO 00000a05: PUSH2 0x0a0d 00000a08: JUMPI 00000a09: PUSH1 0x00 00000a0b: DUP1 00000a0c: REVERT 00000a0d: JUMPDEST 00000a0e: PUSH1 0x00 00000a10: PUSH2 0x0a1b 00000a13: DUP9 00000a14: DUP3 00000a15: DUP10 00000a16: ADD 00000a17: PUSH2 0x0818 00000a1a: JUMP 00000a1b: JUMPDEST 00000a1c: SWAP6 00000a1d: POP 00000a1e: POP 00000a1f: PUSH1 0x20 00000a21: DUP7 00000a22: ADD 00000a23: CALLDATALOAD 00000a24: PUSH8 0xffffffffffffffff 00000a2d: DUP2 00000a2e: GT 00000a2f: ISZERO 00000a30: PUSH2 0x0a38 00000a33: JUMPI 00000a34: PUSH1 0x00 00000a36: DUP1 00000a37: REVERT 00000a38: JUMPDEST 00000a39: PUSH2 0x0a44 00000a3c: DUP9 00000a3d: DUP3 00000a3e: DUP10 00000a3f: ADD 00000a40: PUSH2 0x082d 00000a43: JUMP 00000a44: JUMPDEST 00000a45: SWAP5 00000a46: POP 00000a47: SWAP5 00000a48: POP 00000a49: POP 00000a4a: PUSH1 0x40 00000a4c: DUP7 00000a4d: ADD 00000a4e: CALLDATALOAD 00000a4f: PUSH8 0xffffffffffffffff 00000a58: DUP2 00000a59: GT 00000a5a: ISZERO 00000a5b: PUSH2 0x0a63 00000a5e: JUMPI 00000a5f: PUSH1 0x00 00000a61: DUP1 00000a62: REVERT 00000a63: JUMPDEST 00000a64: PUSH2 0x0a6f 00000a67: DUP9 00000a68: DUP3 00000a69: DUP10 00000a6a: ADD 00000a6b: PUSH2 0x0877 00000a6e: JUMP 00000a6f: JUMPDEST 00000a70: SWAP3 00000a71: POP 00000a72: SWAP3 00000a73: POP 00000a74: POP 00000a75: SWAP3 00000a76: SWAP6 00000a77: POP 00000a78: SWAP3 00000a79: SWAP6 00000a7a: SWAP1 00000a7b: SWAP4 00000a7c: POP 00000a7d: JUMP 00000a7e: JUMPDEST 00000a7f: PUSH1 0x00 00000a81: DUP1 00000a82: PUSH1 0x00 00000a84: DUP1 00000a85: PUSH1 0x40 00000a87: DUP6 00000a88: DUP8 00000a89: SUB 00000a8a: SLT 00000a8b: ISZERO 00000a8c: PUSH2 0x0a94 00000a8f: JUMPI 00000a90: PUSH1 0x00 00000a92: DUP1 00000a93: REVERT 00000a94: JUMPDEST 00000a95: PUSH1 0x00 00000a97: DUP6 00000a98: ADD 00000a99: CALLDATALOAD 00000a9a: PUSH8 0xffffffffffffffff 00000aa3: DUP2 00000aa4: GT 00000aa5: ISZERO 00000aa6: PUSH2 0x0aae 00000aa9: JUMPI 00000aaa: PUSH1 0x00 00000aac: DUP1 00000aad: REVERT 00000aae: JUMPDEST 00000aaf: PUSH2 0x0aba 00000ab2: DUP8 00000ab3: DUP3 00000ab4: DUP9 00000ab5: ADD 00000ab6: PUSH2 0x082d 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: SWAP5 00000abc: POP 00000abd: SWAP5 00000abe: POP 00000abf: POP 00000ac0: PUSH1 0x20 00000ac2: DUP6 00000ac3: ADD 00000ac4: CALLDATALOAD 00000ac5: PUSH8 0xffffffffffffffff 00000ace: DUP2 00000acf: GT 00000ad0: ISZERO 00000ad1: PUSH2 0x0ad9 00000ad4: JUMPI 00000ad5: PUSH1 0x00 00000ad7: DUP1 00000ad8: REVERT 00000ad9: JUMPDEST 00000ada: PUSH2 0x0ae5 00000add: DUP8 00000ade: DUP3 00000adf: DUP9 00000ae0: ADD 00000ae1: PUSH2 0x0877 00000ae4: JUMP 00000ae5: JUMPDEST 00000ae6: SWAP3 00000ae7: POP 00000ae8: SWAP3 00000ae9: POP 00000aea: POP 00000aeb: SWAP3 00000aec: SWAP6 00000aed: SWAP2 00000aee: SWAP5 00000aef: POP 00000af0: SWAP3 00000af1: POP 00000af2: JUMP 00000af3: JUMPDEST 00000af4: PUSH1 0x00 00000af6: PUSH1 0x20 00000af8: DUP3 00000af9: DUP5 00000afa: SUB 00000afb: SLT 00000afc: ISZERO 00000afd: PUSH2 0x0b05 00000b00: JUMPI 00000b01: PUSH1 0x00 00000b03: DUP1 00000b04: REVERT 00000b05: JUMPDEST 00000b06: PUSH1 0x00 00000b08: PUSH2 0x0b13 00000b0b: DUP5 00000b0c: DUP3 00000b0d: DUP6 00000b0e: ADD 00000b0f: PUSH2 0x08c1 00000b12: JUMP 00000b13: JUMPDEST 00000b14: SWAP2 00000b15: POP 00000b16: POP 00000b17: SWAP3 00000b18: SWAP2 00000b19: POP 00000b1a: POP 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: PUSH2 0x0b25 00000b20: DUP2 00000b21: PUSH2 0x0ccc 00000b24: JUMP 00000b25: JUMPDEST 00000b26: DUP3 00000b27: MSTORE 00000b28: POP 00000b29: POP 00000b2a: JUMP 00000b2b: JUMPDEST 00000b2c: PUSH2 0x0b34 00000b2f: DUP2 00000b30: PUSH2 0x0cea 00000b33: JUMP 00000b34: JUMPDEST 00000b35: DUP3 00000b36: MSTORE 00000b37: POP 00000b38: POP 00000b39: JUMP 00000b3a: JUMPDEST 00000b3b: PUSH1 0x00 00000b3d: PUSH2 0x0b47 00000b40: PUSH1 0x15 00000b42: DUP4 00000b43: PUSH2 0x0cbb 00000b46: JUMP 00000b47: JUMPDEST 00000b48: SWAP2 00000b49: POP 00000b4a: PUSH2 0x0b52 00000b4d: DUP3 00000b4e: PUSH2 0x0e38 00000b51: JUMP 00000b52: JUMPDEST 00000b53: PUSH1 0x20 00000b55: DUP3 00000b56: ADD 00000b57: SWAP1 00000b58: POP 00000b59: SWAP2 00000b5a: SWAP1 00000b5b: POP 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH1 0x00 00000b60: PUSH2 0x0b6a 00000b63: PUSH1 0x00 00000b65: DUP4 00000b66: PUSH2 0x0cb0 00000b69: JUMP 00000b6a: JUMPDEST 00000b6b: SWAP2 00000b6c: POP 00000b6d: PUSH2 0x0b75 00000b70: DUP3 00000b71: PUSH2 0x0e61 00000b74: JUMP 00000b75: JUMPDEST 00000b76: PUSH1 0x00 00000b78: DUP3 00000b79: ADD 00000b7a: SWAP1 00000b7b: POP 00000b7c: SWAP2 00000b7d: SWAP1 00000b7e: POP 00000b7f: JUMP 00000b80: JUMPDEST 00000b81: PUSH2 0x0b89 00000b84: DUP2 00000b85: PUSH2 0x0d36 00000b88: JUMP 00000b89: JUMPDEST 00000b8a: DUP3 00000b8b: MSTORE 00000b8c: POP 00000b8d: POP 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: PUSH1 0x00 00000b92: PUSH2 0x0b9a 00000b95: DUP3 00000b96: PUSH2 0x0b5d 00000b99: JUMP 00000b9a: JUMPDEST 00000b9b: SWAP2 00000b9c: POP 00000b9d: DUP2 00000b9e: SWAP1 00000b9f: POP 00000ba0: SWAP2 00000ba1: SWAP1 00000ba2: POP 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: PUSH1 0x00 00000ba7: PUSH1 0x20 00000ba9: DUP3 00000baa: ADD 00000bab: SWAP1 00000bac: POP 00000bad: PUSH2 0x0bb9 00000bb0: PUSH1 0x00 00000bb2: DUP4 00000bb3: ADD 00000bb4: DUP5 00000bb5: PUSH2 0x0b1c 00000bb8: JUMP 00000bb9: JUMPDEST 00000bba: SWAP3 00000bbb: SWAP2 00000bbc: POP 00000bbd: POP 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: PUSH1 0x00 00000bc2: PUSH1 0x60 00000bc4: DUP3 00000bc5: ADD 00000bc6: SWAP1 00000bc7: POP 00000bc8: PUSH2 0x0bd4 00000bcb: PUSH1 0x00 00000bcd: DUP4 00000bce: ADD 00000bcf: DUP7 00000bd0: PUSH2 0x0b1c 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: PUSH2 0x0be1 00000bd8: PUSH1 0x20 00000bda: DUP4 00000bdb: ADD 00000bdc: DUP6 00000bdd: PUSH2 0x0b1c 00000be0: JUMP 00000be1: JUMPDEST 00000be2: PUSH2 0x0bee 00000be5: PUSH1 0x40 00000be7: DUP4 00000be8: ADD 00000be9: DUP5 00000bea: PUSH2 0x0b80 00000bed: JUMP 00000bee: JUMPDEST 00000bef: SWAP5 00000bf0: SWAP4 00000bf1: POP 00000bf2: POP 00000bf3: POP 00000bf4: POP 00000bf5: JUMP 00000bf6: JUMPDEST 00000bf7: PUSH1 0x00 00000bf9: PUSH1 0x40 00000bfb: DUP3 00000bfc: ADD 00000bfd: SWAP1 00000bfe: POP 00000bff: PUSH2 0x0c0b 00000c02: PUSH1 0x00 00000c04: DUP4 00000c05: ADD 00000c06: DUP6 00000c07: PUSH2 0x0b1c 00000c0a: JUMP 00000c0b: JUMPDEST 00000c0c: PUSH2 0x0c18 00000c0f: PUSH1 0x20 00000c11: DUP4 00000c12: ADD 00000c13: DUP5 00000c14: PUSH2 0x0b80 00000c17: JUMP 00000c18: JUMPDEST 00000c19: SWAP4 00000c1a: SWAP3 00000c1b: POP 00000c1c: POP 00000c1d: POP 00000c1e: JUMP 00000c1f: JUMPDEST 00000c20: PUSH1 0x00 00000c22: PUSH1 0x20 00000c24: DUP3 00000c25: ADD 00000c26: SWAP1 00000c27: POP 00000c28: PUSH2 0x0c34 00000c2b: PUSH1 0x00 00000c2d: DUP4 00000c2e: ADD 00000c2f: DUP5 00000c30: PUSH2 0x0b2b 00000c33: JUMP 00000c34: JUMPDEST 00000c35: SWAP3 00000c36: SWAP2 00000c37: POP 00000c38: POP 00000c39: JUMP 00000c3a: JUMPDEST 00000c3b: PUSH1 0x00 00000c3d: PUSH1 0x20 00000c3f: DUP3 00000c40: ADD 00000c41: SWAP1 00000c42: POP 00000c43: DUP2 00000c44: DUP2 00000c45: SUB 00000c46: PUSH1 0x00 00000c48: DUP4 00000c49: ADD 00000c4a: MSTORE 00000c4b: PUSH2 0x0c53 00000c4e: DUP2 00000c4f: PUSH2 0x0b3a 00000c52: JUMP 00000c53: JUMPDEST 00000c54: SWAP1 00000c55: POP 00000c56: SWAP2 00000c57: SWAP1 00000c58: POP 00000c59: JUMP 00000c5a: JUMPDEST 00000c5b: PUSH1 0x00 00000c5d: PUSH2 0x0c64 00000c60: PUSH2 0x0c75 00000c63: JUMP 00000c64: JUMPDEST 00000c65: SWAP1 00000c66: POP 00000c67: PUSH2 0x0c70 00000c6a: DUP3 00000c6b: DUP3 00000c6c: PUSH2 0x0d4f 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: SWAP2 00000c72: SWAP1 00000c73: POP 00000c74: JUMP 00000c75: JUMPDEST 00000c76: PUSH1 0x00 00000c78: PUSH1 0x40 00000c7a: MLOAD 00000c7b: SWAP1 00000c7c: POP 00000c7d: SWAP1 00000c7e: JUMP 00000c7f: JUMPDEST 00000c80: PUSH1 0x00 00000c82: PUSH8 0xffffffffffffffff 00000c8b: DUP3 00000c8c: GT 00000c8d: ISZERO 00000c8e: PUSH2 0x0c9a 00000c91: JUMPI 00000c92: PUSH2 0x0c99 00000c95: PUSH2 0x0df8 00000c98: JUMP 00000c99: JUMPDEST 00000c9a: JUMPDEST 00000c9b: PUSH2 0x0ca3 00000c9e: DUP3 00000c9f: PUSH2 0x0e27 00000ca2: JUMP 00000ca3: JUMPDEST 00000ca4: SWAP1 00000ca5: POP 00000ca6: PUSH1 0x20 00000ca8: DUP2 00000ca9: ADD 00000caa: SWAP1 00000cab: POP 00000cac: SWAP2 00000cad: SWAP1 00000cae: POP 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: PUSH1 0x00 00000cb3: DUP2 00000cb4: SWAP1 00000cb5: POP 00000cb6: SWAP3 00000cb7: SWAP2 00000cb8: POP 00000cb9: POP 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH1 0x00 00000cbe: DUP3 00000cbf: DUP3 00000cc0: MSTORE 00000cc1: PUSH1 0x20 00000cc3: DUP3 00000cc4: ADD 00000cc5: SWAP1 00000cc6: POP 00000cc7: SWAP3 00000cc8: SWAP2 00000cc9: POP 00000cca: POP 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: PUSH1 0x00 00000ccf: PUSH2 0x0cd7 00000cd2: DUP3 00000cd3: PUSH2 0x0d16 00000cd6: JUMP 00000cd7: JUMPDEST 00000cd8: SWAP1 00000cd9: POP 00000cda: SWAP2 00000cdb: SWAP1 00000cdc: POP 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: PUSH1 0x00 00000ce1: DUP2 00000ce2: ISZERO 00000ce3: ISZERO 00000ce4: SWAP1 00000ce5: POP 00000ce6: SWAP2 00000ce7: SWAP1 00000ce8: POP 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: PUSH1 0x00 00000ced: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000d0e: DUP3 00000d0f: AND 00000d10: SWAP1 00000d11: POP 00000d12: SWAP2 00000d13: SWAP1 00000d14: POP 00000d15: JUMP 00000d16: JUMPDEST 00000d17: PUSH1 0x00 00000d19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2e: DUP3 00000d2f: AND 00000d30: SWAP1 00000d31: POP 00000d32: SWAP2 00000d33: SWAP1 00000d34: POP 00000d35: JUMP 00000d36: JUMPDEST 00000d37: PUSH1 0x00 00000d39: DUP2 00000d3a: SWAP1 00000d3b: POP 00000d3c: SWAP2 00000d3d: SWAP1 00000d3e: POP 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: DUP3 00000d42: DUP2 00000d43: DUP4 00000d44: CALLDATACOPY 00000d45: PUSH1 0x00 00000d47: DUP4 00000d48: DUP4 00000d49: ADD 00000d4a: MSTORE 00000d4b: POP 00000d4c: POP 00000d4d: POP 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: PUSH2 0x0d58 00000d53: DUP3 00000d54: PUSH2 0x0e27 00000d57: JUMP 00000d58: JUMPDEST 00000d59: DUP2 00000d5a: ADD 00000d5b: DUP2 00000d5c: DUP2 00000d5d: LT 00000d5e: PUSH8 0xffffffffffffffff 00000d67: DUP3 00000d68: GT 00000d69: OR 00000d6a: ISZERO 00000d6b: PUSH2 0x0d77 00000d6e: JUMPI 00000d6f: PUSH2 0x0d76 00000d72: PUSH2 0x0df8 00000d75: JUMP 00000d76: JUMPDEST 00000d77: JUMPDEST 00000d78: DUP1 00000d79: PUSH1 0x40 00000d7b: MSTORE 00000d7c: POP 00000d7d: POP 00000d7e: POP 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: PUSH1 0x00 00000d83: PUSH2 0x0d8b 00000d86: DUP3 00000d87: PUSH2 0x0d36 00000d8a: JUMP 00000d8b: JUMPDEST 00000d8c: SWAP2 00000d8d: POP 00000d8e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000daf: DUP3 00000db0: EQ 00000db1: ISZERO 00000db2: PUSH2 0x0dbe 00000db5: JUMPI 00000db6: PUSH2 0x0dbd 00000db9: PUSH2 0x0dc9 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: JUMPDEST 00000dbf: PUSH1 0x01 00000dc1: DUP3 00000dc2: ADD 00000dc3: SWAP1 00000dc4: POP 00000dc5: SWAP2 00000dc6: SWAP1 00000dc7: POP 00000dc8: JUMP 00000dc9: JUMPDEST 00000dca: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000deb: PUSH1 0x00 00000ded: MSTORE 00000dee: PUSH1 0x11 00000df0: PUSH1 0x04 00000df2: MSTORE 00000df3: PUSH1 0x24 00000df5: PUSH1 0x00 00000df7: REVERT 00000df8: JUMPDEST 00000df9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000e1a: PUSH1 0x00 00000e1c: MSTORE 00000e1d: PUSH1 0x41 00000e1f: PUSH1 0x04 00000e21: MSTORE 00000e22: PUSH1 0x24 00000e24: PUSH1 0x00 00000e26: REVERT 00000e27: JUMPDEST 00000e28: PUSH1 0x00 00000e2a: PUSH1 0x1f 00000e2c: NOT 00000e2d: PUSH1 0x1f 00000e2f: DUP4 00000e30: ADD 00000e31: AND 00000e32: SWAP1 00000e33: POP 00000e34: SWAP2 00000e35: SWAP1 00000e36: POP 00000e37: JUMP 00000e38: JUMPDEST 00000e39: PUSH32 0x616d6f756e7420636f756e74206d69736d617463680000000000000000000000 00000e5a: PUSH1 0x00 00000e5c: DUP3 00000e5d: ADD 00000e5e: MSTORE 00000e5f: POP 00000e60: JUMP 00000e61: JUMPDEST 00000e62: POP 00000e63: JUMP 00000e64: JUMPDEST 00000e65: PUSH2 0x0e6d 00000e68: DUP2 00000e69: PUSH2 0x0ccc 00000e6c: JUMP 00000e6d: JUMPDEST 00000e6e: DUP2 00000e6f: EQ 00000e70: PUSH2 0x0e78 00000e73: JUMPI 00000e74: PUSH1 0x00 00000e76: DUP1 00000e77: REVERT 00000e78: JUMPDEST 00000e79: POP 00000e7a: JUMP 00000e7b: JUMPDEST 00000e7c: PUSH2 0x0e84 00000e7f: DUP2 00000e80: PUSH2 0x0cde 00000e83: JUMP 00000e84: JUMPDEST 00000e85: DUP2 00000e86: EQ 00000e87: PUSH2 0x0e8f 00000e8a: JUMPI 00000e8b: PUSH1 0x00 00000e8d: DUP1 00000e8e: REVERT 00000e8f: JUMPDEST 00000e90: POP 00000e91: JUMP 00000e92: JUMPDEST 00000e93: PUSH2 0x0e9b 00000e96: DUP2 00000e97: PUSH2 0x0d36 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: DUP2 00000e9d: EQ 00000e9e: PUSH2 0x0ea6 00000ea1: JUMPI 00000ea2: PUSH1 0x00 00000ea4: DUP1 00000ea5: REVERT 00000ea6: JUMPDEST 00000ea7: POP 00000ea8: JUMP 00000ea9: INVALID 00000eaa: LOG2 00000eab: PUSH5 0x6970667358 00000eb1: UNKNOWN(0x22) 00000eb2: SLT 00000eb3: KECCAK256 00000eb4: UNKNOWN(0xBA) 00000eb5: UNKNOWN(0xE2) 00000eb6: UNKNOWN(0x0C) 00000eb7: UNKNOWN(0xC4) 00000eb8: LOG1 00000eb9: UNKNOWN(0x4D) 00000eba: SWAP11 00000ebb: PUSH10 0xcca8e126d86929faa1c8 00000ec6: UNKNOWN(0xFB) 00000ec7: GT 00000ec8: UNKNOWN(0x29) 00000ec9: SELFDESTRUCT 00000eca: SSTORE 00000ecb: SWAP10 00000ecc: UNKNOWN(0x2F) 00000ecd: PUSH15 0xb30b30a0b44e64736f6c6343000804 00000edd: STOP 00000ede: CALLER
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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x525b3fe5b136f3dd50aa2c0bc209a411c3a4fcb89d7f81a5964cf78516e9d0ea
call_targets:
0x0ae7106b8022a771bf1e81dcdd1eacd9a5814c94
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x525b3fe5b136f3dd50aa2c0bc209a411c3a4fcb89d7f81a5964cf78516e9d0ea",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0ae7106b8022a771bf1e81dcdd1eacd9a5814c94"
],
"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": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e025ac5",
"selector": "0x2e025ac5",
"calldata_variants": [
"0x2e025ac5",
"0x2e025ac50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfb7669e",
"selector": "0xbfb7669e",
"calldata_variants": [
"0xbfb7669e",
"0xbfb7669e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5290296",
"selector": "0xd5290296",
"calldata_variants": [
"0xd5290296",
"0xd52902960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde6d6d96",
"selector": "0xde6d6d96",
"calldata_variants": [
"0xde6d6d96",
"0xde6d6d960000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 791,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1082,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1511,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 445,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 964,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1163,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1615,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x525b3fe5b136f3dd50aa2c0bc209a411c3a4fcb89d7f81a5964cf78516e9d0ea
call_targets:
0x0ae7106b8022a771bf1e81dcdd1eacd9a5814c94
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x525b3fe5b136f3dd50aa2c0bc209a411c3a4fcb89d7f81a5964cf78516e9d0ea",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0ae7106b8022a771bf1e81dcdd1eacd9a5814c94"
],
"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": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e025ac5",
"selector": "0x2e025ac5",
"calldata_variants": [
"0x2e025ac5",
"0x2e025ac50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfb7669e",
"selector": "0xbfb7669e",
"calldata_variants": [
"0xbfb7669e",
"0xbfb7669e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5290296",
"selector": "0xd5290296",
"calldata_variants": [
"0xd5290296",
"0xd52902960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde6d6d96",
"selector": "0xde6d6d96",
"calldata_variants": [
"0xde6d6d96",
"0xde6d6d960000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 791,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1082,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1511,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 445,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 964,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1163,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1615,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x8848596d9e5644bac4d5c4fc01cd68fad5688d1c868a09a1fc1c3ed630a7e88a
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 12,
"trace_id": "0x8848596d9e5644bac4d5c4fc01cd68fad5688d1c868a09a1fc1c3ed630a7e88a",
"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": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e025ac5",
"selector": "0x2e025ac5",
"calldata_variants": [
"0x2e025ac5",
"0x2e025ac50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfb7669e",
"selector": "0xbfb7669e",
"calldata_variants": [
"0xbfb7669e",
"0xbfb7669e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5290296",
"selector": "0xd5290296",
"calldata_variants": [
"0xd5290296",
"0xd52902960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde6d6d96",
"selector": "0xde6d6d96",
"calldata_variants": [
"0xde6d6d96",
"0xde6d6d960000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 445,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 964,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1163,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1615,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|