019b477e-dce9-7244-89f7-9a8193c6b15d
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 |
|---|---|---|---|---|
| 29879 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29880 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 93185 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 93186 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 93187 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 93188 | 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 0x0043 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x08ae4b0c 00000019: EQ 0000001a: PUSH2 0x004f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x505f8120 00000024: EQ 00000025: PUSH2 0x008c 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8e9e4046 0000002f: EQ 00000030: PUSH2 0x00b5 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xfea2070e 0000003a: EQ 0000003b: PUSH2 0x00de 0000003e: JUMPI 0000003f: PUSH2 0x004a 00000042: JUMP 00000043: JUMPDEST 00000044: CALLDATASIZE 00000045: PUSH2 0x004a 00000048: JUMPI 00000049: STOP 0000004a: JUMPDEST 0000004b: PUSH1 0x00 0000004d: DUP1 0000004e: REVERT 0000004f: JUMPDEST 00000050: CALLVALUE 00000051: DUP1 00000052: ISZERO 00000053: PUSH2 0x005b 00000056: JUMPI 00000057: PUSH1 0x00 00000059: DUP1 0000005a: REVERT 0000005b: JUMPDEST 0000005c: POP 0000005d: PUSH2 0x0076 00000060: PUSH1 0x04 00000062: DUP1 00000063: CALLDATASIZE 00000064: SUB 00000065: DUP2 00000066: ADD 00000067: SWAP1 00000068: PUSH2 0x0071 0000006b: SWAP2 0000006c: SWAP1 0000006d: PUSH2 0x05ad 00000070: JUMP 00000071: JUMPDEST 00000072: PUSH2 0x011c 00000075: JUMP 00000076: JUMPDEST 00000077: PUSH1 0x40 00000079: MLOAD 0000007a: PUSH2 0x0083 0000007d: SWAP2 0000007e: SWAP1 0000007f: PUSH2 0x05f5 00000082: JUMP 00000083: JUMPDEST 00000084: PUSH1 0x40 00000086: MLOAD 00000087: DUP1 00000088: SWAP2 00000089: SUB 0000008a: SWAP1 0000008b: RETURN 0000008c: JUMPDEST 0000008d: CALLVALUE 0000008e: DUP1 0000008f: ISZERO 00000090: PUSH2 0x0098 00000093: JUMPI 00000094: PUSH1 0x00 00000096: DUP1 00000097: REVERT 00000098: JUMPDEST 00000099: POP 0000009a: PUSH2 0x00b3 0000009d: PUSH1 0x04 0000009f: DUP1 000000a0: CALLDATASIZE 000000a1: SUB 000000a2: DUP2 000000a3: ADD 000000a4: SWAP1 000000a5: PUSH2 0x00ae 000000a8: SWAP2 000000a9: SWAP1 000000aa: PUSH2 0x0684 000000ad: JUMP 000000ae: JUMPDEST 000000af: PUSH2 0x013c 000000b2: JUMP 000000b3: JUMPDEST 000000b4: STOP 000000b5: JUMPDEST 000000b6: CALLVALUE 000000b7: DUP1 000000b8: ISZERO 000000b9: PUSH2 0x00c1 000000bc: JUMPI 000000bd: PUSH1 0x00 000000bf: DUP1 000000c0: REVERT 000000c1: JUMPDEST 000000c2: POP 000000c3: PUSH2 0x00dc 000000c6: PUSH1 0x04 000000c8: DUP1 000000c9: CALLDATASIZE 000000ca: SUB 000000cb: DUP2 000000cc: ADD 000000cd: SWAP1 000000ce: PUSH2 0x00d7 000000d1: SWAP2 000000d2: SWAP1 000000d3: PUSH2 0x05ad 000000d6: JUMP 000000d7: JUMPDEST 000000d8: PUSH2 0x0278 000000db: JUMP 000000dc: JUMPDEST 000000dd: STOP 000000de: JUMPDEST 000000df: CALLVALUE 000000e0: DUP1 000000e1: ISZERO 000000e2: PUSH2 0x00ea 000000e5: JUMPI 000000e6: PUSH1 0x00 000000e8: DUP1 000000e9: REVERT 000000ea: JUMPDEST 000000eb: POP 000000ec: PUSH2 0x0105 000000ef: PUSH1 0x04 000000f1: DUP1 000000f2: CALLDATASIZE 000000f3: SUB 000000f4: DUP2 000000f5: ADD 000000f6: SWAP1 000000f7: PUSH2 0x0100 000000fa: SWAP2 000000fb: SWAP1 000000fc: PUSH2 0x0966 000000ff: JUMP 00000100: JUMPDEST 00000101: PUSH2 0x035d 00000104: JUMP 00000105: JUMPDEST 00000106: PUSH1 0x40 00000108: MLOAD 00000109: PUSH2 0x0113 0000010c: SWAP3 0000010d: SWAP2 0000010e: SWAP1 0000010f: PUSH2 0x0aff 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH1 0x40 00000116: MLOAD 00000117: DUP1 00000118: SWAP2 00000119: SUB 0000011a: SWAP1 0000011b: RETURN 0000011c: JUMPDEST 0000011d: PUSH1 0x00 0000011f: PUSH1 0x20 00000121: MSTORE 00000122: DUP1 00000123: PUSH1 0x00 00000125: MSTORE 00000126: PUSH1 0x40 00000128: PUSH1 0x00 0000012a: KECCAK256 0000012b: PUSH1 0x00 0000012d: SWAP2 0000012e: POP 0000012f: SLOAD 00000130: SWAP1 00000131: PUSH2 0x0100 00000134: EXP 00000135: SWAP1 00000136: DIV 00000137: PUSH1 0xff 00000139: AND 0000013a: DUP2 0000013b: JUMP 0000013c: JUMPDEST 0000013d: PUSH1 0x00 0000013f: DUP1 00000140: CALLER 00000141: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000156: AND 00000157: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000016c: AND 0000016d: DUP2 0000016e: MSTORE 0000016f: PUSH1 0x20 00000171: ADD 00000172: SWAP1 00000173: DUP2 00000174: MSTORE 00000175: PUSH1 0x20 00000177: ADD 00000178: PUSH1 0x00 0000017a: KECCAK256 0000017b: PUSH1 0x00 0000017d: SWAP1 0000017e: SLOAD 0000017f: SWAP1 00000180: PUSH2 0x0100 00000183: EXP 00000184: SWAP1 00000185: DIV 00000186: PUSH1 0xff 00000188: AND 00000189: PUSH2 0x01c7 0000018c: JUMPI 0000018d: PUSH1 0x40 0000018f: MLOAD 00000190: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001b1: DUP2 000001b2: MSTORE 000001b3: PUSH1 0x04 000001b5: ADD 000001b6: PUSH2 0x01be 000001b9: SWAP1 000001ba: PUSH2 0x0b8c 000001bd: JUMP 000001be: JUMPDEST 000001bf: PUSH1 0x40 000001c1: MLOAD 000001c2: DUP1 000001c3: SWAP2 000001c4: SUB 000001c5: SWAP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: PUSH1 0x00 000001ca: DUP3 000001cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e0: AND 000001e1: DUP3 000001e2: PUSH1 0x40 000001e4: MLOAD 000001e5: PUSH2 0x01ed 000001e8: SWAP1 000001e9: PUSH2 0x0bdd 000001ec: JUMP 000001ed: JUMPDEST 000001ee: PUSH1 0x00 000001f0: PUSH1 0x40 000001f2: MLOAD 000001f3: DUP1 000001f4: DUP4 000001f5: SUB 000001f6: DUP2 000001f7: DUP6 000001f8: DUP8 000001f9: GAS 000001fa: CALL 000001fb: SWAP3 000001fc: POP 000001fd: POP 000001fe: POP 000001ff: RETURNDATASIZE 00000200: DUP1 00000201: PUSH1 0x00 00000203: DUP2 00000204: EQ 00000205: PUSH2 0x022a 00000208: JUMPI 00000209: PUSH1 0x40 0000020b: MLOAD 0000020c: SWAP2 0000020d: POP 0000020e: PUSH1 0x1f 00000210: NOT 00000211: PUSH1 0x3f 00000213: RETURNDATASIZE 00000214: ADD 00000215: AND 00000216: DUP3 00000217: ADD 00000218: PUSH1 0x40 0000021a: MSTORE 0000021b: RETURNDATASIZE 0000021c: DUP3 0000021d: MSTORE 0000021e: RETURNDATASIZE 0000021f: PUSH1 0x00 00000221: PUSH1 0x20 00000223: DUP5 00000224: ADD 00000225: RETURNDATACOPY 00000226: PUSH2 0x022f 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH1 0x60 0000022d: SWAP2 0000022e: POP 0000022f: JUMPDEST 00000230: POP 00000231: POP 00000232: SWAP1 00000233: POP 00000234: DUP1 00000235: PUSH2 0x0273 00000238: JUMPI 00000239: PUSH1 0x40 0000023b: MLOAD 0000023c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000025d: DUP2 0000025e: MSTORE 0000025f: PUSH1 0x04 00000261: ADD 00000262: PUSH2 0x026a 00000265: SWAP1 00000266: PUSH2 0x0c3e 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH1 0x40 0000026d: MLOAD 0000026e: DUP1 0000026f: SWAP2 00000270: SUB 00000271: SWAP1 00000272: REVERT 00000273: JUMPDEST 00000274: POP 00000275: POP 00000276: POP 00000277: JUMP 00000278: JUMPDEST 00000279: PUSH1 0x00 0000027b: DUP1 0000027c: CALLER 0000027d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000292: AND 00000293: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a8: AND 000002a9: DUP2 000002aa: MSTORE 000002ab: PUSH1 0x20 000002ad: ADD 000002ae: SWAP1 000002af: DUP2 000002b0: MSTORE 000002b1: PUSH1 0x20 000002b3: ADD 000002b4: PUSH1 0x00 000002b6: KECCAK256 000002b7: PUSH1 0x00 000002b9: SWAP1 000002ba: SLOAD 000002bb: SWAP1 000002bc: PUSH2 0x0100 000002bf: EXP 000002c0: SWAP1 000002c1: DIV 000002c2: PUSH1 0xff 000002c4: AND 000002c5: PUSH2 0x0303 000002c8: JUMPI 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000002ed: DUP2 000002ee: MSTORE 000002ef: PUSH1 0x04 000002f1: ADD 000002f2: PUSH2 0x02fa 000002f5: SWAP1 000002f6: PUSH2 0x0b8c 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH1 0x40 000002fd: MLOAD 000002fe: DUP1 000002ff: SWAP2 00000300: SUB 00000301: SWAP1 00000302: REVERT 00000303: JUMPDEST 00000304: PUSH1 0x01 00000306: PUSH1 0x00 00000308: DUP1 00000309: DUP4 0000030a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000031f: AND 00000320: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000335: AND 00000336: DUP2 00000337: MSTORE 00000338: PUSH1 0x20 0000033a: ADD 0000033b: SWAP1 0000033c: DUP2 0000033d: MSTORE 0000033e: PUSH1 0x20 00000340: ADD 00000341: PUSH1 0x00 00000343: KECCAK256 00000344: PUSH1 0x00 00000346: PUSH2 0x0100 00000349: EXP 0000034a: DUP2 0000034b: SLOAD 0000034c: DUP2 0000034d: PUSH1 0xff 0000034f: MUL 00000350: NOT 00000351: AND 00000352: SWAP1 00000353: DUP4 00000354: ISZERO 00000355: ISZERO 00000356: MUL 00000357: OR 00000358: SWAP1 00000359: SSTORE 0000035a: POP 0000035b: POP 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH1 0x00 00000360: PUSH1 0x60 00000362: PUSH1 0x00 00000364: DUP1 00000365: CALLER 00000366: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037b: AND 0000037c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000391: AND 00000392: DUP2 00000393: MSTORE 00000394: PUSH1 0x20 00000396: ADD 00000397: SWAP1 00000398: DUP2 00000399: MSTORE 0000039a: PUSH1 0x20 0000039c: ADD 0000039d: PUSH1 0x00 0000039f: KECCAK256 000003a0: PUSH1 0x00 000003a2: SWAP1 000003a3: SLOAD 000003a4: SWAP1 000003a5: PUSH2 0x0100 000003a8: EXP 000003a9: SWAP1 000003aa: DIV 000003ab: PUSH1 0xff 000003ad: AND 000003ae: PUSH2 0x03ec 000003b1: JUMPI 000003b2: PUSH1 0x40 000003b4: MLOAD 000003b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003d6: DUP2 000003d7: MSTORE 000003d8: PUSH1 0x04 000003da: ADD 000003db: PUSH2 0x03e3 000003de: SWAP1 000003df: PUSH2 0x0b8c 000003e2: JUMP 000003e3: JUMPDEST 000003e4: PUSH1 0x40 000003e6: MLOAD 000003e7: DUP1 000003e8: SWAP2 000003e9: SUB 000003ea: SWAP1 000003eb: REVERT 000003ec: JUMPDEST 000003ed: NUMBER 000003ee: SWAP2 000003ef: POP 000003f0: DUP3 000003f1: MLOAD 000003f2: PUSH8 0xffffffffffffffff 000003fb: DUP2 000003fc: GT 000003fd: ISZERO 000003fe: PUSH2 0x040a 00000401: JUMPI 00000402: PUSH2 0x0409 00000405: PUSH2 0x06da 00000408: JUMP 00000409: JUMPDEST 0000040a: JUMPDEST 0000040b: PUSH1 0x40 0000040d: MLOAD 0000040e: SWAP1 0000040f: DUP1 00000410: DUP3 00000411: MSTORE 00000412: DUP1 00000413: PUSH1 0x20 00000415: MUL 00000416: PUSH1 0x20 00000418: ADD 00000419: DUP3 0000041a: ADD 0000041b: PUSH1 0x40 0000041d: MSTORE 0000041e: DUP1 0000041f: ISZERO 00000420: PUSH2 0x043d 00000423: JUMPI 00000424: DUP2 00000425: PUSH1 0x20 00000427: ADD 00000428: JUMPDEST 00000429: PUSH1 0x60 0000042b: DUP2 0000042c: MSTORE 0000042d: PUSH1 0x20 0000042f: ADD 00000430: SWAP1 00000431: PUSH1 0x01 00000433: SWAP1 00000434: SUB 00000435: SWAP1 00000436: DUP2 00000437: PUSH2 0x0428 0000043a: JUMPI 0000043b: SWAP1 0000043c: POP 0000043d: JUMPDEST 0000043e: POP 0000043f: SWAP1 00000440: POP 00000441: PUSH1 0x00 00000443: JUMPDEST 00000444: DUP4 00000445: MLOAD 00000446: DUP2 00000447: LT 00000448: ISZERO 00000449: PUSH2 0x0535 0000044c: JUMPI 0000044d: PUSH1 0x00 0000044f: DUP1 00000450: DUP6 00000451: DUP4 00000452: DUP2 00000453: MLOAD 00000454: DUP2 00000455: LT 00000456: PUSH2 0x0462 00000459: JUMPI 0000045a: PUSH2 0x0461 0000045d: PUSH2 0x0c5e 00000460: JUMP 00000461: JUMPDEST 00000462: JUMPDEST 00000463: PUSH1 0x20 00000465: MUL 00000466: PUSH1 0x20 00000468: ADD 00000469: ADD 0000046a: MLOAD 0000046b: PUSH1 0x00 0000046d: ADD 0000046e: MLOAD 0000046f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000484: AND 00000485: DUP7 00000486: DUP5 00000487: DUP2 00000488: MLOAD 00000489: DUP2 0000048a: LT 0000048b: PUSH2 0x0497 0000048e: JUMPI 0000048f: PUSH2 0x0496 00000492: PUSH2 0x0c5e 00000495: JUMP 00000496: JUMPDEST 00000497: JUMPDEST 00000498: PUSH1 0x20 0000049a: MUL 0000049b: PUSH1 0x20 0000049d: ADD 0000049e: ADD 0000049f: MLOAD 000004a0: PUSH1 0x20 000004a2: ADD 000004a3: MLOAD 000004a4: PUSH1 0x40 000004a6: MLOAD 000004a7: PUSH2 0x04b0 000004aa: SWAP2 000004ab: SWAP1 000004ac: PUSH2 0x0cbe 000004af: JUMP 000004b0: JUMPDEST 000004b1: PUSH1 0x00 000004b3: PUSH1 0x40 000004b5: MLOAD 000004b6: DUP1 000004b7: DUP4 000004b8: SUB 000004b9: DUP2 000004ba: PUSH1 0x00 000004bc: DUP7 000004bd: GAS 000004be: CALL 000004bf: SWAP2 000004c0: POP 000004c1: POP 000004c2: RETURNDATASIZE 000004c3: DUP1 000004c4: PUSH1 0x00 000004c6: DUP2 000004c7: EQ 000004c8: PUSH2 0x04ed 000004cb: JUMPI 000004cc: PUSH1 0x40 000004ce: MLOAD 000004cf: SWAP2 000004d0: POP 000004d1: PUSH1 0x1f 000004d3: NOT 000004d4: PUSH1 0x3f 000004d6: RETURNDATASIZE 000004d7: ADD 000004d8: AND 000004d9: DUP3 000004da: ADD 000004db: PUSH1 0x40 000004dd: MSTORE 000004de: RETURNDATASIZE 000004df: DUP3 000004e0: MSTORE 000004e1: RETURNDATASIZE 000004e2: PUSH1 0x00 000004e4: PUSH1 0x20 000004e6: DUP5 000004e7: ADD 000004e8: RETURNDATACOPY 000004e9: PUSH2 0x04f2 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH1 0x60 000004f0: SWAP2 000004f1: POP 000004f2: JUMPDEST 000004f3: POP 000004f4: SWAP2 000004f5: POP 000004f6: SWAP2 000004f7: POP 000004f8: DUP2 000004f9: PUSH2 0x0501 000004fc: JUMPI 000004fd: PUSH1 0x00 000004ff: DUP1 00000500: REVERT 00000501: JUMPDEST 00000502: DUP1 00000503: DUP5 00000504: DUP5 00000505: DUP2 00000506: MLOAD 00000507: DUP2 00000508: LT 00000509: PUSH2 0x0515 0000050c: JUMPI 0000050d: PUSH2 0x0514 00000510: PUSH2 0x0c5e 00000513: JUMP 00000514: JUMPDEST 00000515: JUMPDEST 00000516: PUSH1 0x20 00000518: MUL 00000519: PUSH1 0x20 0000051b: ADD 0000051c: ADD 0000051d: DUP2 0000051e: SWAP1 0000051f: MSTORE 00000520: POP 00000521: POP 00000522: POP 00000523: DUP1 00000524: DUP1 00000525: PUSH2 0x052d 00000528: SWAP1 00000529: PUSH2 0x0d04 0000052c: JUMP 0000052d: JUMPDEST 0000052e: SWAP2 0000052f: POP 00000530: POP 00000531: PUSH2 0x0443 00000534: JUMP 00000535: JUMPDEST 00000536: POP 00000537: SWAP2 00000538: POP 00000539: SWAP2 0000053a: JUMP 0000053b: JUMPDEST 0000053c: PUSH1 0x00 0000053e: PUSH1 0x40 00000540: MLOAD 00000541: SWAP1 00000542: POP 00000543: SWAP1 00000544: JUMP 00000545: JUMPDEST 00000546: PUSH1 0x00 00000548: DUP1 00000549: REVERT 0000054a: JUMPDEST 0000054b: PUSH1 0x00 0000054d: DUP1 0000054e: REVERT 0000054f: JUMPDEST 00000550: PUSH1 0x00 00000552: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000567: DUP3 00000568: AND 00000569: SWAP1 0000056a: POP 0000056b: SWAP2 0000056c: SWAP1 0000056d: POP 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH1 0x00 00000572: PUSH2 0x057a 00000575: DUP3 00000576: PUSH2 0x054f 00000579: JUMP 0000057a: JUMPDEST 0000057b: SWAP1 0000057c: POP 0000057d: SWAP2 0000057e: SWAP1 0000057f: POP 00000580: JUMP 00000581: JUMPDEST 00000582: PUSH2 0x058a 00000585: DUP2 00000586: PUSH2 0x056f 00000589: JUMP 0000058a: JUMPDEST 0000058b: DUP2 0000058c: EQ 0000058d: PUSH2 0x0595 00000590: JUMPI 00000591: PUSH1 0x00 00000593: DUP1 00000594: REVERT 00000595: JUMPDEST 00000596: POP 00000597: JUMP 00000598: JUMPDEST 00000599: PUSH1 0x00 0000059b: DUP2 0000059c: CALLDATALOAD 0000059d: SWAP1 0000059e: POP 0000059f: PUSH2 0x05a7 000005a2: DUP2 000005a3: PUSH2 0x0581 000005a6: JUMP 000005a7: JUMPDEST 000005a8: SWAP3 000005a9: SWAP2 000005aa: POP 000005ab: POP 000005ac: JUMP 000005ad: JUMPDEST 000005ae: PUSH1 0x00 000005b0: PUSH1 0x20 000005b2: DUP3 000005b3: DUP5 000005b4: SUB 000005b5: SLT 000005b6: ISZERO 000005b7: PUSH2 0x05c3 000005ba: JUMPI 000005bb: PUSH2 0x05c2 000005be: PUSH2 0x0545 000005c1: JUMP 000005c2: JUMPDEST 000005c3: JUMPDEST 000005c4: PUSH1 0x00 000005c6: PUSH2 0x05d1 000005c9: DUP5 000005ca: DUP3 000005cb: DUP6 000005cc: ADD 000005cd: PUSH2 0x0598 000005d0: JUMP 000005d1: JUMPDEST 000005d2: SWAP2 000005d3: POP 000005d4: POP 000005d5: SWAP3 000005d6: SWAP2 000005d7: POP 000005d8: POP 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH1 0x00 000005dd: DUP2 000005de: ISZERO 000005df: ISZERO 000005e0: SWAP1 000005e1: POP 000005e2: SWAP2 000005e3: SWAP1 000005e4: POP 000005e5: JUMP 000005e6: JUMPDEST 000005e7: PUSH2 0x05ef 000005ea: DUP2 000005eb: PUSH2 0x05da 000005ee: JUMP 000005ef: JUMPDEST 000005f0: DUP3 000005f1: MSTORE 000005f2: POP 000005f3: POP 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH1 0x00 000005f8: PUSH1 0x20 000005fa: DUP3 000005fb: ADD 000005fc: SWAP1 000005fd: POP 000005fe: PUSH2 0x060a 00000601: PUSH1 0x00 00000603: DUP4 00000604: ADD 00000605: DUP5 00000606: PUSH2 0x05e6 00000609: JUMP 0000060a: JUMPDEST 0000060b: SWAP3 0000060c: SWAP2 0000060d: POP 0000060e: POP 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH1 0x00 00000613: PUSH2 0x061b 00000616: DUP3 00000617: PUSH2 0x054f 0000061a: JUMP 0000061b: JUMPDEST 0000061c: SWAP1 0000061d: POP 0000061e: SWAP2 0000061f: SWAP1 00000620: POP 00000621: JUMP 00000622: JUMPDEST 00000623: PUSH2 0x062b 00000626: DUP2 00000627: PUSH2 0x0610 0000062a: JUMP 0000062b: JUMPDEST 0000062c: DUP2 0000062d: EQ 0000062e: PUSH2 0x0636 00000631: JUMPI 00000632: PUSH1 0x00 00000634: DUP1 00000635: REVERT 00000636: JUMPDEST 00000637: POP 00000638: JUMP 00000639: JUMPDEST 0000063a: PUSH1 0x00 0000063c: DUP2 0000063d: CALLDATALOAD 0000063e: SWAP1 0000063f: POP 00000640: PUSH2 0x0648 00000643: DUP2 00000644: PUSH2 0x0622 00000647: JUMP 00000648: JUMPDEST 00000649: SWAP3 0000064a: SWAP2 0000064b: POP 0000064c: POP 0000064d: JUMP 0000064e: JUMPDEST 0000064f: PUSH1 0x00 00000651: DUP2 00000652: SWAP1 00000653: POP 00000654: SWAP2 00000655: SWAP1 00000656: POP 00000657: JUMP 00000658: JUMPDEST 00000659: PUSH2 0x0661 0000065c: DUP2 0000065d: PUSH2 0x064e 00000660: JUMP 00000661: JUMPDEST 00000662: DUP2 00000663: EQ 00000664: PUSH2 0x066c 00000667: JUMPI 00000668: PUSH1 0x00 0000066a: DUP1 0000066b: REVERT 0000066c: JUMPDEST 0000066d: POP 0000066e: JUMP 0000066f: JUMPDEST 00000670: PUSH1 0x00 00000672: DUP2 00000673: CALLDATALOAD 00000674: SWAP1 00000675: POP 00000676: PUSH2 0x067e 00000679: DUP2 0000067a: PUSH2 0x0658 0000067d: JUMP 0000067e: JUMPDEST 0000067f: SWAP3 00000680: SWAP2 00000681: POP 00000682: POP 00000683: JUMP 00000684: JUMPDEST 00000685: PUSH1 0x00 00000687: DUP1 00000688: PUSH1 0x40 0000068a: DUP4 0000068b: DUP6 0000068c: SUB 0000068d: SLT 0000068e: ISZERO 0000068f: PUSH2 0x069b 00000692: JUMPI 00000693: PUSH2 0x069a 00000696: PUSH2 0x0545 00000699: JUMP 0000069a: JUMPDEST 0000069b: JUMPDEST 0000069c: PUSH1 0x00 0000069e: PUSH2 0x06a9 000006a1: DUP6 000006a2: DUP3 000006a3: DUP7 000006a4: ADD 000006a5: PUSH2 0x0639 000006a8: JUMP 000006a9: JUMPDEST 000006aa: SWAP3 000006ab: POP 000006ac: POP 000006ad: PUSH1 0x20 000006af: PUSH2 0x06ba 000006b2: DUP6 000006b3: DUP3 000006b4: DUP7 000006b5: ADD 000006b6: PUSH2 0x066f 000006b9: JUMP 000006ba: JUMPDEST 000006bb: SWAP2 000006bc: POP 000006bd: POP 000006be: SWAP3 000006bf: POP 000006c0: SWAP3 000006c1: SWAP1 000006c2: POP 000006c3: JUMP 000006c4: JUMPDEST 000006c5: PUSH1 0x00 000006c7: DUP1 000006c8: REVERT 000006c9: JUMPDEST 000006ca: PUSH1 0x00 000006cc: PUSH1 0x1f 000006ce: NOT 000006cf: PUSH1 0x1f 000006d1: DUP4 000006d2: ADD 000006d3: AND 000006d4: SWAP1 000006d5: POP 000006d6: SWAP2 000006d7: SWAP1 000006d8: POP 000006d9: JUMP 000006da: JUMPDEST 000006db: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000006fc: PUSH1 0x00 000006fe: MSTORE 000006ff: PUSH1 0x41 00000701: PUSH1 0x04 00000703: MSTORE 00000704: PUSH1 0x24 00000706: PUSH1 0x00 00000708: REVERT 00000709: JUMPDEST 0000070a: PUSH2 0x0712 0000070d: DUP3 0000070e: PUSH2 0x06c9 00000711: JUMP 00000712: JUMPDEST 00000713: DUP2 00000714: ADD 00000715: DUP2 00000716: DUP2 00000717: LT 00000718: PUSH8 0xffffffffffffffff 00000721: DUP3 00000722: GT 00000723: OR 00000724: ISZERO 00000725: PUSH2 0x0731 00000728: JUMPI 00000729: PUSH2 0x0730 0000072c: PUSH2 0x06da 0000072f: JUMP 00000730: JUMPDEST 00000731: JUMPDEST 00000732: DUP1 00000733: PUSH1 0x40 00000735: MSTORE 00000736: POP 00000737: POP 00000738: POP 00000739: JUMP 0000073a: JUMPDEST 0000073b: PUSH1 0x00 0000073d: PUSH2 0x0744 00000740: PUSH2 0x053b 00000743: JUMP 00000744: JUMPDEST 00000745: SWAP1 00000746: POP 00000747: PUSH2 0x0750 0000074a: DUP3 0000074b: DUP3 0000074c: PUSH2 0x0709 0000074f: JUMP 00000750: JUMPDEST 00000751: SWAP2 00000752: SWAP1 00000753: POP 00000754: JUMP 00000755: JUMPDEST 00000756: PUSH1 0x00 00000758: PUSH8 0xffffffffffffffff 00000761: DUP3 00000762: GT 00000763: ISZERO 00000764: PUSH2 0x0770 00000767: JUMPI 00000768: PUSH2 0x076f 0000076b: PUSH2 0x06da 0000076e: JUMP 0000076f: JUMPDEST 00000770: JUMPDEST 00000771: PUSH1 0x20 00000773: DUP3 00000774: MUL 00000775: SWAP1 00000776: POP 00000777: PUSH1 0x20 00000779: DUP2 0000077a: ADD 0000077b: SWAP1 0000077c: POP 0000077d: SWAP2 0000077e: SWAP1 0000077f: POP 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH1 0x00 00000784: DUP1 00000785: REVERT 00000786: JUMPDEST 00000787: PUSH1 0x00 00000789: DUP1 0000078a: REVERT 0000078b: JUMPDEST 0000078c: PUSH1 0x00 0000078e: DUP1 0000078f: REVERT 00000790: JUMPDEST 00000791: PUSH1 0x00 00000793: DUP1 00000794: REVERT 00000795: JUMPDEST 00000796: PUSH1 0x00 00000798: PUSH8 0xffffffffffffffff 000007a1: DUP3 000007a2: GT 000007a3: ISZERO 000007a4: PUSH2 0x07b0 000007a7: JUMPI 000007a8: PUSH2 0x07af 000007ab: PUSH2 0x06da 000007ae: JUMP 000007af: JUMPDEST 000007b0: JUMPDEST 000007b1: PUSH2 0x07b9 000007b4: DUP3 000007b5: PUSH2 0x06c9 000007b8: JUMP 000007b9: JUMPDEST 000007ba: SWAP1 000007bb: POP 000007bc: PUSH1 0x20 000007be: DUP2 000007bf: ADD 000007c0: SWAP1 000007c1: POP 000007c2: SWAP2 000007c3: SWAP1 000007c4: POP 000007c5: JUMP 000007c6: JUMPDEST 000007c7: DUP3 000007c8: DUP2 000007c9: DUP4 000007ca: CALLDATACOPY 000007cb: PUSH1 0x00 000007cd: DUP4 000007ce: DUP4 000007cf: ADD 000007d0: MSTORE 000007d1: POP 000007d2: POP 000007d3: POP 000007d4: JUMP 000007d5: JUMPDEST 000007d6: PUSH1 0x00 000007d8: PUSH2 0x07e8 000007db: PUSH2 0x07e3 000007de: DUP5 000007df: PUSH2 0x0795 000007e2: JUMP 000007e3: JUMPDEST 000007e4: PUSH2 0x073a 000007e7: JUMP 000007e8: JUMPDEST 000007e9: SWAP1 000007ea: POP 000007eb: DUP3 000007ec: DUP2 000007ed: MSTORE 000007ee: PUSH1 0x20 000007f0: DUP2 000007f1: ADD 000007f2: DUP5 000007f3: DUP5 000007f4: DUP5 000007f5: ADD 000007f6: GT 000007f7: ISZERO 000007f8: PUSH2 0x0804 000007fb: JUMPI 000007fc: PUSH2 0x0803 000007ff: PUSH2 0x0790 00000802: JUMP 00000803: JUMPDEST 00000804: JUMPDEST 00000805: PUSH2 0x080f 00000808: DUP5 00000809: DUP3 0000080a: DUP6 0000080b: PUSH2 0x07c6 0000080e: JUMP 0000080f: JUMPDEST 00000810: POP 00000811: SWAP4 00000812: SWAP3 00000813: POP 00000814: POP 00000815: POP 00000816: JUMP 00000817: JUMPDEST 00000818: PUSH1 0x00 0000081a: DUP3 0000081b: PUSH1 0x1f 0000081d: DUP4 0000081e: ADD 0000081f: SLT 00000820: PUSH2 0x082c 00000823: JUMPI 00000824: PUSH2 0x082b 00000827: PUSH2 0x06c4 0000082a: JUMP 0000082b: JUMPDEST 0000082c: JUMPDEST 0000082d: DUP2 0000082e: CALLDATALOAD 0000082f: PUSH2 0x083c 00000832: DUP5 00000833: DUP3 00000834: PUSH1 0x20 00000836: DUP7 00000837: ADD 00000838: PUSH2 0x07d5 0000083b: JUMP 0000083c: JUMPDEST 0000083d: SWAP2 0000083e: POP 0000083f: POP 00000840: SWAP3 00000841: SWAP2 00000842: POP 00000843: POP 00000844: JUMP 00000845: JUMPDEST 00000846: PUSH1 0x00 00000848: PUSH1 0x40 0000084a: DUP3 0000084b: DUP5 0000084c: SUB 0000084d: SLT 0000084e: ISZERO 0000084f: PUSH2 0x085b 00000852: JUMPI 00000853: PUSH2 0x085a 00000856: PUSH2 0x0786 00000859: JUMP 0000085a: JUMPDEST 0000085b: JUMPDEST 0000085c: PUSH2 0x0865 0000085f: PUSH1 0x40 00000861: PUSH2 0x073a 00000864: JUMP 00000865: JUMPDEST 00000866: SWAP1 00000867: POP 00000868: PUSH1 0x00 0000086a: PUSH2 0x0875 0000086d: DUP5 0000086e: DUP3 0000086f: DUP6 00000870: ADD 00000871: PUSH2 0x0598 00000874: JUMP 00000875: JUMPDEST 00000876: PUSH1 0x00 00000878: DUP4 00000879: ADD 0000087a: MSTORE 0000087b: POP 0000087c: PUSH1 0x20 0000087e: DUP3 0000087f: ADD 00000880: CALLDATALOAD 00000881: PUSH8 0xffffffffffffffff 0000088a: DUP2 0000088b: GT 0000088c: ISZERO 0000088d: PUSH2 0x0899 00000890: JUMPI 00000891: PUSH2 0x0898 00000894: PUSH2 0x078b 00000897: JUMP 00000898: JUMPDEST 00000899: JUMPDEST 0000089a: PUSH2 0x08a5 0000089d: DUP5 0000089e: DUP3 0000089f: DUP6 000008a0: ADD 000008a1: PUSH2 0x0817 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x20 000008a8: DUP4 000008a9: ADD 000008aa: MSTORE 000008ab: POP 000008ac: SWAP3 000008ad: SWAP2 000008ae: POP 000008af: POP 000008b0: JUMP 000008b1: JUMPDEST 000008b2: PUSH1 0x00 000008b4: PUSH2 0x08c4 000008b7: PUSH2 0x08bf 000008ba: DUP5 000008bb: PUSH2 0x0755 000008be: JUMP 000008bf: JUMPDEST 000008c0: PUSH2 0x073a 000008c3: JUMP 000008c4: JUMPDEST 000008c5: SWAP1 000008c6: POP 000008c7: DUP1 000008c8: DUP4 000008c9: DUP3 000008ca: MSTORE 000008cb: PUSH1 0x20 000008cd: DUP3 000008ce: ADD 000008cf: SWAP1 000008d0: POP 000008d1: PUSH1 0x20 000008d3: DUP5 000008d4: MUL 000008d5: DUP4 000008d6: ADD 000008d7: DUP6 000008d8: DUP2 000008d9: GT 000008da: ISZERO 000008db: PUSH2 0x08e7 000008de: JUMPI 000008df: PUSH2 0x08e6 000008e2: PUSH2 0x0781 000008e5: JUMP 000008e6: JUMPDEST 000008e7: JUMPDEST 000008e8: DUP4 000008e9: JUMPDEST 000008ea: DUP2 000008eb: DUP2 000008ec: LT 000008ed: ISZERO 000008ee: PUSH2 0x092e 000008f1: JUMPI 000008f2: DUP1 000008f3: CALLDATALOAD 000008f4: PUSH8 0xffffffffffffffff 000008fd: DUP2 000008fe: GT 000008ff: ISZERO 00000900: PUSH2 0x090c 00000903: JUMPI 00000904: PUSH2 0x090b 00000907: PUSH2 0x06c4 0000090a: JUMP 0000090b: JUMPDEST 0000090c: JUMPDEST 0000090d: DUP1 0000090e: DUP7 0000090f: ADD 00000910: PUSH2 0x0919 00000913: DUP10 00000914: DUP3 00000915: PUSH2 0x0845 00000918: JUMP 00000919: JUMPDEST 0000091a: DUP6 0000091b: MSTORE 0000091c: PUSH1 0x20 0000091e: DUP6 0000091f: ADD 00000920: SWAP5 00000921: POP 00000922: POP 00000923: POP 00000924: PUSH1 0x20 00000926: DUP2 00000927: ADD 00000928: SWAP1 00000929: POP 0000092a: PUSH2 0x08e9 0000092d: JUMP 0000092e: JUMPDEST 0000092f: POP 00000930: POP 00000931: POP 00000932: SWAP4 00000933: SWAP3 00000934: POP 00000935: POP 00000936: POP 00000937: JUMP 00000938: JUMPDEST 00000939: PUSH1 0x00 0000093b: DUP3 0000093c: PUSH1 0x1f 0000093e: DUP4 0000093f: ADD 00000940: SLT 00000941: PUSH2 0x094d 00000944: JUMPI 00000945: PUSH2 0x094c 00000948: PUSH2 0x06c4 0000094b: JUMP 0000094c: JUMPDEST 0000094d: JUMPDEST 0000094e: DUP2 0000094f: CALLDATALOAD 00000950: PUSH2 0x095d 00000953: DUP5 00000954: DUP3 00000955: PUSH1 0x20 00000957: DUP7 00000958: ADD 00000959: PUSH2 0x08b1 0000095c: JUMP 0000095d: JUMPDEST 0000095e: SWAP2 0000095f: POP 00000960: POP 00000961: SWAP3 00000962: SWAP2 00000963: POP 00000964: POP 00000965: JUMP 00000966: JUMPDEST 00000967: PUSH1 0x00 00000969: PUSH1 0x20 0000096b: DUP3 0000096c: DUP5 0000096d: SUB 0000096e: SLT 0000096f: ISZERO 00000970: PUSH2 0x097c 00000973: JUMPI 00000974: PUSH2 0x097b 00000977: PUSH2 0x0545 0000097a: JUMP 0000097b: JUMPDEST 0000097c: JUMPDEST 0000097d: PUSH1 0x00 0000097f: DUP3 00000980: ADD 00000981: CALLDATALOAD 00000982: PUSH8 0xffffffffffffffff 0000098b: DUP2 0000098c: GT 0000098d: ISZERO 0000098e: PUSH2 0x099a 00000991: JUMPI 00000992: PUSH2 0x0999 00000995: PUSH2 0x054a 00000998: JUMP 00000999: JUMPDEST 0000099a: JUMPDEST 0000099b: PUSH2 0x09a6 0000099e: DUP5 0000099f: DUP3 000009a0: DUP6 000009a1: ADD 000009a2: PUSH2 0x0938 000009a5: JUMP 000009a6: JUMPDEST 000009a7: SWAP2 000009a8: POP 000009a9: POP 000009aa: SWAP3 000009ab: SWAP2 000009ac: POP 000009ad: POP 000009ae: JUMP 000009af: JUMPDEST 000009b0: PUSH2 0x09b8 000009b3: DUP2 000009b4: PUSH2 0x064e 000009b7: JUMP 000009b8: JUMPDEST 000009b9: DUP3 000009ba: MSTORE 000009bb: POP 000009bc: POP 000009bd: JUMP 000009be: JUMPDEST 000009bf: PUSH1 0x00 000009c1: DUP2 000009c2: MLOAD 000009c3: SWAP1 000009c4: POP 000009c5: SWAP2 000009c6: SWAP1 000009c7: POP 000009c8: JUMP 000009c9: JUMPDEST 000009ca: PUSH1 0x00 000009cc: DUP3 000009cd: DUP3 000009ce: MSTORE 000009cf: PUSH1 0x20 000009d1: DUP3 000009d2: ADD 000009d3: SWAP1 000009d4: POP 000009d5: SWAP3 000009d6: SWAP2 000009d7: POP 000009d8: POP 000009d9: JUMP 000009da: JUMPDEST 000009db: PUSH1 0x00 000009dd: DUP2 000009de: SWAP1 000009df: POP 000009e0: PUSH1 0x20 000009e2: DUP3 000009e3: ADD 000009e4: SWAP1 000009e5: POP 000009e6: SWAP2 000009e7: SWAP1 000009e8: POP 000009e9: JUMP 000009ea: JUMPDEST 000009eb: PUSH1 0x00 000009ed: DUP2 000009ee: MLOAD 000009ef: SWAP1 000009f0: POP 000009f1: SWAP2 000009f2: SWAP1 000009f3: POP 000009f4: JUMP 000009f5: JUMPDEST 000009f6: PUSH1 0x00 000009f8: DUP3 000009f9: DUP3 000009fa: MSTORE 000009fb: PUSH1 0x20 000009fd: DUP3 000009fe: ADD 000009ff: SWAP1 00000a00: POP 00000a01: SWAP3 00000a02: SWAP2 00000a03: POP 00000a04: POP 00000a05: JUMP 00000a06: JUMPDEST 00000a07: PUSH1 0x00 00000a09: JUMPDEST 00000a0a: DUP4 00000a0b: DUP2 00000a0c: LT 00000a0d: ISZERO 00000a0e: PUSH2 0x0a24 00000a11: JUMPI 00000a12: DUP1 00000a13: DUP3 00000a14: ADD 00000a15: MLOAD 00000a16: DUP2 00000a17: DUP5 00000a18: ADD 00000a19: MSTORE 00000a1a: PUSH1 0x20 00000a1c: DUP2 00000a1d: ADD 00000a1e: SWAP1 00000a1f: POP 00000a20: PUSH2 0x0a09 00000a23: JUMP 00000a24: JUMPDEST 00000a25: PUSH1 0x00 00000a27: DUP5 00000a28: DUP5 00000a29: ADD 00000a2a: MSTORE 00000a2b: POP 00000a2c: POP 00000a2d: POP 00000a2e: POP 00000a2f: JUMP 00000a30: JUMPDEST 00000a31: PUSH1 0x00 00000a33: PUSH2 0x0a3b 00000a36: DUP3 00000a37: PUSH2 0x09ea 00000a3a: JUMP 00000a3b: JUMPDEST 00000a3c: PUSH2 0x0a45 00000a3f: DUP2 00000a40: DUP6 00000a41: PUSH2 0x09f5 00000a44: JUMP 00000a45: JUMPDEST 00000a46: SWAP4 00000a47: POP 00000a48: PUSH2 0x0a55 00000a4b: DUP2 00000a4c: DUP6 00000a4d: PUSH1 0x20 00000a4f: DUP7 00000a50: ADD 00000a51: PUSH2 0x0a06 00000a54: JUMP 00000a55: JUMPDEST 00000a56: PUSH2 0x0a5e 00000a59: DUP2 00000a5a: PUSH2 0x06c9 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: DUP5 00000a60: ADD 00000a61: SWAP2 00000a62: POP 00000a63: POP 00000a64: SWAP3 00000a65: SWAP2 00000a66: POP 00000a67: POP 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: PUSH1 0x00 00000a6c: PUSH2 0x0a75 00000a6f: DUP4 00000a70: DUP4 00000a71: PUSH2 0x0a30 00000a74: JUMP 00000a75: JUMPDEST 00000a76: SWAP1 00000a77: POP 00000a78: SWAP3 00000a79: SWAP2 00000a7a: POP 00000a7b: POP 00000a7c: JUMP 00000a7d: JUMPDEST 00000a7e: PUSH1 0x00 00000a80: PUSH1 0x20 00000a82: DUP3 00000a83: ADD 00000a84: SWAP1 00000a85: POP 00000a86: SWAP2 00000a87: SWAP1 00000a88: POP 00000a89: JUMP 00000a8a: JUMPDEST 00000a8b: PUSH1 0x00 00000a8d: PUSH2 0x0a95 00000a90: DUP3 00000a91: PUSH2 0x09be 00000a94: JUMP 00000a95: JUMPDEST 00000a96: PUSH2 0x0a9f 00000a99: DUP2 00000a9a: DUP6 00000a9b: PUSH2 0x09c9 00000a9e: JUMP 00000a9f: JUMPDEST 00000aa0: SWAP4 00000aa1: POP 00000aa2: DUP4 00000aa3: PUSH1 0x20 00000aa5: DUP3 00000aa6: MUL 00000aa7: DUP6 00000aa8: ADD 00000aa9: PUSH2 0x0ab1 00000aac: DUP6 00000aad: PUSH2 0x09da 00000ab0: JUMP 00000ab1: JUMPDEST 00000ab2: DUP1 00000ab3: PUSH1 0x00 00000ab5: JUMPDEST 00000ab6: DUP6 00000ab7: DUP2 00000ab8: LT 00000ab9: ISZERO 00000aba: PUSH2 0x0aed 00000abd: JUMPI 00000abe: DUP5 00000abf: DUP5 00000ac0: SUB 00000ac1: DUP10 00000ac2: MSTORE 00000ac3: DUP2 00000ac4: MLOAD 00000ac5: PUSH2 0x0ace 00000ac8: DUP6 00000ac9: DUP3 00000aca: PUSH2 0x0a69 00000acd: JUMP 00000ace: JUMPDEST 00000acf: SWAP5 00000ad0: POP 00000ad1: PUSH2 0x0ad9 00000ad4: DUP4 00000ad5: PUSH2 0x0a7d 00000ad8: JUMP 00000ad9: JUMPDEST 00000ada: SWAP3 00000adb: POP 00000adc: PUSH1 0x20 00000ade: DUP11 00000adf: ADD 00000ae0: SWAP10 00000ae1: POP 00000ae2: POP 00000ae3: PUSH1 0x01 00000ae5: DUP2 00000ae6: ADD 00000ae7: SWAP1 00000ae8: POP 00000ae9: PUSH2 0x0ab5 00000aec: JUMP 00000aed: JUMPDEST 00000aee: POP 00000aef: DUP3 00000af0: SWAP8 00000af1: POP 00000af2: DUP8 00000af3: SWAP6 00000af4: POP 00000af5: POP 00000af6: POP 00000af7: POP 00000af8: POP 00000af9: POP 00000afa: SWAP3 00000afb: SWAP2 00000afc: POP 00000afd: POP 00000afe: JUMP 00000aff: JUMPDEST 00000b00: PUSH1 0x00 00000b02: PUSH1 0x40 00000b04: DUP3 00000b05: ADD 00000b06: SWAP1 00000b07: POP 00000b08: PUSH2 0x0b14 00000b0b: PUSH1 0x00 00000b0d: DUP4 00000b0e: ADD 00000b0f: DUP6 00000b10: PUSH2 0x09af 00000b13: JUMP 00000b14: JUMPDEST 00000b15: DUP2 00000b16: DUP2 00000b17: SUB 00000b18: PUSH1 0x20 00000b1a: DUP4 00000b1b: ADD 00000b1c: MSTORE 00000b1d: PUSH2 0x0b26 00000b20: DUP2 00000b21: DUP5 00000b22: PUSH2 0x0a8a 00000b25: JUMP 00000b26: JUMPDEST 00000b27: SWAP1 00000b28: POP 00000b29: SWAP4 00000b2a: SWAP3 00000b2b: POP 00000b2c: POP 00000b2d: POP 00000b2e: JUMP 00000b2f: JUMPDEST 00000b30: PUSH1 0x00 00000b32: DUP3 00000b33: DUP3 00000b34: MSTORE 00000b35: PUSH1 0x20 00000b37: DUP3 00000b38: ADD 00000b39: SWAP1 00000b3a: POP 00000b3b: SWAP3 00000b3c: SWAP2 00000b3d: POP 00000b3e: POP 00000b3f: JUMP 00000b40: JUMPDEST 00000b41: PUSH32 0x6e6f74206d656d62657200000000000000000000000000000000000000000000 00000b62: PUSH1 0x00 00000b64: DUP3 00000b65: ADD 00000b66: MSTORE 00000b67: POP 00000b68: JUMP 00000b69: JUMPDEST 00000b6a: PUSH1 0x00 00000b6c: PUSH2 0x0b76 00000b6f: PUSH1 0x0a 00000b71: DUP4 00000b72: PUSH2 0x0b2f 00000b75: JUMP 00000b76: JUMPDEST 00000b77: SWAP2 00000b78: POP 00000b79: PUSH2 0x0b81 00000b7c: DUP3 00000b7d: PUSH2 0x0b40 00000b80: JUMP 00000b81: JUMPDEST 00000b82: PUSH1 0x20 00000b84: DUP3 00000b85: ADD 00000b86: SWAP1 00000b87: POP 00000b88: SWAP2 00000b89: SWAP1 00000b8a: POP 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: PUSH1 0x00 00000b8f: PUSH1 0x20 00000b91: DUP3 00000b92: ADD 00000b93: SWAP1 00000b94: POP 00000b95: DUP2 00000b96: DUP2 00000b97: SUB 00000b98: PUSH1 0x00 00000b9a: DUP4 00000b9b: ADD 00000b9c: MSTORE 00000b9d: PUSH2 0x0ba5 00000ba0: DUP2 00000ba1: PUSH2 0x0b69 00000ba4: JUMP 00000ba5: JUMPDEST 00000ba6: SWAP1 00000ba7: POP 00000ba8: SWAP2 00000ba9: SWAP1 00000baa: POP 00000bab: JUMP 00000bac: JUMPDEST 00000bad: PUSH1 0x00 00000baf: DUP2 00000bb0: SWAP1 00000bb1: POP 00000bb2: SWAP3 00000bb3: SWAP2 00000bb4: POP 00000bb5: POP 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: POP 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: PUSH1 0x00 00000bbd: PUSH2 0x0bc7 00000bc0: PUSH1 0x00 00000bc2: DUP4 00000bc3: PUSH2 0x0bac 00000bc6: JUMP 00000bc7: JUMPDEST 00000bc8: SWAP2 00000bc9: POP 00000bca: PUSH2 0x0bd2 00000bcd: DUP3 00000bce: PUSH2 0x0bb7 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: PUSH1 0x00 00000bd5: DUP3 00000bd6: ADD 00000bd7: SWAP1 00000bd8: POP 00000bd9: SWAP2 00000bda: SWAP1 00000bdb: POP 00000bdc: JUMP 00000bdd: JUMPDEST 00000bde: PUSH1 0x00 00000be0: PUSH2 0x0be8 00000be3: DUP3 00000be4: PUSH2 0x0bba 00000be7: JUMP 00000be8: JUMPDEST 00000be9: SWAP2 00000bea: POP 00000beb: DUP2 00000bec: SWAP1 00000bed: POP 00000bee: SWAP2 00000bef: SWAP1 00000bf0: POP 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: PUSH32 0x4661696c656420746f2073656e64204574686572000000000000000000000000 00000c14: PUSH1 0x00 00000c16: DUP3 00000c17: ADD 00000c18: MSTORE 00000c19: POP 00000c1a: JUMP 00000c1b: JUMPDEST 00000c1c: PUSH1 0x00 00000c1e: PUSH2 0x0c28 00000c21: PUSH1 0x14 00000c23: DUP4 00000c24: PUSH2 0x0b2f 00000c27: JUMP 00000c28: JUMPDEST 00000c29: SWAP2 00000c2a: POP 00000c2b: PUSH2 0x0c33 00000c2e: DUP3 00000c2f: PUSH2 0x0bf2 00000c32: JUMP 00000c33: JUMPDEST 00000c34: PUSH1 0x20 00000c36: DUP3 00000c37: ADD 00000c38: SWAP1 00000c39: POP 00000c3a: SWAP2 00000c3b: SWAP1 00000c3c: POP 00000c3d: JUMP 00000c3e: JUMPDEST 00000c3f: PUSH1 0x00 00000c41: PUSH1 0x20 00000c43: DUP3 00000c44: ADD 00000c45: SWAP1 00000c46: POP 00000c47: DUP2 00000c48: DUP2 00000c49: SUB 00000c4a: PUSH1 0x00 00000c4c: DUP4 00000c4d: ADD 00000c4e: MSTORE 00000c4f: PUSH2 0x0c57 00000c52: DUP2 00000c53: PUSH2 0x0c1b 00000c56: JUMP 00000c57: JUMPDEST 00000c58: SWAP1 00000c59: POP 00000c5a: SWAP2 00000c5b: SWAP1 00000c5c: POP 00000c5d: JUMP 00000c5e: JUMPDEST 00000c5f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000c80: PUSH1 0x00 00000c82: MSTORE 00000c83: PUSH1 0x32 00000c85: PUSH1 0x04 00000c87: MSTORE 00000c88: PUSH1 0x24 00000c8a: PUSH1 0x00 00000c8c: REVERT 00000c8d: JUMPDEST 00000c8e: PUSH1 0x00 00000c90: PUSH2 0x0c98 00000c93: DUP3 00000c94: PUSH2 0x09ea 00000c97: JUMP 00000c98: JUMPDEST 00000c99: PUSH2 0x0ca2 00000c9c: DUP2 00000c9d: DUP6 00000c9e: PUSH2 0x0bac 00000ca1: JUMP 00000ca2: JUMPDEST 00000ca3: SWAP4 00000ca4: POP 00000ca5: PUSH2 0x0cb2 00000ca8: DUP2 00000ca9: DUP6 00000caa: PUSH1 0x20 00000cac: DUP7 00000cad: ADD 00000cae: PUSH2 0x0a06 00000cb1: JUMP 00000cb2: JUMPDEST 00000cb3: DUP1 00000cb4: DUP5 00000cb5: ADD 00000cb6: SWAP2 00000cb7: POP 00000cb8: POP 00000cb9: SWAP3 00000cba: SWAP2 00000cbb: POP 00000cbc: POP 00000cbd: JUMP 00000cbe: JUMPDEST 00000cbf: PUSH1 0x00 00000cc1: PUSH2 0x0cca 00000cc4: DUP3 00000cc5: DUP5 00000cc6: PUSH2 0x0c8d 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: SWAP2 00000ccc: POP 00000ccd: DUP2 00000cce: SWAP1 00000ccf: POP 00000cd0: SWAP3 00000cd1: SWAP2 00000cd2: POP 00000cd3: POP 00000cd4: JUMP 00000cd5: JUMPDEST 00000cd6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000cf7: PUSH1 0x00 00000cf9: MSTORE 00000cfa: PUSH1 0x11 00000cfc: PUSH1 0x04 00000cfe: MSTORE 00000cff: PUSH1 0x24 00000d01: PUSH1 0x00 00000d03: REVERT 00000d04: JUMPDEST 00000d05: PUSH1 0x00 00000d07: PUSH2 0x0d0f 00000d0a: DUP3 00000d0b: PUSH2 0x064e 00000d0e: JUMP 00000d0f: JUMPDEST 00000d10: SWAP2 00000d11: POP 00000d12: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000d33: DUP3 00000d34: SUB 00000d35: PUSH2 0x0d41 00000d38: JUMPI 00000d39: PUSH2 0x0d40 00000d3c: PUSH2 0x0cd5 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: JUMPDEST 00000d42: PUSH1 0x01 00000d44: DUP3 00000d45: ADD 00000d46: SWAP1 00000d47: POP 00000d48: SWAP2 00000d49: SWAP1 00000d4a: POP 00000d4b: JUMP 00000d4c: INVALID 00000d4d: LOG2 00000d4e: PUSH5 0x6970667358 00000d54: UNKNOWN(0x22) 00000d55: SLT 00000d56: KECCAK256 00000d57: RETURN 00000d58: SGT 00000d59: STOP 00000d5a: ISZERO 00000d5b: SWAP6 00000d5c: PUSH18 0x4cf1382e3dc8ae4f02cd3587bcfedb0c1921 00000d6f: DIFFICULTY 00000d70: DUP3 00000d71: PUSH25
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xecbff7d0196faaa2d57437712b070c78ced08b93b4af734d88055cd7482a4265
call_targets:
0x306c438182d7181d91e3ffd20ec7876b518b1db8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xecbff7d0196faaa2d57437712b070c78ced08b93b4af734d88055cd7482a4265",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x306c438182d7181d91e3ffd20ec7876b518b1db8"
],
"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": "0x08ae4b0c",
"selector": "0x08ae4b0c",
"calldata_variants": [
"0x08ae4b0c",
"0x08ae4b0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x505f8120",
"selector": "0x505f8120",
"calldata_variants": [
"0x505f8120",
"0x505f81200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8e9e4046",
"selector": "0x8e9e4046",
"calldata_variants": [
"0x8e9e4046",
"0x8e9e40460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfea2070e",
"selector": "0xfea2070e",
"calldata_variants": [
"0xfea2070e",
"0xfea2070e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 506,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1214,
"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: 0xecbff7d0196faaa2d57437712b070c78ced08b93b4af734d88055cd7482a4265
call_targets:
0x306c438182d7181d91e3ffd20ec7876b518b1db8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xecbff7d0196faaa2d57437712b070c78ced08b93b4af734d88055cd7482a4265",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x306c438182d7181d91e3ffd20ec7876b518b1db8"
],
"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": "0x08ae4b0c",
"selector": "0x08ae4b0c",
"calldata_variants": [
"0x08ae4b0c",
"0x08ae4b0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x505f8120",
"selector": "0x505f8120",
"calldata_variants": [
"0x505f8120",
"0x505f81200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8e9e4046",
"selector": "0x8e9e4046",
"calldata_variants": [
"0x8e9e4046",
"0x8e9e40460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfea2070e",
"selector": "0xfea2070e",
"calldata_variants": [
"0xfea2070e",
"0xfea2070e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 506,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1214,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|