019b477e-c8f0-72f8-9c03-e67762a771ec
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 |
|---|---|---|---|---|
| 26237 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26238 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112771 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112772 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112773 | detector.run | complete | 1 / 3 | 1 week ago |
| 112774 | 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 0x009a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x5cef8b4a 00000019: GT 0000001a: PUSH2 0x0069 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8da5cb5b 0000002f: EQ 00000030: PUSH2 0x01a7 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x9456fbcc 0000003a: EQ 0000003b: PUSH2 0x01f9 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x9e73dbea 00000045: EQ 00000046: PUSH2 0x0219 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x5cef8b4a 00000055: EQ 00000056: PUSH2 0x015d 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x690d8320 00000060: EQ 00000061: PUSH2 0x0187 00000064: JUMPI 00000065: PUSH1 0x00 00000067: DUP1 00000068: REVERT 00000069: JUMPDEST 0000006a: DUP1 0000006b: PUSH4 0x13af4035 00000070: EQ 00000071: PUSH2 0x00db 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x4025feb2 0000007b: EQ 0000007c: PUSH2 0x00fd 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x44004cc1 00000086: EQ 00000087: PUSH2 0x011d 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x4782f779 00000091: EQ 00000092: PUSH2 0x013d 00000095: JUMPI 00000096: PUSH1 0x00 00000098: DUP1 00000099: REVERT 0000009a: JUMPDEST 0000009b: CALLDATASIZE 0000009c: PUSH2 0x00d6 0000009f: JUMPI 000000a0: PUSH1 0x40 000000a2: MLOAD 000000a3: CALLVALUE 000000a4: DUP2 000000a5: MSTORE 000000a6: CALLER 000000a7: SWAP1 000000a8: PUSH32 0x4103257eaac983ca79a70d28f90dfc4fa16b619bb0c17ee7cab0d4034c279624 000000c9: SWAP1 000000ca: PUSH1 0x20 000000cc: ADD 000000cd: PUSH1 0x40 000000cf: MLOAD 000000d0: DUP1 000000d1: SWAP2 000000d2: SUB 000000d3: SWAP1 000000d4: LOG2 000000d5: STOP 000000d6: JUMPDEST 000000d7: PUSH1 0x00 000000d9: DUP1 000000da: REVERT 000000db: JUMPDEST 000000dc: CALLVALUE 000000dd: DUP1 000000de: ISZERO 000000df: PUSH2 0x00e7 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: POP 000000e9: PUSH2 0x00fb 000000ec: PUSH2 0x00f6 000000ef: CALLDATASIZE 000000f0: PUSH1 0x04 000000f2: PUSH2 0x0b3a 000000f5: JUMP 000000f6: JUMPDEST 000000f7: PUSH2 0x022c 000000fa: JUMP 000000fb: JUMPDEST 000000fc: STOP 000000fd: JUMPDEST 000000fe: CALLVALUE 000000ff: DUP1 00000100: ISZERO 00000101: PUSH2 0x0109 00000104: JUMPI 00000105: PUSH1 0x00 00000107: DUP1 00000108: REVERT 00000109: JUMPDEST 0000010a: POP 0000010b: PUSH2 0x00fb 0000010e: PUSH2 0x0118 00000111: CALLDATASIZE 00000112: PUSH1 0x04 00000114: PUSH2 0x0b5e 00000117: JUMP 00000118: JUMPDEST 00000119: PUSH2 0x0322 0000011c: JUMP 0000011d: JUMPDEST 0000011e: CALLVALUE 0000011f: DUP1 00000120: ISZERO 00000121: PUSH2 0x0129 00000124: JUMPI 00000125: PUSH1 0x00 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: POP 0000012b: PUSH2 0x00fb 0000012e: PUSH2 0x0138 00000131: CALLDATASIZE 00000132: PUSH1 0x04 00000134: PUSH2 0x0b5e 00000137: JUMP 00000138: JUMPDEST 00000139: PUSH2 0x04b4 0000013c: JUMP 0000013d: JUMPDEST 0000013e: CALLVALUE 0000013f: DUP1 00000140: ISZERO 00000141: PUSH2 0x0149 00000144: JUMPI 00000145: PUSH1 0x00 00000147: DUP1 00000148: REVERT 00000149: JUMPDEST 0000014a: POP 0000014b: PUSH2 0x00fb 0000014e: PUSH2 0x0158 00000151: CALLDATASIZE 00000152: PUSH1 0x04 00000154: PUSH2 0x0b9f 00000157: JUMP 00000158: JUMPDEST 00000159: PUSH2 0x0654 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH2 0x0170 00000161: PUSH2 0x016b 00000164: CALLDATASIZE 00000165: PUSH1 0x04 00000167: PUSH2 0x0ca5 0000016a: JUMP 0000016b: JUMPDEST 0000016c: PUSH2 0x076a 0000016f: JUMP 00000170: JUMPDEST 00000171: PUSH1 0x40 00000173: MLOAD 00000174: PUSH2 0x017e 00000177: SWAP3 00000178: SWAP2 00000179: SWAP1 0000017a: PUSH2 0x0d2e 0000017d: JUMP 0000017e: JUMPDEST 0000017f: PUSH1 0x40 00000181: MLOAD 00000182: DUP1 00000183: SWAP2 00000184: SUB 00000185: SWAP1 00000186: RETURN 00000187: JUMPDEST 00000188: CALLVALUE 00000189: DUP1 0000018a: ISZERO 0000018b: PUSH2 0x0193 0000018e: JUMPI 0000018f: PUSH1 0x00 00000191: DUP1 00000192: REVERT 00000193: JUMPDEST 00000194: POP 00000195: PUSH2 0x00fb 00000198: PUSH2 0x01a2 0000019b: CALLDATASIZE 0000019c: PUSH1 0x04 0000019e: PUSH2 0x0b3a 000001a1: JUMP 000001a2: JUMPDEST 000001a3: PUSH2 0x0863 000001a6: JUMP 000001a7: JUMPDEST 000001a8: CALLVALUE 000001a9: DUP1 000001aa: ISZERO 000001ab: PUSH2 0x01b3 000001ae: JUMPI 000001af: PUSH1 0x00 000001b1: DUP1 000001b2: REVERT 000001b3: JUMPDEST 000001b4: POP 000001b5: PUSH1 0x00 000001b7: SLOAD 000001b8: PUSH2 0x01d4 000001bb: SWAP1 000001bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d1: AND 000001d2: DUP2 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH1 0x40 000001d7: MLOAD 000001d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ed: SWAP1 000001ee: SWAP2 000001ef: AND 000001f0: DUP2 000001f1: MSTORE 000001f2: PUSH1 0x20 000001f4: ADD 000001f5: PUSH2 0x017e 000001f8: JUMP 000001f9: JUMPDEST 000001fa: CALLVALUE 000001fb: DUP1 000001fc: ISZERO 000001fd: PUSH2 0x0205 00000200: JUMPI 00000201: PUSH1 0x00 00000203: DUP1 00000204: REVERT 00000205: JUMPDEST 00000206: POP 00000207: PUSH2 0x00fb 0000020a: PUSH2 0x0214 0000020d: CALLDATASIZE 0000020e: PUSH1 0x04 00000210: PUSH2 0x0d88 00000213: JUMP 00000214: JUMPDEST 00000215: PUSH2 0x08f1 00000218: JUMP 00000219: JUMPDEST 0000021a: PUSH2 0x0170 0000021d: PUSH2 0x0227 00000220: CALLDATASIZE 00000221: PUSH1 0x04 00000223: PUSH2 0x0dc1 00000226: JUMP 00000227: JUMPDEST 00000228: PUSH2 0x0a1b 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH1 0x00 0000022f: SLOAD 00000230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000245: AND 00000246: CALLER 00000247: EQ 00000248: PUSH2 0x02b2 0000024b: JUMPI 0000024c: PUSH1 0x40 0000024e: MLOAD 0000024f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000270: DUP2 00000271: MSTORE 00000272: PUSH1 0x20 00000274: PUSH1 0x04 00000276: DUP3 00000277: ADD 00000278: MSTORE 00000279: PUSH1 0x0c 0000027b: PUSH1 0x24 0000027d: DUP3 0000027e: ADD 0000027f: MSTORE 00000280: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 000002a1: PUSH1 0x44 000002a3: DUP3 000002a4: ADD 000002a5: MSTORE 000002a6: PUSH1 0x64 000002a8: ADD 000002a9: JUMPDEST 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: DUP1 000002ae: SWAP2 000002af: SUB 000002b0: SWAP1 000002b1: REVERT 000002b2: JUMPDEST 000002b3: PUSH1 0x00 000002b5: DUP1 000002b6: SLOAD 000002b7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000002d8: AND 000002d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ee: DUP4 000002ef: AND 000002f0: SWAP1 000002f1: DUP2 000002f2: OR 000002f3: DUP3 000002f4: SSTORE 000002f5: PUSH1 0x40 000002f7: MLOAD 000002f8: SWAP1 000002f9: SWAP2 000002fa: CALLER 000002fb: SWAP2 000002fc: PUSH32 0x8292fce18fa69edf4db7b94ea2e58241df0ae57f97e0a6c9b29067028bf92d76 0000031d: SWAP2 0000031e: SWAP1 0000031f: LOG3 00000320: POP 00000321: JUMP 00000322: JUMPDEST 00000323: PUSH1 0x00 00000325: SLOAD 00000326: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033b: AND 0000033c: CALLER 0000033d: EQ 0000033e: PUSH2 0x03a3 00000341: JUMPI 00000342: PUSH1 0x40 00000344: MLOAD 00000345: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000366: DUP2 00000367: MSTORE 00000368: PUSH1 0x20 0000036a: PUSH1 0x04 0000036c: DUP3 0000036d: ADD 0000036e: MSTORE 0000036f: PUSH1 0x0c 00000371: PUSH1 0x24 00000373: DUP3 00000374: ADD 00000375: MSTORE 00000376: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 00000397: PUSH1 0x44 00000399: DUP3 0000039a: ADD 0000039b: MSTORE 0000039c: PUSH1 0x64 0000039e: ADD 0000039f: PUSH2 0x02a9 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH1 0x40 000003a6: MLOAD 000003a7: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 000003c8: DUP2 000003c9: MSTORE 000003ca: ADDRESS 000003cb: PUSH1 0x04 000003cd: DUP3 000003ce: ADD 000003cf: MSTORE 000003d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e5: DUP4 000003e6: DUP2 000003e7: AND 000003e8: PUSH1 0x24 000003ea: DUP4 000003eb: ADD 000003ec: MSTORE 000003ed: PUSH1 0x44 000003ef: DUP3 000003f0: ADD 000003f1: DUP4 000003f2: SWAP1 000003f3: MSTORE 000003f4: DUP5 000003f5: AND 000003f6: SWAP1 000003f7: PUSH4 0x23b872dd 000003fc: SWAP1 000003fd: PUSH1 0x64 000003ff: ADD 00000400: PUSH1 0x00 00000402: PUSH1 0x40 00000404: MLOAD 00000405: DUP1 00000406: DUP4 00000407: SUB 00000408: DUP2 00000409: PUSH1 0x00 0000040b: DUP8 0000040c: DUP1 0000040d: EXTCODESIZE 0000040e: ISZERO 0000040f: DUP1 00000410: ISZERO 00000411: PUSH2 0x0419 00000414: JUMPI 00000415: PUSH1 0x00 00000417: DUP1 00000418: REVERT 00000419: JUMPDEST 0000041a: POP 0000041b: GAS 0000041c: CALL 0000041d: ISZERO 0000041e: DUP1 0000041f: ISZERO 00000420: PUSH2 0x042d 00000423: JUMPI 00000424: RETURNDATASIZE 00000425: PUSH1 0x00 00000427: DUP1 00000428: RETURNDATACOPY 00000429: RETURNDATASIZE 0000042a: PUSH1 0x00 0000042c: REVERT 0000042d: JUMPDEST 0000042e: POP 0000042f: POP 00000430: POP 00000431: POP 00000432: DUP3 00000433: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000448: AND 00000449: DUP3 0000044a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000045f: AND 00000460: CALLER 00000461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000476: AND 00000477: PUSH32 0x30b478a5e196e55886228aa87ba74a7dfeba655e0a4d7ba275eabfc22aabb7a8 00000498: DUP5 00000499: PUSH1 0x40 0000049b: MLOAD 0000049c: PUSH2 0x04a7 0000049f: SWAP2 000004a0: DUP2 000004a1: MSTORE 000004a2: PUSH1 0x20 000004a4: ADD 000004a5: SWAP1 000004a6: JUMP 000004a7: JUMPDEST 000004a8: PUSH1 0x40 000004aa: MLOAD 000004ab: DUP1 000004ac: SWAP2 000004ad: SUB 000004ae: SWAP1 000004af: LOG4 000004b0: POP 000004b1: POP 000004b2: POP 000004b3: JUMP 000004b4: JUMPDEST 000004b5: PUSH1 0x00 000004b7: SLOAD 000004b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cd: AND 000004ce: CALLER 000004cf: EQ 000004d0: PUSH2 0x0535 000004d3: JUMPI 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004f8: DUP2 000004f9: MSTORE 000004fa: PUSH1 0x20 000004fc: PUSH1 0x04 000004fe: DUP3 000004ff: ADD 00000500: MSTORE 00000501: PUSH1 0x0c 00000503: PUSH1 0x24 00000505: DUP3 00000506: ADD 00000507: MSTORE 00000508: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 00000529: PUSH1 0x44 0000052b: DUP3 0000052c: ADD 0000052d: MSTORE 0000052e: PUSH1 0x64 00000530: ADD 00000531: PUSH2 0x02a9 00000534: JUMP 00000535: JUMPDEST 00000536: PUSH1 0x40 00000538: MLOAD 00000539: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000055a: DUP2 0000055b: MSTORE 0000055c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000571: DUP4 00000572: DUP2 00000573: AND 00000574: PUSH1 0x04 00000576: DUP4 00000577: ADD 00000578: MSTORE 00000579: PUSH1 0x24 0000057b: DUP3 0000057c: ADD 0000057d: DUP4 0000057e: SWAP1 0000057f: MSTORE 00000580: DUP5 00000581: AND 00000582: SWAP1 00000583: PUSH4 0xa9059cbb 00000588: SWAP1 00000589: PUSH1 0x44 0000058b: ADD 0000058c: PUSH1 0x20 0000058e: PUSH1 0x40 00000590: MLOAD 00000591: DUP1 00000592: DUP4 00000593: SUB 00000594: DUP2 00000595: PUSH1 0x00 00000597: DUP8 00000598: DUP1 00000599: EXTCODESIZE 0000059a: ISZERO 0000059b: DUP1 0000059c: ISZERO 0000059d: PUSH2 0x05a5 000005a0: JUMPI 000005a1: PUSH1 0x00 000005a3: DUP1 000005a4: REVERT 000005a5: JUMPDEST 000005a6: POP 000005a7: GAS 000005a8: CALL 000005a9: ISZERO 000005aa: DUP1 000005ab: ISZERO 000005ac: PUSH2 0x05b9 000005af: JUMPI 000005b0: RETURNDATASIZE 000005b1: PUSH1 0x00 000005b3: DUP1 000005b4: RETURNDATACOPY 000005b5: RETURNDATASIZE 000005b6: PUSH1 0x00 000005b8: REVERT 000005b9: JUMPDEST 000005ba: POP 000005bb: POP 000005bc: POP 000005bd: POP 000005be: PUSH1 0x40 000005c0: MLOAD 000005c1: RETURNDATASIZE 000005c2: PUSH1 0x1f 000005c4: NOT 000005c5: PUSH1 0x1f 000005c7: DUP3 000005c8: ADD 000005c9: AND 000005ca: DUP3 000005cb: ADD 000005cc: DUP1 000005cd: PUSH1 0x40 000005cf: MSTORE 000005d0: POP 000005d1: DUP2 000005d2: ADD 000005d3: SWAP1 000005d4: PUSH2 0x05dd 000005d7: SWAP2 000005d8: SWAP1 000005d9: PUSH2 0x0e21 000005dc: JUMP 000005dd: JUMPDEST 000005de: POP 000005df: DUP3 000005e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f5: AND 000005f6: DUP3 000005f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060c: AND 0000060d: CALLER 0000060e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000623: AND 00000624: PUSH32 0x6b00f1c7883f053ba83e907fd1965b22fffe3c4111383e725f04638a566cdbfa 00000645: DUP5 00000646: PUSH1 0x40 00000648: MLOAD 00000649: PUSH2 0x04a7 0000064c: SWAP2 0000064d: DUP2 0000064e: MSTORE 0000064f: PUSH1 0x20 00000651: ADD 00000652: SWAP1 00000653: JUMP 00000654: JUMPDEST 00000655: PUSH1 0x00 00000657: SLOAD 00000658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066d: AND 0000066e: CALLER 0000066f: EQ 00000670: PUSH2 0x06d5 00000673: JUMPI 00000674: PUSH1 0x40 00000676: MLOAD 00000677: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000698: DUP2 00000699: MSTORE 0000069a: PUSH1 0x20 0000069c: PUSH1 0x04 0000069e: DUP3 0000069f: ADD 000006a0: MSTORE 000006a1: PUSH1 0x0c 000006a3: PUSH1 0x24 000006a5: DUP3 000006a6: ADD 000006a7: MSTORE 000006a8: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 000006c9: PUSH1 0x44 000006cb: DUP3 000006cc: ADD 000006cd: MSTORE 000006ce: PUSH1 0x64 000006d0: ADD 000006d1: PUSH2 0x02a9 000006d4: JUMP 000006d5: JUMPDEST 000006d6: PUSH1 0x40 000006d8: MLOAD 000006d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ee: DUP4 000006ef: AND 000006f0: SWAP1 000006f1: DUP3 000006f2: ISZERO 000006f3: PUSH2 0x08fc 000006f6: MUL 000006f7: SWAP1 000006f8: DUP4 000006f9: SWAP1 000006fa: PUSH1 0x00 000006fc: DUP2 000006fd: DUP2 000006fe: DUP2 000006ff: DUP6 00000700: DUP9 00000701: DUP9 00000702: CALL 00000703: SWAP4 00000704: POP 00000705: POP 00000706: POP 00000707: POP 00000708: ISZERO 00000709: DUP1 0000070a: ISZERO 0000070b: PUSH2 0x0718 0000070e: JUMPI 0000070f: RETURNDATASIZE 00000710: PUSH1 0x00 00000712: DUP1 00000713: RETURNDATACOPY 00000714: RETURNDATASIZE 00000715: PUSH1 0x00 00000717: REVERT 00000718: JUMPDEST 00000719: POP 0000071a: PUSH1 0x40 0000071c: MLOAD 0000071d: DUP2 0000071e: DUP2 0000071f: MSTORE 00000720: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000735: DUP4 00000736: AND 00000737: SWAP1 00000738: CALLER 00000739: SWAP1 0000073a: PUSH32 0x1f12aa8b6d492dd9b98e2b00b0b20830c2a7ded65afac13b60d169a034ae90bc 0000075b: SWAP1 0000075c: PUSH1 0x20 0000075e: ADD 0000075f: PUSH1 0x40 00000761: MLOAD 00000762: DUP1 00000763: SWAP2 00000764: SUB 00000765: SWAP1 00000766: LOG3 00000767: POP 00000768: POP 00000769: JUMP 0000076a: JUMPDEST 0000076b: PUSH1 0x00 0000076d: DUP1 0000076e: SLOAD 0000076f: PUSH1 0x60 00000771: SWAP1 00000772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000787: AND 00000788: CALLER 00000789: EQ 0000078a: PUSH2 0x07ef 0000078d: JUMPI 0000078e: PUSH1 0x40 00000790: MLOAD 00000791: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007b2: DUP2 000007b3: MSTORE 000007b4: PUSH1 0x20 000007b6: PUSH1 0x04 000007b8: DUP3 000007b9: ADD 000007ba: MSTORE 000007bb: PUSH1 0x0c 000007bd: PUSH1 0x24 000007bf: DUP3 000007c0: ADD 000007c1: MSTORE 000007c2: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 000007e3: PUSH1 0x44 000007e5: DUP3 000007e6: ADD 000007e7: MSTORE 000007e8: PUSH1 0x64 000007ea: ADD 000007eb: PUSH2 0x02a9 000007ee: JUMP 000007ef: JUMPDEST 000007f0: DUP5 000007f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000806: AND 00000807: DUP4 00000808: DUP6 00000809: PUSH1 0x40 0000080b: MLOAD 0000080c: PUSH2 0x0815 0000080f: SWAP2 00000810: SWAP1 00000811: PUSH2 0x0e43 00000814: JUMP 00000815: JUMPDEST 00000816: PUSH1 0x00 00000818: PUSH1 0x40 0000081a: MLOAD 0000081b: DUP1 0000081c: DUP4 0000081d: SUB 0000081e: DUP2 0000081f: DUP7 00000820: DUP7 00000821: DELEGATECALL 00000822: SWAP3 00000823: POP 00000824: POP 00000825: POP 00000826: RETURNDATASIZE 00000827: DUP1 00000828: PUSH1 0x00 0000082a: DUP2 0000082b: EQ 0000082c: PUSH2 0x0851 0000082f: JUMPI 00000830: PUSH1 0x40 00000832: MLOAD 00000833: SWAP2 00000834: POP 00000835: PUSH1 0x1f 00000837: NOT 00000838: PUSH1 0x3f 0000083a: RETURNDATASIZE 0000083b: ADD 0000083c: AND 0000083d: DUP3 0000083e: ADD 0000083f: PUSH1 0x40 00000841: MSTORE 00000842: RETURNDATASIZE 00000843: DUP3 00000844: MSTORE 00000845: RETURNDATASIZE 00000846: PUSH1 0x00 00000848: PUSH1 0x20 0000084a: DUP5 0000084b: ADD 0000084c: RETURNDATACOPY 0000084d: PUSH2 0x0856 00000850: JUMP 00000851: JUMPDEST 00000852: PUSH1 0x60 00000854: SWAP2 00000855: POP 00000856: JUMPDEST 00000857: POP 00000858: SWAP2 00000859: POP 0000085a: SWAP2 0000085b: POP 0000085c: SWAP4 0000085d: POP 0000085e: SWAP4 0000085f: SWAP2 00000860: POP 00000861: POP 00000862: JUMP 00000863: JUMPDEST 00000864: PUSH1 0x00 00000866: SLOAD 00000867: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087c: AND 0000087d: CALLER 0000087e: EQ 0000087f: PUSH2 0x08e4 00000882: JUMPI 00000883: PUSH1 0x40 00000885: MLOAD 00000886: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008a7: DUP2 000008a8: MSTORE 000008a9: PUSH1 0x20 000008ab: PUSH1 0x04 000008ad: DUP3 000008ae: ADD 000008af: MSTORE 000008b0: PUSH1 0x0c 000008b2: PUSH1 0x24 000008b4: DUP3 000008b5: ADD 000008b6: MSTORE 000008b7: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 000008d8: PUSH1 0x44 000008da: DUP3 000008db: ADD 000008dc: MSTORE 000008dd: PUSH1 0x64 000008df: ADD 000008e0: PUSH2 0x02a9 000008e3: JUMP 000008e4: JUMPDEST 000008e5: PUSH2 0x08ee 000008e8: DUP2 000008e9: SELFBALANCE 000008ea: PUSH2 0x0654 000008ed: JUMP 000008ee: JUMPDEST 000008ef: POP 000008f0: JUMP 000008f1: JUMPDEST 000008f2: PUSH1 0x00 000008f4: SLOAD 000008f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090a: AND 0000090b: CALLER 0000090c: EQ 0000090d: PUSH2 0x0972 00000910: JUMPI 00000911: PUSH1 0x40 00000913: MLOAD 00000914: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000935: DUP2 00000936: MSTORE 00000937: PUSH1 0x20 00000939: PUSH1 0x04 0000093b: DUP3 0000093c: ADD 0000093d: MSTORE 0000093e: PUSH1 0x0c 00000940: PUSH1 0x24 00000942: DUP3 00000943: ADD 00000944: MSTORE 00000945: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 00000966: PUSH1 0x44 00000968: DUP3 00000969: ADD 0000096a: MSTORE 0000096b: PUSH1 0x64 0000096d: ADD 0000096e: PUSH2 0x02a9 00000971: JUMP 00000972: JUMPDEST 00000973: PUSH1 0x40 00000975: MLOAD 00000976: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000997: DUP2 00000998: MSTORE 00000999: ADDRESS 0000099a: PUSH1 0x04 0000099c: DUP3 0000099d: ADD 0000099e: MSTORE 0000099f: PUSH2 0x0a17 000009a2: SWAP1 000009a3: DUP4 000009a4: SWAP1 000009a5: DUP4 000009a6: SWAP1 000009a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009bc: DUP4 000009bd: AND 000009be: SWAP1 000009bf: PUSH4 0x70a08231 000009c4: SWAP1 000009c5: PUSH1 0x24 000009c7: ADD 000009c8: PUSH1 0x20 000009ca: PUSH1 0x40 000009cc: MLOAD 000009cd: DUP1 000009ce: DUP4 000009cf: SUB 000009d0: DUP2 000009d1: DUP7 000009d2: DUP1 000009d3: EXTCODESIZE 000009d4: ISZERO 000009d5: DUP1 000009d6: ISZERO 000009d7: PUSH2 0x09df 000009da: JUMPI 000009db: PUSH1 0x00 000009dd: DUP1 000009de: REVERT 000009df: JUMPDEST 000009e0: POP 000009e1: GAS 000009e2: STATICCALL 000009e3: ISZERO 000009e4: DUP1 000009e5: ISZERO 000009e6: PUSH2 0x09f3 000009e9: JUMPI 000009ea: RETURNDATASIZE 000009eb: PUSH1 0x00 000009ed: DUP1 000009ee: RETURNDATACOPY 000009ef: RETURNDATASIZE 000009f0: PUSH1 0x00 000009f2: REVERT 000009f3: JUMPDEST 000009f4: POP 000009f5: POP 000009f6: POP 000009f7: POP 000009f8: PUSH1 0x40 000009fa: MLOAD 000009fb: RETURNDATASIZE 000009fc: PUSH1 0x1f 000009fe: NOT 000009ff: PUSH1 0x1f 00000a01: DUP3 00000a02: ADD 00000a03: AND 00000a04: DUP3 00000a05: ADD 00000a06: DUP1 00000a07: PUSH1 0x40 00000a09: MSTORE 00000a0a: POP 00000a0b: DUP2 00000a0c: ADD 00000a0d: SWAP1 00000a0e: PUSH2 0x0138 00000a11: SWAP2 00000a12: SWAP1 00000a13: PUSH2 0x0e5f 00000a16: JUMP 00000a17: JUMPDEST 00000a18: POP 00000a19: POP 00000a1a: JUMP 00000a1b: JUMPDEST 00000a1c: PUSH1 0x00 00000a1e: DUP1 00000a1f: SLOAD 00000a20: PUSH1 0x60 00000a22: SWAP1 00000a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a38: AND 00000a39: CALLER 00000a3a: EQ 00000a3b: PUSH2 0x0aa0 00000a3e: JUMPI 00000a3f: PUSH1 0x40 00000a41: MLOAD 00000a42: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a63: DUP2 00000a64: MSTORE 00000a65: PUSH1 0x20 00000a67: PUSH1 0x04 00000a69: DUP3 00000a6a: ADD 00000a6b: MSTORE 00000a6c: PUSH1 0x0c 00000a6e: PUSH1 0x24 00000a70: DUP3 00000a71: ADD 00000a72: MSTORE 00000a73: PUSH32 0x554e415554484f52495a45440000000000000000000000000000000000000000 00000a94: PUSH1 0x44 00000a96: DUP3 00000a97: ADD 00000a98: MSTORE 00000a99: PUSH1 0x64 00000a9b: ADD 00000a9c: PUSH2 0x02a9 00000a9f: JUMP 00000aa0: JUMPDEST 00000aa1: DUP6 00000aa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab7: AND 00000ab8: DUP5 00000ab9: DUP5 00000aba: DUP8 00000abb: PUSH1 0x40 00000abd: MLOAD 00000abe: PUSH2 0x0ac7 00000ac1: SWAP2 00000ac2: SWAP1 00000ac3: PUSH2 0x0e43 00000ac6: JUMP 00000ac7: JUMPDEST 00000ac8: PUSH1 0x00 00000aca: PUSH1 0x40 00000acc: MLOAD 00000acd: DUP1 00000ace: DUP4 00000acf: SUB 00000ad0: DUP2 00000ad1: DUP6 00000ad2: DUP9 00000ad3: DUP9 00000ad4: CALL 00000ad5: SWAP4 00000ad6: POP 00000ad7: POP 00000ad8: POP 00000ad9: POP 00000ada: RETURNDATASIZE 00000adb: DUP1 00000adc: PUSH1 0x00 00000ade: DUP2 00000adf: EQ 00000ae0: PUSH2 0x0b05 00000ae3: JUMPI 00000ae4: PUSH1 0x40 00000ae6: MLOAD 00000ae7: SWAP2 00000ae8: POP 00000ae9: PUSH1 0x1f 00000aeb: NOT 00000aec: PUSH1 0x3f 00000aee: RETURNDATASIZE 00000aef: ADD 00000af0: AND 00000af1: DUP3 00000af2: ADD 00000af3: PUSH1 0x40 00000af5: MSTORE 00000af6: RETURNDATASIZE 00000af7: DUP3 00000af8: MSTORE 00000af9: RETURNDATASIZE 00000afa: PUSH1 0x00 00000afc: PUSH1 0x20 00000afe: DUP5 00000aff: ADD 00000b00: RETURNDATACOPY 00000b01: PUSH2 0x0b0a 00000b04: JUMP 00000b05: JUMPDEST 00000b06: PUSH1 0x60 00000b08: SWAP2 00000b09: POP 00000b0a: JUMPDEST 00000b0b: POP 00000b0c: SWAP2 00000b0d: POP 00000b0e: SWAP2 00000b0f: POP 00000b10: SWAP5 00000b11: POP 00000b12: SWAP5 00000b13: SWAP3 00000b14: POP 00000b15: POP 00000b16: POP 00000b17: JUMP 00000b18: JUMPDEST 00000b19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2e: DUP2 00000b2f: AND 00000b30: DUP2 00000b31: EQ 00000b32: PUSH2 0x08ee 00000b35: JUMPI 00000b36: PUSH1 0x00 00000b38: DUP1 00000b39: REVERT 00000b3a: JUMPDEST 00000b3b: PUSH1 0x00 00000b3d: PUSH1 0x20 00000b3f: DUP3 00000b40: DUP5 00000b41: SUB 00000b42: SLT 00000b43: ISZERO 00000b44: PUSH2 0x0b4c 00000b47: JUMPI 00000b48: PUSH1 0x00 00000b4a: DUP1 00000b4b: REVERT 00000b4c: JUMPDEST 00000b4d: DUP2 00000b4e: CALLDATALOAD 00000b4f: PUSH2 0x0b57 00000b52: DUP2 00000b53: PUSH2 0x0b18 00000b56: JUMP 00000b57: JUMPDEST 00000b58: SWAP4 00000b59: SWAP3 00000b5a: POP 00000b5b: POP 00000b5c: POP 00000b5d: JUMP 00000b5e: JUMPDEST 00000b5f: PUSH1 0x00 00000b61: DUP1 00000b62: PUSH1 0x00 00000b64: PUSH1 0x60 00000b66: DUP5 00000b67: DUP7 00000b68: SUB 00000b69: SLT 00000b6a: ISZERO 00000b6b: PUSH2 0x0b73 00000b6e: JUMPI 00000b6f: PUSH1 0x00 00000b71: DUP1 00000b72: REVERT 00000b73: JUMPDEST 00000b74: DUP4 00000b75: CALLDATALOAD 00000b76: PUSH2 0x0b7e 00000b79: DUP2 00000b7a: PUSH2 0x0b18 00000b7d: JUMP 00000b7e: JUMPDEST 00000b7f: SWAP3 00000b80: POP 00000b81: PUSH1 0x20 00000b83: DUP5 00000b84: ADD 00000b85: CALLDATALOAD 00000b86: PUSH2 0x0b8e 00000b89: DUP2 00000b8a: PUSH2 0x0b18 00000b8d: JUMP 00000b8e: JUMPDEST 00000b8f: SWAP3 00000b90: SWAP6 00000b91: SWAP3 00000b92: SWAP5 00000b93: POP 00000b94: POP 00000b95: POP 00000b96: PUSH1 0x40 00000b98: SWAP2 00000b99: SWAP1 00000b9a: SWAP2 00000b9b: ADD 00000b9c: CALLDATALOAD 00000b9d: SWAP1 00000b9e: JUMP 00000b9f: JUMPDEST 00000ba0: PUSH1 0x00 00000ba2: DUP1 00000ba3: PUSH1 0x40 00000ba5: DUP4 00000ba6: DUP6 00000ba7: SUB 00000ba8: SLT 00000ba9: ISZERO 00000baa: PUSH2 0x0bb2 00000bad: JUMPI 00000bae: PUSH1 0x00 00000bb0: DUP1 00000bb1: REVERT 00000bb2: JUMPDEST 00000bb3: DUP3 00000bb4: CALLDATALOAD 00000bb5: PUSH2 0x0bbd 00000bb8: DUP2 00000bb9: PUSH2 0x0b18 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: SWAP5 00000bbf: PUSH1 0x20 00000bc1: SWAP4 00000bc2: SWAP1 00000bc3: SWAP4 00000bc4: ADD 00000bc5: CALLDATALOAD 00000bc6: SWAP4 00000bc7: POP 00000bc8: POP 00000bc9: POP 00000bca: JUMP 00000bcb: JUMPDEST 00000bcc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000bed: PUSH1 0x00 00000bef: MSTORE 00000bf0: PUSH1 0x41 00000bf2: PUSH1 0x04 00000bf4: MSTORE 00000bf5: PUSH1 0x24 00000bf7: PUSH1 0x00 00000bf9: REVERT 00000bfa: JUMPDEST 00000bfb: PUSH1 0x00 00000bfd: DUP3 00000bfe: PUSH1 0x1f 00000c00: DUP4 00000c01: ADD 00000c02: SLT 00000c03: PUSH2 0x0c0b 00000c06: JUMPI 00000c07: PUSH1 0x00 00000c09: DUP1 00000c0a: REVERT 00000c0b: JUMPDEST 00000c0c: DUP2 00000c0d: CALLDATALOAD 00000c0e: PUSH8 0xffffffffffffffff 00000c17: DUP1 00000c18: DUP3 00000c19: GT 00000c1a: ISZERO 00000c1b: PUSH2 0x0c26 00000c1e: JUMPI 00000c1f: PUSH2 0x0c26 00000c22: PUSH2 0x0bcb 00000c25: JUMP 00000c26: JUMPDEST 00000c27: PUSH1 0x40 00000c29: MLOAD 00000c2a: PUSH1 0x1f 00000c2c: DUP4 00000c2d: ADD 00000c2e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000c4f: SWAP1 00000c50: DUP2 00000c51: AND 00000c52: PUSH1 0x3f 00000c54: ADD 00000c55: AND 00000c56: DUP2 00000c57: ADD 00000c58: SWAP1 00000c59: DUP3 00000c5a: DUP3 00000c5b: GT 00000c5c: DUP2 00000c5d: DUP4 00000c5e: LT 00000c5f: OR 00000c60: ISZERO 00000c61: PUSH2 0x0c6c 00000c64: JUMPI 00000c65: PUSH2 0x0c6c 00000c68: PUSH2 0x0bcb 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: DUP2 00000c6e: PUSH1 0x40 00000c70: MSTORE 00000c71: DUP4 00000c72: DUP2 00000c73: MSTORE 00000c74: DUP7 00000c75: PUSH1 0x20 00000c77: DUP6 00000c78: DUP9 00000c79: ADD 00000c7a: ADD 00000c7b: GT 00000c7c: ISZERO 00000c7d: PUSH2 0x0c85 00000c80: JUMPI 00000c81: PUSH1 0x00 00000c83: DUP1 00000c84: REVERT 00000c85: JUMPDEST 00000c86: DUP4 00000c87: PUSH1 0x20 00000c89: DUP8 00000c8a: ADD 00000c8b: PUSH1 0x20 00000c8d: DUP4 00000c8e: ADD 00000c8f: CALLDATACOPY 00000c90: PUSH1 0x00 00000c92: PUSH1 0x20 00000c94: DUP6 00000c95: DUP4 00000c96: ADD 00000c97: ADD 00000c98: MSTORE 00000c99: DUP1 00000c9a: SWAP5 00000c9b: POP 00000c9c: POP 00000c9d: POP 00000c9e: POP 00000c9f: POP 00000ca0: SWAP3 00000ca1: SWAP2 00000ca2: POP 00000ca3: POP 00000ca4: JUMP 00000ca5: JUMPDEST 00000ca6: PUSH1 0x00 00000ca8: DUP1 00000ca9: PUSH1 0x00 00000cab: PUSH1 0x60 00000cad: DUP5 00000cae: DUP7 00000caf: SUB 00000cb0: SLT 00000cb1: ISZERO 00000cb2: PUSH2 0x0cba 00000cb5: JUMPI 00000cb6: PUSH1 0x00 00000cb8: DUP1 00000cb9: REVERT 00000cba: JUMPDEST 00000cbb: DUP4 00000cbc: CALLDATALOAD 00000cbd: PUSH2 0x0cc5 00000cc0: DUP2 00000cc1: PUSH2 0x0b18 00000cc4: JUMP 00000cc5: JUMPDEST 00000cc6: SWAP3 00000cc7: POP 00000cc8: PUSH1 0x20 00000cca: DUP5 00000ccb: ADD 00000ccc: CALLDATALOAD 00000ccd: PUSH8 0xffffffffffffffff 00000cd6: DUP2 00000cd7: GT 00000cd8: ISZERO 00000cd9: PUSH2 0x0ce1 00000cdc: JUMPI 00000cdd: PUSH1 0x00 00000cdf: DUP1 00000ce0: REVERT 00000ce1: JUMPDEST 00000ce2: PUSH2 0x0ced 00000ce5: DUP7 00000ce6: DUP3 00000ce7: DUP8 00000ce8: ADD 00000ce9: PUSH2 0x0bfa 00000cec: JUMP 00000ced: JUMPDEST 00000cee: SWAP3 00000cef: POP 00000cf0: POP 00000cf1: PUSH1 0x40 00000cf3: DUP5 00000cf4: ADD 00000cf5: CALLDATALOAD 00000cf6: SWAP1 00000cf7: POP 00000cf8: SWAP3 00000cf9: POP 00000cfa: SWAP3 00000cfb: POP 00000cfc: SWAP3 00000cfd: JUMP 00000cfe: JUMPDEST 00000cff: PUSH1 0x00 00000d01: JUMPDEST 00000d02: DUP4 00000d03: DUP2 00000d04: LT 00000d05: ISZERO 00000d06: PUSH2 0x0d19 00000d09: JUMPI 00000d0a: DUP2 00000d0b: DUP2 00000d0c: ADD 00000d0d: MLOAD 00000d0e: DUP4 00000d0f: DUP3 00000d10: ADD 00000d11: MSTORE 00000d12: PUSH1 0x20 00000d14: ADD 00000d15: PUSH2 0x0d01 00000d18: JUMP 00000d19: JUMPDEST 00000d1a: DUP4 00000d1b: DUP2 00000d1c: GT 00000d1d: ISZERO 00000d1e: PUSH2 0x0d28 00000d21: JUMPI 00000d22: PUSH1 0x00 00000d24: DUP5 00000d25: DUP5 00000d26: ADD 00000d27: MSTORE 00000d28: JUMPDEST 00000d29: POP 00000d2a: POP 00000d2b: POP 00000d2c: POP 00000d2d: JUMP 00000d2e: JUMPDEST 00000d2f: DUP3 00000d30: ISZERO 00000d31: ISZERO 00000d32: DUP2 00000d33: MSTORE 00000d34: PUSH1 0x40 00000d36: PUSH1 0x20 00000d38: DUP3 00000d39: ADD 00000d3a: MSTORE 00000d3b: PUSH1 0x00 00000d3d: DUP3 00000d3e: MLOAD 00000d3f: DUP1 00000d40: PUSH1 0x40 00000d42: DUP5 00000d43: ADD 00000d44: MSTORE 00000d45: PUSH2 0x0d55 00000d48: DUP2 00000d49: PUSH1 0x60 00000d4b: DUP6 00000d4c: ADD 00000d4d: PUSH1 0x20 00000d4f: DUP8 00000d50: ADD 00000d51: PUSH2 0x0cfe 00000d54: JUMP 00000d55: JUMPDEST 00000d56: PUSH1 0x1f 00000d58: ADD 00000d59: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000d7a: AND 00000d7b: SWAP2 00000d7c: SWAP1 00000d7d: SWAP2 00000d7e: ADD 00000d7f: PUSH1 0x60 00000d81: ADD 00000d82: SWAP4 00000d83: SWAP3 00000d84: POP 00000d85: POP 00000d86: POP 00000d87: JUMP 00000d88: JUMPDEST 00000d89: PUSH1 0x00 00000d8b: DUP1 00000d8c: PUSH1 0x40 00000d8e: DUP4 00000d8f: DUP6 00000d90: SUB 00000d91: SLT 00000d92: ISZERO 00000d93: PUSH2 0x0d9b 00000d96: JUMPI 00000d97: PUSH1 0x00 00000d99: DUP1 00000d9a: REVERT 00000d9b: JUMPDEST 00000d9c: DUP3 00000d9d: CALLDATALOAD 00000d9e: PUSH2 0x0da6 00000da1: DUP2 00000da2: PUSH2 0x0b18 00000da5: JUMP 00000da6: JUMPDEST 00000da7: SWAP2 00000da8: POP 00000da9: PUSH1 0x20 00000dab: DUP4 00000dac: ADD 00000dad: CALLDATALOAD 00000dae: PUSH2 0x0db6 00000db1: DUP2 00000db2: PUSH2 0x0b18 00000db5: JUMP 00000db6: JUMPDEST 00000db7: DUP1 00000db8: SWAP2 00000db9: POP 00000dba: POP 00000dbb: SWAP3 00000dbc: POP 00000dbd: SWAP3 00000dbe: SWAP1 00000dbf: POP 00000dc0: JUMP 00000dc1: JUMPDEST 00000dc2: PUSH1 0x00 00000dc4: DUP1 00000dc5: PUSH1 0x00 00000dc7: DUP1 00000dc8: PUSH1 0x80 00000dca: DUP6 00000dcb: DUP8 00000dcc: SUB 00000dcd: SLT 00000dce: ISZERO 00000dcf: PUSH2 0x0dd7 00000dd2: JUMPI 00000dd3: PUSH1 0x00 00000dd5: DUP1 00000dd6: REVERT 00000dd7: JUMPDEST 00000dd8: DUP5 00000dd9: CALLDATALOAD 00000dda: PUSH2 0x0de2 00000ddd: DUP2 00000dde: PUSH2 0x0b18 00000de1: JUMP 00000de2: JUMPDEST 00000de3: SWAP4 00000de4: POP 00000de5: PUSH1 0x20 00000de7: DUP6 00000de8: ADD 00000de9: CALLDATALOAD 00000dea: PUSH8 0xffffffffffffffff 00000df3: DUP2 00000df4: GT 00000df5: ISZERO 00000df6: PUSH2 0x0dfe 00000df9: JUMPI 00000dfa: PUSH1 0x00 00000dfc: DUP1 00000dfd: REVERT 00000dfe: JUMPDEST 00000dff: PUSH2 0x0e0a 00000e02: DUP8 00000e03: DUP3 00000e04: DUP9 00000e05: ADD 00000e06: PUSH2 0x0bfa 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: SWAP5 00000e0c: SWAP8 00000e0d: SWAP5 00000e0e: SWAP7 00000e0f: POP 00000e10: POP 00000e11: POP 00000e12: POP 00000e13: PUSH1 0x40 00000e15: DUP4 00000e16: ADD 00000e17: CALLDATALOAD 00000e18: SWAP3 00000e19: PUSH1 0x60 00000e1b: ADD 00000e1c: CALLDATALOAD 00000e1d: SWAP2 00000e1e: SWAP1 00000e1f: POP 00000e20: JUMP 00000e21: JUMPDEST 00000e22: PUSH1 0x00 00000e24: PUSH1 0x20 00000e26: DUP3 00000e27: DUP5 00000e28: SUB 00000e29: SLT 00000e2a: ISZERO 00000e2b: PUSH2 0x0e33 00000e2e: JUMPI 00000e2f: PUSH1 0x00 00000e31: DUP1 00000e32: REVERT 00000e33: JUMPDEST 00000e34: DUP2 00000e35: MLOAD 00000e36: DUP1 00000e37: ISZERO 00000e38: ISZERO 00000e39: DUP2 00000e3a: EQ 00000e3b: PUSH2 0x0b57 00000e3e: JUMPI 00000e3f: PUSH1 0x00 00000e41: DUP1 00000e42: REVERT 00000e43: JUMPDEST 00000e44: PUSH1 0x00 00000e46: DUP3 00000e47: MLOAD 00000e48: PUSH2 0x0e55 00000e4b: DUP2 00000e4c: DUP5 00000e4d: PUSH1 0x20 00000e4f: DUP8 00000e50: ADD 00000e51: PUSH2 0x0cfe 00000e54: JUMP 00000e55: JUMPDEST 00000e56: SWAP2 00000e57: SWAP1 00000e58: SWAP2 00000e59: ADD 00000e5a: SWAP3 00000e5b: SWAP2 00000e5c: POP 00000e5d: POP 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: PUSH1 0x00 00000e62: PUSH1 0x20 00000e64: DUP3 00000e65: DUP5 00000e66: SUB 00000e67: SLT 00000e68: ISZERO 00000e69: PUSH2 0x0e71 00000e6c: JUMPI 00000e6d: PUSH1 0x00 00000e6f: DUP1 00000e70: REVERT 00000e71: JUMPDEST 00000e72: POP 00000e73: MLOAD 00000e74: SWAP2 00000e75: SWAP1 00000e76: POP 00000e77: JUMP 00000e78: INVALID 00000e79: LOG2 00000e7a: PUSH5 0x6970667358 00000e80: UNKNOWN(0x22) 00000e81: SLT 00000e82: KECCAK256 00000e83: UNKNOWN(0xA7) 00000e84: SWAP16 00000e85: UNKNOWN(0xDA) 00000e86: XOR 00000e87: DUP7 00000e88: SIGNEXTEND 00000e89: UNKNOWN(0xAA) 00000e8a: ADD 00000e8b: BYTE 00000e8c: CALLDATACOPY 00000e8d: DUP16 00000e8e: UNKNOWN(0x2E) 00000e8f: BLOBHASH 00000e90: PUSH4 0xa1c9eb8f 00000e95: UNKNOWN(0xA5) 00000e96: XOR 00000e97: UNKNOWN(0x4C) 00000e98: PUSH0 00000e99: UNKNOWN(0xD3) 00000e9a: SGT 00000e9b: SUB 00000e9c: ADDMOD 00000e9d: UNKNOWN(0xCE) 00000e9e: EXTCODECOPY 00000e9f: CALLDATALOAD 00000ea0: UNKNOWN(0xBA) 00000ea1: SWAP7 00000ea2: UNKNOWN(0xDA) 00000ea3: PUSH5 0x736f6c6343 00000ea9: STOP 00000eaa: ADDMOD 00000eab: MULMOD 00000eac: STOP 00000ead: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xf4a7583b1ebf3cc1e7c4bfae58f87f011fe2a33e7ae1bcd943e254957a51d40c
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 108,
"trace_id": "0xf4a7583b1ebf3cc1e7c4bfae58f87f011fe2a33e7ae1bcd943e254957a51d40c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9456fbcc",
"selector": "0x9456fbcc",
"calldata_variants": [
"0x9456fbcc",
"0x9456fbcc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e73dbea",
"selector": "0x9e73dbea",
"calldata_variants": [
"0x9e73dbea",
"0x9e73dbea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5cef8b4a",
"selector": "0x5cef8b4a",
"calldata_variants": [
"0x5cef8b4a",
"0x5cef8b4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x690d8320",
"selector": "0x690d8320",
"calldata_variants": [
"0x690d8320",
"0x690d83200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4025feb2",
"selector": "0x4025feb2",
"calldata_variants": [
"0x4025feb2",
"0x4025feb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44004cc1",
"selector": "0x44004cc1",
"calldata_variants": [
"0x44004cc1",
"0x44004cc10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2081,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x2a577233bb6631a8feebc9fc071972f7c4cde006e1e5cac3eb613dee7dc53bb5
call_targets:
0x15dda60616ffca20371ed1659dbb78e888f65556
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2a577233bb6631a8feebc9fc071972f7c4cde006e1e5cac3eb613dee7dc53bb5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x15dda60616ffca20371ed1659dbb78e888f65556"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9456fbcc",
"selector": "0x9456fbcc",
"calldata_variants": [
"0x9456fbcc",
"0x9456fbcc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e73dbea",
"selector": "0x9e73dbea",
"calldata_variants": [
"0x9e73dbea",
"0x9e73dbea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5cef8b4a",
"selector": "0x5cef8b4a",
"calldata_variants": [
"0x5cef8b4a",
"0x5cef8b4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x690d8320",
"selector": "0x690d8320",
"calldata_variants": [
"0x690d8320",
"0x690d83200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4025feb2",
"selector": "0x4025feb2",
"calldata_variants": [
"0x4025feb2",
"0x4025feb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44004cc1",
"selector": "0x44004cc1",
"calldata_variants": [
"0x44004cc1",
"0x44004cc10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1052,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1448,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1794,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x2a577233bb6631a8feebc9fc071972f7c4cde006e1e5cac3eb613dee7dc53bb5
call_targets:
0x15dda60616ffca20371ed1659dbb78e888f65556
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2a577233bb6631a8feebc9fc071972f7c4cde006e1e5cac3eb613dee7dc53bb5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x15dda60616ffca20371ed1659dbb78e888f65556"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9456fbcc",
"selector": "0x9456fbcc",
"calldata_variants": [
"0x9456fbcc",
"0x9456fbcc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e73dbea",
"selector": "0x9e73dbea",
"calldata_variants": [
"0x9e73dbea",
"0x9e73dbea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5cef8b4a",
"selector": "0x5cef8b4a",
"calldata_variants": [
"0x5cef8b4a",
"0x5cef8b4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x690d8320",
"selector": "0x690d8320",
"calldata_variants": [
"0x690d8320",
"0x690d83200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4025feb2",
"selector": "0x4025feb2",
"calldata_variants": [
"0x4025feb2",
"0x4025feb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44004cc1",
"selector": "0x44004cc1",
"calldata_variants": [
"0x44004cc1",
"0x44004cc10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1052,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1448,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1794,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|