019ba927-dbcf-7125-b769-e1587ca53238
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 |
|---|---|---|---|---|
| 35004 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35005 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35006 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35007 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35008 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35009 | detector.run | complete | 1 / 3 | 3 months ago |
| 35010 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"method": "etherscan+onchain",
"status": "confirmed",
"etherscan_hint": {
"source": "etherscan",
"etherscan": {
"proxy_flag": true,
"implementation": "0xb7ed499e7570ee7691eef4df9d708d258de2b512"
}
},
"implementation": "0xb7ed499e7570ee7691eef4df9d708d258de2b512",
"onchain_method": "eip1967"
}
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 0x005a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x5c60da1b 00000019: GT 0000001a: PUSH2 0x0043 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x5c60da1b 00000024: EQ 00000025: PUSH2 0x0097 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd1f57894 0000002f: EQ 00000030: PUSH2 0x00d5 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf851a440 0000003a: EQ 0000003b: PUSH2 0x00e8 0000003e: JUMPI 0000003f: PUSH2 0x005a 00000042: JUMP 00000043: JUMPDEST 00000044: DUP1 00000045: PUSH4 0x3659cfe6 0000004a: EQ 0000004b: PUSH2 0x0064 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x4f1ef286 00000055: EQ 00000056: PUSH2 0x0084 00000059: JUMPI 0000005a: JUMPDEST 0000005b: PUSH2 0x0062 0000005e: PUSH2 0x00fd 00000061: JUMP 00000062: JUMPDEST 00000063: STOP 00000064: JUMPDEST 00000065: CALLVALUE 00000066: DUP1 00000067: ISZERO 00000068: PUSH2 0x0070 0000006b: JUMPI 0000006c: PUSH1 0x00 0000006e: DUP1 0000006f: REVERT 00000070: JUMPDEST 00000071: POP 00000072: PUSH2 0x0062 00000075: PUSH2 0x007f 00000078: CALLDATASIZE 00000079: PUSH1 0x04 0000007b: PUSH2 0x067b 0000007e: JUMP 0000007f: JUMPDEST 00000080: PUSH2 0x0137 00000083: JUMP 00000084: JUMPDEST 00000085: PUSH2 0x0062 00000088: PUSH2 0x0092 0000008b: CALLDATASIZE 0000008c: PUSH1 0x04 0000008e: PUSH2 0x069d 00000091: JUMP 00000092: JUMPDEST 00000093: PUSH2 0x0189 00000096: JUMP 00000097: JUMPDEST 00000098: CALLVALUE 00000099: DUP1 0000009a: ISZERO 0000009b: PUSH2 0x00a3 0000009e: JUMPI 0000009f: PUSH1 0x00 000000a1: DUP1 000000a2: REVERT 000000a3: JUMPDEST 000000a4: POP 000000a5: PUSH2 0x00ac 000000a8: PUSH2 0x025a 000000ab: JUMP 000000ac: JUMPDEST 000000ad: PUSH1 0x40 000000af: MLOAD 000000b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000c5: SWAP1 000000c6: SWAP2 000000c7: AND 000000c8: DUP2 000000c9: MSTORE 000000ca: PUSH1 0x20 000000cc: ADD 000000cd: PUSH1 0x40 000000cf: MLOAD 000000d0: DUP1 000000d1: SWAP2 000000d2: SUB 000000d3: SWAP1 000000d4: RETURN 000000d5: JUMPDEST 000000d6: PUSH2 0x0062 000000d9: PUSH2 0x00e3 000000dc: CALLDATASIZE 000000dd: PUSH1 0x04 000000df: PUSH2 0x074f 000000e2: JUMP 000000e3: JUMPDEST 000000e4: PUSH2 0x02cb 000000e7: JUMP 000000e8: JUMPDEST 000000e9: CALLVALUE 000000ea: DUP1 000000eb: ISZERO 000000ec: PUSH2 0x00f4 000000ef: JUMPI 000000f0: PUSH1 0x00 000000f2: DUP1 000000f3: REVERT 000000f4: JUMPDEST 000000f5: POP 000000f6: PUSH2 0x00ac 000000f9: PUSH2 0x03f7 000000fc: JUMP 000000fd: JUMPDEST 000000fe: PUSH2 0x0105 00000101: PUSH2 0x045c 00000104: JUMP 00000105: JUMPDEST 00000106: PUSH2 0x0135 00000109: PUSH2 0x0130 0000010c: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000012d: SLOAD 0000012e: SWAP1 0000012f: JUMP 00000130: JUMPDEST 00000131: PUSH2 0x0464 00000134: JUMP 00000135: JUMPDEST 00000136: JUMP 00000137: JUMPDEST 00000138: CALLER 00000139: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000014e: PUSH32 0x00000000000000000000000009edc8f101897aa693932c1966725e05d6d68b5f 0000016f: AND 00000170: EQ 00000171: ISZERO 00000172: PUSH2 0x0181 00000175: JUMPI 00000176: PUSH2 0x017e 00000179: DUP2 0000017a: PUSH2 0x0488 0000017d: JUMP 0000017e: JUMPDEST 0000017f: POP 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH2 0x017e 00000185: PUSH2 0x00fd 00000188: JUMP 00000189: JUMPDEST 0000018a: CALLER 0000018b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a0: PUSH32 0x00000000000000000000000009edc8f101897aa693932c1966725e05d6d68b5f 000001c1: AND 000001c2: EQ 000001c3: ISZERO 000001c4: PUSH2 0x024d 000001c7: JUMPI 000001c8: PUSH2 0x01d0 000001cb: DUP4 000001cc: PUSH2 0x0488 000001cf: JUMP 000001d0: JUMPDEST 000001d1: PUSH1 0x00 000001d3: DUP4 000001d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e9: AND 000001ea: DUP4 000001eb: DUP4 000001ec: PUSH1 0x40 000001ee: MLOAD 000001ef: PUSH2 0x01f9 000001f2: SWAP3 000001f3: SWAP2 000001f4: SWAP1 000001f5: PUSH2 0x082f 000001f8: JUMP 000001f9: JUMPDEST 000001fa: PUSH1 0x00 000001fc: PUSH1 0x40 000001fe: MLOAD 000001ff: DUP1 00000200: DUP4 00000201: SUB 00000202: DUP2 00000203: DUP6 00000204: GAS 00000205: DELEGATECALL 00000206: SWAP2 00000207: POP 00000208: POP 00000209: RETURNDATASIZE 0000020a: DUP1 0000020b: PUSH1 0x00 0000020d: DUP2 0000020e: EQ 0000020f: PUSH2 0x0234 00000212: JUMPI 00000213: PUSH1 0x40 00000215: MLOAD 00000216: SWAP2 00000217: POP 00000218: PUSH1 0x1f 0000021a: NOT 0000021b: PUSH1 0x3f 0000021d: RETURNDATASIZE 0000021e: ADD 0000021f: AND 00000220: DUP3 00000221: ADD 00000222: PUSH1 0x40 00000224: MSTORE 00000225: RETURNDATASIZE 00000226: DUP3 00000227: MSTORE 00000228: RETURNDATASIZE 00000229: PUSH1 0x00 0000022b: PUSH1 0x20 0000022d: DUP5 0000022e: ADD 0000022f: RETURNDATACOPY 00000230: PUSH2 0x0239 00000233: JUMP 00000234: JUMPDEST 00000235: PUSH1 0x60 00000237: SWAP2 00000238: POP 00000239: JUMPDEST 0000023a: POP 0000023b: POP 0000023c: SWAP1 0000023d: POP 0000023e: DUP1 0000023f: PUSH2 0x0247 00000242: JUMPI 00000243: PUSH1 0x00 00000245: DUP1 00000246: REVERT 00000247: JUMPDEST 00000248: POP 00000249: POP 0000024a: POP 0000024b: POP 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH2 0x0255 00000251: PUSH2 0x00fd 00000254: JUMP 00000255: JUMPDEST 00000256: POP 00000257: POP 00000258: POP 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH1 0x00 0000025d: CALLER 0000025e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000273: PUSH32 0x00000000000000000000000009edc8f101897aa693932c1966725e05d6d68b5f 00000294: AND 00000295: EQ 00000296: ISZERO 00000297: PUSH2 0x02c0 0000029a: JUMPI 0000029b: POP 0000029c: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000002bd: SLOAD 000002be: SWAP1 000002bf: JUMP 000002c0: JUMPDEST 000002c1: PUSH2 0x02c8 000002c4: PUSH2 0x00fd 000002c7: JUMP 000002c8: JUMPDEST 000002c9: SWAP1 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH1 0x00 000002ce: PUSH2 0x02f5 000002d1: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000002f2: SLOAD 000002f3: SWAP1 000002f4: JUMP 000002f5: JUMPDEST 000002f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000030b: AND 0000030c: EQ 0000030d: PUSH2 0x0315 00000310: JUMPI 00000311: PUSH1 0x00 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: PUSH2 0x0340 00000319: PUSH1 0x01 0000031b: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbd 0000033c: PUSH2 0x083f 0000033f: JUMP 00000340: JUMPDEST 00000341: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000362: EQ 00000363: PUSH2 0x036e 00000366: JUMPI 00000367: PUSH2 0x036e 0000036a: PUSH2 0x087d 0000036d: JUMP 0000036e: JUMPDEST 0000036f: PUSH2 0x0377 00000372: DUP3 00000373: PUSH2 0x04d5 00000376: JUMP 00000377: JUMPDEST 00000378: DUP1 00000379: MLOAD 0000037a: ISZERO 0000037b: PUSH2 0x03f3 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP3 00000382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000397: AND 00000398: DUP3 00000399: PUSH1 0x40 0000039b: MLOAD 0000039c: PUSH2 0x03a5 0000039f: SWAP2 000003a0: SWAP1 000003a1: PUSH2 0x08ac 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH1 0x00 000003a8: PUSH1 0x40 000003aa: MLOAD 000003ab: DUP1 000003ac: DUP4 000003ad: SUB 000003ae: DUP2 000003af: DUP6 000003b0: GAS 000003b1: DELEGATECALL 000003b2: SWAP2 000003b3: POP 000003b4: POP 000003b5: RETURNDATASIZE 000003b6: DUP1 000003b7: PUSH1 0x00 000003b9: DUP2 000003ba: EQ 000003bb: PUSH2 0x03e0 000003be: JUMPI 000003bf: PUSH1 0x40 000003c1: MLOAD 000003c2: SWAP2 000003c3: POP 000003c4: PUSH1 0x1f 000003c6: NOT 000003c7: PUSH1 0x3f 000003c9: RETURNDATASIZE 000003ca: ADD 000003cb: AND 000003cc: DUP3 000003cd: ADD 000003ce: PUSH1 0x40 000003d0: MSTORE 000003d1: RETURNDATASIZE 000003d2: DUP3 000003d3: MSTORE 000003d4: RETURNDATASIZE 000003d5: PUSH1 0x00 000003d7: PUSH1 0x20 000003d9: DUP5 000003da: ADD 000003db: RETURNDATACOPY 000003dc: PUSH2 0x03e5 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH1 0x60 000003e3: SWAP2 000003e4: POP 000003e5: JUMPDEST 000003e6: POP 000003e7: POP 000003e8: SWAP1 000003e9: POP 000003ea: DUP1 000003eb: PUSH2 0x0255 000003ee: JUMPI 000003ef: PUSH1 0x00 000003f1: DUP1 000003f2: REVERT 000003f3: JUMPDEST 000003f4: POP 000003f5: POP 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x00 000003fa: CALLER 000003fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000410: PUSH32 0x00000000000000000000000009edc8f101897aa693932c1966725e05d6d68b5f 00000431: AND 00000432: EQ 00000433: ISZERO 00000434: PUSH2 0x02c0 00000437: JUMPI 00000438: POP 00000439: PUSH32 0x00000000000000000000000009edc8f101897aa693932c1966725e05d6d68b5f 0000045a: SWAP1 0000045b: JUMP 0000045c: JUMPDEST 0000045d: PUSH2 0x0135 00000460: PUSH2 0x058c 00000463: JUMP 00000464: JUMPDEST 00000465: CALLDATASIZE 00000466: PUSH1 0x00 00000468: DUP1 00000469: CALLDATACOPY 0000046a: PUSH1 0x00 0000046c: DUP1 0000046d: CALLDATASIZE 0000046e: PUSH1 0x00 00000470: DUP5 00000471: GAS 00000472: DELEGATECALL 00000473: RETURNDATASIZE 00000474: PUSH1 0x00 00000476: DUP1 00000477: RETURNDATACOPY 00000478: DUP1 00000479: DUP1 0000047a: ISZERO 0000047b: PUSH2 0x0483 0000047e: JUMPI 0000047f: RETURNDATASIZE 00000480: PUSH1 0x00 00000482: RETURN 00000483: JUMPDEST 00000484: RETURNDATASIZE 00000485: PUSH1 0x00 00000487: REVERT 00000488: JUMPDEST 00000489: PUSH2 0x0491 0000048c: DUP2 0000048d: PUSH2 0x04d5 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH1 0x40 00000494: MLOAD 00000495: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004aa: DUP3 000004ab: AND 000004ac: SWAP1 000004ad: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 000004ce: SWAP1 000004cf: PUSH1 0x00 000004d1: SWAP1 000004d2: LOG2 000004d3: POP 000004d4: JUMP 000004d5: JUMPDEST 000004d6: DUP1 000004d7: EXTCODESIZE 000004d8: PUSH2 0x0568 000004db: JUMPI 000004dc: PUSH1 0x40 000004de: MLOAD 000004df: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000500: DUP2 00000501: MSTORE 00000502: PUSH1 0x20 00000504: PUSH1 0x04 00000506: DUP3 00000507: ADD 00000508: MSTORE 00000509: PUSH1 0x3b 0000050b: PUSH1 0x24 0000050d: DUP3 0000050e: ADD 0000050f: MSTORE 00000510: PUSH32 0x43616e6e6f742073657420612070726f787920696d706c656d656e746174696f 00000531: PUSH1 0x44 00000533: DUP3 00000534: ADD 00000535: MSTORE 00000536: PUSH32 0x6e20746f2061206e6f6e2d636f6e747261637420616464726573730000000000 00000557: PUSH1 0x64 00000559: DUP3 0000055a: ADD 0000055b: MSTORE 0000055c: PUSH1 0x84 0000055e: ADD 0000055f: JUMPDEST 00000560: PUSH1 0x40 00000562: MLOAD 00000563: DUP1 00000564: SWAP2 00000565: SUB 00000566: SWAP1 00000567: REVERT 00000568: JUMPDEST 00000569: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000058a: SSTORE 0000058b: JUMP 0000058c: JUMPDEST 0000058d: CALLER 0000058e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a3: PUSH32 0x00000000000000000000000009edc8f101897aa693932c1966725e05d6d68b5f 000005c4: AND 000005c5: EQ 000005c6: ISZERO 000005c7: PUSH2 0x0135 000005ca: JUMPI 000005cb: PUSH1 0x40 000005cd: MLOAD 000005ce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005ef: DUP2 000005f0: MSTORE 000005f1: PUSH1 0x20 000005f3: PUSH1 0x04 000005f5: DUP3 000005f6: ADD 000005f7: MSTORE 000005f8: PUSH1 0x32 000005fa: PUSH1 0x24 000005fc: DUP3 000005fd: ADD 000005fe: MSTORE 000005ff: PUSH32 0x43616e6e6f742063616c6c2066616c6c6261636b2066756e6374696f6e206672 00000620: PUSH1 0x44 00000622: DUP3 00000623: ADD 00000624: MSTORE 00000625: PUSH32 0x6f6d207468652070726f78792061646d696e0000000000000000000000000000 00000646: PUSH1 0x64 00000648: DUP3 00000649: ADD 0000064a: MSTORE 0000064b: PUSH1 0x84 0000064d: ADD 0000064e: PUSH2 0x055f 00000651: JUMP 00000652: JUMPDEST 00000653: DUP1 00000654: CALLDATALOAD 00000655: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066a: DUP2 0000066b: AND 0000066c: DUP2 0000066d: EQ 0000066e: PUSH2 0x0676 00000671: JUMPI 00000672: PUSH1 0x00 00000674: DUP1 00000675: REVERT 00000676: JUMPDEST 00000677: SWAP2 00000678: SWAP1 00000679: POP 0000067a: JUMP 0000067b: JUMPDEST 0000067c: PUSH1 0x00 0000067e: PUSH1 0x20 00000680: DUP3 00000681: DUP5 00000682: SUB 00000683: SLT 00000684: ISZERO 00000685: PUSH2 0x068d 00000688: JUMPI 00000689: PUSH1 0x00 0000068b: DUP1 0000068c: REVERT 0000068d: JUMPDEST 0000068e: PUSH2 0x0696 00000691: DUP3 00000692: PUSH2 0x0652 00000695: JUMP 00000696: JUMPDEST 00000697: SWAP4 00000698: SWAP3 00000699: POP 0000069a: POP 0000069b: POP 0000069c: JUMP 0000069d: JUMPDEST 0000069e: PUSH1 0x00 000006a0: DUP1 000006a1: PUSH1 0x00 000006a3: PUSH1 0x40 000006a5: DUP5 000006a6: DUP7 000006a7: SUB 000006a8: SLT 000006a9: ISZERO 000006aa: PUSH2 0x06b2 000006ad: JUMPI 000006ae: PUSH1 0x00 000006b0: DUP1 000006b1: REVERT 000006b2: JUMPDEST 000006b3: PUSH2 0x06bb 000006b6: DUP5 000006b7: PUSH2 0x0652 000006ba: JUMP 000006bb: JUMPDEST 000006bc: SWAP3 000006bd: POP 000006be: PUSH1 0x20 000006c0: DUP5 000006c1: ADD 000006c2: CALLDATALOAD 000006c3: PUSH8 0xffffffffffffffff 000006cc: DUP1 000006cd: DUP3 000006ce: GT 000006cf: ISZERO 000006d0: PUSH2 0x06d8 000006d3: JUMPI 000006d4: PUSH1 0x00 000006d6: DUP1 000006d7: REVERT 000006d8: JUMPDEST 000006d9: DUP2 000006da: DUP7 000006db: ADD 000006dc: SWAP2 000006dd: POP 000006de: DUP7 000006df: PUSH1 0x1f 000006e1: DUP4 000006e2: ADD 000006e3: SLT 000006e4: PUSH2 0x06ec 000006e7: JUMPI 000006e8: PUSH1 0x00 000006ea: DUP1 000006eb: REVERT 000006ec: JUMPDEST 000006ed: DUP2 000006ee: CALLDATALOAD 000006ef: DUP2 000006f0: DUP2 000006f1: GT 000006f2: ISZERO 000006f3: PUSH2 0x06fb 000006f6: JUMPI 000006f7: PUSH1 0x00 000006f9: DUP1 000006fa: REVERT 000006fb: JUMPDEST 000006fc: DUP8 000006fd: PUSH1 0x20 000006ff: DUP3 00000700: DUP6 00000701: ADD 00000702: ADD 00000703: GT 00000704: ISZERO 00000705: PUSH2 0x070d 00000708: JUMPI 00000709: PUSH1 0x00 0000070b: DUP1 0000070c: REVERT 0000070d: JUMPDEST 0000070e: PUSH1 0x20 00000710: DUP4 00000711: ADD 00000712: SWAP5 00000713: POP 00000714: DUP1 00000715: SWAP4 00000716: POP 00000717: POP 00000718: POP 00000719: POP 0000071a: SWAP3 0000071b: POP 0000071c: SWAP3 0000071d: POP 0000071e: SWAP3 0000071f: JUMP 00000720: JUMPDEST 00000721: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000742: PUSH1 0x00 00000744: MSTORE 00000745: PUSH1 0x41 00000747: PUSH1 0x04 00000749: MSTORE 0000074a: PUSH1 0x24 0000074c: PUSH1 0x00 0000074e: REVERT 0000074f: JUMPDEST 00000750: PUSH1 0x00 00000752: DUP1 00000753: PUSH1 0x40 00000755: DUP4 00000756: DUP6 00000757: SUB 00000758: SLT 00000759: ISZERO 0000075a: PUSH2 0x0762 0000075d: JUMPI 0000075e: PUSH1 0x00 00000760: DUP1 00000761: REVERT 00000762: JUMPDEST 00000763: PUSH2 0x076b 00000766: DUP4 00000767: PUSH2 0x0652 0000076a: JUMP 0000076b: JUMPDEST 0000076c: SWAP2 0000076d: POP 0000076e: PUSH1 0x20 00000770: DUP4 00000771: ADD 00000772: CALLDATALOAD 00000773: PUSH8 0xffffffffffffffff 0000077c: DUP1 0000077d: DUP3 0000077e: GT 0000077f: ISZERO 00000780: PUSH2 0x0788 00000783: JUMPI 00000784: PUSH1 0x00 00000786: DUP1 00000787: REVERT 00000788: JUMPDEST 00000789: DUP2 0000078a: DUP6 0000078b: ADD 0000078c: SWAP2 0000078d: POP 0000078e: DUP6 0000078f: PUSH1 0x1f 00000791: DUP4 00000792: ADD 00000793: SLT 00000794: PUSH2 0x079c 00000797: JUMPI 00000798: PUSH1 0x00 0000079a: DUP1 0000079b: REVERT 0000079c: JUMPDEST 0000079d: DUP2 0000079e: CALLDATALOAD 0000079f: DUP2 000007a0: DUP2 000007a1: GT 000007a2: ISZERO 000007a3: PUSH2 0x07ae 000007a6: JUMPI 000007a7: PUSH2 0x07ae 000007aa: PUSH2 0x0720 000007ad: JUMP 000007ae: JUMPDEST 000007af: PUSH1 0x40 000007b1: MLOAD 000007b2: PUSH1 0x1f 000007b4: DUP3 000007b5: ADD 000007b6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000007d7: SWAP1 000007d8: DUP2 000007d9: AND 000007da: PUSH1 0x3f 000007dc: ADD 000007dd: AND 000007de: DUP2 000007df: ADD 000007e0: SWAP1 000007e1: DUP4 000007e2: DUP3 000007e3: GT 000007e4: DUP2 000007e5: DUP4 000007e6: LT 000007e7: OR 000007e8: ISZERO 000007e9: PUSH2 0x07f4 000007ec: JUMPI 000007ed: PUSH2 0x07f4 000007f0: PUSH2 0x0720 000007f3: JUMP 000007f4: JUMPDEST 000007f5: DUP2 000007f6: PUSH1 0x40 000007f8: MSTORE 000007f9: DUP3 000007fa: DUP2 000007fb: MSTORE 000007fc: DUP9 000007fd: PUSH1 0x20 000007ff: DUP5 00000800: DUP8 00000801: ADD 00000802: ADD 00000803: GT 00000804: ISZERO 00000805: PUSH2 0x080d 00000808: JUMPI 00000809: PUSH1 0x00 0000080b: DUP1 0000080c: REVERT 0000080d: JUMPDEST 0000080e: DUP3 0000080f: PUSH1 0x20 00000811: DUP7 00000812: ADD 00000813: PUSH1 0x20 00000815: DUP4 00000816: ADD 00000817: CALLDATACOPY 00000818: PUSH1 0x00 0000081a: PUSH1 0x20 0000081c: DUP5 0000081d: DUP4 0000081e: ADD 0000081f: ADD 00000820: MSTORE 00000821: DUP1 00000822: SWAP6 00000823: POP 00000824: POP 00000825: POP 00000826: POP 00000827: POP 00000828: POP 00000829: SWAP3 0000082a: POP 0000082b: SWAP3 0000082c: SWAP1 0000082d: POP 0000082e: JUMP 0000082f: JUMPDEST 00000830: DUP2 00000831: DUP4 00000832: DUP3 00000833: CALLDATACOPY 00000834: PUSH1 0x00 00000836: SWAP2 00000837: ADD 00000838: SWAP1 00000839: DUP2 0000083a: MSTORE 0000083b: SWAP2 0000083c: SWAP1 0000083d: POP 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH1 0x00 00000842: DUP3 00000843: DUP3 00000844: LT 00000845: ISZERO 00000846: PUSH2 0x0878 00000849: JUMPI 0000084a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000086b: PUSH1 0x00 0000086d: MSTORE 0000086e: PUSH1 0x11 00000870: PUSH1 0x04 00000872: MSTORE 00000873: PUSH1 0x24 00000875: PUSH1 0x00 00000877: REVERT 00000878: JUMPDEST 00000879: POP 0000087a: SUB 0000087b: SWAP1 0000087c: JUMP 0000087d: JUMPDEST 0000087e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000089f: PUSH1 0x00 000008a1: MSTORE 000008a2: PUSH1 0x01 000008a4: PUSH1 0x04 000008a6: MSTORE 000008a7: PUSH1 0x24 000008a9: PUSH1 0x00 000008ab: REVERT 000008ac: JUMPDEST 000008ad: PUSH1 0x00 000008af: DUP3 000008b0: MLOAD 000008b1: PUSH1 0x00 000008b3: JUMPDEST 000008b4: DUP2 000008b5: DUP2 000008b6: LT 000008b7: ISZERO 000008b8: PUSH2 0x08cd 000008bb: JUMPI 000008bc: PUSH1 0x20 000008be: DUP2 000008bf: DUP7 000008c0: ADD 000008c1: DUP2 000008c2: ADD 000008c3: MLOAD 000008c4: DUP6 000008c5: DUP4 000008c6: ADD 000008c7: MSTORE 000008c8: ADD 000008c9: PUSH2 0x08b3 000008cc: JUMP 000008cd: JUMPDEST 000008ce: DUP2 000008cf: DUP2 000008d0: GT 000008d1: ISZERO 000008d2: PUSH2 0x08dc 000008d5: JUMPI 000008d6: PUSH1 0x00 000008d8: DUP3 000008d9: DUP6 000008da: ADD 000008db: MSTORE 000008dc: JUMPDEST 000008dd: POP 000008de: SWAP2 000008df: SWAP1 000008e0: SWAP2 000008e1: ADD 000008e2: SWAP3 000008e3: SWAP2 000008e4: POP 000008e5: POP 000008e6: JUMP 000008e7: INVALID 000008e8: LOG2 000008e9: PUSH5 0x6970667358 000008ef: UNKNOWN(0x22) 000008f0: SLT 000008f1: KECCAK256 000008f2: UNKNOWN(0x0C) 000008f3: PUSH29 0x620e62677c7bfcedf20b49e76ff3bf64d72e5ec13e1be952d831903796 00000911: SAR 00000912: PUSH5 0x736f6c6343 00000918: STOP 00000919: ADDMOD 0000091a: UNKNOWN(0x0C) 0000091b: STOP 0000091c: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x82e361e182b2adfbf10097773290e06a1b2719354e8df0fe690cda12f63d5ad4
call_targets:
0xb7ed499e7570ee7691eef4df9d708d258de2b512
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x82e361e182b2adfbf10097773290e06a1b2719354e8df0fe690cda12f63d5ad4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb7ed499e7570ee7691eef4df9d708d258de2b512"
],
"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": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1f57894",
"selector": "0xd1f57894",
"calldata_variants": [
"0xd1f57894",
"0xd1f578940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3659cfe6",
"selector": "0x3659cfe6",
"calldata_variants": [
"0x3659cfe6",
"0x3659cfe60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f1ef286",
"selector": "0x4f1ef286",
"calldata_variants": [
"0x4f1ef286",
"0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 517,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 945,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1138,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 312,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 394,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 605,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1018,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1421,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 3,
"untrusted_delegatecall_count": 3
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 3
}
|