019b477e-caaf-729d-b297-e2a95818978e
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 |
|---|---|---|---|---|
| 26553 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26554 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69850 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69851 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69852 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69853 | 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 0x004e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x2895e837 00000019: EQ 0000001a: PUSH2 0x005a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x3741454d 00000024: EQ 00000025: PUSH2 0x0083 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8da5cb5b 0000002f: EQ 00000030: PUSH2 0x00ac 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc3ca7f31 0000003a: EQ 0000003b: PUSH2 0x00d7 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x0102 00000049: JUMPI 0000004a: PUSH2 0x0055 0000004d: JUMP 0000004e: JUMPDEST 0000004f: CALLDATASIZE 00000050: PUSH2 0x0055 00000053: JUMPI 00000054: STOP 00000055: JUMPDEST 00000056: PUSH1 0x00 00000058: DUP1 00000059: REVERT 0000005a: JUMPDEST 0000005b: CALLVALUE 0000005c: DUP1 0000005d: ISZERO 0000005e: PUSH2 0x0066 00000061: JUMPI 00000062: PUSH1 0x00 00000064: DUP1 00000065: REVERT 00000066: JUMPDEST 00000067: POP 00000068: PUSH2 0x0081 0000006b: PUSH1 0x04 0000006d: DUP1 0000006e: CALLDATASIZE 0000006f: SUB 00000070: DUP2 00000071: ADD 00000072: SWAP1 00000073: PUSH2 0x007c 00000076: SWAP2 00000077: SWAP1 00000078: PUSH2 0x0876 0000007b: JUMP 0000007c: JUMPDEST 0000007d: PUSH2 0x012b 00000080: JUMP 00000081: JUMPDEST 00000082: STOP 00000083: JUMPDEST 00000084: CALLVALUE 00000085: DUP1 00000086: ISZERO 00000087: PUSH2 0x008f 0000008a: JUMPI 0000008b: PUSH1 0x00 0000008d: DUP1 0000008e: REVERT 0000008f: JUMPDEST 00000090: POP 00000091: PUSH2 0x00aa 00000094: PUSH1 0x04 00000096: DUP1 00000097: CALLDATASIZE 00000098: SUB 00000099: DUP2 0000009a: ADD 0000009b: SWAP1 0000009c: PUSH2 0x00a5 0000009f: SWAP2 000000a0: SWAP1 000000a1: PUSH2 0x08f9 000000a4: JUMP 000000a5: JUMPDEST 000000a6: PUSH2 0x038f 000000a9: JUMP 000000aa: JUMPDEST 000000ab: STOP 000000ac: JUMPDEST 000000ad: CALLVALUE 000000ae: DUP1 000000af: ISZERO 000000b0: PUSH2 0x00b8 000000b3: JUMPI 000000b4: PUSH1 0x00 000000b6: DUP1 000000b7: REVERT 000000b8: JUMPDEST 000000b9: POP 000000ba: PUSH2 0x00c1 000000bd: PUSH2 0x048f 000000c0: JUMP 000000c1: JUMPDEST 000000c2: PUSH1 0x40 000000c4: MLOAD 000000c5: PUSH2 0x00ce 000000c8: SWAP2 000000c9: SWAP1 000000ca: PUSH2 0x0967 000000cd: JUMP 000000ce: JUMPDEST 000000cf: PUSH1 0x40 000000d1: MLOAD 000000d2: DUP1 000000d3: SWAP2 000000d4: SUB 000000d5: SWAP1 000000d6: RETURN 000000d7: JUMPDEST 000000d8: CALLVALUE 000000d9: DUP1 000000da: ISZERO 000000db: PUSH2 0x00e3 000000de: JUMPI 000000df: PUSH1 0x00 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: POP 000000e5: PUSH2 0x00ec 000000e8: PUSH2 0x04b8 000000eb: JUMP 000000ec: JUMPDEST 000000ed: PUSH1 0x40 000000ef: MLOAD 000000f0: PUSH2 0x00f9 000000f3: SWAP2 000000f4: SWAP1 000000f5: PUSH2 0x0991 000000f8: JUMP 000000f9: JUMPDEST 000000fa: PUSH1 0x40 000000fc: MLOAD 000000fd: DUP1 000000fe: SWAP2 000000ff: SUB 00000100: SWAP1 00000101: RETURN 00000102: JUMPDEST 00000103: CALLVALUE 00000104: DUP1 00000105: ISZERO 00000106: PUSH2 0x010e 00000109: JUMPI 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: POP 00000110: PUSH2 0x0129 00000113: PUSH1 0x04 00000115: DUP1 00000116: CALLDATASIZE 00000117: SUB 00000118: DUP2 00000119: ADD 0000011a: SWAP1 0000011b: PUSH2 0x0124 0000011e: SWAP2 0000011f: SWAP1 00000120: PUSH2 0x09d8 00000123: JUMP 00000124: JUMPDEST 00000125: PUSH2 0x04be 00000128: JUMP 00000129: JUMPDEST 0000012a: STOP 0000012b: JUMPDEST 0000012c: PUSH2 0x0133 0000012f: PUSH2 0x0666 00000132: JUMP 00000133: JUMPDEST 00000134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000149: AND 0000014a: PUSH2 0x0151 0000014d: PUSH2 0x048f 00000150: JUMP 00000151: JUMPDEST 00000152: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000167: AND 00000168: EQ 00000169: PUSH2 0x01a7 0000016c: JUMPI 0000016d: PUSH1 0x40 0000016f: MLOAD 00000170: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000191: DUP2 00000192: MSTORE 00000193: PUSH1 0x04 00000195: ADD 00000196: PUSH2 0x019e 00000199: SWAP1 0000019a: PUSH2 0x0a62 0000019d: JUMP 0000019e: JUMPDEST 0000019f: PUSH1 0x40 000001a1: MLOAD 000001a2: DUP1 000001a3: SWAP2 000001a4: SUB 000001a5: SWAP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: PUSH1 0x00 000001aa: JUMPDEST 000001ab: DUP3 000001ac: DUP3 000001ad: SWAP1 000001ae: POP 000001af: DUP2 000001b0: LT 000001b1: ISZERO 000001b2: PUSH2 0x0351 000001b5: JUMPI 000001b6: PUSH1 0x00 000001b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001cd: AND 000001ce: DUP4 000001cf: DUP4 000001d0: DUP4 000001d1: DUP2 000001d2: DUP2 000001d3: LT 000001d4: PUSH2 0x01e0 000001d7: JUMPI 000001d8: PUSH2 0x01df 000001db: PUSH2 0x0a82 000001de: JUMP 000001df: JUMPDEST 000001e0: JUMPDEST 000001e1: SWAP1 000001e2: POP 000001e3: PUSH1 0x20 000001e5: MUL 000001e6: ADD 000001e7: PUSH1 0x20 000001e9: DUP2 000001ea: ADD 000001eb: SWAP1 000001ec: PUSH2 0x01f5 000001ef: SWAP2 000001f0: SWAP1 000001f1: PUSH2 0x09d8 000001f4: JUMP 000001f5: JUMPDEST 000001f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000020b: AND 0000020c: SUB 0000020d: PUSH2 0x025c 00000210: JUMPI 00000211: CALLER 00000212: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000227: AND 00000228: PUSH2 0x08fc 0000022b: SELFBALANCE 0000022c: SWAP1 0000022d: DUP2 0000022e: ISZERO 0000022f: MUL 00000230: SWAP1 00000231: PUSH1 0x40 00000233: MLOAD 00000234: PUSH1 0x00 00000236: PUSH1 0x40 00000238: MLOAD 00000239: DUP1 0000023a: DUP4 0000023b: SUB 0000023c: DUP2 0000023d: DUP6 0000023e: DUP9 0000023f: DUP9 00000240: CALL 00000241: SWAP4 00000242: POP 00000243: POP 00000244: POP 00000245: POP 00000246: ISZERO 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0256 0000024c: JUMPI 0000024d: RETURNDATASIZE 0000024e: PUSH1 0x00 00000250: DUP1 00000251: RETURNDATACOPY 00000252: RETURNDATASIZE 00000253: PUSH1 0x00 00000255: REVERT 00000256: JUMPDEST 00000257: POP 00000258: PUSH2 0x033e 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH1 0x00 0000025f: DUP4 00000260: DUP4 00000261: DUP4 00000262: DUP2 00000263: DUP2 00000264: LT 00000265: PUSH2 0x0271 00000268: JUMPI 00000269: PUSH2 0x0270 0000026c: PUSH2 0x0a82 0000026f: JUMP 00000270: JUMPDEST 00000271: JUMPDEST 00000272: SWAP1 00000273: POP 00000274: PUSH1 0x20 00000276: MUL 00000277: ADD 00000278: PUSH1 0x20 0000027a: DUP2 0000027b: ADD 0000027c: SWAP1 0000027d: PUSH2 0x0286 00000280: SWAP2 00000281: SWAP1 00000282: PUSH2 0x09d8 00000285: JUMP 00000286: JUMPDEST 00000287: SWAP1 00000288: POP 00000289: PUSH1 0x00 0000028b: DUP2 0000028c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a1: AND 000002a2: PUSH4 0x70a08231 000002a7: ADDRESS 000002a8: PUSH1 0x40 000002aa: MLOAD 000002ab: DUP3 000002ac: PUSH4 0xffffffff 000002b1: AND 000002b2: PUSH1 0xe0 000002b4: SHL 000002b5: DUP2 000002b6: MSTORE 000002b7: PUSH1 0x04 000002b9: ADD 000002ba: PUSH2 0x02c3 000002bd: SWAP2 000002be: SWAP1 000002bf: PUSH2 0x0967 000002c2: JUMP 000002c3: JUMPDEST 000002c4: PUSH1 0x20 000002c6: PUSH1 0x40 000002c8: MLOAD 000002c9: DUP1 000002ca: DUP4 000002cb: SUB 000002cc: DUP2 000002cd: DUP7 000002ce: GAS 000002cf: STATICCALL 000002d0: ISZERO 000002d1: DUP1 000002d2: ISZERO 000002d3: PUSH2 0x02e0 000002d6: JUMPI 000002d7: RETURNDATASIZE 000002d8: PUSH1 0x00 000002da: DUP1 000002db: RETURNDATACOPY 000002dc: RETURNDATASIZE 000002dd: PUSH1 0x00 000002df: REVERT 000002e0: JUMPDEST 000002e1: POP 000002e2: POP 000002e3: POP 000002e4: POP 000002e5: PUSH1 0x40 000002e7: MLOAD 000002e8: RETURNDATASIZE 000002e9: PUSH1 0x1f 000002eb: NOT 000002ec: PUSH1 0x1f 000002ee: DUP3 000002ef: ADD 000002f0: AND 000002f1: DUP3 000002f2: ADD 000002f3: DUP1 000002f4: PUSH1 0x40 000002f6: MSTORE 000002f7: POP 000002f8: DUP2 000002f9: ADD 000002fa: SWAP1 000002fb: PUSH2 0x0304 000002fe: SWAP2 000002ff: SWAP1 00000300: PUSH2 0x0ac6 00000303: JUMP 00000304: JUMPDEST 00000305: SWAP1 00000306: POP 00000307: PUSH1 0x00 00000309: DUP2 0000030a: GT 0000030b: ISZERO 0000030c: PUSH2 0x033b 0000030f: JUMPI 00000310: PUSH2 0x033a 00000313: CALLER 00000314: DUP3 00000315: DUP5 00000316: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000032b: AND 0000032c: PUSH2 0x066e 0000032f: SWAP1 00000330: SWAP3 00000331: SWAP2 00000332: SWAP1 00000333: PUSH4 0xffffffff 00000338: AND 00000339: JUMP 0000033a: JUMPDEST 0000033b: JUMPDEST 0000033c: POP 0000033d: POP 0000033e: JUMPDEST 0000033f: DUP1 00000340: DUP1 00000341: PUSH2 0x0349 00000344: SWAP1 00000345: PUSH2 0x0b22 00000348: JUMP 00000349: JUMPDEST 0000034a: SWAP2 0000034b: POP 0000034c: POP 0000034d: PUSH2 0x01aa 00000350: JUMP 00000351: JUMPDEST 00000352: POP 00000353: PUSH32 0xd43efc325dddcb8b62725a7bfb3ac4e05606a9b650f916fe9eece89f0388d82f 00000374: DUP3 00000375: DUP3 00000376: PUSH1 0x40 00000378: MLOAD 00000379: PUSH2 0x0383 0000037c: SWAP3 0000037d: SWAP2 0000037e: SWAP1 0000037f: PUSH2 0x0c2d 00000382: JUMP 00000383: JUMPDEST 00000384: PUSH1 0x40 00000386: MLOAD 00000387: DUP1 00000388: SWAP2 00000389: SUB 0000038a: SWAP1 0000038b: LOG1 0000038c: POP 0000038d: POP 0000038e: JUMP 0000038f: JUMPDEST 00000390: PUSH2 0x0397 00000393: PUSH2 0x0666 00000396: JUMP 00000397: JUMPDEST 00000398: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ad: AND 000003ae: PUSH2 0x03b5 000003b1: PUSH2 0x048f 000003b4: JUMP 000003b5: JUMPDEST 000003b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003cb: AND 000003cc: EQ 000003cd: PUSH2 0x040b 000003d0: JUMPI 000003d1: PUSH1 0x40 000003d3: MLOAD 000003d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003f5: DUP2 000003f6: MSTORE 000003f7: PUSH1 0x04 000003f9: ADD 000003fa: PUSH2 0x0402 000003fd: SWAP1 000003fe: PUSH2 0x0a62 00000401: JUMP 00000402: JUMPDEST 00000403: PUSH1 0x40 00000405: MLOAD 00000406: DUP1 00000407: SWAP2 00000408: SUB 00000409: SWAP1 0000040a: REVERT 0000040b: JUMPDEST 0000040c: PUSH1 0x00 0000040e: DUP2 0000040f: GT 00000410: PUSH2 0x044e 00000413: JUMPI 00000414: PUSH1 0x40 00000416: MLOAD 00000417: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000438: DUP2 00000439: MSTORE 0000043a: PUSH1 0x04 0000043c: ADD 0000043d: PUSH2 0x0445 00000440: SWAP1 00000441: PUSH2 0x0ce9 00000444: JUMP 00000445: JUMPDEST 00000446: PUSH1 0x40 00000448: MLOAD 00000449: DUP1 0000044a: SWAP2 0000044b: SUB 0000044c: SWAP1 0000044d: REVERT 0000044e: JUMPDEST 0000044f: DUP1 00000450: PUSH1 0x01 00000452: DUP2 00000453: SWAP1 00000454: SSTORE 00000455: POP 00000456: PUSH32 0xd8a1a03d14cf70b1537a82ecf286cf743b3d756d06d6c3279d312b9279cb36c4 00000477: DUP2 00000478: PUSH1 0x40 0000047a: MLOAD 0000047b: PUSH2 0x0484 0000047e: SWAP2 0000047f: SWAP1 00000480: PUSH2 0x0991 00000483: JUMP 00000484: JUMPDEST 00000485: PUSH1 0x40 00000487: MLOAD 00000488: DUP1 00000489: SWAP2 0000048a: SUB 0000048b: SWAP1 0000048c: LOG1 0000048d: POP 0000048e: JUMP 0000048f: JUMPDEST 00000490: PUSH1 0x00 00000492: DUP1 00000493: PUSH1 0x00 00000495: SWAP1 00000496: SLOAD 00000497: SWAP1 00000498: PUSH2 0x0100 0000049b: EXP 0000049c: SWAP1 0000049d: DIV 0000049e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b3: AND 000004b4: SWAP1 000004b5: POP 000004b6: SWAP1 000004b7: JUMP 000004b8: JUMPDEST 000004b9: PUSH1 0x01 000004bb: SLOAD 000004bc: DUP2 000004bd: JUMP 000004be: JUMPDEST 000004bf: PUSH2 0x04c6 000004c2: PUSH2 0x0666 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004dc: AND 000004dd: PUSH2 0x04e4 000004e0: PUSH2 0x048f 000004e3: JUMP 000004e4: JUMPDEST 000004e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004fa: AND 000004fb: EQ 000004fc: PUSH2 0x053a 000004ff: JUMPI 00000500: PUSH1 0x40 00000502: MLOAD 00000503: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000524: DUP2 00000525: MSTORE 00000526: PUSH1 0x04 00000528: ADD 00000529: PUSH2 0x0531 0000052c: SWAP1 0000052d: PUSH2 0x0a62 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH1 0x40 00000534: MLOAD 00000535: DUP1 00000536: SWAP2 00000537: SUB 00000538: SWAP1 00000539: REVERT 0000053a: JUMPDEST 0000053b: PUSH1 0x00 0000053d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000552: AND 00000553: DUP2 00000554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000569: AND 0000056a: SUB 0000056b: PUSH2 0x05a9 0000056e: JUMPI 0000056f: PUSH1 0x40 00000571: MLOAD 00000572: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000593: DUP2 00000594: MSTORE 00000595: PUSH1 0x04 00000597: ADD 00000598: PUSH2 0x05a0 0000059b: SWAP1 0000059c: PUSH2 0x0d7b 0000059f: JUMP 000005a0: JUMPDEST 000005a1: PUSH1 0x40 000005a3: MLOAD 000005a4: DUP1 000005a5: SWAP2 000005a6: SUB 000005a7: SWAP1 000005a8: REVERT 000005a9: JUMPDEST 000005aa: DUP1 000005ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c0: AND 000005c1: PUSH1 0x00 000005c3: DUP1 000005c4: SLOAD 000005c5: SWAP1 000005c6: PUSH2 0x0100 000005c9: EXP 000005ca: SWAP1 000005cb: DIV 000005cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e1: AND 000005e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f7: AND 000005f8: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000619: PUSH1 0x40 0000061b: MLOAD 0000061c: PUSH1 0x40 0000061e: MLOAD 0000061f: DUP1 00000620: SWAP2 00000621: SUB 00000622: SWAP1 00000623: LOG3 00000624: DUP1 00000625: PUSH1 0x00 00000627: DUP1 00000628: PUSH2 0x0100 0000062b: EXP 0000062c: DUP2 0000062d: SLOAD 0000062e: DUP2 0000062f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000644: MUL 00000645: NOT 00000646: AND 00000647: SWAP1 00000648: DUP4 00000649: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065e: AND 0000065f: MUL 00000660: OR 00000661: SWAP1 00000662: SSTORE 00000663: POP 00000664: POP 00000665: JUMP 00000666: JUMPDEST 00000667: PUSH1 0x00 00000669: CALLER 0000066a: SWAP1 0000066b: POP 0000066c: SWAP1 0000066d: JUMP 0000066e: JUMPDEST 0000066f: PUSH2 0x06ef 00000672: DUP4 00000673: PUSH4 0xa9059cbb 00000678: PUSH1 0xe0 0000067a: SHL 0000067b: DUP5 0000067c: DUP5 0000067d: PUSH1 0x40 0000067f: MLOAD 00000680: PUSH1 0x24 00000682: ADD 00000683: PUSH2 0x068d 00000686: SWAP3 00000687: SWAP2 00000688: SWAP1 00000689: PUSH2 0x0d9b 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH1 0x40 00000690: MLOAD 00000691: PUSH1 0x20 00000693: DUP2 00000694: DUP4 00000695: SUB 00000696: SUB 00000697: DUP2 00000698: MSTORE 00000699: SWAP1 0000069a: PUSH1 0x40 0000069c: MSTORE 0000069d: SWAP1 0000069e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000006bb: NOT 000006bc: AND 000006bd: PUSH1 0x20 000006bf: DUP3 000006c0: ADD 000006c1: DUP1 000006c2: MLOAD 000006c3: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000006e0: DUP4 000006e1: DUP2 000006e2: DUP4 000006e3: AND 000006e4: OR 000006e5: DUP4 000006e6: MSTORE 000006e7: POP 000006e8: POP 000006e9: POP 000006ea: POP 000006eb: PUSH2 0x06f4 000006ee: JUMP 000006ef: JUMPDEST 000006f0: POP 000006f1: POP 000006f2: POP 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x00 000006f7: DUP1 000006f8: DUP4 000006f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070e: AND 0000070f: DUP4 00000710: PUSH1 0x40 00000712: MLOAD 00000713: PUSH2 0x071c 00000716: SWAP2 00000717: SWAP1 00000718: PUSH2 0x0e3e 0000071b: JUMP 0000071c: JUMPDEST 0000071d: PUSH1 0x00 0000071f: PUSH1 0x40 00000721: MLOAD 00000722: DUP1 00000723: DUP4 00000724: SUB 00000725: DUP2 00000726: PUSH1 0x00 00000728: DUP7 00000729: GAS 0000072a: CALL 0000072b: SWAP2 0000072c: POP 0000072d: POP 0000072e: RETURNDATASIZE 0000072f: DUP1 00000730: PUSH1 0x00 00000732: DUP2 00000733: EQ 00000734: PUSH2 0x0759 00000737: JUMPI 00000738: PUSH1 0x40 0000073a: MLOAD 0000073b: SWAP2 0000073c: POP 0000073d: PUSH1 0x1f 0000073f: NOT 00000740: PUSH1 0x3f 00000742: RETURNDATASIZE 00000743: ADD 00000744: AND 00000745: DUP3 00000746: ADD 00000747: PUSH1 0x40 00000749: MSTORE 0000074a: RETURNDATASIZE 0000074b: DUP3 0000074c: MSTORE 0000074d: RETURNDATASIZE 0000074e: PUSH1 0x00 00000750: PUSH1 0x20 00000752: DUP5 00000753: ADD 00000754: RETURNDATACOPY 00000755: PUSH2 0x075e 00000758: JUMP 00000759: JUMPDEST 0000075a: PUSH1 0x60 0000075c: SWAP2 0000075d: POP 0000075e: JUMPDEST 0000075f: POP 00000760: SWAP2 00000761: POP 00000762: SWAP2 00000763: POP 00000764: DUP2 00000765: PUSH2 0x07a3 00000768: JUMPI 00000769: PUSH1 0x40 0000076b: MLOAD 0000076c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000078d: DUP2 0000078e: MSTORE 0000078f: PUSH1 0x04 00000791: ADD 00000792: PUSH2 0x079a 00000795: SWAP1 00000796: PUSH2 0x0ea1 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH1 0x40 0000079d: MLOAD 0000079e: DUP1 0000079f: SWAP2 000007a0: SUB 000007a1: SWAP1 000007a2: REVERT 000007a3: JUMPDEST 000007a4: PUSH1 0x00 000007a6: DUP2 000007a7: MLOAD 000007a8: GT 000007a9: ISZERO 000007aa: PUSH2 0x0801 000007ad: JUMPI 000007ae: DUP1 000007af: DUP1 000007b0: PUSH1 0x20 000007b2: ADD 000007b3: SWAP1 000007b4: MLOAD 000007b5: DUP2 000007b6: ADD 000007b7: SWAP1 000007b8: PUSH2 0x07c1 000007bb: SWAP2 000007bc: SWAP1 000007bd: PUSH2 0x0ef9 000007c0: JUMP 000007c1: JUMPDEST 000007c2: PUSH2 0x0800 000007c5: JUMPI 000007c6: PUSH1 0x40 000007c8: MLOAD 000007c9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007ea: DUP2 000007eb: MSTORE 000007ec: PUSH1 0x04 000007ee: ADD 000007ef: PUSH2 0x07f7 000007f2: SWAP1 000007f3: PUSH2 0x0f98 000007f6: JUMP 000007f7: JUMPDEST 000007f8: PUSH1 0x40 000007fa: MLOAD 000007fb: DUP1 000007fc: SWAP2 000007fd: SUB 000007fe: SWAP1 000007ff: REVERT 00000800: JUMPDEST 00000801: JUMPDEST 00000802: POP 00000803: POP 00000804: POP 00000805: POP 00000806: JUMP 00000807: JUMPDEST 00000808: PUSH1 0x00 0000080a: DUP1 0000080b: REVERT 0000080c: JUMPDEST 0000080d: PUSH1 0x00 0000080f: DUP1 00000810: REVERT 00000811: JUMPDEST 00000812: PUSH1 0x00 00000814: DUP1 00000815: REVERT 00000816: JUMPDEST 00000817: PUSH1 0x00 00000819: DUP1 0000081a: REVERT 0000081b: JUMPDEST 0000081c: PUSH1 0x00 0000081e: DUP1 0000081f: REVERT 00000820: JUMPDEST 00000821: PUSH1 0x00 00000823: DUP1 00000824: DUP4 00000825: PUSH1 0x1f 00000827: DUP5 00000828: ADD 00000829: SLT 0000082a: PUSH2 0x0836 0000082d: JUMPI 0000082e: PUSH2 0x0835 00000831: PUSH2 0x0811 00000834: JUMP 00000835: JUMPDEST 00000836: JUMPDEST 00000837: DUP3 00000838: CALLDATALOAD 00000839: SWAP1 0000083a: POP 0000083b: PUSH8 0xffffffffffffffff 00000844: DUP2 00000845: GT 00000846: ISZERO 00000847: PUSH2 0x0853 0000084a: JUMPI 0000084b: PUSH2 0x0852 0000084e: PUSH2 0x0816 00000851: JUMP 00000852: JUMPDEST 00000853: JUMPDEST 00000854: PUSH1 0x20 00000856: DUP4 00000857: ADD 00000858: SWAP2 00000859: POP 0000085a: DUP4 0000085b: PUSH1 0x20 0000085d: DUP3 0000085e: MUL 0000085f: DUP4 00000860: ADD 00000861: GT 00000862: ISZERO 00000863: PUSH2 0x086f 00000866: JUMPI 00000867: PUSH2 0x086e 0000086a: PUSH2 0x081b 0000086d: JUMP 0000086e: JUMPDEST 0000086f: JUMPDEST 00000870: SWAP3 00000871: POP 00000872: SWAP3 00000873: SWAP1 00000874: POP 00000875: JUMP 00000876: JUMPDEST 00000877: PUSH1 0x00 00000879: DUP1 0000087a: PUSH1 0x20 0000087c: DUP4 0000087d: DUP6 0000087e: SUB 0000087f: SLT 00000880: ISZERO 00000881: PUSH2 0x088d 00000884: JUMPI 00000885: PUSH2 0x088c 00000888: PUSH2 0x0807 0000088b: JUMP 0000088c: JUMPDEST 0000088d: JUMPDEST 0000088e: PUSH1 0x00 00000890: DUP4 00000891: ADD 00000892: CALLDATALOAD 00000893: PUSH8 0xffffffffffffffff 0000089c: DUP2 0000089d: GT 0000089e: ISZERO 0000089f: PUSH2 0x08ab 000008a2: JUMPI 000008a3: PUSH2 0x08aa 000008a6: PUSH2 0x080c 000008a9: JUMP 000008aa: JUMPDEST 000008ab: JUMPDEST 000008ac: PUSH2 0x08b7 000008af: DUP6 000008b0: DUP3 000008b1: DUP7 000008b2: ADD 000008b3: PUSH2 0x0820 000008b6: JUMP 000008b7: JUMPDEST 000008b8: SWAP3 000008b9: POP 000008ba: SWAP3 000008bb: POP 000008bc: POP 000008bd: SWAP3 000008be: POP 000008bf: SWAP3 000008c0: SWAP1 000008c1: POP 000008c2: JUMP 000008c3: JUMPDEST 000008c4: PUSH1 0x00 000008c6: DUP2 000008c7: SWAP1 000008c8: POP 000008c9: SWAP2 000008ca: SWAP1 000008cb: POP 000008cc: JUMP 000008cd: JUMPDEST 000008ce: PUSH2 0x08d6 000008d1: DUP2 000008d2: PUSH2 0x08c3 000008d5: JUMP 000008d6: JUMPDEST 000008d7: DUP2 000008d8: EQ 000008d9: PUSH2 0x08e1 000008dc: JUMPI 000008dd: PUSH1 0x00 000008df: DUP1 000008e0: REVERT 000008e1: JUMPDEST 000008e2: POP 000008e3: JUMP 000008e4: JUMPDEST 000008e5: PUSH1 0x00 000008e7: DUP2 000008e8: CALLDATALOAD 000008e9: SWAP1 000008ea: POP 000008eb: PUSH2 0x08f3 000008ee: DUP2 000008ef: PUSH2 0x08cd 000008f2: JUMP 000008f3: JUMPDEST 000008f4: SWAP3 000008f5: SWAP2 000008f6: POP 000008f7: POP 000008f8: JUMP 000008f9: JUMPDEST 000008fa: PUSH1 0x00 000008fc: PUSH1 0x20 000008fe: DUP3 000008ff: DUP5 00000900: SUB 00000901: SLT 00000902: ISZERO 00000903: PUSH2 0x090f 00000906: JUMPI 00000907: PUSH2 0x090e 0000090a: PUSH2 0x0807 0000090d: JUMP 0000090e: JUMPDEST 0000090f: JUMPDEST 00000910: PUSH1 0x00 00000912: PUSH2 0x091d 00000915: DUP5 00000916: DUP3 00000917: DUP6 00000918: ADD 00000919: PUSH2 0x08e4 0000091c: JUMP 0000091d: JUMPDEST 0000091e: SWAP2 0000091f: POP 00000920: POP 00000921: SWAP3 00000922: SWAP2 00000923: POP 00000924: POP 00000925: JUMP 00000926: JUMPDEST 00000927: PUSH1 0x00 00000929: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093e: DUP3 0000093f: AND 00000940: SWAP1 00000941: POP 00000942: SWAP2 00000943: SWAP1 00000944: POP 00000945: JUMP 00000946: JUMPDEST 00000947: PUSH1 0x00 00000949: PUSH2 0x0951 0000094c: DUP3 0000094d: PUSH2 0x0926 00000950: JUMP 00000951: JUMPDEST 00000952: SWAP1 00000953: POP 00000954: SWAP2 00000955: SWAP1 00000956: POP 00000957: JUMP 00000958: JUMPDEST 00000959: PUSH2 0x0961 0000095c: DUP2 0000095d: PUSH2 0x0946 00000960: JUMP 00000961: JUMPDEST 00000962: DUP3 00000963: MSTORE 00000964: POP 00000965: POP 00000966: JUMP 00000967: JUMPDEST 00000968: PUSH1 0x00 0000096a: PUSH1 0x20 0000096c: DUP3 0000096d: ADD 0000096e: SWAP1 0000096f: POP 00000970: PUSH2 0x097c 00000973: PUSH1 0x00 00000975: DUP4 00000976: ADD 00000977: DUP5 00000978: PUSH2 0x0958 0000097b: JUMP 0000097c: JUMPDEST 0000097d: SWAP3 0000097e: SWAP2 0000097f: POP 00000980: POP 00000981: JUMP 00000982: JUMPDEST 00000983: PUSH2 0x098b 00000986: DUP2 00000987: PUSH2 0x08c3 0000098a: JUMP 0000098b: JUMPDEST 0000098c: DUP3 0000098d: MSTORE 0000098e: POP 0000098f: POP 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH1 0x00 00000994: PUSH1 0x20 00000996: DUP3 00000997: ADD 00000998: SWAP1 00000999: POP 0000099a: PUSH2 0x09a6 0000099d: PUSH1 0x00 0000099f: DUP4 000009a0: ADD 000009a1: DUP5 000009a2: PUSH2 0x0982 000009a5: JUMP 000009a6: JUMPDEST 000009a7: SWAP3 000009a8: SWAP2 000009a9: POP 000009aa: POP 000009ab: JUMP 000009ac: JUMPDEST 000009ad: PUSH2 0x09b5 000009b0: DUP2 000009b1: PUSH2 0x0946 000009b4: JUMP 000009b5: JUMPDEST 000009b6: DUP2 000009b7: EQ 000009b8: PUSH2 0x09c0 000009bb: JUMPI 000009bc: PUSH1 0x00 000009be: DUP1 000009bf: REVERT 000009c0: JUMPDEST 000009c1: POP 000009c2: JUMP 000009c3: JUMPDEST 000009c4: PUSH1 0x00 000009c6: DUP2 000009c7: CALLDATALOAD 000009c8: SWAP1 000009c9: POP 000009ca: PUSH2 0x09d2 000009cd: DUP2 000009ce: PUSH2 0x09ac 000009d1: JUMP 000009d2: JUMPDEST 000009d3: SWAP3 000009d4: SWAP2 000009d5: POP 000009d6: POP 000009d7: JUMP 000009d8: JUMPDEST 000009d9: PUSH1 0x00 000009db: PUSH1 0x20 000009dd: DUP3 000009de: DUP5 000009df: SUB 000009e0: SLT 000009e1: ISZERO 000009e2: PUSH2 0x09ee 000009e5: JUMPI 000009e6: PUSH2 0x09ed 000009e9: PUSH2 0x0807 000009ec: JUMP 000009ed: JUMPDEST 000009ee: JUMPDEST 000009ef: PUSH1 0x00 000009f1: PUSH2 0x09fc 000009f4: DUP5 000009f5: DUP3 000009f6: DUP6 000009f7: ADD 000009f8: PUSH2 0x09c3 000009fb: JUMP 000009fc: JUMPDEST 000009fd: SWAP2 000009fe: POP 000009ff: POP 00000a00: SWAP3 00000a01: SWAP2 00000a02: POP 00000a03: POP 00000a04: JUMP 00000a05: JUMPDEST 00000a06: PUSH1 0x00 00000a08: DUP3 00000a09: DUP3 00000a0a: MSTORE 00000a0b: PUSH1 0x20 00000a0d: DUP3 00000a0e: ADD 00000a0f: SWAP1 00000a10: POP 00000a11: SWAP3 00000a12: SWAP2 00000a13: POP 00000a14: POP 00000a15: JUMP 00000a16: JUMPDEST 00000a17: PUSH32 0x4f776e61626c653a2043616c6c6572206973206e6f7420746865206f776e6572 00000a38: PUSH1 0x00 00000a3a: DUP3 00000a3b: ADD 00000a3c: MSTORE 00000a3d: POP 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: PUSH1 0x00 00000a42: PUSH2 0x0a4c 00000a45: PUSH1 0x20 00000a47: DUP4 00000a48: PUSH2 0x0a05 00000a4b: JUMP 00000a4c: JUMPDEST 00000a4d: SWAP2 00000a4e: POP 00000a4f: PUSH2 0x0a57 00000a52: DUP3 00000a53: PUSH2 0x0a16 00000a56: JUMP 00000a57: JUMPDEST 00000a58: PUSH1 0x20 00000a5a: DUP3 00000a5b: ADD 00000a5c: SWAP1 00000a5d: POP 00000a5e: SWAP2 00000a5f: SWAP1 00000a60: POP 00000a61: JUMP 00000a62: JUMPDEST 00000a63: PUSH1 0x00 00000a65: PUSH1 0x20 00000a67: DUP3 00000a68: ADD 00000a69: SWAP1 00000a6a: POP 00000a6b: DUP2 00000a6c: DUP2 00000a6d: SUB 00000a6e: PUSH1 0x00 00000a70: DUP4 00000a71: ADD 00000a72: MSTORE 00000a73: PUSH2 0x0a7b 00000a76: DUP2 00000a77: PUSH2 0x0a3f 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: SWAP1 00000a7d: POP 00000a7e: SWAP2 00000a7f: SWAP1 00000a80: POP 00000a81: JUMP 00000a82: JUMPDEST 00000a83: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000aa4: PUSH1 0x00 00000aa6: MSTORE 00000aa7: PUSH1 0x32 00000aa9: PUSH1 0x04 00000aab: MSTORE 00000aac: PUSH1 0x24 00000aae: PUSH1 0x00 00000ab0: REVERT 00000ab1: JUMPDEST 00000ab2: PUSH1 0x00 00000ab4: DUP2 00000ab5: MLOAD 00000ab6: SWAP1 00000ab7: POP 00000ab8: PUSH2 0x0ac0 00000abb: DUP2 00000abc: PUSH2 0x08cd 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: SWAP3 00000ac2: SWAP2 00000ac3: POP 00000ac4: POP 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: PUSH1 0x00 00000ac9: PUSH1 0x20 00000acb: DUP3 00000acc: DUP5 00000acd: SUB 00000ace: SLT 00000acf: ISZERO 00000ad0: PUSH2 0x0adc 00000ad3: JUMPI 00000ad4: PUSH2 0x0adb 00000ad7: PUSH2 0x0807 00000ada: JUMP 00000adb: JUMPDEST 00000adc: JUMPDEST 00000add: PUSH1 0x00 00000adf: PUSH2 0x0aea 00000ae2: DUP5 00000ae3: DUP3 00000ae4: DUP6 00000ae5: ADD 00000ae6: PUSH2 0x0ab1 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: SWAP2 00000aec: POP 00000aed: POP 00000aee: SWAP3 00000aef: SWAP2 00000af0: POP 00000af1: POP 00000af2: JUMP 00000af3: JUMPDEST 00000af4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000b15: PUSH1 0x00 00000b17: MSTORE 00000b18: PUSH1 0x11 00000b1a: PUSH1 0x04 00000b1c: MSTORE 00000b1d: PUSH1 0x24 00000b1f: PUSH1 0x00 00000b21: REVERT 00000b22: JUMPDEST 00000b23: PUSH1 0x00 00000b25: PUSH2 0x0b2d 00000b28: DUP3 00000b29: PUSH2 0x08c3 00000b2c: JUMP 00000b2d: JUMPDEST 00000b2e: SWAP2 00000b2f: POP 00000b30: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000b51: DUP3 00000b52: SUB 00000b53: PUSH2 0x0b5f 00000b56: JUMPI 00000b57: PUSH2 0x0b5e 00000b5a: PUSH2 0x0af3 00000b5d: JUMP 00000b5e: JUMPDEST 00000b5f: JUMPDEST 00000b60: PUSH1 0x01 00000b62: DUP3 00000b63: ADD 00000b64: SWAP1 00000b65: POP 00000b66: SWAP2 00000b67: SWAP1 00000b68: POP 00000b69: JUMP 00000b6a: JUMPDEST 00000b6b: PUSH1 0x00 00000b6d: DUP3 00000b6e: DUP3 00000b6f: MSTORE 00000b70: PUSH1 0x20 00000b72: DUP3 00000b73: ADD 00000b74: SWAP1 00000b75: POP 00000b76: SWAP3 00000b77: SWAP2 00000b78: POP 00000b79: POP 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: PUSH1 0x00 00000b7e: DUP2 00000b7f: SWAP1 00000b80: POP 00000b81: SWAP2 00000b82: SWAP1 00000b83: POP 00000b84: JUMP 00000b85: JUMPDEST 00000b86: PUSH2 0x0b8e 00000b89: DUP2 00000b8a: PUSH2 0x0946 00000b8d: JUMP 00000b8e: JUMPDEST 00000b8f: DUP3 00000b90: MSTORE 00000b91: POP 00000b92: POP 00000b93: JUMP 00000b94: JUMPDEST 00000b95: PUSH1 0x00 00000b97: PUSH2 0x0ba0 00000b9a: DUP4 00000b9b: DUP4 00000b9c: PUSH2 0x0b85 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: PUSH1 0x20 00000ba3: DUP4 00000ba4: ADD 00000ba5: SWAP1 00000ba6: POP 00000ba7: SWAP3 00000ba8: SWAP2 00000ba9: POP 00000baa: POP 00000bab: JUMP 00000bac: JUMPDEST 00000bad: PUSH1 0x00 00000baf: PUSH2 0x0bbb 00000bb2: PUSH1 0x20 00000bb4: DUP5 00000bb5: ADD 00000bb6: DUP5 00000bb7: PUSH2 0x09c3 00000bba: JUMP 00000bbb: JUMPDEST 00000bbc: SWAP1 00000bbd: POP 00000bbe: SWAP3 00000bbf: SWAP2 00000bc0: POP 00000bc1: POP 00000bc2: JUMP 00000bc3: JUMPDEST 00000bc4: PUSH1 0x00 00000bc6: PUSH1 0x20 00000bc8: DUP3 00000bc9: ADD 00000bca: SWAP1 00000bcb: POP 00000bcc: SWAP2 00000bcd: SWAP1 00000bce: POP 00000bcf: JUMP 00000bd0: JUMPDEST 00000bd1: PUSH1 0x00 00000bd3: PUSH2 0x0bdc 00000bd6: DUP4 00000bd7: DUP6 00000bd8: PUSH2 0x0b6a 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: SWAP4 00000bde: POP 00000bdf: PUSH2 0x0be7 00000be2: DUP3 00000be3: PUSH2 0x0b7b 00000be6: JUMP 00000be7: JUMPDEST 00000be8: DUP1 00000be9: PUSH1 0x00 00000beb: JUMPDEST 00000bec: DUP6 00000bed: DUP2 00000bee: LT 00000bef: ISZERO 00000bf0: PUSH2 0x0c20 00000bf3: JUMPI 00000bf4: PUSH2 0x0bfd 00000bf7: DUP3 00000bf8: DUP5 00000bf9: PUSH2 0x0bac 00000bfc: JUMP 00000bfd: JUMPDEST 00000bfe: PUSH2 0x0c07 00000c01: DUP9 00000c02: DUP3 00000c03: PUSH2 0x0b94 00000c06: JUMP 00000c07: JUMPDEST 00000c08: SWAP8 00000c09: POP 00000c0a: PUSH2 0x0c12 00000c0d: DUP4 00000c0e: PUSH2 0x0bc3 00000c11: JUMP 00000c12: JUMPDEST 00000c13: SWAP3 00000c14: POP 00000c15: POP 00000c16: PUSH1 0x01 00000c18: DUP2 00000c19: ADD 00000c1a: SWAP1 00000c1b: POP 00000c1c: PUSH2 0x0beb 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: POP 00000c22: DUP6 00000c23: SWAP3 00000c24: POP 00000c25: POP 00000c26: POP 00000c27: SWAP4 00000c28: SWAP3 00000c29: POP 00000c2a: POP 00000c2b: POP 00000c2c: JUMP 00000c2d: JUMPDEST 00000c2e: PUSH1 0x00 00000c30: PUSH1 0x20 00000c32: DUP3 00000c33: ADD 00000c34: SWAP1 00000c35: POP 00000c36: DUP2 00000c37: DUP2 00000c38: SUB 00000c39: PUSH1 0x00 00000c3b: DUP4 00000c3c: ADD 00000c3d: MSTORE 00000c3e: PUSH2 0x0c48 00000c41: DUP2 00000c42: DUP5 00000c43: DUP7 00000c44: PUSH2 0x0bd0 00000c47: JUMP 00000c48: JUMPDEST 00000c49: SWAP1 00000c4a: POP 00000c4b: SWAP4 00000c4c: SWAP3 00000c4d: POP 00000c4e: POP 00000c4f: POP 00000c50: JUMP 00000c51: JUMPDEST 00000c52: PUSH32 0x53757065724c696e6b506172746e65723a20466565206d757374206265206120 00000c73: PUSH1 0x00 00000c75: DUP3 00000c76: ADD 00000c77: MSTORE 00000c78: PUSH32 0x706f736974697665206e756d62657220616e642067726561746572207468616e 00000c99: PUSH1 0x20 00000c9b: DUP3 00000c9c: ADD 00000c9d: MSTORE 00000c9e: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000 00000cbf: PUSH1 0x40 00000cc1: DUP3 00000cc2: ADD 00000cc3: MSTORE 00000cc4: POP 00000cc5: JUMP 00000cc6: JUMPDEST 00000cc7: PUSH1 0x00 00000cc9: PUSH2 0x0cd3 00000ccc: PUSH1 0x45 00000cce: DUP4 00000ccf: PUSH2 0x0a05 00000cd2: JUMP 00000cd3: JUMPDEST 00000cd4: SWAP2 00000cd5: POP 00000cd6: PUSH2 0x0cde 00000cd9: DUP3 00000cda: PUSH2 0x0c51 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: PUSH1 0x60 00000ce1: DUP3 00000ce2: ADD 00000ce3: SWAP1 00000ce4: POP 00000ce5: SWAP2 00000ce6: SWAP1 00000ce7: POP 00000ce8: JUMP 00000ce9: JUMPDEST 00000cea: PUSH1 0x00 00000cec: PUSH1 0x20 00000cee: DUP3 00000cef: ADD 00000cf0: SWAP1 00000cf1: POP 00000cf2: DUP2 00000cf3: DUP2 00000cf4: SUB 00000cf5: PUSH1 0x00 00000cf7: DUP4 00000cf8: ADD 00000cf9: MSTORE 00000cfa: PUSH2 0x0d02 00000cfd: DUP2 00000cfe: PUSH2 0x0cc6 00000d01: JUMP 00000d02: JUMPDEST 00000d03: SWAP1 00000d04: POP 00000d05: SWAP2 00000d06: SWAP1 00000d07: POP 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH32 0x4f776e61626c653a204e6577206f776e657220697320746865207a65726f2061 00000d2b: PUSH1 0x00 00000d2d: DUP3 00000d2e: ADD 00000d2f: MSTORE 00000d30: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000d51: PUSH1 0x20 00000d53: DUP3 00000d54: ADD 00000d55: MSTORE 00000d56: POP 00000d57: JUMP 00000d58: JUMPDEST 00000d59: PUSH1 0x00 00000d5b: PUSH2 0x0d65 00000d5e: PUSH1 0x26 00000d60: DUP4 00000d61: PUSH2 0x0a05 00000d64: JUMP 00000d65: JUMPDEST 00000d66: SWAP2 00000d67: POP 00000d68: PUSH2 0x0d70 00000d6b: DUP3 00000d6c: PUSH2 0x0d09 00000d6f: JUMP 00000d70: JUMPDEST 00000d71: PUSH1 0x40 00000d73: DUP3 00000d74: ADD 00000d75: SWAP1 00000d76: POP 00000d77: SWAP2 00000d78: SWAP1 00000d79: POP 00000d7a: JUMP 00000d7b: JUMPDEST 00000d7c: PUSH1 0x00 00000d7e: PUSH1 0x20 00000d80: DUP3 00000d81: ADD 00000d82: SWAP1 00000d83: POP 00000d84: DUP2 00000d85: DUP2 00000d86: SUB 00000d87: PUSH1 0x00 00000d89: DUP4 00000d8a: ADD 00000d8b: MSTORE 00000d8c: PUSH2 0x0d94 00000d8f: DUP2 00000d90: PUSH2 0x0d58 00000d93: JUMP 00000d94: JUMPDEST 00000d95: SWAP1 00000d96: POP 00000d97: SWAP2 00000d98: SWAP1 00000d99: POP 00000d9a: JUMP 00000d9b: JUMPDEST 00000d9c: PUSH1 0x00 00000d9e: PUSH1 0x40 00000da0: DUP3 00000da1: ADD 00000da2: SWAP1 00000da3: POP 00000da4: PUSH2 0x0db0 00000da7: PUSH1 0x00 00000da9: DUP4 00000daa: ADD 00000dab: DUP6 00000dac: PUSH2 0x0958 00000daf: JUMP 00000db0: JUMPDEST 00000db1: PUSH2 0x0dbd 00000db4: PUSH1 0x20 00000db6: DUP4 00000db7: ADD 00000db8: DUP5 00000db9: PUSH2 0x0982 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: SWAP4 00000dbf: SWAP3 00000dc0: POP 00000dc1: POP 00000dc2: POP 00000dc3: JUMP 00000dc4: JUMPDEST 00000dc5: PUSH1 0x00 00000dc7: DUP2 00000dc8: MLOAD 00000dc9: SWAP1 00000dca: POP 00000dcb: SWAP2 00000dcc: SWAP1 00000dcd: POP 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: PUSH1 0x00 00000dd2: DUP2 00000dd3: SWAP1 00000dd4: POP 00000dd5: SWAP3 00000dd6: SWAP2 00000dd7: POP 00000dd8: POP 00000dd9: JUMP 00000dda: JUMPDEST 00000ddb: PUSH1 0x00 00000ddd: JUMPDEST 00000dde: DUP4 00000ddf: DUP2 00000de0: LT 00000de1: ISZERO 00000de2: PUSH2 0x0df8 00000de5: JUMPI 00000de6: DUP1 00000de7: DUP3 00000de8: ADD 00000de9: MLOAD 00000dea: DUP2 00000deb: DUP5 00000dec: ADD 00000ded: MSTORE 00000dee: PUSH1 0x20 00000df0: DUP2 00000df1: ADD 00000df2: SWAP1 00000df3: POP 00000df4: PUSH2 0x0ddd 00000df7: JUMP 00000df8: JUMPDEST 00000df9: DUP4 00000dfa: DUP2 00000dfb: GT 00000dfc: ISZERO 00000dfd: PUSH2 0x0e07 00000e00: JUMPI 00000e01: PUSH1 0x00 00000e03: DUP5 00000e04: DUP5 00000e05: ADD 00000e06: MSTORE 00000e07: JUMPDEST 00000e08: POP 00000e09: POP 00000e0a: POP 00000e0b: POP 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: PUSH1 0x00 00000e10: PUSH2 0x0e18 00000e13: DUP3 00000e14: PUSH2 0x0dc4 00000e17: JUMP 00000e18: JUMPDEST 00000e19: PUSH2 0x0e22 00000e1c: DUP2 00000e1d: DUP6 00000e1e: PUSH2 0x0dcf 00000e21: JUMP 00000e22: JUMPDEST 00000e23: SWAP4 00000e24: POP 00000e25: PUSH2 0x0e32 00000e28: DUP2 00000e29: DUP6 00000e2a: PUSH1 0x20 00000e2c: DUP7 00000e2d: ADD 00000e2e: PUSH2 0x0dda 00000e31: JUMP 00000e32: JUMPDEST 00000e33: DUP1 00000e34: DUP5 00000e35: ADD 00000e36: SWAP2 00000e37: POP 00000e38: POP 00000e39: SWAP3 00000e3a: SWAP2 00000e3b: POP 00000e3c: POP 00000e3d: JUMP 00000e3e: JUMPDEST 00000e3f: PUSH1 0x00 00000e41: PUSH2 0x0e4a 00000e44: DUP3 00000e45: DUP5 00000e46: PUSH2 0x0e0d 00000e49: JUMP 00000e4a: JUMPDEST 00000e4b: SWAP2 00000e4c: POP 00000e4d: DUP2 00000e4e: SWAP1 00000e4f: POP 00000e50: SWAP3 00000e51: SWAP2 00000e52: POP 00000e53: POP 00000e54: JUMP 00000e55: JUMPDEST 00000e56: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000e77: PUSH1 0x00 00000e79: DUP3 00000e7a: ADD 00000e7b: MSTORE 00000e7c: POP 00000e7d: JUMP 00000e7e: JUMPDEST 00000e7f: PUSH1 0x00 00000e81: PUSH2 0x0e8b 00000e84: PUSH1 0x20 00000e86: DUP4 00000e87: PUSH2 0x0a05 00000e8a: JUMP 00000e8b: JUMPDEST 00000e8c: SWAP2 00000e8d: POP 00000e8e: PUSH2 0x0e96 00000e91: DUP3 00000e92: PUSH2 0x0e55 00000e95: JUMP 00000e96: JUMPDEST 00000e97: PUSH1 0x20 00000e99: DUP3 00000e9a: ADD 00000e9b: SWAP1 00000e9c: POP 00000e9d: SWAP2 00000e9e: SWAP1 00000e9f: POP 00000ea0: JUMP 00000ea1: JUMPDEST 00000ea2: PUSH1 0x00 00000ea4: PUSH1 0x20 00000ea6: DUP3 00000ea7: ADD 00000ea8: SWAP1 00000ea9: POP 00000eaa: DUP2 00000eab: DUP2 00000eac: SUB 00000ead: PUSH1 0x00 00000eaf: DUP4 00000eb0: ADD 00000eb1: MSTORE 00000eb2: PUSH2 0x0eba 00000eb5: DUP2 00000eb6: PUSH2 0x0e7e 00000eb9: JUMP 00000eba: JUMPDEST 00000ebb: SWAP1 00000ebc: POP 00000ebd: SWAP2 00000ebe: SWAP1 00000ebf: POP 00000ec0: JUMP 00000ec1: JUMPDEST 00000ec2: PUSH1 0x00 00000ec4: DUP2 00000ec5: ISZERO 00000ec6: ISZERO 00000ec7: SWAP1 00000ec8: POP 00000ec9: SWAP2 00000eca: SWAP1 00000ecb: POP 00000ecc: JUMP 00000ecd: JUMPDEST 00000ece: PUSH2 0x0ed6 00000ed1: DUP2 00000ed2: PUSH2 0x0ec1 00000ed5: JUMP 00000ed6: JUMPDEST 00000ed7: DUP2 00000ed8: EQ 00000ed9: PUSH2 0x0ee1 00000edc: JUMPI 00000edd: PUSH1 0x00 00000edf: DUP1 00000ee0: REVERT 00000ee1: JUMPDEST 00000ee2: POP 00000ee3: JUMP 00000ee4: JUMPDEST 00000ee5: PUSH1 0x00 00000ee7: DUP2 00000ee8: MLOAD 00000ee9: SWAP1 00000eea: POP 00000eeb: PUSH2 0x0ef3 00000eee: DUP2 00000eef: PUSH2 0x0ecd 00000ef2: JUMP 00000ef3: JUMPDEST 00000ef4: SWAP3 00000ef5: SWAP2 00000ef6: POP 00000ef7: POP 00000ef8: JUMP 00000ef9: JUMPDEST 00000efa: PUSH1 0x00 00000efc: PUSH1 0x20 00000efe: DUP3 00000eff: DUP5 00000f00: SUB 00000f01: SLT 00000f02: ISZERO 00000f03: PUSH2 0x0f0f 00000f06: JUMPI 00000f07: PUSH2 0x0f0e 00000f0a: PUSH2 0x0807 00000f0d: JUMP 00000f0e: JUMPDEST 00000f0f: JUMPDEST 00000f10: PUSH1 0x00 00000f12: PUSH2 0x0f1d 00000f15: DUP5 00000f16: DUP3 00000f17: DUP6 00000f18: ADD 00000f19: PUSH2 0x0ee4 00000f1c: JUMP 00000f1d: JUMPDEST 00000f1e: SWAP2 00000f1f: POP 00000f20: POP 00000f21: SWAP3 00000f22: SWAP2 00000f23: POP 00000f24: POP 00000f25: JUMP 00000f26: JUMPDEST 00000f27: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000f48: PUSH1 0x00 00000f4a: DUP3 00000f4b: ADD 00000f4c: MSTORE 00000f4d: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00000f6e: PUSH1 0x20 00000f70: DUP3 00000f71: ADD 00000f72: MSTORE 00000f73: POP 00000f74: JUMP 00000f75: JUMPDEST 00000f76: PUSH1 0x00 00000f78: PUSH2 0x0f82 00000f7b: PUSH1 0x2a 00000f7d: DUP4 00000f7e: PUSH2 0x0a05 00000f81: JUMP 00000f82: JUMPDEST 00000f83: SWAP2 00000f84: POP 00000f85: PUSH2 0x0f8d 00000f88: DUP3 00000f89: PUSH2 0x0f26 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: PUSH1 0x40 00000f90: DUP3 00000f91: ADD 00000f92: SWAP1 00000f93: POP 00000f94: SWAP2 00000f95: SWAP1 00000f96: POP 00000f97: JUMP 00000f98: JUMPDEST 00000f99: PUSH1 0x00 00000f9b: PUSH1 0x20 00000f9d: DUP3 00000f9e: ADD 00000f9f: SWAP1 00000fa0: POP 00000fa1: DUP2 00000fa2: DUP2 00000fa3: SUB 00000fa4: PUSH1 0x00 00000fa6: DUP4 00000fa7: ADD 00000fa8: MSTORE 00000fa9: PUSH2 0x0fb1 00000fac: DUP2 00000fad: PUSH2 0x0f75 00000fb0: JUMP 00000fb1: JUMPDEST 00000fb2: SWAP1 00000fb3: POP 00000fb4: SWAP2 00000fb5: SWAP1 00000fb6: POP 00000fb7: JUMP 00000fb8: INVALID 00000fb9: LOG2 00000fba: PUSH5 0x6970667358 00000fc0: UNKNOWN(0x22) 00000fc1: SLT 00000fc2: KECCAK256 00000fc3: DUP3 00000fc4: BLOBHASH 00000fc5: UNKNOWN(0xD5) 00000fc6: UNKNOWN(0xC6) 00000fc7: UNKNOWN(0xB1) 00000fc8: CALLDATALOAD 00000fc9: CHAINID 00000fca: SIGNEXTEND 00000fcb: UNKNOWN(0xAD) 00000fcc: UNKNOWN(0xBE) 00000fcd: PUSH4 0xdbed98cd 00000fd2: PUSH25 0x64f0bd3e209c836cb7f1789fc147415b64736f6c634300080d 00000fec: STOP 00000fed: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x715c94842fe8a251245e59999b799f11f13a2b2279a7ade86c16ebb3fc6befb5
call_targets:
0x294a7fabeb03cc9752c167bbd758ef1f2aa282ea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x715c94842fe8a251245e59999b799f11f13a2b2279a7ade86c16ebb3fc6befb5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x294a7fabeb03cc9752c167bbd758ef1f2aa282ea"
],
"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": "0x2895e837",
"selector": "0x2895e837",
"calldata_variants": [
"0x2895e837",
"0x2895e8370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3741454d",
"selector": "0x3741454d",
"calldata_variants": [
"0x3741454d",
"0x3741454d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3ca7f31",
"selector": "0xc3ca7f31",
"calldata_variants": [
"0xc3ca7f31",
"0xc3ca7f310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 576,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1834,
"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: 0x715c94842fe8a251245e59999b799f11f13a2b2279a7ade86c16ebb3fc6befb5
call_targets:
0x294a7fabeb03cc9752c167bbd758ef1f2aa282ea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x715c94842fe8a251245e59999b799f11f13a2b2279a7ade86c16ebb3fc6befb5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x294a7fabeb03cc9752c167bbd758ef1f2aa282ea"
],
"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": "0x2895e837",
"selector": "0x2895e837",
"calldata_variants": [
"0x2895e837",
"0x2895e8370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3741454d",
"selector": "0x3741454d",
"calldata_variants": [
"0x3741454d",
"0x3741454d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3ca7f31",
"selector": "0xc3ca7f31",
"calldata_variants": [
"0xc3ca7f31",
"0xc3ca7f310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 576,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1834,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|