019b477e-c8ae-7341-b8da-9fcfd13fd9ae
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 |
|---|---|---|---|---|
| 26191 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26192 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112831 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112832 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112833 | detector.run | complete | 1 / 3 | 1 week ago |
| 112834 | 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 0x0070 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x68742da6 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x68742da6 00000024: EQ 00000025: PUSH2 0x00e3 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa7111de8 0000002f: EQ 00000030: PUSH2 0x010c 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xacec123a 0000003a: EQ 0000003b: PUSH2 0x0149 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xbc46314b 00000045: EQ 00000046: PUSH2 0x0172 00000049: JUMPI 0000004a: PUSH2 0x0070 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x0d71bdc3 00000055: EQ 00000056: PUSH2 0x0075 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x3957e4ae 00000060: EQ 00000061: PUSH2 0x0091 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x44c23d56 0000006b: EQ 0000006c: PUSH2 0x00ba 0000006f: JUMPI 00000070: JUMPDEST 00000071: PUSH1 0x00 00000073: DUP1 00000074: REVERT 00000075: JUMPDEST 00000076: PUSH2 0x008f 00000079: PUSH1 0x04 0000007b: DUP1 0000007c: CALLDATASIZE 0000007d: SUB 0000007e: DUP2 0000007f: ADD 00000080: SWAP1 00000081: PUSH2 0x008a 00000084: SWAP2 00000085: SWAP1 00000086: PUSH2 0x0a2a 00000089: JUMP 0000008a: JUMPDEST 0000008b: PUSH2 0x01af 0000008e: JUMP 0000008f: JUMPDEST 00000090: STOP 00000091: JUMPDEST 00000092: CALLVALUE 00000093: DUP1 00000094: ISZERO 00000095: PUSH2 0x009d 00000098: JUMPI 00000099: PUSH1 0x00 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: POP 0000009f: PUSH2 0x00b8 000000a2: PUSH1 0x04 000000a4: DUP1 000000a5: CALLDATASIZE 000000a6: SUB 000000a7: DUP2 000000a8: ADD 000000a9: SWAP1 000000aa: PUSH2 0x00b3 000000ad: SWAP2 000000ae: SWAP1 000000af: PUSH2 0x0a7d 000000b2: JUMP 000000b3: JUMPDEST 000000b4: PUSH2 0x0450 000000b7: JUMP 000000b8: JUMPDEST 000000b9: STOP 000000ba: JUMPDEST 000000bb: CALLVALUE 000000bc: DUP1 000000bd: ISZERO 000000be: PUSH2 0x00c6 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: POP 000000c8: PUSH2 0x00e1 000000cb: PUSH1 0x04 000000cd: DUP1 000000ce: CALLDATASIZE 000000cf: SUB 000000d0: DUP2 000000d1: ADD 000000d2: SWAP1 000000d3: PUSH2 0x00dc 000000d6: SWAP2 000000d7: SWAP1 000000d8: PUSH2 0x09d0 000000db: JUMP 000000dc: JUMPDEST 000000dd: PUSH2 0x0523 000000e0: JUMP 000000e1: JUMPDEST 000000e2: STOP 000000e3: JUMPDEST 000000e4: CALLVALUE 000000e5: DUP1 000000e6: ISZERO 000000e7: PUSH2 0x00ef 000000ea: JUMPI 000000eb: PUSH1 0x00 000000ed: DUP1 000000ee: REVERT 000000ef: JUMPDEST 000000f0: POP 000000f1: PUSH2 0x010a 000000f4: PUSH1 0x04 000000f6: DUP1 000000f7: CALLDATASIZE 000000f8: SUB 000000f9: DUP2 000000fa: ADD 000000fb: SWAP1 000000fc: PUSH2 0x0105 000000ff: SWAP2 00000100: SWAP1 00000101: PUSH2 0x09d0 00000104: JUMP 00000105: JUMPDEST 00000106: PUSH2 0x06c2 00000109: JUMP 0000010a: JUMPDEST 0000010b: STOP 0000010c: JUMPDEST 0000010d: CALLVALUE 0000010e: DUP1 0000010f: ISZERO 00000110: PUSH2 0x0118 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: POP 0000011a: PUSH2 0x0133 0000011d: PUSH1 0x04 0000011f: DUP1 00000120: CALLDATASIZE 00000121: SUB 00000122: DUP2 00000123: ADD 00000124: SWAP1 00000125: PUSH2 0x012e 00000128: SWAP2 00000129: SWAP1 0000012a: PUSH2 0x09d0 0000012d: JUMP 0000012e: JUMPDEST 0000012f: PUSH2 0x0797 00000132: JUMP 00000133: JUMPDEST 00000134: PUSH1 0x40 00000136: MLOAD 00000137: PUSH2 0x0140 0000013a: SWAP2 0000013b: SWAP1 0000013c: PUSH2 0x0cd2 0000013f: JUMP 00000140: JUMPDEST 00000141: PUSH1 0x40 00000143: MLOAD 00000144: DUP1 00000145: SWAP2 00000146: SUB 00000147: SWAP1 00000148: RETURN 00000149: JUMPDEST 0000014a: CALLVALUE 0000014b: DUP1 0000014c: ISZERO 0000014d: PUSH2 0x0155 00000150: JUMPI 00000151: PUSH1 0x00 00000153: DUP1 00000154: REVERT 00000155: JUMPDEST 00000156: POP 00000157: PUSH2 0x0170 0000015a: PUSH1 0x04 0000015c: DUP1 0000015d: CALLDATASIZE 0000015e: SUB 0000015f: DUP2 00000160: ADD 00000161: SWAP1 00000162: PUSH2 0x016b 00000165: SWAP2 00000166: SWAP1 00000167: PUSH2 0x09d0 0000016a: JUMP 0000016b: JUMPDEST 0000016c: PUSH2 0x07af 0000016f: JUMP 00000170: JUMPDEST 00000171: STOP 00000172: JUMPDEST 00000173: CALLVALUE 00000174: DUP1 00000175: ISZERO 00000176: PUSH2 0x017e 00000179: JUMPI 0000017a: PUSH1 0x00 0000017c: DUP1 0000017d: REVERT 0000017e: JUMPDEST 0000017f: POP 00000180: PUSH2 0x0199 00000183: PUSH1 0x04 00000185: DUP1 00000186: CALLDATASIZE 00000187: SUB 00000188: DUP2 00000189: ADD 0000018a: SWAP1 0000018b: PUSH2 0x0194 0000018e: SWAP2 0000018f: SWAP1 00000190: PUSH2 0x0a2a 00000193: JUMP 00000194: JUMPDEST 00000195: PUSH2 0x08e1 00000198: JUMP 00000199: JUMPDEST 0000019a: PUSH1 0x40 0000019c: MLOAD 0000019d: PUSH2 0x01a6 000001a0: SWAP2 000001a1: SWAP1 000001a2: PUSH2 0x0bb7 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH1 0x40 000001a9: MLOAD 000001aa: DUP1 000001ab: SWAP2 000001ac: SUB 000001ad: SWAP1 000001ae: RETURN 000001af: JUMPDEST 000001b0: PUSH1 0x01 000001b2: PUSH1 0x00 000001b4: DUP5 000001b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ca: AND 000001cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e0: AND 000001e1: DUP2 000001e2: MSTORE 000001e3: PUSH1 0x20 000001e5: ADD 000001e6: SWAP1 000001e7: DUP2 000001e8: MSTORE 000001e9: PUSH1 0x20 000001eb: ADD 000001ec: PUSH1 0x00 000001ee: KECCAK256 000001ef: PUSH1 0x00 000001f1: SWAP1 000001f2: SLOAD 000001f3: SWAP1 000001f4: PUSH2 0x0100 000001f7: EXP 000001f8: SWAP1 000001f9: DIV 000001fa: PUSH1 0xff 000001fc: AND 000001fd: PUSH2 0x023b 00000200: JUMPI 00000201: PUSH1 0x40 00000203: MLOAD 00000204: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000225: DUP2 00000226: MSTORE 00000227: PUSH1 0x04 00000229: ADD 0000022a: PUSH2 0x0232 0000022d: SWAP1 0000022e: PUSH2 0x0c72 00000231: JUMP 00000232: JUMPDEST 00000233: PUSH1 0x40 00000235: MLOAD 00000236: DUP1 00000237: SWAP2 00000238: SUB 00000239: SWAP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: PUSH1 0x02 0000023e: PUSH1 0x00 00000240: DUP5 00000241: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000256: AND 00000257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000026c: AND 0000026d: DUP2 0000026e: MSTORE 0000026f: PUSH1 0x20 00000271: ADD 00000272: SWAP1 00000273: DUP2 00000274: MSTORE 00000275: PUSH1 0x20 00000277: ADD 00000278: PUSH1 0x00 0000027a: KECCAK256 0000027b: SLOAD 0000027c: CALLVALUE 0000027d: EQ 0000027e: PUSH2 0x02bc 00000281: JUMPI 00000282: PUSH1 0x40 00000284: MLOAD 00000285: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000002a6: DUP2 000002a7: MSTORE 000002a8: PUSH1 0x04 000002aa: ADD 000002ab: PUSH2 0x02b3 000002ae: SWAP1 000002af: PUSH2 0x0c32 000002b2: JUMP 000002b3: JUMPDEST 000002b4: PUSH1 0x40 000002b6: MLOAD 000002b7: DUP1 000002b8: SWAP2 000002b9: SUB 000002ba: SWAP1 000002bb: REVERT 000002bc: JUMPDEST 000002bd: PUSH1 0x00 000002bf: DUP4 000002c0: SWAP1 000002c1: POP 000002c2: PUSH1 0x00 000002c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d9: AND 000002da: DUP2 000002db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f0: AND 000002f1: PUSH4 0x74ef72b3 000002f6: DUP6 000002f7: DUP6 000002f8: PUSH1 0x40 000002fa: MLOAD 000002fb: DUP4 000002fc: PUSH4 0xffffffff 00000301: AND 00000302: PUSH1 0xe0 00000304: SHL 00000305: DUP2 00000306: MSTORE 00000307: PUSH1 0x04 00000309: ADD 0000030a: PUSH2 0x0314 0000030d: SWAP3 0000030e: SWAP2 0000030f: SWAP1 00000310: PUSH2 0x0c09 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH1 0x20 00000317: PUSH1 0x40 00000319: MLOAD 0000031a: DUP1 0000031b: DUP4 0000031c: SUB 0000031d: DUP2 0000031e: DUP7 0000031f: DUP1 00000320: EXTCODESIZE 00000321: ISZERO 00000322: DUP1 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: POP 0000032e: GAS 0000032f: STATICCALL 00000330: ISZERO 00000331: DUP1 00000332: ISZERO 00000333: PUSH2 0x0340 00000336: JUMPI 00000337: RETURNDATASIZE 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: RETURNDATACOPY 0000033c: RETURNDATASIZE 0000033d: PUSH1 0x00 0000033f: REVERT 00000340: JUMPDEST 00000341: POP 00000342: POP 00000343: POP 00000344: POP 00000345: PUSH1 0x40 00000347: MLOAD 00000348: RETURNDATASIZE 00000349: PUSH1 0x1f 0000034b: NOT 0000034c: PUSH1 0x1f 0000034e: DUP3 0000034f: ADD 00000350: AND 00000351: DUP3 00000352: ADD 00000353: DUP1 00000354: PUSH1 0x40 00000356: MSTORE 00000357: POP 00000358: DUP2 00000359: ADD 0000035a: SWAP1 0000035b: PUSH2 0x0364 0000035e: SWAP2 0000035f: SWAP1 00000360: PUSH2 0x09fd 00000363: JUMP 00000364: JUMPDEST 00000365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037a: AND 0000037b: EQ 0000037c: PUSH2 0x03ba 0000037f: JUMPI 00000380: PUSH1 0x40 00000382: MLOAD 00000383: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003a4: DUP2 000003a5: MSTORE 000003a6: PUSH1 0x04 000003a8: ADD 000003a9: PUSH2 0x03b1 000003ac: SWAP1 000003ad: PUSH2 0x0cb2 000003b0: JUMP 000003b1: JUMPDEST 000003b2: PUSH1 0x40 000003b4: MLOAD 000003b5: DUP1 000003b6: SWAP2 000003b7: SUB 000003b8: SWAP1 000003b9: REVERT 000003ba: JUMPDEST 000003bb: DUP1 000003bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d1: AND 000003d2: PUSH4 0x0e6dfcd5 000003d7: CALLER 000003d8: DUP6 000003d9: DUP6 000003da: PUSH1 0x40 000003dc: MLOAD 000003dd: DUP5 000003de: PUSH4 0xffffffff 000003e3: AND 000003e4: PUSH1 0xe0 000003e6: SHL 000003e7: DUP2 000003e8: MSTORE 000003e9: PUSH1 0x04 000003eb: ADD 000003ec: PUSH2 0x03f7 000003ef: SWAP4 000003f0: SWAP3 000003f1: SWAP2 000003f2: SWAP1 000003f3: PUSH2 0x0bd2 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x20 000003fa: PUSH1 0x40 000003fc: MLOAD 000003fd: DUP1 000003fe: DUP4 000003ff: SUB 00000400: DUP2 00000401: PUSH1 0x00 00000403: DUP8 00000404: DUP1 00000405: EXTCODESIZE 00000406: ISZERO 00000407: DUP1 00000408: ISZERO 00000409: PUSH2 0x0411 0000040c: JUMPI 0000040d: PUSH1 0x00 0000040f: DUP1 00000410: REVERT 00000411: JUMPDEST 00000412: POP 00000413: GAS 00000414: CALL 00000415: ISZERO 00000416: DUP1 00000417: ISZERO 00000418: PUSH2 0x0425 0000041b: JUMPI 0000041c: RETURNDATASIZE 0000041d: PUSH1 0x00 0000041f: DUP1 00000420: RETURNDATACOPY 00000421: RETURNDATASIZE 00000422: PUSH1 0x00 00000424: REVERT 00000425: JUMPDEST 00000426: POP 00000427: POP 00000428: POP 00000429: POP 0000042a: PUSH1 0x40 0000042c: MLOAD 0000042d: RETURNDATASIZE 0000042e: PUSH1 0x1f 00000430: NOT 00000431: PUSH1 0x1f 00000433: DUP3 00000434: ADD 00000435: AND 00000436: DUP3 00000437: ADD 00000438: DUP1 00000439: PUSH1 0x40 0000043b: MSTORE 0000043c: POP 0000043d: DUP2 0000043e: ADD 0000043f: SWAP1 00000440: PUSH2 0x0449 00000443: SWAP2 00000444: SWAP1 00000445: PUSH2 0x0abd 00000448: JUMP 00000449: JUMPDEST 0000044a: POP 0000044b: POP 0000044c: POP 0000044d: POP 0000044e: POP 0000044f: JUMP 00000450: JUMPDEST 00000451: PUSH1 0x00 00000453: DUP1 00000454: CALLER 00000455: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046a: AND 0000046b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000480: AND 00000481: DUP2 00000482: MSTORE 00000483: PUSH1 0x20 00000485: ADD 00000486: SWAP1 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x20 0000048b: ADD 0000048c: PUSH1 0x00 0000048e: KECCAK256 0000048f: PUSH1 0x00 00000491: SWAP1 00000492: SLOAD 00000493: SWAP1 00000494: PUSH2 0x0100 00000497: EXP 00000498: SWAP1 00000499: DIV 0000049a: PUSH1 0xff 0000049c: AND 0000049d: PUSH2 0x04db 000004a0: JUMPI 000004a1: PUSH1 0x40 000004a3: MLOAD 000004a4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004c5: DUP2 000004c6: MSTORE 000004c7: PUSH1 0x04 000004c9: ADD 000004ca: PUSH2 0x04d2 000004cd: SWAP1 000004ce: PUSH2 0x0c92 000004d1: JUMP 000004d2: JUMPDEST 000004d3: PUSH1 0x40 000004d5: MLOAD 000004d6: DUP1 000004d7: SWAP2 000004d8: SUB 000004d9: SWAP1 000004da: REVERT 000004db: JUMPDEST 000004dc: DUP1 000004dd: PUSH1 0x02 000004df: PUSH1 0x00 000004e1: DUP5 000004e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f7: AND 000004f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050d: AND 0000050e: DUP2 0000050f: MSTORE 00000510: PUSH1 0x20 00000512: ADD 00000513: SWAP1 00000514: DUP2 00000515: MSTORE 00000516: PUSH1 0x20 00000518: ADD 00000519: PUSH1 0x00 0000051b: KECCAK256 0000051c: DUP2 0000051d: SWAP1 0000051e: SSTORE 0000051f: POP 00000520: POP 00000521: POP 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH1 0x00 00000526: DUP1 00000527: CALLER 00000528: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053d: AND 0000053e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000553: AND 00000554: DUP2 00000555: MSTORE 00000556: PUSH1 0x20 00000558: ADD 00000559: SWAP1 0000055a: DUP2 0000055b: MSTORE 0000055c: PUSH1 0x20 0000055e: ADD 0000055f: PUSH1 0x00 00000561: KECCAK256 00000562: PUSH1 0x00 00000564: SWAP1 00000565: SLOAD 00000566: SWAP1 00000567: PUSH2 0x0100 0000056a: EXP 0000056b: SWAP1 0000056c: DIV 0000056d: PUSH1 0xff 0000056f: AND 00000570: PUSH2 0x05ae 00000573: JUMPI 00000574: PUSH1 0x40 00000576: MLOAD 00000577: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000598: DUP2 00000599: MSTORE 0000059a: PUSH1 0x04 0000059c: ADD 0000059d: PUSH2 0x05a5 000005a0: SWAP1 000005a1: PUSH2 0x0c92 000005a4: JUMP 000005a5: JUMPDEST 000005a6: PUSH1 0x40 000005a8: MLOAD 000005a9: DUP1 000005aa: SWAP2 000005ab: SUB 000005ac: SWAP1 000005ad: REVERT 000005ae: JUMPDEST 000005af: DUP1 000005b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c5: AND 000005c6: CALLER 000005c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005dc: AND 000005dd: EQ 000005de: ISZERO 000005df: PUSH2 0x061d 000005e2: JUMPI 000005e3: PUSH1 0x40 000005e5: MLOAD 000005e6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000607: DUP2 00000608: MSTORE 00000609: PUSH1 0x04 0000060b: ADD 0000060c: PUSH2 0x0614 0000060f: SWAP1 00000610: PUSH2 0x0c52 00000613: JUMP 00000614: JUMPDEST 00000615: PUSH1 0x40 00000617: MLOAD 00000618: DUP1 00000619: SWAP2 0000061a: SUB 0000061b: SWAP1 0000061c: REVERT 0000061d: JUMPDEST 0000061e: PUSH1 0x00 00000620: DUP1 00000621: CALLER 00000622: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000637: AND 00000638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064d: AND 0000064e: DUP2 0000064f: MSTORE 00000650: PUSH1 0x20 00000652: ADD 00000653: SWAP1 00000654: DUP2 00000655: MSTORE 00000656: PUSH1 0x20 00000658: ADD 00000659: PUSH1 0x00 0000065b: KECCAK256 0000065c: PUSH1 0x00 0000065e: SWAP1 0000065f: SLOAD 00000660: SWAP1 00000661: PUSH2 0x0100 00000664: EXP 00000665: SWAP1 00000666: DIV 00000667: PUSH1 0xff 00000669: AND 0000066a: ISZERO 0000066b: PUSH1 0x00 0000066d: DUP1 0000066e: CALLER 0000066f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000684: AND 00000685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069a: AND 0000069b: DUP2 0000069c: MSTORE 0000069d: PUSH1 0x20 0000069f: ADD 000006a0: SWAP1 000006a1: DUP2 000006a2: MSTORE 000006a3: PUSH1 0x20 000006a5: ADD 000006a6: PUSH1 0x00 000006a8: KECCAK256 000006a9: PUSH1 0x00 000006ab: PUSH2 0x0100 000006ae: EXP 000006af: DUP2 000006b0: SLOAD 000006b1: DUP2 000006b2: PUSH1 0xff 000006b4: MUL 000006b5: NOT 000006b6: AND 000006b7: SWAP1 000006b8: DUP4 000006b9: ISZERO 000006ba: ISZERO 000006bb: MUL 000006bc: OR 000006bd: SWAP1 000006be: SSTORE 000006bf: POP 000006c0: POP 000006c1: JUMP 000006c2: JUMPDEST 000006c3: PUSH1 0x00 000006c5: DUP1 000006c6: CALLER 000006c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006dc: AND 000006dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f2: AND 000006f3: DUP2 000006f4: MSTORE 000006f5: PUSH1 0x20 000006f7: ADD 000006f8: SWAP1 000006f9: DUP2 000006fa: MSTORE 000006fb: PUSH1 0x20 000006fd: ADD 000006fe: PUSH1 0x00 00000700: KECCAK256 00000701: PUSH1 0x00 00000703: SWAP1 00000704: SLOAD 00000705: SWAP1 00000706: PUSH2 0x0100 00000709: EXP 0000070a: SWAP1 0000070b: DIV 0000070c: PUSH1 0xff 0000070e: AND 0000070f: PUSH2 0x074d 00000712: JUMPI 00000713: PUSH1 0x40 00000715: MLOAD 00000716: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000737: DUP2 00000738: MSTORE 00000739: PUSH1 0x04 0000073b: ADD 0000073c: PUSH2 0x0744 0000073f: SWAP1 00000740: PUSH2 0x0c92 00000743: JUMP 00000744: JUMPDEST 00000745: PUSH1 0x40 00000747: MLOAD 00000748: DUP1 00000749: SWAP2 0000074a: SUB 0000074b: SWAP1 0000074c: REVERT 0000074d: JUMPDEST 0000074e: DUP1 0000074f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000764: AND 00000765: PUSH2 0x08fc 00000768: SELFBALANCE 00000769: SWAP1 0000076a: DUP2 0000076b: ISZERO 0000076c: MUL 0000076d: SWAP1 0000076e: PUSH1 0x40 00000770: MLOAD 00000771: PUSH1 0x00 00000773: PUSH1 0x40 00000775: MLOAD 00000776: DUP1 00000777: DUP4 00000778: SUB 00000779: DUP2 0000077a: DUP6 0000077b: DUP9 0000077c: DUP9 0000077d: CALL 0000077e: SWAP4 0000077f: POP 00000780: POP 00000781: POP 00000782: POP 00000783: ISZERO 00000784: DUP1 00000785: ISZERO 00000786: PUSH2 0x0793 00000789: JUMPI 0000078a: RETURNDATASIZE 0000078b: PUSH1 0x00 0000078d: DUP1 0000078e: RETURNDATACOPY 0000078f: RETURNDATASIZE 00000790: PUSH1 0x00 00000792: REVERT 00000793: JUMPDEST 00000794: POP 00000795: POP 00000796: JUMP 00000797: JUMPDEST 00000798: PUSH1 0x02 0000079a: PUSH1 0x20 0000079c: MSTORE 0000079d: DUP1 0000079e: PUSH1 0x00 000007a0: MSTORE 000007a1: PUSH1 0x40 000007a3: PUSH1 0x00 000007a5: KECCAK256 000007a6: PUSH1 0x00 000007a8: SWAP2 000007a9: POP 000007aa: SWAP1 000007ab: POP 000007ac: SLOAD 000007ad: DUP2 000007ae: JUMP 000007af: JUMPDEST 000007b0: PUSH1 0x00 000007b2: DUP1 000007b3: CALLER 000007b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c9: AND 000007ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007df: AND 000007e0: DUP2 000007e1: MSTORE 000007e2: PUSH1 0x20 000007e4: ADD 000007e5: SWAP1 000007e6: DUP2 000007e7: MSTORE 000007e8: PUSH1 0x20 000007ea: ADD 000007eb: PUSH1 0x00 000007ed: KECCAK256 000007ee: PUSH1 0x00 000007f0: SWAP1 000007f1: SLOAD 000007f2: SWAP1 000007f3: PUSH2 0x0100 000007f6: EXP 000007f7: SWAP1 000007f8: DIV 000007f9: PUSH1 0xff 000007fb: AND 000007fc: PUSH2 0x083a 000007ff: JUMPI 00000800: PUSH1 0x40 00000802: MLOAD 00000803: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000824: DUP2 00000825: MSTORE 00000826: PUSH1 0x04 00000828: ADD 00000829: PUSH2 0x0831 0000082c: SWAP1 0000082d: PUSH2 0x0c92 00000830: JUMP 00000831: JUMPDEST 00000832: PUSH1 0x40 00000834: MLOAD 00000835: DUP1 00000836: SWAP2 00000837: SUB 00000838: SWAP1 00000839: REVERT 0000083a: JUMPDEST 0000083b: PUSH1 0x01 0000083d: PUSH1 0x00 0000083f: DUP3 00000840: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000855: AND 00000856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086b: AND 0000086c: DUP2 0000086d: MSTORE 0000086e: PUSH1 0x20 00000870: ADD 00000871: SWAP1 00000872: DUP2 00000873: MSTORE 00000874: PUSH1 0x20 00000876: ADD 00000877: PUSH1 0x00 00000879: KECCAK256 0000087a: PUSH1 0x00 0000087c: SWAP1 0000087d: SLOAD 0000087e: SWAP1 0000087f: PUSH2 0x0100 00000882: EXP 00000883: SWAP1 00000884: DIV 00000885: PUSH1 0xff 00000887: AND 00000888: ISZERO 00000889: PUSH1 0x01 0000088b: PUSH1 0x00 0000088d: DUP4 0000088e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a3: AND 000008a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b9: AND 000008ba: DUP2 000008bb: MSTORE 000008bc: PUSH1 0x20 000008be: ADD 000008bf: SWAP1 000008c0: DUP2 000008c1: MSTORE 000008c2: PUSH1 0x20 000008c4: ADD 000008c5: PUSH1 0x00 000008c7: KECCAK256 000008c8: PUSH1 0x00 000008ca: PUSH2 0x0100 000008cd: EXP 000008ce: DUP2 000008cf: SLOAD 000008d0: DUP2 000008d1: PUSH1 0xff 000008d3: MUL 000008d4: NOT 000008d5: AND 000008d6: SWAP1 000008d7: DUP4 000008d8: ISZERO 000008d9: ISZERO 000008da: MUL 000008db: OR 000008dc: SWAP1 000008dd: SSTORE 000008de: POP 000008df: POP 000008e0: JUMP 000008e1: JUMPDEST 000008e2: PUSH1 0x00 000008e4: DUP1 000008e5: DUP5 000008e6: SWAP1 000008e7: POP 000008e8: DUP1 000008e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fe: AND 000008ff: PUSH4 0x74ef72b3 00000904: DUP6 00000905: DUP6 00000906: PUSH1 0x40 00000908: MLOAD 00000909: DUP4 0000090a: PUSH4 0xffffffff 0000090f: AND 00000910: PUSH1 0xe0 00000912: SHL 00000913: DUP2 00000914: MSTORE 00000915: PUSH1 0x04 00000917: ADD 00000918: PUSH2 0x0922 0000091b: SWAP3 0000091c: SWAP2 0000091d: SWAP1 0000091e: PUSH2 0x0c09 00000921: JUMP 00000922: JUMPDEST 00000923: PUSH1 0x20 00000925: PUSH1 0x40 00000927: MLOAD 00000928: DUP1 00000929: DUP4 0000092a: SUB 0000092b: DUP2 0000092c: DUP7 0000092d: DUP1 0000092e: EXTCODESIZE 0000092f: ISZERO 00000930: DUP1 00000931: ISZERO 00000932: PUSH2 0x093a 00000935: JUMPI 00000936: PUSH1 0x00 00000938: DUP1 00000939: REVERT 0000093a: JUMPDEST 0000093b: POP 0000093c: GAS 0000093d: STATICCALL 0000093e: ISZERO 0000093f: DUP1 00000940: ISZERO 00000941: PUSH2 0x094e 00000944: JUMPI 00000945: RETURNDATASIZE 00000946: PUSH1 0x00 00000948: DUP1 00000949: RETURNDATACOPY 0000094a: RETURNDATASIZE 0000094b: PUSH1 0x00 0000094d: REVERT 0000094e: JUMPDEST 0000094f: POP 00000950: POP 00000951: POP 00000952: POP 00000953: PUSH1 0x40 00000955: MLOAD 00000956: RETURNDATASIZE 00000957: PUSH1 0x1f 00000959: NOT 0000095a: PUSH1 0x1f 0000095c: DUP3 0000095d: ADD 0000095e: AND 0000095f: DUP3 00000960: ADD 00000961: DUP1 00000962: PUSH1 0x40 00000964: MSTORE 00000965: POP 00000966: DUP2 00000967: ADD 00000968: SWAP1 00000969: PUSH2 0x0972 0000096c: SWAP2 0000096d: SWAP1 0000096e: PUSH2 0x09fd 00000971: JUMP 00000972: JUMPDEST 00000973: SWAP2 00000974: POP 00000975: POP 00000976: SWAP4 00000977: SWAP3 00000978: POP 00000979: POP 0000097a: POP 0000097b: JUMP 0000097c: JUMPDEST 0000097d: PUSH1 0x00 0000097f: DUP2 00000980: CALLDATALOAD 00000981: SWAP1 00000982: POP 00000983: PUSH2 0x098b 00000986: DUP2 00000987: PUSH2 0x0e58 0000098a: JUMP 0000098b: JUMPDEST 0000098c: SWAP3 0000098d: SWAP2 0000098e: POP 0000098f: POP 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH1 0x00 00000994: DUP2 00000995: MLOAD 00000996: SWAP1 00000997: POP 00000998: PUSH2 0x09a0 0000099b: DUP2 0000099c: PUSH2 0x0e58 0000099f: JUMP 000009a0: JUMPDEST 000009a1: SWAP3 000009a2: SWAP2 000009a3: POP 000009a4: POP 000009a5: JUMP 000009a6: JUMPDEST 000009a7: PUSH1 0x00 000009a9: DUP2 000009aa: CALLDATALOAD 000009ab: SWAP1 000009ac: POP 000009ad: PUSH2 0x09b5 000009b0: DUP2 000009b1: PUSH2 0x0e6f 000009b4: JUMP 000009b5: JUMPDEST 000009b6: SWAP3 000009b7: SWAP2 000009b8: POP 000009b9: POP 000009ba: JUMP 000009bb: JUMPDEST 000009bc: PUSH1 0x00 000009be: DUP2 000009bf: MLOAD 000009c0: SWAP1 000009c1: POP 000009c2: PUSH2 0x09ca 000009c5: DUP2 000009c6: PUSH2 0x0e6f 000009c9: JUMP 000009ca: JUMPDEST 000009cb: SWAP3 000009cc: SWAP2 000009cd: POP 000009ce: POP 000009cf: JUMP 000009d0: JUMPDEST 000009d1: PUSH1 0x00 000009d3: PUSH1 0x20 000009d5: DUP3 000009d6: DUP5 000009d7: SUB 000009d8: SLT 000009d9: ISZERO 000009da: PUSH2 0x09e6 000009dd: JUMPI 000009de: PUSH2 0x09e5 000009e1: PUSH2 0x0d3a 000009e4: JUMP 000009e5: JUMPDEST 000009e6: JUMPDEST 000009e7: PUSH1 0x00 000009e9: PUSH2 0x09f4 000009ec: DUP5 000009ed: DUP3 000009ee: DUP6 000009ef: ADD 000009f0: PUSH2 0x097c 000009f3: JUMP 000009f4: JUMPDEST 000009f5: SWAP2 000009f6: POP 000009f7: POP 000009f8: SWAP3 000009f9: SWAP2 000009fa: POP 000009fb: POP 000009fc: JUMP 000009fd: JUMPDEST 000009fe: PUSH1 0x00 00000a00: PUSH1 0x20 00000a02: DUP3 00000a03: DUP5 00000a04: SUB 00000a05: SLT 00000a06: ISZERO 00000a07: PUSH2 0x0a13 00000a0a: JUMPI 00000a0b: PUSH2 0x0a12 00000a0e: PUSH2 0x0d3a 00000a11: JUMP 00000a12: JUMPDEST 00000a13: JUMPDEST 00000a14: PUSH1 0x00 00000a16: PUSH2 0x0a21 00000a19: DUP5 00000a1a: DUP3 00000a1b: DUP6 00000a1c: ADD 00000a1d: PUSH2 0x0991 00000a20: JUMP 00000a21: JUMPDEST 00000a22: SWAP2 00000a23: POP 00000a24: POP 00000a25: SWAP3 00000a26: SWAP2 00000a27: POP 00000a28: POP 00000a29: JUMP 00000a2a: JUMPDEST 00000a2b: PUSH1 0x00 00000a2d: DUP1 00000a2e: PUSH1 0x00 00000a30: PUSH1 0x60 00000a32: DUP5 00000a33: DUP7 00000a34: SUB 00000a35: SLT 00000a36: ISZERO 00000a37: PUSH2 0x0a43 00000a3a: JUMPI 00000a3b: PUSH2 0x0a42 00000a3e: PUSH2 0x0d3a 00000a41: JUMP 00000a42: JUMPDEST 00000a43: JUMPDEST 00000a44: PUSH1 0x00 00000a46: PUSH2 0x0a51 00000a49: DUP7 00000a4a: DUP3 00000a4b: DUP8 00000a4c: ADD 00000a4d: PUSH2 0x097c 00000a50: JUMP 00000a51: JUMPDEST 00000a52: SWAP4 00000a53: POP 00000a54: POP 00000a55: PUSH1 0x20 00000a57: PUSH2 0x0a62 00000a5a: DUP7 00000a5b: DUP3 00000a5c: DUP8 00000a5d: ADD 00000a5e: PUSH2 0x097c 00000a61: JUMP 00000a62: JUMPDEST 00000a63: SWAP3 00000a64: POP 00000a65: POP 00000a66: PUSH1 0x40 00000a68: PUSH2 0x0a73 00000a6b: DUP7 00000a6c: DUP3 00000a6d: DUP8 00000a6e: ADD 00000a6f: PUSH2 0x09a6 00000a72: JUMP 00000a73: JUMPDEST 00000a74: SWAP2 00000a75: POP 00000a76: POP 00000a77: SWAP3 00000a78: POP 00000a79: SWAP3 00000a7a: POP 00000a7b: SWAP3 00000a7c: JUMP 00000a7d: JUMPDEST 00000a7e: PUSH1 0x00 00000a80: DUP1 00000a81: PUSH1 0x40 00000a83: DUP4 00000a84: DUP6 00000a85: SUB 00000a86: SLT 00000a87: ISZERO 00000a88: PUSH2 0x0a94 00000a8b: JUMPI 00000a8c: PUSH2 0x0a93 00000a8f: PUSH2 0x0d3a 00000a92: JUMP 00000a93: JUMPDEST 00000a94: JUMPDEST 00000a95: PUSH1 0x00 00000a97: PUSH2 0x0aa2 00000a9a: DUP6 00000a9b: DUP3 00000a9c: DUP7 00000a9d: ADD 00000a9e: PUSH2 0x097c 00000aa1: JUMP 00000aa2: JUMPDEST 00000aa3: SWAP3 00000aa4: POP 00000aa5: POP 00000aa6: PUSH1 0x20 00000aa8: PUSH2 0x0ab3 00000aab: DUP6 00000aac: DUP3 00000aad: DUP7 00000aae: ADD 00000aaf: PUSH2 0x09a6 00000ab2: JUMP 00000ab3: JUMPDEST 00000ab4: SWAP2 00000ab5: POP 00000ab6: POP 00000ab7: SWAP3 00000ab8: POP 00000ab9: SWAP3 00000aba: SWAP1 00000abb: POP 00000abc: JUMP 00000abd: JUMPDEST 00000abe: PUSH1 0x00 00000ac0: PUSH1 0x20 00000ac2: DUP3 00000ac3: DUP5 00000ac4: SUB 00000ac5: SLT 00000ac6: ISZERO 00000ac7: PUSH2 0x0ad3 00000aca: JUMPI 00000acb: PUSH2 0x0ad2 00000ace: PUSH2 0x0d3a 00000ad1: JUMP 00000ad2: JUMPDEST 00000ad3: JUMPDEST 00000ad4: PUSH1 0x00 00000ad6: PUSH2 0x0ae1 00000ad9: DUP5 00000ada: DUP3 00000adb: DUP6 00000adc: ADD 00000add: PUSH2 0x09bb 00000ae0: JUMP 00000ae1: JUMPDEST 00000ae2: SWAP2 00000ae3: POP 00000ae4: POP 00000ae5: SWAP3 00000ae6: SWAP2 00000ae7: POP 00000ae8: POP 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: PUSH2 0x0af3 00000aee: DUP2 00000aef: PUSH2 0x0cfe 00000af2: JUMP 00000af3: JUMPDEST 00000af4: DUP3 00000af5: MSTORE 00000af6: POP 00000af7: POP 00000af8: JUMP 00000af9: JUMPDEST 00000afa: PUSH1 0x00 00000afc: PUSH2 0x0b06 00000aff: PUSH1 0x15 00000b01: DUP4 00000b02: PUSH2 0x0ced 00000b05: JUMP 00000b06: JUMPDEST 00000b07: SWAP2 00000b08: POP 00000b09: PUSH2 0x0b11 00000b0c: DUP3 00000b0d: PUSH2 0x0d3f 00000b10: JUMP 00000b11: JUMPDEST 00000b12: PUSH1 0x20 00000b14: DUP3 00000b15: ADD 00000b16: SWAP1 00000b17: POP 00000b18: SWAP2 00000b19: SWAP1 00000b1a: POP 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: PUSH1 0x00 00000b1f: PUSH2 0x0b29 00000b22: PUSH1 0x20 00000b24: DUP4 00000b25: PUSH2 0x0ced 00000b28: JUMP 00000b29: JUMPDEST 00000b2a: SWAP2 00000b2b: POP 00000b2c: PUSH2 0x0b34 00000b2f: DUP3 00000b30: PUSH2 0x0d68 00000b33: JUMP 00000b34: JUMPDEST 00000b35: PUSH1 0x20 00000b37: DUP3 00000b38: ADD 00000b39: SWAP1 00000b3a: POP 00000b3b: SWAP2 00000b3c: SWAP1 00000b3d: POP 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: PUSH1 0x00 00000b42: PUSH2 0x0b4c 00000b45: PUSH1 0x1f 00000b47: DUP4 00000b48: PUSH2 0x0ced 00000b4b: JUMP 00000b4c: JUMPDEST 00000b4d: SWAP2 00000b4e: POP 00000b4f: PUSH2 0x0b57 00000b52: DUP3 00000b53: PUSH2 0x0d91 00000b56: JUMP 00000b57: JUMPDEST 00000b58: PUSH1 0x20 00000b5a: DUP3 00000b5b: ADD 00000b5c: SWAP1 00000b5d: POP 00000b5e: SWAP2 00000b5f: SWAP1 00000b60: POP 00000b61: JUMP 00000b62: JUMPDEST 00000b63: PUSH1 0x00 00000b65: PUSH2 0x0b6f 00000b68: PUSH1 0x2d 00000b6a: DUP4 00000b6b: PUSH2 0x0ced 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: SWAP2 00000b71: POP 00000b72: PUSH2 0x0b7a 00000b75: DUP3 00000b76: PUSH2 0x0dba 00000b79: JUMP 00000b7a: JUMPDEST 00000b7b: PUSH1 0x40 00000b7d: DUP3 00000b7e: ADD 00000b7f: SWAP1 00000b80: POP 00000b81: SWAP2 00000b82: SWAP1 00000b83: POP 00000b84: JUMP 00000b85: JUMPDEST 00000b86: PUSH1 0x00 00000b88: PUSH2 0x0b92 00000b8b: PUSH1 0x24 00000b8d: DUP4 00000b8e: PUSH2 0x0ced 00000b91: JUMP 00000b92: JUMPDEST 00000b93: SWAP2 00000b94: POP 00000b95: PUSH2 0x0b9d 00000b98: DUP3 00000b99: PUSH2 0x0e09 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: PUSH1 0x40 00000ba0: DUP3 00000ba1: ADD 00000ba2: SWAP1 00000ba3: POP 00000ba4: SWAP2 00000ba5: SWAP1 00000ba6: POP 00000ba7: JUMP 00000ba8: JUMPDEST 00000ba9: PUSH2 0x0bb1 00000bac: DUP2 00000bad: PUSH2 0x0d30 00000bb0: JUMP 00000bb1: JUMPDEST 00000bb2: DUP3 00000bb3: MSTORE 00000bb4: POP 00000bb5: POP 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH1 0x00 00000bba: PUSH1 0x20 00000bbc: DUP3 00000bbd: ADD 00000bbe: SWAP1 00000bbf: POP 00000bc0: PUSH2 0x0bcc 00000bc3: PUSH1 0x00 00000bc5: DUP4 00000bc6: ADD 00000bc7: DUP5 00000bc8: PUSH2 0x0aea 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: SWAP3 00000bce: SWAP2 00000bcf: POP 00000bd0: POP 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: PUSH1 0x00 00000bd5: PUSH1 0x60 00000bd7: DUP3 00000bd8: ADD 00000bd9: SWAP1 00000bda: POP 00000bdb: PUSH2 0x0be7 00000bde: PUSH1 0x00 00000be0: DUP4 00000be1: ADD 00000be2: DUP7 00000be3: PUSH2 0x0aea 00000be6: JUMP 00000be7: JUMPDEST 00000be8: PUSH2 0x0bf4 00000beb: PUSH1 0x20 00000bed: DUP4 00000bee: ADD 00000bef: DUP6 00000bf0: PUSH2 0x0aea 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: PUSH2 0x0c01 00000bf8: PUSH1 0x40 00000bfa: DUP4 00000bfb: ADD 00000bfc: DUP5 00000bfd: PUSH2 0x0ba8 00000c00: JUMP 00000c01: JUMPDEST 00000c02: SWAP5 00000c03: SWAP4 00000c04: POP 00000c05: POP 00000c06: POP 00000c07: POP 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH1 0x00 00000c0c: PUSH1 0x40 00000c0e: DUP3 00000c0f: ADD 00000c10: SWAP1 00000c11: POP 00000c12: PUSH2 0x0c1e 00000c15: PUSH1 0x00 00000c17: DUP4 00000c18: ADD 00000c19: DUP6 00000c1a: PUSH2 0x0aea 00000c1d: JUMP 00000c1e: JUMPDEST 00000c1f: PUSH2 0x0c2b 00000c22: PUSH1 0x20 00000c24: DUP4 00000c25: ADD 00000c26: DUP5 00000c27: PUSH2 0x0ba8 00000c2a: JUMP 00000c2b: JUMPDEST 00000c2c: SWAP4 00000c2d: SWAP3 00000c2e: POP 00000c2f: POP 00000c30: POP 00000c31: JUMP 00000c32: JUMPDEST 00000c33: PUSH1 0x00 00000c35: PUSH1 0x20 00000c37: DUP3 00000c38: ADD 00000c39: SWAP1 00000c3a: POP 00000c3b: DUP2 00000c3c: DUP2 00000c3d: SUB 00000c3e: PUSH1 0x00 00000c40: DUP4 00000c41: ADD 00000c42: MSTORE 00000c43: PUSH2 0x0c4b 00000c46: DUP2 00000c47: PUSH2 0x0af9 00000c4a: JUMP 00000c4b: JUMPDEST 00000c4c: SWAP1 00000c4d: POP 00000c4e: SWAP2 00000c4f: SWAP1 00000c50: POP 00000c51: JUMP 00000c52: JUMPDEST 00000c53: PUSH1 0x00 00000c55: PUSH1 0x20 00000c57: DUP3 00000c58: ADD 00000c59: SWAP1 00000c5a: POP 00000c5b: DUP2 00000c5c: DUP2 00000c5d: SUB 00000c5e: PUSH1 0x00 00000c60: DUP4 00000c61: ADD 00000c62: MSTORE 00000c63: PUSH2 0x0c6b 00000c66: DUP2 00000c67: PUSH2 0x0b1c 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: SWAP1 00000c6d: POP 00000c6e: SWAP2 00000c6f: SWAP1 00000c70: POP 00000c71: JUMP 00000c72: JUMPDEST 00000c73: PUSH1 0x00 00000c75: PUSH1 0x20 00000c77: DUP3 00000c78: ADD 00000c79: SWAP1 00000c7a: POP 00000c7b: DUP2 00000c7c: DUP2 00000c7d: SUB 00000c7e: PUSH1 0x00 00000c80: DUP4 00000c81: ADD 00000c82: MSTORE 00000c83: PUSH2 0x0c8b 00000c86: DUP2 00000c87: PUSH2 0x0b3f 00000c8a: JUMP 00000c8b: JUMPDEST 00000c8c: SWAP1 00000c8d: POP 00000c8e: SWAP2 00000c8f: SWAP1 00000c90: POP 00000c91: JUMP 00000c92: JUMPDEST 00000c93: PUSH1 0x00 00000c95: PUSH1 0x20 00000c97: DUP3 00000c98: ADD 00000c99: SWAP1 00000c9a: POP 00000c9b: DUP2 00000c9c: DUP2 00000c9d: SUB 00000c9e: PUSH1 0x00 00000ca0: DUP4 00000ca1: ADD 00000ca2: MSTORE 00000ca3: PUSH2 0x0cab 00000ca6: DUP2 00000ca7: PUSH2 0x0b62 00000caa: JUMP 00000cab: JUMPDEST 00000cac: SWAP1 00000cad: POP 00000cae: SWAP2 00000caf: SWAP1 00000cb0: POP 00000cb1: JUMP 00000cb2: JUMPDEST 00000cb3: PUSH1 0x00 00000cb5: PUSH1 0x20 00000cb7: DUP3 00000cb8: ADD 00000cb9: SWAP1 00000cba: POP 00000cbb: DUP2 00000cbc: DUP2 00000cbd: SUB 00000cbe: PUSH1 0x00 00000cc0: DUP4 00000cc1: ADD 00000cc2: MSTORE 00000cc3: PUSH2 0x0ccb 00000cc6: DUP2 00000cc7: PUSH2 0x0b85 00000cca: JUMP 00000ccb: JUMPDEST 00000ccc: SWAP1 00000ccd: POP 00000cce: SWAP2 00000ccf: SWAP1 00000cd0: POP 00000cd1: JUMP 00000cd2: JUMPDEST 00000cd3: PUSH1 0x00 00000cd5: PUSH1 0x20 00000cd7: DUP3 00000cd8: ADD 00000cd9: SWAP1 00000cda: POP 00000cdb: PUSH2 0x0ce7 00000cde: PUSH1 0x00 00000ce0: DUP4 00000ce1: ADD 00000ce2: DUP5 00000ce3: PUSH2 0x0ba8 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: SWAP3 00000ce9: SWAP2 00000cea: POP 00000ceb: POP 00000cec: JUMP 00000ced: JUMPDEST 00000cee: PUSH1 0x00 00000cf0: DUP3 00000cf1: DUP3 00000cf2: MSTORE 00000cf3: PUSH1 0x20 00000cf5: DUP3 00000cf6: ADD 00000cf7: SWAP1 00000cf8: POP 00000cf9: SWAP3 00000cfa: SWAP2 00000cfb: POP 00000cfc: POP 00000cfd: JUMP 00000cfe: JUMPDEST 00000cff: PUSH1 0x00 00000d01: PUSH2 0x0d09 00000d04: DUP3 00000d05: PUSH2 0x0d10 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: SWAP1 00000d0b: POP 00000d0c: SWAP2 00000d0d: SWAP1 00000d0e: POP 00000d0f: JUMP 00000d10: JUMPDEST 00000d11: PUSH1 0x00 00000d13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d28: DUP3 00000d29: AND 00000d2a: SWAP1 00000d2b: POP 00000d2c: SWAP2 00000d2d: SWAP1 00000d2e: POP 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: PUSH1 0x00 00000d33: DUP2 00000d34: SWAP1 00000d35: POP 00000d36: SWAP2 00000d37: SWAP1 00000d38: POP 00000d39: JUMP 00000d3a: JUMPDEST 00000d3b: PUSH1 0x00 00000d3d: DUP1 00000d3e: REVERT 00000d3f: JUMPDEST 00000d40: PUSH32 0x4e6f7420656e6f756768206d6f6e65792073656e740000000000000000000000 00000d61: PUSH1 0x00 00000d63: DUP3 00000d64: ADD 00000d65: MSTORE 00000d66: POP 00000d67: JUMP 00000d68: JUMPDEST 00000d69: PUSH32 0x596f752063616e2774207265766f6b6520796f7572206f776e20616363657373 00000d8a: PUSH1 0x00 00000d8c: DUP3 00000d8d: ADD 00000d8e: MSTORE 00000d8f: POP 00000d90: JUMP 00000d91: JUMPDEST 00000d92: PUSH32 0x5468697320636f6e7472616374206973206e6f7420617574686f72697a656400 00000db3: PUSH1 0x00 00000db5: DUP3 00000db6: ADD 00000db7: MSTORE 00000db8: POP 00000db9: JUMP 00000dba: JUMPDEST 00000dbb: PUSH32 0x596f7520617265206e6f7420617574686f72697a656420746f20706572666f72 00000ddc: PUSH1 0x00 00000dde: DUP3 00000ddf: ADD 00000de0: MSTORE 00000de1: PUSH32 0x6d207468697320616374696f6e00000000000000000000000000000000000000 00000e02: PUSH1 0x20 00000e04: DUP3 00000e05: ADD 00000e06: MSTORE 00000e07: POP 00000e08: JUMP 00000e09: JUMPDEST 00000e0a: PUSH32 0x5468697320746f6b656e20686173206265656e2072656465656d656420616c72 00000e2b: PUSH1 0x00 00000e2d: DUP3 00000e2e: ADD 00000e2f: MSTORE 00000e30: PUSH32 0x6561647900000000000000000000000000000000000000000000000000000000 00000e51: PUSH1 0x20 00000e53: DUP3 00000e54: ADD 00000e55: MSTORE 00000e56: POP 00000e57: JUMP 00000e58: JUMPDEST 00000e59: PUSH2 0x0e61 00000e5c: DUP2 00000e5d: PUSH2 0x0cfe 00000e60: JUMP 00000e61: JUMPDEST 00000e62: DUP2 00000e63: EQ 00000e64: PUSH2 0x0e6c 00000e67: JUMPI 00000e68: PUSH1 0x00 00000e6a: DUP1 00000e6b: REVERT 00000e6c: JUMPDEST 00000e6d: POP 00000e6e: JUMP 00000e6f: JUMPDEST 00000e70: PUSH2 0x0e78 00000e73: DUP2 00000e74: PUSH2 0x0d30 00000e77: JUMP 00000e78: JUMPDEST 00000e79: DUP2 00000e7a: EQ 00000e7b: PUSH2 0x0e83 00000e7e: JUMPI 00000e7f: PUSH1 0x00 00000e81: DUP1 00000e82: REVERT 00000e83: JUMPDEST 00000e84: POP 00000e85: JUMP 00000e86: INVALID 00000e87: LOG2 00000e88: PUSH5 0x6970667358 00000e8e: UNKNOWN(0x22) 00000e8f: SLT 00000e90: KECCAK256 00000e91: SUB 00000e92: CREATE2 00000e93: UNKNOWN(0xA8) 00000e94: BYTE 00000e95: UNKNOWN(0xFB) 00000e96: LOG3 00000e97: UNKNOWN(0xF7) 00000e98: DUP15 00000e99: UNKNOWN(0xDF) 00000e9a: CODESIZE 00000e9b: UNKNOWN(0xE7) 00000e9c: UNKNOWN(0xD6) 00000e9d: CALL 00000e9e: PUSH14 0xfe94b5d29422cdbc1cf7484662e6 00000ead: UNKNOWN(0x2E) 00000eae: DUP4 00000eaf: PUSH1 0xd2 00000eb1: PUSH5 0x736f6c6343 00000eb7: STOP 00000eb8: ADDMOD 00000eb9: SMOD 00000eba: STOP 00000ebb: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xf11e5d3d7e6c9db174114912df3244d05910ed89c2cd1372ff064081985711f0
call_targets:
0x1dbc94da8d295ac270756c109f7b3ddac3dd094c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf11e5d3d7e6c9db174114912df3244d05910ed89c2cd1372ff064081985711f0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1dbc94da8d295ac270756c109f7b3ddac3dd094c"
],
"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": "0x68742da6",
"selector": "0x68742da6",
"calldata_variants": [
"0x68742da6",
"0x68742da60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa7111de8",
"selector": "0xa7111de8",
"calldata_variants": [
"0xa7111de8",
"0xa7111de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xacec123a",
"selector": "0xacec123a",
"calldata_variants": [
"0xacec123a",
"0xacec123a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc46314b",
"selector": "0xbc46314b",
"calldata_variants": [
"0xbc46314b",
"0xbc46314b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d71bdc3",
"selector": "0x0d71bdc3",
"calldata_variants": [
"0x0d71bdc3",
"0x0d71bdc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3957e4ae",
"selector": "0x3957e4ae",
"calldata_variants": [
"0x3957e4ae",
"0x3957e4ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44c23d56",
"selector": "0x44c23d56",
"calldata_variants": [
"0x44c23d56",
"0x44c23d560000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1044,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1917,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3741,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 1478,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xf11e5d3d7e6c9db174114912df3244d05910ed89c2cd1372ff064081985711f0
call_targets:
0x1dbc94da8d295ac270756c109f7b3ddac3dd094c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf11e5d3d7e6c9db174114912df3244d05910ed89c2cd1372ff064081985711f0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1dbc94da8d295ac270756c109f7b3ddac3dd094c"
],
"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": "0x68742da6",
"selector": "0x68742da6",
"calldata_variants": [
"0x68742da6",
"0x68742da60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa7111de8",
"selector": "0xa7111de8",
"calldata_variants": [
"0xa7111de8",
"0xa7111de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xacec123a",
"selector": "0xacec123a",
"calldata_variants": [
"0xacec123a",
"0xacec123a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc46314b",
"selector": "0xbc46314b",
"calldata_variants": [
"0xbc46314b",
"0xbc46314b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d71bdc3",
"selector": "0x0d71bdc3",
"calldata_variants": [
"0x0d71bdc3",
"0x0d71bdc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3957e4ae",
"selector": "0x3957e4ae",
"calldata_variants": [
"0x3957e4ae",
"0x3957e4ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44c23d56",
"selector": "0x44c23d56",
"calldata_variants": [
"0x44c23d56",
"0x44c23d560000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1044,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1917,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3741,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 1478,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x00e83e2354236a34b4c983ace37c58c5b7e06312219b3b286de3a9007fbecfec
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 14,
"trace_id": "0x00e83e2354236a34b4c983ace37c58c5b7e06312219b3b286de3a9007fbecfec",
"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": "0x68742da6",
"selector": "0x68742da6",
"calldata_variants": [
"0x68742da6",
"0x68742da60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa7111de8",
"selector": "0xa7111de8",
"calldata_variants": [
"0xa7111de8",
"0xa7111de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xacec123a",
"selector": "0xacec123a",
"calldata_variants": [
"0xacec123a",
"0xacec123a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc46314b",
"selector": "0xbc46314b",
"calldata_variants": [
"0xbc46314b",
"0xbc46314b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d71bdc3",
"selector": "0x0d71bdc3",
"calldata_variants": [
"0x0d71bdc3",
"0x0d71bdc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3957e4ae",
"selector": "0x3957e4ae",
"calldata_variants": [
"0x3957e4ae",
"0x3957e4ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44c23d56",
"selector": "0x44c23d56",
"calldata_variants": [
"0x44c23d56",
"0x44c23d560000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|