019b477e-d294-7115-8b85-e5314cacf864
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 |
|---|---|---|---|---|
| 27979 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27980 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102956 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 102957 | capability.graph | complete | 1 / 3 | 1 week ago |
| 102958 | detector.run | complete | 1 / 3 | 1 week ago |
| 102959 | 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 0x002c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH3 0xf714ce 00000018: EQ 00000019: PUSH2 0x0035 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xcd5e72d2 00000023: EQ 00000024: PUSH2 0x005e 00000027: JUMPI 00000028: PUSH2 0x0033 0000002b: JUMP 0000002c: JUMPDEST 0000002d: CALLDATASIZE 0000002e: PUSH2 0x0033 00000031: JUMPI 00000032: STOP 00000033: JUMPDEST 00000034: STOP 00000035: JUMPDEST 00000036: CALLVALUE 00000037: DUP1 00000038: ISZERO 00000039: PUSH2 0x0041 0000003c: JUMPI 0000003d: PUSH1 0x00 0000003f: DUP1 00000040: REVERT 00000041: JUMPDEST 00000042: POP 00000043: PUSH2 0x005c 00000046: PUSH1 0x04 00000048: DUP1 00000049: CALLDATASIZE 0000004a: SUB 0000004b: DUP2 0000004c: ADD 0000004d: SWAP1 0000004e: PUSH2 0x0057 00000051: SWAP2 00000052: SWAP1 00000053: PUSH2 0x074f 00000056: JUMP 00000057: JUMPDEST 00000058: PUSH2 0x0087 0000005b: JUMP 0000005c: JUMPDEST 0000005d: STOP 0000005e: JUMPDEST 0000005f: CALLVALUE 00000060: DUP1 00000061: ISZERO 00000062: PUSH2 0x006a 00000065: JUMPI 00000066: PUSH1 0x00 00000068: DUP1 00000069: REVERT 0000006a: JUMPDEST 0000006b: POP 0000006c: PUSH2 0x0085 0000006f: PUSH1 0x04 00000071: DUP1 00000072: CALLDATASIZE 00000073: SUB 00000074: DUP2 00000075: ADD 00000076: SWAP1 00000077: PUSH2 0x0080 0000007a: SWAP2 0000007b: SWAP1 0000007c: PUSH2 0x09ab 0000007f: JUMP 00000080: JUMPDEST 00000081: PUSH2 0x0345 00000084: JUMP 00000085: JUMPDEST 00000086: STOP 00000087: JUMPDEST 00000088: PUSH1 0x00 0000008a: DUP1 0000008b: JUMPDEST 0000008c: PUSH1 0x00 0000008e: DUP1 0000008f: SLOAD 00000090: SWAP1 00000091: PUSH2 0x0100 00000094: EXP 00000095: SWAP1 00000096: DIV 00000097: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ac: AND 000000ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000c2: AND 000000c3: PUSH4 0xa0e67e2b 000000c8: PUSH1 0x40 000000ca: MLOAD 000000cb: DUP2 000000cc: PUSH4 0xffffffff 000000d1: AND 000000d2: PUSH1 0xe0 000000d4: SHL 000000d5: DUP2 000000d6: MSTORE 000000d7: PUSH1 0x04 000000d9: ADD 000000da: PUSH1 0x00 000000dc: PUSH1 0x40 000000de: MLOAD 000000df: DUP1 000000e0: DUP4 000000e1: SUB 000000e2: DUP2 000000e3: DUP7 000000e4: GAS 000000e5: STATICCALL 000000e6: ISZERO 000000e7: DUP1 000000e8: ISZERO 000000e9: PUSH2 0x00f6 000000ec: JUMPI 000000ed: RETURNDATASIZE 000000ee: PUSH1 0x00 000000f0: DUP1 000000f1: RETURNDATACOPY 000000f2: RETURNDATASIZE 000000f3: PUSH1 0x00 000000f5: REVERT 000000f6: JUMPDEST 000000f7: POP 000000f8: POP 000000f9: POP 000000fa: POP 000000fb: PUSH1 0x40 000000fd: MLOAD 000000fe: RETURNDATASIZE 000000ff: PUSH1 0x00 00000101: DUP3 00000102: RETURNDATACOPY 00000103: RETURNDATASIZE 00000104: PUSH1 0x1f 00000106: NOT 00000107: PUSH1 0x1f 00000109: DUP3 0000010a: ADD 0000010b: AND 0000010c: DUP3 0000010d: ADD 0000010e: DUP1 0000010f: PUSH1 0x40 00000111: MSTORE 00000112: POP 00000113: DUP2 00000114: ADD 00000115: SWAP1 00000116: PUSH2 0x011f 00000119: SWAP2 0000011a: SWAP1 0000011b: PUSH2 0x0acf 0000011e: JUMP 0000011f: JUMPDEST 00000120: MLOAD 00000121: DUP2 00000122: LT 00000123: ISZERO 00000124: PUSH2 0x020f 00000127: JUMPI 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: SLOAD 0000012c: SWAP1 0000012d: PUSH2 0x0100 00000130: EXP 00000131: SWAP1 00000132: DIV 00000133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000148: AND 00000149: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000015e: AND 0000015f: PUSH4 0x025e7c27 00000164: DUP3 00000165: PUSH1 0x40 00000167: MLOAD 00000168: DUP3 00000169: PUSH4 0xffffffff 0000016e: AND 0000016f: PUSH1 0xe0 00000171: SHL 00000172: DUP2 00000173: MSTORE 00000174: PUSH1 0x04 00000176: ADD 00000177: PUSH2 0x0180 0000017a: SWAP2 0000017b: SWAP1 0000017c: PUSH2 0x0b27 0000017f: JUMP 00000180: JUMPDEST 00000181: PUSH1 0x20 00000183: PUSH1 0x40 00000185: MLOAD 00000186: DUP1 00000187: DUP4 00000188: SUB 00000189: DUP2 0000018a: DUP7 0000018b: GAS 0000018c: STATICCALL 0000018d: ISZERO 0000018e: DUP1 0000018f: ISZERO 00000190: PUSH2 0x019d 00000193: JUMPI 00000194: RETURNDATASIZE 00000195: PUSH1 0x00 00000197: DUP1 00000198: RETURNDATACOPY 00000199: RETURNDATASIZE 0000019a: PUSH1 0x00 0000019c: REVERT 0000019d: JUMPDEST 0000019e: POP 0000019f: POP 000001a0: POP 000001a1: POP 000001a2: PUSH1 0x40 000001a4: MLOAD 000001a5: RETURNDATASIZE 000001a6: PUSH1 0x1f 000001a8: NOT 000001a9: PUSH1 0x1f 000001ab: DUP3 000001ac: ADD 000001ad: AND 000001ae: DUP3 000001af: ADD 000001b0: DUP1 000001b1: PUSH1 0x40 000001b3: MSTORE 000001b4: POP 000001b5: DUP2 000001b6: ADD 000001b7: SWAP1 000001b8: PUSH2 0x01c1 000001bb: SWAP2 000001bc: SWAP1 000001bd: PUSH2 0x0b42 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d7: AND 000001d8: CALLER 000001d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ee: AND 000001ef: SUB 000001f0: PUSH2 0x01fc 000001f3: JUMPI 000001f4: PUSH1 0x01 000001f6: SWAP2 000001f7: POP 000001f8: PUSH2 0x020f 000001fb: JUMP 000001fc: JUMPDEST 000001fd: DUP1 000001fe: DUP1 000001ff: PUSH2 0x0207 00000202: SWAP1 00000203: PUSH2 0x0b9e 00000206: JUMP 00000207: JUMPDEST 00000208: SWAP2 00000209: POP 0000020a: POP 0000020b: PUSH2 0x008b 0000020e: JUMP 0000020f: JUMPDEST 00000210: POP 00000211: DUP1 00000212: PUSH2 0x0250 00000215: JUMPI 00000216: PUSH1 0x40 00000218: MLOAD 00000219: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000023a: DUP2 0000023b: MSTORE 0000023c: PUSH1 0x04 0000023e: ADD 0000023f: PUSH2 0x0247 00000242: SWAP1 00000243: PUSH2 0x0c43 00000246: JUMP 00000247: JUMPDEST 00000248: PUSH1 0x40 0000024a: MLOAD 0000024b: DUP1 0000024c: SWAP2 0000024d: SUB 0000024e: SWAP1 0000024f: REVERT 00000250: JUMPDEST 00000251: SELFBALANCE 00000252: DUP4 00000253: GT 00000254: ISZERO 00000255: PUSH2 0x0293 00000258: JUMPI 00000259: PUSH1 0x40 0000025b: MLOAD 0000025c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000027d: DUP2 0000027e: MSTORE 0000027f: PUSH1 0x04 00000281: ADD 00000282: PUSH2 0x028a 00000285: SWAP1 00000286: PUSH2 0x0cd5 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH1 0x40 0000028d: MLOAD 0000028e: DUP1 0000028f: SWAP2 00000290: SUB 00000291: SWAP1 00000292: REVERT 00000293: JUMPDEST 00000294: PUSH1 0x00 00000296: DUP3 00000297: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ac: AND 000002ad: DUP5 000002ae: PUSH1 0x40 000002b0: MLOAD 000002b1: PUSH2 0x02b9 000002b4: SWAP1 000002b5: PUSH2 0x0d26 000002b8: JUMP 000002b9: JUMPDEST 000002ba: PUSH1 0x00 000002bc: PUSH1 0x40 000002be: MLOAD 000002bf: DUP1 000002c0: DUP4 000002c1: SUB 000002c2: DUP2 000002c3: DUP6 000002c4: DUP8 000002c5: GAS 000002c6: CALL 000002c7: SWAP3 000002c8: POP 000002c9: POP 000002ca: POP 000002cb: RETURNDATASIZE 000002cc: DUP1 000002cd: PUSH1 0x00 000002cf: DUP2 000002d0: EQ 000002d1: PUSH2 0x02f6 000002d4: JUMPI 000002d5: PUSH1 0x40 000002d7: MLOAD 000002d8: SWAP2 000002d9: POP 000002da: PUSH1 0x1f 000002dc: NOT 000002dd: PUSH1 0x3f 000002df: RETURNDATASIZE 000002e0: ADD 000002e1: AND 000002e2: DUP3 000002e3: ADD 000002e4: PUSH1 0x40 000002e6: MSTORE 000002e7: RETURNDATASIZE 000002e8: DUP3 000002e9: MSTORE 000002ea: RETURNDATASIZE 000002eb: PUSH1 0x00 000002ed: PUSH1 0x20 000002ef: DUP5 000002f0: ADD 000002f1: RETURNDATACOPY 000002f2: PUSH2 0x02fb 000002f5: JUMP 000002f6: JUMPDEST 000002f7: PUSH1 0x60 000002f9: SWAP2 000002fa: POP 000002fb: JUMPDEST 000002fc: POP 000002fd: POP 000002fe: SWAP1 000002ff: POP 00000300: DUP1 00000301: PUSH2 0x033f 00000304: JUMPI 00000305: PUSH1 0x40 00000307: MLOAD 00000308: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000329: DUP2 0000032a: MSTORE 0000032b: PUSH1 0x04 0000032d: ADD 0000032e: PUSH2 0x0336 00000331: SWAP1 00000332: PUSH2 0x0d87 00000335: JUMP 00000336: JUMPDEST 00000337: PUSH1 0x40 00000339: MLOAD 0000033a: DUP1 0000033b: SWAP2 0000033c: SUB 0000033d: SWAP1 0000033e: REVERT 0000033f: JUMPDEST 00000340: POP 00000341: POP 00000342: POP 00000343: POP 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH1 0x00 00000348: DUP1 00000349: JUMPDEST 0000034a: PUSH1 0x00 0000034c: DUP1 0000034d: SLOAD 0000034e: SWAP1 0000034f: PUSH2 0x0100 00000352: EXP 00000353: SWAP1 00000354: DIV 00000355: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000036a: AND 0000036b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000380: AND 00000381: PUSH4 0xa0e67e2b 00000386: PUSH1 0x40 00000388: MLOAD 00000389: DUP2 0000038a: PUSH4 0xffffffff 0000038f: AND 00000390: PUSH1 0xe0 00000392: SHL 00000393: DUP2 00000394: MSTORE 00000395: PUSH1 0x04 00000397: ADD 00000398: PUSH1 0x00 0000039a: PUSH1 0x40 0000039c: MLOAD 0000039d: DUP1 0000039e: DUP4 0000039f: SUB 000003a0: DUP2 000003a1: DUP7 000003a2: GAS 000003a3: STATICCALL 000003a4: ISZERO 000003a5: DUP1 000003a6: ISZERO 000003a7: PUSH2 0x03b4 000003aa: JUMPI 000003ab: RETURNDATASIZE 000003ac: PUSH1 0x00 000003ae: DUP1 000003af: RETURNDATACOPY 000003b0: RETURNDATASIZE 000003b1: PUSH1 0x00 000003b3: REVERT 000003b4: JUMPDEST 000003b5: POP 000003b6: POP 000003b7: POP 000003b8: POP 000003b9: PUSH1 0x40 000003bb: MLOAD 000003bc: RETURNDATASIZE 000003bd: PUSH1 0x00 000003bf: DUP3 000003c0: RETURNDATACOPY 000003c1: RETURNDATASIZE 000003c2: PUSH1 0x1f 000003c4: NOT 000003c5: PUSH1 0x1f 000003c7: DUP3 000003c8: ADD 000003c9: AND 000003ca: DUP3 000003cb: ADD 000003cc: DUP1 000003cd: PUSH1 0x40 000003cf: MSTORE 000003d0: POP 000003d1: DUP2 000003d2: ADD 000003d3: SWAP1 000003d4: PUSH2 0x03dd 000003d7: SWAP2 000003d8: SWAP1 000003d9: PUSH2 0x0acf 000003dc: JUMP 000003dd: JUMPDEST 000003de: MLOAD 000003df: DUP2 000003e0: LT 000003e1: ISZERO 000003e2: PUSH2 0x04cd 000003e5: JUMPI 000003e6: PUSH1 0x00 000003e8: DUP1 000003e9: SLOAD 000003ea: SWAP1 000003eb: PUSH2 0x0100 000003ee: EXP 000003ef: SWAP1 000003f0: DIV 000003f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000406: AND 00000407: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000041c: AND 0000041d: PUSH4 0x025e7c27 00000422: DUP3 00000423: PUSH1 0x40 00000425: MLOAD 00000426: DUP3 00000427: PUSH4 0xffffffff 0000042c: AND 0000042d: PUSH1 0xe0 0000042f: SHL 00000430: DUP2 00000431: MSTORE 00000432: PUSH1 0x04 00000434: ADD 00000435: PUSH2 0x043e 00000438: SWAP2 00000439: SWAP1 0000043a: PUSH2 0x0b27 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH1 0x20 00000441: PUSH1 0x40 00000443: MLOAD 00000444: DUP1 00000445: DUP4 00000446: SUB 00000447: DUP2 00000448: DUP7 00000449: GAS 0000044a: STATICCALL 0000044b: ISZERO 0000044c: DUP1 0000044d: ISZERO 0000044e: PUSH2 0x045b 00000451: JUMPI 00000452: RETURNDATASIZE 00000453: PUSH1 0x00 00000455: DUP1 00000456: RETURNDATACOPY 00000457: RETURNDATASIZE 00000458: PUSH1 0x00 0000045a: REVERT 0000045b: JUMPDEST 0000045c: POP 0000045d: POP 0000045e: POP 0000045f: POP 00000460: PUSH1 0x40 00000462: MLOAD 00000463: RETURNDATASIZE 00000464: PUSH1 0x1f 00000466: NOT 00000467: PUSH1 0x1f 00000469: DUP3 0000046a: ADD 0000046b: AND 0000046c: DUP3 0000046d: ADD 0000046e: DUP1 0000046f: PUSH1 0x40 00000471: MSTORE 00000472: POP 00000473: DUP2 00000474: ADD 00000475: SWAP1 00000476: PUSH2 0x047f 00000479: SWAP2 0000047a: SWAP1 0000047b: PUSH2 0x0b42 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000495: AND 00000496: CALLER 00000497: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ac: AND 000004ad: SUB 000004ae: PUSH2 0x04ba 000004b1: JUMPI 000004b2: PUSH1 0x01 000004b4: SWAP2 000004b5: POP 000004b6: PUSH2 0x04cd 000004b9: JUMP 000004ba: JUMPDEST 000004bb: DUP1 000004bc: DUP1 000004bd: PUSH2 0x04c5 000004c0: SWAP1 000004c1: PUSH2 0x0b9e 000004c4: JUMP 000004c5: JUMPDEST 000004c6: SWAP2 000004c7: POP 000004c8: POP 000004c9: PUSH2 0x0349 000004cc: JUMP 000004cd: JUMPDEST 000004ce: POP 000004cf: DUP1 000004d0: PUSH2 0x050e 000004d3: JUMPI 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004f8: DUP2 000004f9: MSTORE 000004fa: PUSH1 0x04 000004fc: ADD 000004fd: PUSH2 0x0505 00000500: SWAP1 00000501: PUSH2 0x0c43 00000504: JUMP 00000505: JUMPDEST 00000506: PUSH1 0x40 00000508: MLOAD 00000509: DUP1 0000050a: SWAP2 0000050b: SUB 0000050c: SWAP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: DUP2 00000510: MLOAD 00000511: DUP4 00000512: MLOAD 00000513: EQ 00000514: PUSH2 0x0552 00000517: JUMPI 00000518: PUSH1 0x40 0000051a: MLOAD 0000051b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000053c: DUP2 0000053d: MSTORE 0000053e: PUSH1 0x04 00000540: ADD 00000541: PUSH2 0x0549 00000544: SWAP1 00000545: PUSH2 0x0e19 00000548: JUMP 00000549: JUMPDEST 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: DUP1 0000054e: SWAP2 0000054f: SUB 00000550: SWAP1 00000551: REVERT 00000552: JUMPDEST 00000553: PUSH1 0x00 00000555: JUMPDEST 00000556: DUP3 00000557: MLOAD 00000558: DUP2 00000559: LT 0000055a: ISZERO 0000055b: PUSH2 0x06a1 0000055e: JUMPI 0000055f: PUSH1 0x00 00000561: DUP5 00000562: DUP3 00000563: DUP2 00000564: MLOAD 00000565: DUP2 00000566: LT 00000567: PUSH2 0x0573 0000056a: JUMPI 0000056b: PUSH2 0x0572 0000056e: PUSH2 0x0e39 00000571: JUMP 00000572: JUMPDEST 00000573: JUMPDEST 00000574: PUSH1 0x20 00000576: MUL 00000577: PUSH1 0x20 00000579: ADD 0000057a: ADD 0000057b: MLOAD 0000057c: SWAP1 0000057d: POP 0000057e: PUSH1 0x00 00000580: DUP5 00000581: DUP4 00000582: DUP2 00000583: MLOAD 00000584: DUP2 00000585: LT 00000586: PUSH2 0x0592 00000589: JUMPI 0000058a: PUSH2 0x0591 0000058d: PUSH2 0x0e39 00000590: JUMP 00000591: JUMPDEST 00000592: JUMPDEST 00000593: PUSH1 0x20 00000595: MUL 00000596: PUSH1 0x20 00000598: ADD 00000599: ADD 0000059a: MLOAD 0000059b: SWAP1 0000059c: POP 0000059d: SELFBALANCE 0000059e: DUP3 0000059f: GT 000005a0: ISZERO 000005a1: PUSH2 0x05df 000005a4: JUMPI 000005a5: PUSH1 0x40 000005a7: MLOAD 000005a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005c9: DUP2 000005ca: MSTORE 000005cb: PUSH1 0x04 000005cd: ADD 000005ce: PUSH2 0x05d6 000005d1: SWAP1 000005d2: PUSH2 0x0cd5 000005d5: JUMP 000005d6: JUMPDEST 000005d7: PUSH1 0x40 000005d9: MLOAD 000005da: DUP1 000005db: SWAP2 000005dc: SUB 000005dd: SWAP1 000005de: REVERT 000005df: JUMPDEST 000005e0: PUSH1 0x00 000005e2: DUP2 000005e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f8: AND 000005f9: DUP4 000005fa: PUSH1 0x40 000005fc: MLOAD 000005fd: PUSH2 0x0605 00000600: SWAP1 00000601: PUSH2 0x0d26 00000604: JUMP 00000605: JUMPDEST 00000606: PUSH1 0x00 00000608: PUSH1 0x40 0000060a: MLOAD 0000060b: DUP1 0000060c: DUP4 0000060d: SUB 0000060e: DUP2 0000060f: DUP6 00000610: DUP8 00000611: GAS 00000612: CALL 00000613: SWAP3 00000614: POP 00000615: POP 00000616: POP 00000617: RETURNDATASIZE 00000618: DUP1 00000619: PUSH1 0x00 0000061b: DUP2 0000061c: EQ 0000061d: PUSH2 0x0642 00000620: JUMPI 00000621: PUSH1 0x40 00000623: MLOAD 00000624: SWAP2 00000625: POP 00000626: PUSH1 0x1f 00000628: NOT 00000629: PUSH1 0x3f 0000062b: RETURNDATASIZE 0000062c: ADD 0000062d: AND 0000062e: DUP3 0000062f: ADD 00000630: PUSH1 0x40 00000632: MSTORE 00000633: RETURNDATASIZE 00000634: DUP3 00000635: MSTORE 00000636: RETURNDATASIZE 00000637: PUSH1 0x00 00000639: PUSH1 0x20 0000063b: DUP5 0000063c: ADD 0000063d: RETURNDATACOPY 0000063e: PUSH2 0x0647 00000641: JUMP 00000642: JUMPDEST 00000643: PUSH1 0x60 00000645: SWAP2 00000646: POP 00000647: JUMPDEST 00000648: POP 00000649: POP 0000064a: SWAP1 0000064b: POP 0000064c: DUP1 0000064d: PUSH2 0x068b 00000650: JUMPI 00000651: PUSH1 0x40 00000653: MLOAD 00000654: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000675: DUP2 00000676: MSTORE 00000677: PUSH1 0x04 00000679: ADD 0000067a: PUSH2 0x0682 0000067d: SWAP1 0000067e: PUSH2 0x0d87 00000681: JUMP 00000682: JUMPDEST 00000683: PUSH1 0x40 00000685: MLOAD 00000686: DUP1 00000687: SWAP2 00000688: SUB 00000689: SWAP1 0000068a: REVERT 0000068b: JUMPDEST 0000068c: POP 0000068d: POP 0000068e: POP 0000068f: DUP1 00000690: DUP1 00000691: PUSH2 0x0699 00000694: SWAP1 00000695: PUSH2 0x0b9e 00000698: JUMP 00000699: JUMPDEST 0000069a: SWAP2 0000069b: POP 0000069c: POP 0000069d: PUSH2 0x0555 000006a0: JUMP 000006a1: JUMPDEST 000006a2: POP 000006a3: POP 000006a4: POP 000006a5: POP 000006a6: JUMP 000006a7: JUMPDEST 000006a8: PUSH1 0x00 000006aa: PUSH1 0x40 000006ac: MLOAD 000006ad: SWAP1 000006ae: POP 000006af: SWAP1 000006b0: JUMP 000006b1: JUMPDEST 000006b2: PUSH1 0x00 000006b4: DUP1 000006b5: REVERT 000006b6: JUMPDEST 000006b7: PUSH1 0x00 000006b9: DUP1 000006ba: REVERT 000006bb: JUMPDEST 000006bc: PUSH1 0x00 000006be: DUP2 000006bf: SWAP1 000006c0: POP 000006c1: SWAP2 000006c2: SWAP1 000006c3: POP 000006c4: JUMP 000006c5: JUMPDEST 000006c6: PUSH2 0x06ce 000006c9: DUP2 000006ca: PUSH2 0x06bb 000006cd: JUMP 000006ce: JUMPDEST 000006cf: DUP2 000006d0: EQ 000006d1: PUSH2 0x06d9 000006d4: JUMPI 000006d5: PUSH1 0x00 000006d7: DUP1 000006d8: REVERT 000006d9: JUMPDEST 000006da: POP 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH1 0x00 000006df: DUP2 000006e0: CALLDATALOAD 000006e1: SWAP1 000006e2: POP 000006e3: PUSH2 0x06eb 000006e6: DUP2 000006e7: PUSH2 0x06c5 000006ea: JUMP 000006eb: JUMPDEST 000006ec: SWAP3 000006ed: SWAP2 000006ee: POP 000006ef: POP 000006f0: JUMP 000006f1: JUMPDEST 000006f2: PUSH1 0x00 000006f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000709: DUP3 0000070a: AND 0000070b: SWAP1 0000070c: POP 0000070d: SWAP2 0000070e: SWAP1 0000070f: POP 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH1 0x00 00000714: PUSH2 0x071c 00000717: DUP3 00000718: PUSH2 0x06f1 0000071b: JUMP 0000071c: JUMPDEST 0000071d: SWAP1 0000071e: POP 0000071f: SWAP2 00000720: SWAP1 00000721: POP 00000722: JUMP 00000723: JUMPDEST 00000724: PUSH2 0x072c 00000727: DUP2 00000728: PUSH2 0x0711 0000072b: JUMP 0000072c: JUMPDEST 0000072d: DUP2 0000072e: EQ 0000072f: PUSH2 0x0737 00000732: JUMPI 00000733: PUSH1 0x00 00000735: DUP1 00000736: REVERT 00000737: JUMPDEST 00000738: POP 00000739: JUMP 0000073a: JUMPDEST 0000073b: PUSH1 0x00 0000073d: DUP2 0000073e: CALLDATALOAD 0000073f: SWAP1 00000740: POP 00000741: PUSH2 0x0749 00000744: DUP2 00000745: PUSH2 0x0723 00000748: JUMP 00000749: JUMPDEST 0000074a: SWAP3 0000074b: SWAP2 0000074c: POP 0000074d: POP 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH1 0x00 00000752: DUP1 00000753: PUSH1 0x40 00000755: DUP4 00000756: DUP6 00000757: SUB 00000758: SLT 00000759: ISZERO 0000075a: PUSH2 0x0766 0000075d: JUMPI 0000075e: PUSH2 0x0765 00000761: PUSH2 0x06b1 00000764: JUMP 00000765: JUMPDEST 00000766: JUMPDEST 00000767: PUSH1 0x00 00000769: PUSH2 0x0774 0000076c: DUP6 0000076d: DUP3 0000076e: DUP7 0000076f: ADD 00000770: PUSH2 0x06dc 00000773: JUMP 00000774: JUMPDEST 00000775: SWAP3 00000776: POP 00000777: POP 00000778: PUSH1 0x20 0000077a: PUSH2 0x0785 0000077d: DUP6 0000077e: DUP3 0000077f: DUP7 00000780: ADD 00000781: PUSH2 0x073a 00000784: JUMP 00000785: JUMPDEST 00000786: SWAP2 00000787: POP 00000788: POP 00000789: SWAP3 0000078a: POP 0000078b: SWAP3 0000078c: SWAP1 0000078d: POP 0000078e: JUMP 0000078f: JUMPDEST 00000790: PUSH1 0x00 00000792: DUP1 00000793: REVERT 00000794: JUMPDEST 00000795: PUSH1 0x00 00000797: PUSH1 0x1f 00000799: NOT 0000079a: PUSH1 0x1f 0000079c: DUP4 0000079d: ADD 0000079e: AND 0000079f: SWAP1 000007a0: POP 000007a1: SWAP2 000007a2: SWAP1 000007a3: POP 000007a4: JUMP 000007a5: JUMPDEST 000007a6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000007c7: PUSH1 0x00 000007c9: MSTORE 000007ca: PUSH1 0x41 000007cc: PUSH1 0x04 000007ce: MSTORE 000007cf: PUSH1 0x24 000007d1: PUSH1 0x00 000007d3: REVERT 000007d4: JUMPDEST 000007d5: PUSH2 0x07dd 000007d8: DUP3 000007d9: PUSH2 0x0794 000007dc: JUMP 000007dd: JUMPDEST 000007de: DUP2 000007df: ADD 000007e0: DUP2 000007e1: DUP2 000007e2: LT 000007e3: PUSH8 0xffffffffffffffff 000007ec: DUP3 000007ed: GT 000007ee: OR 000007ef: ISZERO 000007f0: PUSH2 0x07fc 000007f3: JUMPI 000007f4: PUSH2 0x07fb 000007f7: PUSH2 0x07a5 000007fa: JUMP 000007fb: JUMPDEST 000007fc: JUMPDEST 000007fd: DUP1 000007fe: PUSH1 0x40 00000800: MSTORE 00000801: POP 00000802: POP 00000803: POP 00000804: JUMP 00000805: JUMPDEST 00000806: PUSH1 0x00 00000808: PUSH2 0x080f 0000080b: PUSH2 0x06a7 0000080e: JUMP 0000080f: JUMPDEST 00000810: SWAP1 00000811: POP 00000812: PUSH2 0x081b 00000815: DUP3 00000816: DUP3 00000817: PUSH2 0x07d4 0000081a: JUMP 0000081b: JUMPDEST 0000081c: SWAP2 0000081d: SWAP1 0000081e: POP 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH1 0x00 00000823: PUSH8 0xffffffffffffffff 0000082c: DUP3 0000082d: GT 0000082e: ISZERO 0000082f: PUSH2 0x083b 00000832: JUMPI 00000833: PUSH2 0x083a 00000836: PUSH2 0x07a5 00000839: JUMP 0000083a: JUMPDEST 0000083b: JUMPDEST 0000083c: PUSH1 0x20 0000083e: DUP3 0000083f: MUL 00000840: SWAP1 00000841: POP 00000842: PUSH1 0x20 00000844: DUP2 00000845: ADD 00000846: SWAP1 00000847: POP 00000848: SWAP2 00000849: SWAP1 0000084a: POP 0000084b: JUMP 0000084c: JUMPDEST 0000084d: PUSH1 0x00 0000084f: DUP1 00000850: REVERT 00000851: JUMPDEST 00000852: PUSH1 0x00 00000854: PUSH2 0x0864 00000857: PUSH2 0x085f 0000085a: DUP5 0000085b: PUSH2 0x0820 0000085e: JUMP 0000085f: JUMPDEST 00000860: PUSH2 0x0805 00000863: JUMP 00000864: JUMPDEST 00000865: SWAP1 00000866: POP 00000867: DUP1 00000868: DUP4 00000869: DUP3 0000086a: MSTORE 0000086b: PUSH1 0x20 0000086d: DUP3 0000086e: ADD 0000086f: SWAP1 00000870: POP 00000871: PUSH1 0x20 00000873: DUP5 00000874: MUL 00000875: DUP4 00000876: ADD 00000877: DUP6 00000878: DUP2 00000879: GT 0000087a: ISZERO 0000087b: PUSH2 0x0887 0000087e: JUMPI 0000087f: PUSH2 0x0886 00000882: PUSH2 0x084c 00000885: JUMP 00000886: JUMPDEST 00000887: JUMPDEST 00000888: DUP4 00000889: JUMPDEST 0000088a: DUP2 0000088b: DUP2 0000088c: LT 0000088d: ISZERO 0000088e: PUSH2 0x08b0 00000891: JUMPI 00000892: DUP1 00000893: PUSH2 0x089c 00000896: DUP9 00000897: DUP3 00000898: PUSH2 0x06dc 0000089b: JUMP 0000089c: JUMPDEST 0000089d: DUP5 0000089e: MSTORE 0000089f: PUSH1 0x20 000008a1: DUP5 000008a2: ADD 000008a3: SWAP4 000008a4: POP 000008a5: POP 000008a6: PUSH1 0x20 000008a8: DUP2 000008a9: ADD 000008aa: SWAP1 000008ab: POP 000008ac: PUSH2 0x0889 000008af: JUMP 000008b0: JUMPDEST 000008b1: POP 000008b2: POP 000008b3: POP 000008b4: SWAP4 000008b5: SWAP3 000008b6: POP 000008b7: POP 000008b8: POP 000008b9: JUMP 000008ba: JUMPDEST 000008bb: PUSH1 0x00 000008bd: DUP3 000008be: PUSH1 0x1f 000008c0: DUP4 000008c1: ADD 000008c2: SLT 000008c3: PUSH2 0x08cf 000008c6: JUMPI 000008c7: PUSH2 0x08ce 000008ca: PUSH2 0x078f 000008cd: JUMP 000008ce: JUMPDEST 000008cf: JUMPDEST 000008d0: DUP2 000008d1: CALLDATALOAD 000008d2: PUSH2 0x08df 000008d5: DUP5 000008d6: DUP3 000008d7: PUSH1 0x20 000008d9: DUP7 000008da: ADD 000008db: PUSH2 0x0851 000008de: JUMP 000008df: JUMPDEST 000008e0: SWAP2 000008e1: POP 000008e2: POP 000008e3: SWAP3 000008e4: SWAP2 000008e5: POP 000008e6: POP 000008e7: JUMP 000008e8: JUMPDEST 000008e9: PUSH1 0x00 000008eb: PUSH8 0xffffffffffffffff 000008f4: DUP3 000008f5: GT 000008f6: ISZERO 000008f7: PUSH2 0x0903 000008fa: JUMPI 000008fb: PUSH2 0x0902 000008fe: PUSH2 0x07a5 00000901: JUMP 00000902: JUMPDEST 00000903: JUMPDEST 00000904: PUSH1 0x20 00000906: DUP3 00000907: MUL 00000908: SWAP1 00000909: POP 0000090a: PUSH1 0x20 0000090c: DUP2 0000090d: ADD 0000090e: SWAP1 0000090f: POP 00000910: SWAP2 00000911: SWAP1 00000912: POP 00000913: JUMP 00000914: JUMPDEST 00000915: PUSH1 0x00 00000917: PUSH2 0x0927 0000091a: PUSH2 0x0922 0000091d: DUP5 0000091e: PUSH2 0x08e8 00000921: JUMP 00000922: JUMPDEST 00000923: PUSH2 0x0805 00000926: JUMP 00000927: JUMPDEST 00000928: SWAP1 00000929: POP 0000092a: DUP1 0000092b: DUP4 0000092c: DUP3 0000092d: MSTORE 0000092e: PUSH1 0x20 00000930: DUP3 00000931: ADD 00000932: SWAP1 00000933: POP 00000934: PUSH1 0x20 00000936: DUP5 00000937: MUL 00000938: DUP4 00000939: ADD 0000093a: DUP6 0000093b: DUP2 0000093c: GT 0000093d: ISZERO 0000093e: PUSH2 0x094a 00000941: JUMPI 00000942: PUSH2 0x0949 00000945: PUSH2 0x084c 00000948: JUMP 00000949: JUMPDEST 0000094a: JUMPDEST 0000094b: DUP4 0000094c: JUMPDEST 0000094d: DUP2 0000094e: DUP2 0000094f: LT 00000950: ISZERO 00000951: PUSH2 0x0973 00000954: JUMPI 00000955: DUP1 00000956: PUSH2 0x095f 00000959: DUP9 0000095a: DUP3 0000095b: PUSH2 0x073a 0000095e: JUMP 0000095f: JUMPDEST 00000960: DUP5 00000961: MSTORE 00000962: PUSH1 0x20 00000964: DUP5 00000965: ADD 00000966: SWAP4 00000967: POP 00000968: POP 00000969: PUSH1 0x20 0000096b: DUP2 0000096c: ADD 0000096d: SWAP1 0000096e: POP 0000096f: PUSH2 0x094c 00000972: JUMP 00000973: JUMPDEST 00000974: POP 00000975: POP 00000976: POP 00000977: SWAP4 00000978: SWAP3 00000979: POP 0000097a: POP 0000097b: POP 0000097c: JUMP 0000097d: JUMPDEST 0000097e: PUSH1 0x00 00000980: DUP3 00000981: PUSH1 0x1f 00000983: DUP4 00000984: ADD 00000985: SLT 00000986: PUSH2 0x0992 00000989: JUMPI 0000098a: PUSH2 0x0991 0000098d: PUSH2 0x078f 00000990: JUMP 00000991: JUMPDEST 00000992: JUMPDEST 00000993: DUP2 00000994: CALLDATALOAD 00000995: PUSH2 0x09a2 00000998: DUP5 00000999: DUP3 0000099a: PUSH1 0x20 0000099c: DUP7 0000099d: ADD 0000099e: PUSH2 0x0914 000009a1: JUMP 000009a2: JUMPDEST 000009a3: SWAP2 000009a4: POP 000009a5: POP 000009a6: SWAP3 000009a7: SWAP2 000009a8: POP 000009a9: POP 000009aa: JUMP 000009ab: JUMPDEST 000009ac: PUSH1 0x00 000009ae: DUP1 000009af: PUSH1 0x40 000009b1: DUP4 000009b2: DUP6 000009b3: SUB 000009b4: SLT 000009b5: ISZERO 000009b6: PUSH2 0x09c2 000009b9: JUMPI 000009ba: PUSH2 0x09c1 000009bd: PUSH2 0x06b1 000009c0: JUMP 000009c1: JUMPDEST 000009c2: JUMPDEST 000009c3: PUSH1 0x00 000009c5: DUP4 000009c6: ADD 000009c7: CALLDATALOAD 000009c8: PUSH8 0xffffffffffffffff 000009d1: DUP2 000009d2: GT 000009d3: ISZERO 000009d4: PUSH2 0x09e0 000009d7: JUMPI 000009d8: PUSH2 0x09df 000009db: PUSH2 0x06b6 000009de: JUMP 000009df: JUMPDEST 000009e0: JUMPDEST 000009e1: PUSH2 0x09ec 000009e4: DUP6 000009e5: DUP3 000009e6: DUP7 000009e7: ADD 000009e8: PUSH2 0x08ba 000009eb: JUMP 000009ec: JUMPDEST 000009ed: SWAP3 000009ee: POP 000009ef: POP 000009f0: PUSH1 0x20 000009f2: DUP4 000009f3: ADD 000009f4: CALLDATALOAD 000009f5: PUSH8 0xffffffffffffffff 000009fe: DUP2 000009ff: GT 00000a00: ISZERO 00000a01: PUSH2 0x0a0d 00000a04: JUMPI 00000a05: PUSH2 0x0a0c 00000a08: PUSH2 0x06b6 00000a0b: JUMP 00000a0c: JUMPDEST 00000a0d: JUMPDEST 00000a0e: PUSH2 0x0a19 00000a11: DUP6 00000a12: DUP3 00000a13: DUP7 00000a14: ADD 00000a15: PUSH2 0x097d 00000a18: JUMP 00000a19: JUMPDEST 00000a1a: SWAP2 00000a1b: POP 00000a1c: POP 00000a1d: SWAP3 00000a1e: POP 00000a1f: SWAP3 00000a20: SWAP1 00000a21: POP 00000a22: JUMP 00000a23: JUMPDEST 00000a24: PUSH1 0x00 00000a26: DUP2 00000a27: MLOAD 00000a28: SWAP1 00000a29: POP 00000a2a: PUSH2 0x0a32 00000a2d: DUP2 00000a2e: PUSH2 0x0723 00000a31: JUMP 00000a32: JUMPDEST 00000a33: SWAP3 00000a34: SWAP2 00000a35: POP 00000a36: POP 00000a37: JUMP 00000a38: JUMPDEST 00000a39: PUSH1 0x00 00000a3b: PUSH2 0x0a4b 00000a3e: PUSH2 0x0a46 00000a41: DUP5 00000a42: PUSH2 0x08e8 00000a45: JUMP 00000a46: JUMPDEST 00000a47: PUSH2 0x0805 00000a4a: JUMP 00000a4b: JUMPDEST 00000a4c: SWAP1 00000a4d: POP 00000a4e: DUP1 00000a4f: DUP4 00000a50: DUP3 00000a51: MSTORE 00000a52: PUSH1 0x20 00000a54: DUP3 00000a55: ADD 00000a56: SWAP1 00000a57: POP 00000a58: PUSH1 0x20 00000a5a: DUP5 00000a5b: MUL 00000a5c: DUP4 00000a5d: ADD 00000a5e: DUP6 00000a5f: DUP2 00000a60: GT 00000a61: ISZERO 00000a62: PUSH2 0x0a6e 00000a65: JUMPI 00000a66: PUSH2 0x0a6d 00000a69: PUSH2 0x084c 00000a6c: JUMP 00000a6d: JUMPDEST 00000a6e: JUMPDEST 00000a6f: DUP4 00000a70: JUMPDEST 00000a71: DUP2 00000a72: DUP2 00000a73: LT 00000a74: ISZERO 00000a75: PUSH2 0x0a97 00000a78: JUMPI 00000a79: DUP1 00000a7a: PUSH2 0x0a83 00000a7d: DUP9 00000a7e: DUP3 00000a7f: PUSH2 0x0a23 00000a82: JUMP 00000a83: JUMPDEST 00000a84: DUP5 00000a85: MSTORE 00000a86: PUSH1 0x20 00000a88: DUP5 00000a89: ADD 00000a8a: SWAP4 00000a8b: POP 00000a8c: POP 00000a8d: PUSH1 0x20 00000a8f: DUP2 00000a90: ADD 00000a91: SWAP1 00000a92: POP 00000a93: PUSH2 0x0a70 00000a96: JUMP 00000a97: JUMPDEST 00000a98: POP 00000a99: POP 00000a9a: POP 00000a9b: SWAP4 00000a9c: SWAP3 00000a9d: POP 00000a9e: POP 00000a9f: POP 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: PUSH1 0x00 00000aa4: DUP3 00000aa5: PUSH1 0x1f 00000aa7: DUP4 00000aa8: ADD 00000aa9: SLT 00000aaa: PUSH2 0x0ab6 00000aad: JUMPI 00000aae: PUSH2 0x0ab5 00000ab1: PUSH2 0x078f 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: JUMPDEST 00000ab7: DUP2 00000ab8: MLOAD 00000ab9: PUSH2 0x0ac6 00000abc: DUP5 00000abd: DUP3 00000abe: PUSH1 0x20 00000ac0: DUP7 00000ac1: ADD 00000ac2: PUSH2 0x0a38 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: SWAP2 00000ac8: POP 00000ac9: POP 00000aca: SWAP3 00000acb: SWAP2 00000acc: POP 00000acd: POP 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: PUSH1 0x00 00000ad2: PUSH1 0x20 00000ad4: DUP3 00000ad5: DUP5 00000ad6: SUB 00000ad7: SLT 00000ad8: ISZERO 00000ad9: PUSH2 0x0ae5 00000adc: JUMPI 00000add: PUSH2 0x0ae4 00000ae0: PUSH2 0x06b1 00000ae3: JUMP 00000ae4: JUMPDEST 00000ae5: JUMPDEST 00000ae6: PUSH1 0x00 00000ae8: DUP3 00000ae9: ADD 00000aea: MLOAD 00000aeb: PUSH8 0xffffffffffffffff 00000af4: DUP2 00000af5: GT 00000af6: ISZERO 00000af7: PUSH2 0x0b03 00000afa: JUMPI 00000afb: PUSH2 0x0b02 00000afe: PUSH2 0x06b6 00000b01: JUMP 00000b02: JUMPDEST 00000b03: JUMPDEST 00000b04: PUSH2 0x0b0f 00000b07: DUP5 00000b08: DUP3 00000b09: DUP6 00000b0a: ADD 00000b0b: PUSH2 0x0aa1 00000b0e: JUMP 00000b0f: JUMPDEST 00000b10: SWAP2 00000b11: POP 00000b12: POP 00000b13: SWAP3 00000b14: SWAP2 00000b15: POP 00000b16: POP 00000b17: JUMP 00000b18: JUMPDEST 00000b19: PUSH2 0x0b21 00000b1c: DUP2 00000b1d: PUSH2 0x06bb 00000b20: JUMP 00000b21: JUMPDEST 00000b22: DUP3 00000b23: MSTORE 00000b24: POP 00000b25: POP 00000b26: JUMP 00000b27: JUMPDEST 00000b28: PUSH1 0x00 00000b2a: PUSH1 0x20 00000b2c: DUP3 00000b2d: ADD 00000b2e: SWAP1 00000b2f: POP 00000b30: PUSH2 0x0b3c 00000b33: PUSH1 0x00 00000b35: DUP4 00000b36: ADD 00000b37: DUP5 00000b38: PUSH2 0x0b18 00000b3b: JUMP 00000b3c: JUMPDEST 00000b3d: SWAP3 00000b3e: SWAP2 00000b3f: POP 00000b40: POP 00000b41: JUMP 00000b42: JUMPDEST 00000b43: PUSH1 0x00 00000b45: PUSH1 0x20 00000b47: DUP3 00000b48: DUP5 00000b49: SUB 00000b4a: SLT 00000b4b: ISZERO 00000b4c: PUSH2 0x0b58 00000b4f: JUMPI 00000b50: PUSH2 0x0b57 00000b53: PUSH2 0x06b1 00000b56: JUMP 00000b57: JUMPDEST 00000b58: JUMPDEST 00000b59: PUSH1 0x00 00000b5b: PUSH2 0x0b66 00000b5e: DUP5 00000b5f: DUP3 00000b60: DUP6 00000b61: ADD 00000b62: PUSH2 0x0a23 00000b65: JUMP 00000b66: JUMPDEST 00000b67: SWAP2 00000b68: POP 00000b69: POP 00000b6a: SWAP3 00000b6b: SWAP2 00000b6c: POP 00000b6d: POP 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000b91: PUSH1 0x00 00000b93: MSTORE 00000b94: PUSH1 0x11 00000b96: PUSH1 0x04 00000b98: MSTORE 00000b99: PUSH1 0x24 00000b9b: PUSH1 0x00 00000b9d: REVERT 00000b9e: JUMPDEST 00000b9f: PUSH1 0x00 00000ba1: PUSH2 0x0ba9 00000ba4: DUP3 00000ba5: PUSH2 0x06bb 00000ba8: JUMP 00000ba9: JUMPDEST 00000baa: SWAP2 00000bab: POP 00000bac: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000bcd: DUP3 00000bce: SUB 00000bcf: PUSH2 0x0bdb 00000bd2: JUMPI 00000bd3: PUSH2 0x0bda 00000bd6: PUSH2 0x0b6f 00000bd9: JUMP 00000bda: JUMPDEST 00000bdb: JUMPDEST 00000bdc: PUSH1 0x01 00000bde: DUP3 00000bdf: ADD 00000be0: SWAP1 00000be1: POP 00000be2: SWAP2 00000be3: SWAP1 00000be4: POP 00000be5: JUMP 00000be6: JUMPDEST 00000be7: PUSH1 0x00 00000be9: DUP3 00000bea: DUP3 00000beb: MSTORE 00000bec: PUSH1 0x20 00000bee: DUP3 00000bef: ADD 00000bf0: SWAP1 00000bf1: POP 00000bf2: SWAP3 00000bf3: SWAP2 00000bf4: POP 00000bf5: POP 00000bf6: JUMP 00000bf7: JUMPDEST 00000bf8: PUSH32 0x43616c6c6572206973206e6f7420616e206f776e657200000000000000000000 00000c19: PUSH1 0x00 00000c1b: DUP3 00000c1c: ADD 00000c1d: MSTORE 00000c1e: POP 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: PUSH1 0x00 00000c23: PUSH2 0x0c2d 00000c26: PUSH1 0x16 00000c28: DUP4 00000c29: PUSH2 0x0be6 00000c2c: JUMP 00000c2d: JUMPDEST 00000c2e: SWAP2 00000c2f: POP 00000c30: PUSH2 0x0c38 00000c33: DUP3 00000c34: PUSH2 0x0bf7 00000c37: JUMP 00000c38: JUMPDEST 00000c39: PUSH1 0x20 00000c3b: DUP3 00000c3c: ADD 00000c3d: SWAP1 00000c3e: POP 00000c3f: SWAP2 00000c40: SWAP1 00000c41: POP 00000c42: JUMP 00000c43: JUMPDEST 00000c44: PUSH1 0x00 00000c46: PUSH1 0x20 00000c48: DUP3 00000c49: ADD 00000c4a: SWAP1 00000c4b: POP 00000c4c: DUP2 00000c4d: DUP2 00000c4e: SUB 00000c4f: PUSH1 0x00 00000c51: DUP4 00000c52: ADD 00000c53: MSTORE 00000c54: PUSH2 0x0c5c 00000c57: DUP2 00000c58: PUSH2 0x0c20 00000c5b: JUMP 00000c5c: JUMPDEST 00000c5d: SWAP1 00000c5e: POP 00000c5f: SWAP2 00000c60: SWAP1 00000c61: POP 00000c62: JUMP 00000c63: JUMPDEST 00000c64: PUSH32 0x4e6f7420656e6f7567682062616c616e636520696e2074686520636f6e747261 00000c85: PUSH1 0x00 00000c87: DUP3 00000c88: ADD 00000c89: MSTORE 00000c8a: PUSH32 0x6374000000000000000000000000000000000000000000000000000000000000 00000cab: PUSH1 0x20 00000cad: DUP3 00000cae: ADD 00000caf: MSTORE 00000cb0: POP 00000cb1: JUMP 00000cb2: JUMPDEST 00000cb3: PUSH1 0x00 00000cb5: PUSH2 0x0cbf 00000cb8: PUSH1 0x22 00000cba: DUP4 00000cbb: PUSH2 0x0be6 00000cbe: JUMP 00000cbf: JUMPDEST 00000cc0: SWAP2 00000cc1: POP 00000cc2: PUSH2 0x0cca 00000cc5: DUP3 00000cc6: PUSH2 0x0c63 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: PUSH1 0x40 00000ccd: DUP3 00000cce: ADD 00000ccf: SWAP1 00000cd0: POP 00000cd1: SWAP2 00000cd2: SWAP1 00000cd3: POP 00000cd4: JUMP 00000cd5: JUMPDEST 00000cd6: PUSH1 0x00 00000cd8: PUSH1 0x20 00000cda: DUP3 00000cdb: ADD 00000cdc: SWAP1 00000cdd: POP 00000cde: DUP2 00000cdf: DUP2 00000ce0: SUB 00000ce1: PUSH1 0x00 00000ce3: DUP4 00000ce4: ADD 00000ce5: MSTORE 00000ce6: PUSH2 0x0cee 00000ce9: DUP2 00000cea: PUSH2 0x0cb2 00000ced: JUMP 00000cee: JUMPDEST 00000cef: SWAP1 00000cf0: POP 00000cf1: SWAP2 00000cf2: SWAP1 00000cf3: POP 00000cf4: JUMP 00000cf5: JUMPDEST 00000cf6: PUSH1 0x00 00000cf8: DUP2 00000cf9: SWAP1 00000cfa: POP 00000cfb: SWAP3 00000cfc: SWAP2 00000cfd: POP 00000cfe: POP 00000cff: JUMP 00000d00: JUMPDEST 00000d01: POP 00000d02: JUMP 00000d03: JUMPDEST 00000d04: PUSH1 0x00 00000d06: PUSH2 0x0d10 00000d09: PUSH1 0x00 00000d0b: DUP4 00000d0c: PUSH2 0x0cf5 00000d0f: JUMP 00000d10: JUMPDEST 00000d11: SWAP2 00000d12: POP 00000d13: PUSH2 0x0d1b 00000d16: DUP3 00000d17: PUSH2 0x0d00 00000d1a: JUMP 00000d1b: JUMPDEST 00000d1c: PUSH1 0x00 00000d1e: DUP3 00000d1f: ADD 00000d20: SWAP1 00000d21: POP 00000d22: SWAP2 00000d23: SWAP1 00000d24: POP 00000d25: JUMP 00000d26: JUMPDEST 00000d27: PUSH1 0x00 00000d29: PUSH2 0x0d31 00000d2c: DUP3 00000d2d: PUSH2 0x0d03 00000d30: JUMP 00000d31: JUMPDEST 00000d32: SWAP2 00000d33: POP 00000d34: DUP2 00000d35: SWAP1 00000d36: POP 00000d37: SWAP2 00000d38: SWAP1 00000d39: POP 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: PUSH32 0x4661696c00000000000000000000000000000000000000000000000000000000 00000d5d: PUSH1 0x00 00000d5f: DUP3 00000d60: ADD 00000d61: MSTORE 00000d62: POP 00000d63: JUMP 00000d64: JUMPDEST 00000d65: PUSH1 0x00 00000d67: PUSH2 0x0d71 00000d6a: PUSH1 0x04 00000d6c: DUP4 00000d6d: PUSH2 0x0be6 00000d70: JUMP 00000d71: JUMPDEST 00000d72: SWAP2 00000d73: POP 00000d74: PUSH2 0x0d7c 00000d77: DUP3 00000d78: PUSH2 0x0d3b 00000d7b: JUMP 00000d7c: JUMPDEST 00000d7d: PUSH1 0x20 00000d7f: DUP3 00000d80: ADD 00000d81: SWAP1 00000d82: POP 00000d83: SWAP2 00000d84: SWAP1 00000d85: POP 00000d86: JUMP 00000d87: JUMPDEST 00000d88: PUSH1 0x00 00000d8a: PUSH1 0x20 00000d8c: DUP3 00000d8d: ADD 00000d8e: SWAP1 00000d8f: POP 00000d90: DUP2 00000d91: DUP2 00000d92: SUB 00000d93: PUSH1 0x00 00000d95: DUP4 00000d96: ADD 00000d97: MSTORE 00000d98: PUSH2 0x0da0 00000d9b: DUP2 00000d9c: PUSH2 0x0d64 00000d9f: JUMP 00000da0: JUMPDEST 00000da1: SWAP1 00000da2: POP 00000da3: SWAP2 00000da4: SWAP1 00000da5: POP 00000da6: JUMP 00000da7: JUMPDEST 00000da8: PUSH32 0x54686520616d6f756e747320616e6420726563697069656e7473206c656e6774 00000dc9: PUSH1 0x00 00000dcb: DUP3 00000dcc: ADD 00000dcd: MSTORE 00000dce: PUSH32 0x68206d69736d6174636800000000000000000000000000000000000000000000 00000def: PUSH1 0x20 00000df1: DUP3 00000df2: ADD 00000df3: MSTORE 00000df4: POP 00000df5: JUMP 00000df6: JUMPDEST 00000df7: PUSH1 0x00 00000df9: PUSH2 0x0e03 00000dfc: PUSH1 0x2a 00000dfe: DUP4 00000dff: PUSH2 0x0be6 00000e02: JUMP 00000e03: JUMPDEST 00000e04: SWAP2 00000e05: POP 00000e06: PUSH2 0x0e0e 00000e09: DUP3 00000e0a: PUSH2 0x0da7 00000e0d: JUMP 00000e0e: JUMPDEST 00000e0f: PUSH1 0x40 00000e11: DUP3 00000e12: ADD 00000e13: SWAP1 00000e14: POP 00000e15: SWAP2 00000e16: SWAP1 00000e17: POP 00000e18: JUMP 00000e19: JUMPDEST 00000e1a: PUSH1 0x00 00000e1c: PUSH1 0x20 00000e1e: DUP3 00000e1f: ADD 00000e20: SWAP1 00000e21: POP 00000e22: DUP2 00000e23: DUP2 00000e24: SUB 00000e25: PUSH1 0x00 00000e27: DUP4 00000e28: ADD 00000e29: MSTORE 00000e2a: PUSH2 0x0e32 00000e2d: DUP2 00000e2e: PUSH2 0x0df6 00000e31: JUMP 00000e32: JUMPDEST 00000e33: SWAP1 00000e34: POP 00000e35: SWAP2 00000e36: SWAP1 00000e37: POP 00000e38: JUMP 00000e39: JUMPDEST 00000e3a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000e5b: PUSH1 0x00 00000e5d: MSTORE 00000e5e: PUSH1 0x32 00000e60: PUSH1 0x04 00000e62: MSTORE 00000e63: PUSH1 0x24 00000e65: PUSH1 0x00 00000e67: REVERT 00000e68: INVALID 00000e69: LOG2 00000e6a: PUSH5 0x6970667358 00000e70: UNKNOWN(0x22) 00000e71: SLT 00000e72: KECCAK256 00000e73: UNKNOWN(0x2E) 00000e74: PUSH16 0xb564a4438f6f8da2dfad696896ad35b1 00000e85: SUB 00000e86: UNKNOWN(0xBF) 00000e87: UNKNOWN(0xEE) 00000e88: DIV 00000e89: SWAP3 00000e8a: EXTCODEHASH 00000e8b: PUSH18 0xf0f78d7d3de47564736f6c63430008120033
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb88d087c10abd6afaa2ab8621c82a70160ae54648fbf8843b154742520f63865
call_targets:
0x000037bb05b2cef17c6469f4bcdb198826ce0000
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb88d087c10abd6afaa2ab8621c82a70160ae54648fbf8843b154742520f63865",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x000037bb05b2cef17c6469f4bcdb198826ce0000"
],
"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": "0xcd5e72d2",
"selector": "0xcd5e72d2",
"calldata_variants": [
"0xcd5e72d2",
"0xcd5e72d20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 710,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1554,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb88d087c10abd6afaa2ab8621c82a70160ae54648fbf8843b154742520f63865
call_targets:
0x000037bb05b2cef17c6469f4bcdb198826ce0000
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb88d087c10abd6afaa2ab8621c82a70160ae54648fbf8843b154742520f63865",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x000037bb05b2cef17c6469f4bcdb198826ce0000"
],
"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": "0xcd5e72d2",
"selector": "0xcd5e72d2",
"calldata_variants": [
"0xcd5e72d2",
"0xcd5e72d20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 710,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1554,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|