019ba909-382f-7295-aa7f-246e737063b4
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 |
|---|---|---|---|---|
| 34197 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 34198 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 34199 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 34200 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 34201 | capability.graph | complete | 1 / 3 | 3 months ago |
| 34202 | detector.run | complete | 1 / 3 | 3 months ago |
| 34203 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "etherscan_only",
"etherscan_hint": {
"source": "etherscan",
"etherscan": {
"proxy_flag": true,
"implementation": "0x06dfae0488fca172500eead593cb978dc5c32193"
}
},
"implementation": "0x06dfae0488fca172500eead593cb978dc5c32193"
}
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 0x025b22bc 00000019: EQ 0000001a: PUSH2 0x00fe 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x5c60da1b 00000024: EQ 00000025: PUSH2 0x0127 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x715018a6 0000002f: EQ 00000030: PUSH2 0x0152 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x8da5cb5b 0000003a: EQ 0000003b: PUSH2 0x0169 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x0194 00000049: JUMPI 0000004a: PUSH2 0x0055 0000004d: JUMP 0000004e: JUMPDEST 0000004f: CALLDATASIZE 00000050: PUSH2 0x0055 00000053: JUMPI 00000054: STOP 00000055: JUMPDEST 00000056: PUSH1 0x00 00000058: PUSH1 0x01 0000005a: PUSH1 0x00 0000005c: SWAP1 0000005d: SLOAD 0000005e: SWAP1 0000005f: PUSH2 0x0100 00000062: EXP 00000063: SWAP1 00000064: DIV 00000065: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000007a: AND 0000007b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000090: AND 00000091: PUSH1 0x00 00000093: CALLDATASIZE 00000094: PUSH1 0x40 00000096: MLOAD 00000097: PUSH2 0x00a1 0000009a: SWAP3 0000009b: SWAP2 0000009c: SWAP1 0000009d: PUSH2 0x0603 000000a0: JUMP 000000a1: JUMPDEST 000000a2: PUSH1 0x00 000000a4: PUSH1 0x40 000000a6: MLOAD 000000a7: DUP1 000000a8: DUP4 000000a9: SUB 000000aa: DUP2 000000ab: DUP6 000000ac: GAS 000000ad: DELEGATECALL 000000ae: SWAP2 000000af: POP 000000b0: POP 000000b1: RETURNDATASIZE 000000b2: DUP1 000000b3: PUSH1 0x00 000000b5: DUP2 000000b6: EQ 000000b7: PUSH2 0x00dc 000000ba: JUMPI 000000bb: PUSH1 0x40 000000bd: MLOAD 000000be: SWAP2 000000bf: POP 000000c0: PUSH1 0x1f 000000c2: NOT 000000c3: PUSH1 0x3f 000000c5: RETURNDATASIZE 000000c6: ADD 000000c7: AND 000000c8: DUP3 000000c9: ADD 000000ca: PUSH1 0x40 000000cc: MSTORE 000000cd: RETURNDATASIZE 000000ce: DUP3 000000cf: MSTORE 000000d0: RETURNDATASIZE 000000d1: PUSH1 0x00 000000d3: PUSH1 0x20 000000d5: DUP5 000000d6: ADD 000000d7: RETURNDATACOPY 000000d8: PUSH2 0x00e1 000000db: JUMP 000000dc: JUMPDEST 000000dd: PUSH1 0x60 000000df: SWAP2 000000e0: POP 000000e1: JUMPDEST 000000e2: POP 000000e3: POP 000000e4: SWAP1 000000e5: POP 000000e6: PUSH1 0x40 000000e8: MLOAD 000000e9: RETURNDATASIZE 000000ea: PUSH1 0x00 000000ec: DUP3 000000ed: RETURNDATACOPY 000000ee: DUP2 000000ef: PUSH1 0x00 000000f1: DUP2 000000f2: EQ 000000f3: PUSH2 0x00fa 000000f6: JUMPI 000000f7: RETURNDATASIZE 000000f8: DUP3 000000f9: RETURN 000000fa: JUMPDEST 000000fb: RETURNDATASIZE 000000fc: DUP3 000000fd: REVERT 000000fe: JUMPDEST 000000ff: CALLVALUE 00000100: DUP1 00000101: ISZERO 00000102: PUSH2 0x010a 00000105: JUMPI 00000106: PUSH1 0x00 00000108: DUP1 00000109: REVERT 0000010a: JUMPDEST 0000010b: POP 0000010c: PUSH2 0x0125 0000010f: PUSH1 0x04 00000111: DUP1 00000112: CALLDATASIZE 00000113: SUB 00000114: DUP2 00000115: ADD 00000116: SWAP1 00000117: PUSH2 0x0120 0000011a: SWAP2 0000011b: SWAP1 0000011c: PUSH2 0x067f 0000011f: JUMP 00000120: JUMPDEST 00000121: PUSH2 0x01bd 00000124: JUMP 00000125: JUMPDEST 00000126: STOP 00000127: JUMPDEST 00000128: CALLVALUE 00000129: DUP1 0000012a: ISZERO 0000012b: PUSH2 0x0133 0000012e: JUMPI 0000012f: PUSH1 0x00 00000131: DUP1 00000132: REVERT 00000133: JUMPDEST 00000134: POP 00000135: PUSH2 0x013c 00000138: PUSH2 0x033d 0000013b: JUMP 0000013c: JUMPDEST 0000013d: PUSH1 0x40 0000013f: MLOAD 00000140: PUSH2 0x0149 00000143: SWAP2 00000144: SWAP1 00000145: PUSH2 0x06bb 00000148: JUMP 00000149: JUMPDEST 0000014a: PUSH1 0x40 0000014c: MLOAD 0000014d: DUP1 0000014e: SWAP2 0000014f: SUB 00000150: SWAP1 00000151: RETURN 00000152: JUMPDEST 00000153: CALLVALUE 00000154: DUP1 00000155: ISZERO 00000156: PUSH2 0x015e 00000159: JUMPI 0000015a: PUSH1 0x00 0000015c: DUP1 0000015d: REVERT 0000015e: JUMPDEST 0000015f: POP 00000160: PUSH2 0x0167 00000163: PUSH2 0x0367 00000166: JUMP 00000167: JUMPDEST 00000168: STOP 00000169: JUMPDEST 0000016a: CALLVALUE 0000016b: DUP1 0000016c: ISZERO 0000016d: PUSH2 0x0175 00000170: JUMPI 00000171: PUSH1 0x00 00000173: DUP1 00000174: REVERT 00000175: JUMPDEST 00000176: POP 00000177: PUSH2 0x017e 0000017a: PUSH2 0x037b 0000017d: JUMP 0000017e: JUMPDEST 0000017f: PUSH1 0x40 00000181: MLOAD 00000182: PUSH2 0x018b 00000185: SWAP2 00000186: SWAP1 00000187: PUSH2 0x06bb 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH1 0x40 0000018e: MLOAD 0000018f: DUP1 00000190: SWAP2 00000191: SUB 00000192: SWAP1 00000193: RETURN 00000194: JUMPDEST 00000195: CALLVALUE 00000196: DUP1 00000197: ISZERO 00000198: PUSH2 0x01a0 0000019b: JUMPI 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: POP 000001a2: PUSH2 0x01bb 000001a5: PUSH1 0x04 000001a7: DUP1 000001a8: CALLDATASIZE 000001a9: SUB 000001aa: DUP2 000001ab: ADD 000001ac: SWAP1 000001ad: PUSH2 0x01b6 000001b0: SWAP2 000001b1: SWAP1 000001b2: PUSH2 0x067f 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH2 0x03a4 000001ba: JUMP 000001bb: JUMPDEST 000001bc: STOP 000001bd: JUMPDEST 000001be: PUSH2 0x01c5 000001c1: PUSH2 0x0428 000001c4: JUMP 000001c5: JUMPDEST 000001c6: PUSH1 0x00 000001c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001dd: AND 000001de: DUP2 000001df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f4: AND 000001f5: EQ 000001f6: ISZERO 000001f7: PUSH2 0x0235 000001fa: JUMPI 000001fb: PUSH1 0x40 000001fd: MLOAD 000001fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000021f: DUP2 00000220: MSTORE 00000221: PUSH1 0x04 00000223: ADD 00000224: PUSH2 0x022c 00000227: SWAP1 00000228: PUSH2 0x0733 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH1 0x40 0000022f: MLOAD 00000230: DUP1 00000231: SWAP2 00000232: SUB 00000233: SWAP1 00000234: REVERT 00000235: JUMPDEST 00000236: PUSH2 0x023e 00000239: DUP2 0000023a: PUSH2 0x04a6 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH2 0x027d 00000242: JUMPI 00000243: PUSH1 0x40 00000245: MLOAD 00000246: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000267: DUP2 00000268: MSTORE 00000269: PUSH1 0x04 0000026b: ADD 0000026c: PUSH2 0x0274 0000026f: SWAP1 00000270: PUSH2 0x07c5 00000273: JUMP 00000274: JUMPDEST 00000275: PUSH1 0x40 00000277: MLOAD 00000278: DUP1 00000279: SWAP2 0000027a: SUB 0000027b: SWAP1 0000027c: REVERT 0000027d: JUMPDEST 0000027e: PUSH1 0x01 00000280: PUSH1 0x00 00000282: SWAP1 00000283: SLOAD 00000284: SWAP1 00000285: PUSH2 0x0100 00000288: EXP 00000289: SWAP1 0000028a: DIV 0000028b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a0: AND 000002a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b6: AND 000002b7: DUP2 000002b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002cd: AND 000002ce: PUSH32 0xd32d24edea94f55e932d9a008afc425a8561462d1b1f57bc6e508e9a6b9509e1 000002ef: PUSH1 0x40 000002f1: MLOAD 000002f2: PUSH1 0x40 000002f4: MLOAD 000002f5: DUP1 000002f6: SWAP2 000002f7: SUB 000002f8: SWAP1 000002f9: LOG3 000002fa: DUP1 000002fb: PUSH1 0x01 000002fd: PUSH1 0x00 000002ff: PUSH2 0x0100 00000302: EXP 00000303: DUP2 00000304: SLOAD 00000305: DUP2 00000306: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000031b: MUL 0000031c: NOT 0000031d: AND 0000031e: SWAP1 0000031f: DUP4 00000320: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000335: AND 00000336: MUL 00000337: OR 00000338: SWAP1 00000339: SSTORE 0000033a: POP 0000033b: POP 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH1 0x00 00000340: PUSH1 0x01 00000342: PUSH1 0x00 00000344: SWAP1 00000345: SLOAD 00000346: SWAP1 00000347: PUSH2 0x0100 0000034a: EXP 0000034b: SWAP1 0000034c: DIV 0000034d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000362: AND 00000363: SWAP1 00000364: POP 00000365: SWAP1 00000366: JUMP 00000367: JUMPDEST 00000368: PUSH2 0x036f 0000036b: PUSH2 0x0428 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH2 0x0379 00000373: PUSH1 0x00 00000375: PUSH2 0x04f8 00000378: JUMP 00000379: JUMPDEST 0000037a: JUMP 0000037b: JUMPDEST 0000037c: PUSH1 0x00 0000037e: DUP1 0000037f: PUSH1 0x00 00000381: SWAP1 00000382: SLOAD 00000383: SWAP1 00000384: PUSH2 0x0100 00000387: EXP 00000388: SWAP1 00000389: DIV 0000038a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039f: AND 000003a0: SWAP1 000003a1: POP 000003a2: SWAP1 000003a3: JUMP 000003a4: JUMPDEST 000003a5: PUSH2 0x03ac 000003a8: PUSH2 0x0428 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH1 0x00 000003af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c4: AND 000003c5: DUP2 000003c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003db: AND 000003dc: EQ 000003dd: ISZERO 000003de: PUSH2 0x041c 000003e1: JUMPI 000003e2: PUSH1 0x40 000003e4: MLOAD 000003e5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000406: DUP2 00000407: MSTORE 00000408: PUSH1 0x04 0000040a: ADD 0000040b: PUSH2 0x0413 0000040e: SWAP1 0000040f: PUSH2 0x0857 00000412: JUMP 00000413: JUMPDEST 00000414: PUSH1 0x40 00000416: MLOAD 00000417: DUP1 00000418: SWAP2 00000419: SUB 0000041a: SWAP1 0000041b: REVERT 0000041c: JUMPDEST 0000041d: PUSH2 0x0425 00000420: DUP2 00000421: PUSH2 0x04f8 00000424: JUMP 00000425: JUMPDEST 00000426: POP 00000427: JUMP 00000428: JUMPDEST 00000429: PUSH2 0x0430 0000042c: PUSH2 0x05bc 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000446: AND 00000447: PUSH2 0x044e 0000044a: PUSH2 0x037b 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000464: AND 00000465: EQ 00000466: PUSH2 0x04a4 00000469: JUMPI 0000046a: PUSH1 0x40 0000046c: MLOAD 0000046d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000048e: DUP2 0000048f: MSTORE 00000490: PUSH1 0x04 00000492: ADD 00000493: PUSH2 0x049b 00000496: SWAP1 00000497: PUSH2 0x08c3 0000049a: JUMP 0000049b: JUMPDEST 0000049c: PUSH1 0x40 0000049e: MLOAD 0000049f: DUP1 000004a0: SWAP2 000004a1: SUB 000004a2: SWAP1 000004a3: REVERT 000004a4: JUMPDEST 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH1 0x00 000004a9: DUP1 000004aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004bf: AND 000004c0: DUP3 000004c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d6: AND 000004d7: EQ 000004d8: ISZERO 000004d9: PUSH2 0x04e5 000004dc: JUMPI 000004dd: PUSH1 0x00 000004df: SWAP1 000004e0: POP 000004e1: PUSH2 0x04f3 000004e4: JUMP 000004e5: JUMPDEST 000004e6: PUSH1 0x00 000004e8: DUP3 000004e9: EXTCODESIZE 000004ea: SWAP1 000004eb: POP 000004ec: PUSH1 0x00 000004ee: DUP2 000004ef: GT 000004f0: SWAP2 000004f1: POP 000004f2: POP 000004f3: JUMPDEST 000004f4: SWAP2 000004f5: SWAP1 000004f6: POP 000004f7: JUMP 000004f8: JUMPDEST 000004f9: PUSH1 0x00 000004fb: DUP1 000004fc: PUSH1 0x00 000004fe: SWAP1 000004ff: SLOAD 00000500: SWAP1 00000501: PUSH2 0x0100 00000504: EXP 00000505: SWAP1 00000506: DIV 00000507: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000051c: AND 0000051d: SWAP1 0000051e: POP 0000051f: DUP2 00000520: PUSH1 0x00 00000522: DUP1 00000523: PUSH2 0x0100 00000526: EXP 00000527: DUP2 00000528: SLOAD 00000529: DUP2 0000052a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053f: MUL 00000540: NOT 00000541: AND 00000542: SWAP1 00000543: DUP4 00000544: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000559: AND 0000055a: MUL 0000055b: OR 0000055c: SWAP1 0000055d: SSTORE 0000055e: POP 0000055f: DUP2 00000560: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000575: AND 00000576: DUP2 00000577: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058c: AND 0000058d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000005ae: PUSH1 0x40 000005b0: MLOAD 000005b1: PUSH1 0x40 000005b3: MLOAD 000005b4: DUP1 000005b5: SWAP2 000005b6: SUB 000005b7: SWAP1 000005b8: LOG3 000005b9: POP 000005ba: POP 000005bb: JUMP 000005bc: JUMPDEST 000005bd: PUSH1 0x00 000005bf: CALLER 000005c0: SWAP1 000005c1: POP 000005c2: SWAP1 000005c3: JUMP 000005c4: JUMPDEST 000005c5: PUSH1 0x00 000005c7: DUP2 000005c8: SWAP1 000005c9: POP 000005ca: SWAP3 000005cb: SWAP2 000005cc: POP 000005cd: POP 000005ce: JUMP 000005cf: JUMPDEST 000005d0: DUP3 000005d1: DUP2 000005d2: DUP4 000005d3: CALLDATACOPY 000005d4: PUSH1 0x00 000005d6: DUP4 000005d7: DUP4 000005d8: ADD 000005d9: MSTORE 000005da: POP 000005db: POP 000005dc: POP 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH1 0x00 000005e1: PUSH2 0x05ea 000005e4: DUP4 000005e5: DUP6 000005e6: PUSH2 0x05c4 000005e9: JUMP 000005ea: JUMPDEST 000005eb: SWAP4 000005ec: POP 000005ed: PUSH2 0x05f7 000005f0: DUP4 000005f1: DUP6 000005f2: DUP5 000005f3: PUSH2 0x05cf 000005f6: JUMP 000005f7: JUMPDEST 000005f8: DUP3 000005f9: DUP5 000005fa: ADD 000005fb: SWAP1 000005fc: POP 000005fd: SWAP4 000005fe: SWAP3 000005ff: POP 00000600: POP 00000601: POP 00000602: JUMP 00000603: JUMPDEST 00000604: PUSH1 0x00 00000606: PUSH2 0x0610 00000609: DUP3 0000060a: DUP5 0000060b: DUP7 0000060c: PUSH2 0x05de 0000060f: JUMP 00000610: JUMPDEST 00000611: SWAP2 00000612: POP 00000613: DUP2 00000614: SWAP1 00000615: POP 00000616: SWAP4 00000617: SWAP3 00000618: POP 00000619: POP 0000061a: POP 0000061b: JUMP 0000061c: JUMPDEST 0000061d: PUSH1 0x00 0000061f: DUP1 00000620: REVERT 00000621: JUMPDEST 00000622: PUSH1 0x00 00000624: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000639: DUP3 0000063a: AND 0000063b: SWAP1 0000063c: POP 0000063d: SWAP2 0000063e: SWAP1 0000063f: POP 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x00 00000644: PUSH2 0x064c 00000647: DUP3 00000648: PUSH2 0x0621 0000064b: JUMP 0000064c: JUMPDEST 0000064d: SWAP1 0000064e: POP 0000064f: SWAP2 00000650: SWAP1 00000651: POP 00000652: JUMP 00000653: JUMPDEST 00000654: PUSH2 0x065c 00000657: DUP2 00000658: PUSH2 0x0641 0000065b: JUMP 0000065c: JUMPDEST 0000065d: DUP2 0000065e: EQ 0000065f: PUSH2 0x0667 00000662: JUMPI 00000663: PUSH1 0x00 00000665: DUP1 00000666: REVERT 00000667: JUMPDEST 00000668: POP 00000669: JUMP 0000066a: JUMPDEST 0000066b: PUSH1 0x00 0000066d: DUP2 0000066e: CALLDATALOAD 0000066f: SWAP1 00000670: POP 00000671: PUSH2 0x0679 00000674: DUP2 00000675: PUSH2 0x0653 00000678: JUMP 00000679: JUMPDEST 0000067a: SWAP3 0000067b: SWAP2 0000067c: POP 0000067d: POP 0000067e: JUMP 0000067f: JUMPDEST 00000680: PUSH1 0x00 00000682: PUSH1 0x20 00000684: DUP3 00000685: DUP5 00000686: SUB 00000687: SLT 00000688: ISZERO 00000689: PUSH2 0x0695 0000068c: JUMPI 0000068d: PUSH2 0x0694 00000690: PUSH2 0x061c 00000693: JUMP 00000694: JUMPDEST 00000695: JUMPDEST 00000696: PUSH1 0x00 00000698: PUSH2 0x06a3 0000069b: DUP5 0000069c: DUP3 0000069d: DUP6 0000069e: ADD 0000069f: PUSH2 0x066a 000006a2: JUMP 000006a3: JUMPDEST 000006a4: SWAP2 000006a5: POP 000006a6: POP 000006a7: SWAP3 000006a8: SWAP2 000006a9: POP 000006aa: POP 000006ab: JUMP 000006ac: JUMPDEST 000006ad: PUSH2 0x06b5 000006b0: DUP2 000006b1: PUSH2 0x0641 000006b4: JUMP 000006b5: JUMPDEST 000006b6: DUP3 000006b7: MSTORE 000006b8: POP 000006b9: POP 000006ba: JUMP 000006bb: JUMPDEST 000006bc: PUSH1 0x00 000006be: PUSH1 0x20 000006c0: DUP3 000006c1: ADD 000006c2: SWAP1 000006c3: POP 000006c4: PUSH2 0x06d0 000006c7: PUSH1 0x00 000006c9: DUP4 000006ca: ADD 000006cb: DUP5 000006cc: PUSH2 0x06ac 000006cf: JUMP 000006d0: JUMPDEST 000006d1: SWAP3 000006d2: SWAP2 000006d3: POP 000006d4: POP 000006d5: JUMP 000006d6: JUMPDEST 000006d7: PUSH1 0x00 000006d9: DUP3 000006da: DUP3 000006db: MSTORE 000006dc: PUSH1 0x20 000006de: DUP3 000006df: ADD 000006e0: SWAP1 000006e1: POP 000006e2: SWAP3 000006e3: SWAP2 000006e4: POP 000006e5: POP 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH32 0x494e56414c49445f50524f58595f414444524553530000000000000000000000 00000709: PUSH1 0x00 0000070b: DUP3 0000070c: ADD 0000070d: MSTORE 0000070e: POP 0000070f: JUMP 00000710: JUMPDEST 00000711: PUSH1 0x00 00000713: PUSH2 0x071d 00000716: PUSH1 0x15 00000718: DUP4 00000719: PUSH2 0x06d6 0000071c: JUMP 0000071d: JUMPDEST 0000071e: SWAP2 0000071f: POP 00000720: PUSH2 0x0728 00000723: DUP3 00000724: PUSH2 0x06e7 00000727: JUMP 00000728: JUMPDEST 00000729: PUSH1 0x20 0000072b: DUP3 0000072c: ADD 0000072d: SWAP1 0000072e: POP 0000072f: SWAP2 00000730: SWAP1 00000731: POP 00000732: JUMP 00000733: JUMPDEST 00000734: PUSH1 0x00 00000736: PUSH1 0x20 00000738: DUP3 00000739: ADD 0000073a: SWAP1 0000073b: POP 0000073c: DUP2 0000073d: DUP2 0000073e: SUB 0000073f: PUSH1 0x00 00000741: DUP4 00000742: ADD 00000743: MSTORE 00000744: PUSH2 0x074c 00000747: DUP2 00000748: PUSH2 0x0710 0000074b: JUMP 0000074c: JUMPDEST 0000074d: SWAP1 0000074e: POP 0000074f: SWAP2 00000750: SWAP1 00000751: POP 00000752: JUMP 00000753: JUMPDEST 00000754: PUSH32 0x44455354494e4154494f4e5f414444524553535f49535f4e4f545f415f434f4e 00000775: PUSH1 0x00 00000777: DUP3 00000778: ADD 00000779: MSTORE 0000077a: PUSH32 0x5452414354000000000000000000000000000000000000000000000000000000 0000079b: PUSH1 0x20 0000079d: DUP3 0000079e: ADD 0000079f: MSTORE 000007a0: POP 000007a1: JUMP 000007a2: JUMPDEST 000007a3: PUSH1 0x00 000007a5: PUSH2 0x07af 000007a8: PUSH1 0x25 000007aa: DUP4 000007ab: PUSH2 0x06d6 000007ae: JUMP 000007af: JUMPDEST 000007b0: SWAP2 000007b1: POP 000007b2: PUSH2 0x07ba 000007b5: DUP3 000007b6: PUSH2 0x0753 000007b9: JUMP 000007ba: JUMPDEST 000007bb: PUSH1 0x40 000007bd: DUP3 000007be: ADD 000007bf: SWAP1 000007c0: POP 000007c1: SWAP2 000007c2: SWAP1 000007c3: POP 000007c4: JUMP 000007c5: JUMPDEST 000007c6: PUSH1 0x00 000007c8: PUSH1 0x20 000007ca: DUP3 000007cb: ADD 000007cc: SWAP1 000007cd: POP 000007ce: DUP2 000007cf: DUP2 000007d0: SUB 000007d1: PUSH1 0x00 000007d3: DUP4 000007d4: ADD 000007d5: MSTORE 000007d6: PUSH2 0x07de 000007d9: DUP2 000007da: PUSH2 0x07a2 000007dd: JUMP 000007de: JUMPDEST 000007df: SWAP1 000007e0: POP 000007e1: SWAP2 000007e2: SWAP1 000007e3: POP 000007e4: JUMP 000007e5: JUMPDEST 000007e6: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000807: PUSH1 0x00 00000809: DUP3 0000080a: ADD 0000080b: MSTORE 0000080c: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 0000082d: PUSH1 0x20 0000082f: DUP3 00000830: ADD 00000831: MSTORE 00000832: POP 00000833: JUMP 00000834: JUMPDEST 00000835: PUSH1 0x00 00000837: PUSH2 0x0841 0000083a: PUSH1 0x26 0000083c: DUP4 0000083d: PUSH2 0x06d6 00000840: JUMP 00000841: JUMPDEST 00000842: SWAP2 00000843: POP 00000844: PUSH2 0x084c 00000847: DUP3 00000848: PUSH2 0x07e5 0000084b: JUMP 0000084c: JUMPDEST 0000084d: PUSH1 0x40 0000084f: DUP3 00000850: ADD 00000851: SWAP1 00000852: POP 00000853: SWAP2 00000854: SWAP1 00000855: POP 00000856: JUMP 00000857: JUMPDEST 00000858: PUSH1 0x00 0000085a: PUSH1 0x20 0000085c: DUP3 0000085d: ADD 0000085e: SWAP1 0000085f: POP 00000860: DUP2 00000861: DUP2 00000862: SUB 00000863: PUSH1 0x00 00000865: DUP4 00000866: ADD 00000867: MSTORE 00000868: PUSH2 0x0870 0000086b: DUP2 0000086c: PUSH2 0x0834 0000086f: JUMP 00000870: JUMPDEST 00000871: SWAP1 00000872: POP 00000873: SWAP2 00000874: SWAP1 00000875: POP 00000876: JUMP 00000877: JUMPDEST 00000878: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000899: PUSH1 0x00 0000089b: DUP3 0000089c: ADD 0000089d: MSTORE 0000089e: POP 0000089f: JUMP 000008a0: JUMPDEST 000008a1: PUSH1 0x00 000008a3: PUSH2 0x08ad 000008a6: PUSH1 0x20 000008a8: DUP4 000008a9: PUSH2 0x06d6 000008ac: JUMP 000008ad: JUMPDEST 000008ae: SWAP2 000008af: POP 000008b0: PUSH2 0x08b8 000008b3: DUP3 000008b4: PUSH2 0x0877 000008b7: JUMP 000008b8: JUMPDEST 000008b9: PUSH1 0x20 000008bb: DUP3 000008bc: ADD 000008bd: SWAP1 000008be: POP 000008bf: SWAP2 000008c0: SWAP1 000008c1: POP 000008c2: JUMP 000008c3: JUMPDEST 000008c4: PUSH1 0x00 000008c6: PUSH1 0x20 000008c8: DUP3 000008c9: ADD 000008ca: SWAP1 000008cb: POP 000008cc: DUP2 000008cd: DUP2 000008ce: SUB 000008cf: PUSH1 0x00 000008d1: DUP4 000008d2: ADD 000008d3: MSTORE 000008d4: PUSH2 0x08dc 000008d7: DUP2 000008d8: PUSH2 0x08a0 000008db: JUMP 000008dc: JUMPDEST 000008dd: SWAP1 000008de: POP 000008df: SWAP2 000008e0: SWAP1 000008e1: POP 000008e2: JUMP 000008e3: INVALID 000008e4: LOG2 000008e5: PUSH5 0x6970667358 000008eb: UNKNOWN(0x22) 000008ec: SLT 000008ed: KECCAK256 000008ee: UNKNOWN(0xBD) 000008ef: CALLVALUE 000008f0: LT 000008f1: DUP11 000008f2: UNKNOWN(0x1F) 000008f3: UNKNOWN(0xBA) 000008f4: UNKNOWN(0xCD) 000008f5: INVALID 000008f6: REVERT 000008f7: JUMPDEST 000008f8: UNKNOWN(0xDB) 000008f9: GAS 000008fa: UNKNOWN(0xB6) 000008fb: SHR 000008fc: MLOAD 000008fd: SWAP15 000008fe: MULMOD 000008ff: LOG2 00000900: UNKNOWN(0xAF) 00000901: RETURNDATASIZE 00000902: UNKNOWN(0x0F) 00000903: UNKNOWN(0xAF) 00000904: UNKNOWN(0xB1) 00000905: UNKNOWN(0xBA) 00000906: UNKNOWN(0xE6) 00000907: PUSH24
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x6313e25c83f8f5b681f0dd3f5829fdebd9d0b50fc83a5bbfdf690b0698f9b4ad
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 60,
"trace_id": "0x6313e25c83f8f5b681f0dd3f5829fdebd9d0b50fc83a5bbfdf690b0698f9b4ad",
"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": "0x025b22bc",
"selector": "0x025b22bc",
"calldata_variants": [
"0x025b22bc",
"0x025b22bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 173,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|