019ba8b4-4f27-737a-bb5c-884a1e725b10
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 |
|---|---|---|---|---|
| 32678 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 32679 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 32680 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 32681 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 32682 | capability.graph | complete | 1 / 3 | 3 months ago |
| 32683 | detector.run | complete | 1 / 3 | 3 months ago |
| 32684 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"method": "etherscan+onchain",
"status": "confirmed",
"etherscan_hint": {
"source": "etherscan",
"etherscan": {
"proxy_flag": true,
"implementation": "0xcc727419975308db748c950ebcec7bb478a1c771"
}
},
"implementation": "0xcc727419975308db748c950ebcec7bb478a1c771",
"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: ISZERO 0000000a: PUSH2 0x0019 0000000d: JUMPI 0000000e: JUMPDEST 0000000f: CALLDATASIZE 00000010: PUSH2 0x02e8 00000013: JUMPI 00000014: JUMPDEST 00000015: PUSH2 0x02e8 00000018: JUMP 00000019: JUMPDEST 0000001a: PUSH1 0x00 0000001c: DUP1 0000001d: CALLDATALOAD 0000001e: PUSH1 0xe0 00000020: SHR 00000021: SWAP1 00000022: DUP2 00000023: PUSH4 0x3659cfe6 00000028: EQ 00000029: PUSH2 0x006c 0000002c: JUMPI 0000002d: POP 0000002e: DUP1 0000002f: PUSH4 0x4f1ef286 00000034: EQ 00000035: PUSH2 0x0067 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x5c60da1b 0000003f: EQ 00000040: PUSH2 0x0062 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x8f283970 0000004a: EQ 0000004b: PUSH2 0x005d 0000004e: JUMPI 0000004f: PUSH4 0xf851a440 00000054: SUB 00000055: PUSH2 0x000e 00000058: JUMPI 00000059: PUSH2 0x02a6 0000005c: JUMP 0000005d: JUMPDEST 0000005e: PUSH2 0x01c7 00000061: JUMP 00000062: JUMPDEST 00000063: PUSH2 0x0178 00000066: JUMP 00000067: JUMPDEST 00000068: PUSH2 0x00dc 0000006b: JUMP 0000006c: JUMPDEST 0000006d: CALLVALUE 0000006e: PUSH2 0x00be 00000071: JUMPI 00000072: PUSH1 0x20 00000074: CALLDATASIZE 00000075: PUSH1 0x03 00000077: NOT 00000078: ADD 00000079: SLT 0000007a: PUSH2 0x00be 0000007d: JUMPI 0000007e: PUSH2 0x0085 00000081: PUSH2 0x00c1 00000084: JUMP 00000085: JUMPDEST 00000086: PUSH1 0x00 00000088: DUP1 00000089: MLOAD 0000008a: PUSH1 0x20 0000008c: PUSH2 0x06f8 0000008f: DUP4 00000090: CODECOPY 00000091: DUP2 00000092: MLOAD 00000093: SWAP2 00000094: MSTORE 00000095: SLOAD 00000096: CALLER 00000097: PUSH1 0x01 00000099: PUSH1 0x01 0000009b: PUSH1 0xa0 0000009d: SHL 0000009e: SUB 0000009f: SWAP1 000000a0: SWAP2 000000a1: AND 000000a2: SUB 000000a3: PUSH2 0x0014 000000a6: JUMPI 000000a7: PUSH2 0x00bb 000000aa: SWAP1 000000ab: PUSH2 0x00b2 000000ae: PUSH2 0x03c5 000000b1: JUMP 000000b2: JUMPDEST 000000b3: SWAP1 000000b4: DUP4 000000b5: DUP3 000000b6: MSTORE 000000b7: PUSH2 0x042c 000000ba: JUMP 000000bb: JUMPDEST 000000bc: DUP1 000000bd: RETURN 000000be: JUMPDEST 000000bf: DUP1 000000c0: REVERT 000000c1: JUMPDEST 000000c2: PUSH1 0x04 000000c4: CALLDATALOAD 000000c5: SWAP1 000000c6: PUSH1 0x01 000000c8: PUSH1 0x01 000000ca: PUSH1 0xa0 000000cc: SHL 000000cd: SUB 000000ce: DUP3 000000cf: AND 000000d0: DUP3 000000d1: SUB 000000d2: PUSH2 0x00d7 000000d5: JUMPI 000000d6: JUMP 000000d7: JUMPDEST 000000d8: PUSH1 0x00 000000da: DUP1 000000db: REVERT 000000dc: JUMPDEST 000000dd: PUSH1 0x40 000000df: CALLDATASIZE 000000e0: PUSH1 0x03 000000e2: NOT 000000e3: ADD 000000e4: SLT 000000e5: PUSH2 0x00d7 000000e8: JUMPI 000000e9: PUSH2 0x00f0 000000ec: PUSH2 0x00c1 000000ef: JUMP 000000f0: JUMPDEST 000000f1: PUSH1 0x24 000000f3: CALLDATALOAD 000000f4: PUSH8 0xffffffffffffffff 000000fd: SWAP2 000000fe: DUP3 000000ff: DUP3 00000100: GT 00000101: PUSH2 0x00d7 00000104: JUMPI 00000105: CALLDATASIZE 00000106: PUSH1 0x23 00000108: DUP4 00000109: ADD 0000010a: SLT 0000010b: ISZERO 0000010c: PUSH2 0x00d7 0000010f: JUMPI 00000110: DUP2 00000111: PUSH1 0x04 00000113: ADD 00000114: CALLDATALOAD 00000115: SWAP3 00000116: DUP4 00000117: GT 00000118: PUSH2 0x00d7 0000011b: JUMPI 0000011c: CALLDATASIZE 0000011d: PUSH1 0x24 0000011f: DUP5 00000120: DUP5 00000121: ADD 00000122: ADD 00000123: GT 00000124: PUSH2 0x00d7 00000127: JUMPI 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: MLOAD 0000012c: PUSH1 0x20 0000012e: PUSH2 0x06f8 00000131: DUP4 00000132: CODECOPY 00000133: DUP2 00000134: MLOAD 00000135: SWAP2 00000136: MSTORE 00000137: SLOAD 00000138: CALLER 00000139: PUSH1 0x01 0000013b: PUSH1 0x01 0000013d: PUSH1 0xa0 0000013f: SHL 00000140: SUB 00000141: SWAP1 00000142: SWAP2 00000143: AND 00000144: SUB 00000145: PUSH2 0x0014 00000148: JUMPI 00000149: PUSH1 0x00 0000014b: PUSH1 0x20 0000014d: DUP5 0000014e: DUP1 0000014f: PUSH1 0x24 00000151: PUSH2 0x0164 00000154: PUSH2 0x015f 00000157: PUSH2 0x0176 0000015a: SWAP10 0000015b: PUSH2 0x0410 0000015e: JUMP 0000015f: JUMPDEST 00000160: PUSH2 0x03ea 00000163: JUMP 00000164: JUMPDEST 00000165: SWAP7 00000166: DUP3 00000167: DUP9 00000168: MSTORE 00000169: ADD 0000016a: DUP4 0000016b: DUP8 0000016c: ADD 0000016d: CALLDATACOPY 0000016e: DUP5 0000016f: ADD 00000170: ADD 00000171: MSTORE 00000172: PUSH2 0x050e 00000175: JUMP 00000176: JUMPDEST 00000177: STOP 00000178: JUMPDEST 00000179: CALLVALUE 0000017a: PUSH2 0x00d7 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: CALLDATASIZE 00000181: PUSH1 0x03 00000183: NOT 00000184: ADD 00000185: SLT 00000186: PUSH2 0x00d7 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: MLOAD 0000018e: PUSH1 0x20 00000190: PUSH2 0x06f8 00000193: DUP4 00000194: CODECOPY 00000195: DUP2 00000196: MLOAD 00000197: SWAP2 00000198: MSTORE 00000199: SLOAD 0000019a: PUSH1 0x01 0000019c: PUSH1 0x01 0000019e: PUSH1 0xa0 000001a0: SHL 000001a1: SUB 000001a2: SWAP1 000001a3: CALLER 000001a4: SWAP1 000001a5: DUP3 000001a6: AND 000001a7: SUB 000001a8: PUSH2 0x0014 000001ab: JUMPI 000001ac: PUSH1 0x00 000001ae: DUP1 000001af: MLOAD 000001b0: PUSH1 0x20 000001b2: PUSH2 0x0718 000001b5: DUP4 000001b6: CODECOPY 000001b7: DUP2 000001b8: MLOAD 000001b9: SWAP2 000001ba: MSTORE 000001bb: SLOAD 000001bc: PUSH1 0x40 000001be: MLOAD 000001bf: SWAP2 000001c0: AND 000001c1: DUP2 000001c2: MSTORE 000001c3: PUSH1 0x20 000001c5: SWAP1 000001c6: RETURN 000001c7: JUMPDEST 000001c8: CALLVALUE 000001c9: PUSH2 0x00d7 000001cc: JUMPI 000001cd: PUSH1 0x20 000001cf: CALLDATASIZE 000001d0: PUSH1 0x03 000001d2: NOT 000001d3: ADD 000001d4: SLT 000001d5: PUSH2 0x00d7 000001d8: JUMPI 000001d9: PUSH2 0x01e0 000001dc: PUSH2 0x00c1 000001df: JUMP 000001e0: JUMPDEST 000001e1: PUSH1 0x00 000001e3: DUP1 000001e4: MLOAD 000001e5: PUSH1 0x20 000001e7: PUSH2 0x06f8 000001ea: DUP4 000001eb: CODECOPY 000001ec: DUP2 000001ed: MLOAD 000001ee: SWAP2 000001ef: MSTORE 000001f0: DUP1 000001f1: SLOAD 000001f2: SWAP1 000001f3: SWAP2 000001f4: SWAP1 000001f5: PUSH1 0x01 000001f7: PUSH1 0x01 000001f9: PUSH1 0xa0 000001fb: SHL 000001fc: SUB 000001fd: SWAP1 000001fe: CALLER 000001ff: SWAP1 00000200: DUP3 00000201: AND 00000202: SUB 00000203: PUSH2 0x0014 00000206: JUMPI 00000207: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f 00000228: PUSH1 0x40 0000022a: DUP5 0000022b: SLOAD 0000022c: SWAP3 0000022d: DUP2 0000022e: MLOAD 0000022f: SWAP5 00000230: DUP2 00000231: DUP6 00000232: AND 00000233: DUP7 00000234: MSTORE 00000235: AND 00000236: SWAP4 00000237: DUP5 00000238: PUSH1 0x20 0000023a: DUP3 0000023b: ADD 0000023c: MSTORE 0000023d: LOG1 0000023e: DUP2 0000023f: ISZERO 00000240: PUSH2 0x0252 00000243: JUMPI 00000244: PUSH1 0x01 00000246: PUSH1 0x01 00000248: PUSH1 0xa0 0000024a: SHL 0000024b: SUB 0000024c: NOT 0000024d: AND 0000024e: OR 0000024f: SWAP1 00000250: SSTORE 00000251: STOP 00000252: JUMPDEST 00000253: PUSH1 0x40 00000255: MLOAD 00000256: PUSH3 0x461bcd 0000025a: PUSH1 0xe5 0000025c: SHL 0000025d: DUP2 0000025e: MSTORE 0000025f: PUSH1 0x20 00000261: PUSH1 0x04 00000263: DUP3 00000264: ADD 00000265: MSTORE 00000266: PUSH1 0x26 00000268: PUSH1 0x24 0000026a: DUP3 0000026b: ADD 0000026c: MSTORE 0000026d: PUSH32 0x455243313936373a206e65772061646d696e20697320746865207a65726f2061 0000028e: PUSH1 0x44 00000290: DUP3 00000291: ADD 00000292: MSTORE 00000293: PUSH6 0x646472657373 0000029a: PUSH1 0xd0 0000029c: SHL 0000029d: PUSH1 0x64 0000029f: DUP3 000002a0: ADD 000002a1: MSTORE 000002a2: PUSH1 0x84 000002a4: SWAP1 000002a5: REVERT 000002a6: JUMPDEST 000002a7: CALLVALUE 000002a8: PUSH2 0x00d7 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: CALLDATASIZE 000002af: PUSH1 0x03 000002b1: NOT 000002b2: ADD 000002b3: SLT 000002b4: PUSH2 0x00d7 000002b7: JUMPI 000002b8: PUSH1 0x00 000002ba: DUP1 000002bb: MLOAD 000002bc: PUSH1 0x20 000002be: PUSH2 0x06f8 000002c1: DUP4 000002c2: CODECOPY 000002c3: DUP2 000002c4: MLOAD 000002c5: SWAP2 000002c6: MSTORE 000002c7: DUP1 000002c8: SLOAD 000002c9: PUSH1 0x01 000002cb: PUSH1 0x01 000002cd: PUSH1 0xa0 000002cf: SHL 000002d0: SUB 000002d1: SWAP1 000002d2: CALLER 000002d3: SWAP1 000002d4: DUP3 000002d5: AND 000002d6: SUB 000002d7: PUSH2 0x0014 000002da: JUMPI 000002db: SWAP1 000002dc: SLOAD 000002dd: PUSH1 0x40 000002df: MLOAD 000002e0: SWAP2 000002e1: AND 000002e2: DUP2 000002e3: MSTORE 000002e4: PUSH1 0x20 000002e6: SWAP1 000002e7: RETURN 000002e8: JUMPDEST 000002e9: PUSH1 0x00 000002eb: DUP1 000002ec: MLOAD 000002ed: PUSH1 0x20 000002ef: PUSH2 0x06f8 000002f2: DUP4 000002f3: CODECOPY 000002f4: DUP2 000002f5: MLOAD 000002f6: SWAP2 000002f7: MSTORE 000002f8: SLOAD 000002f9: PUSH1 0x01 000002fb: PUSH1 0x01 000002fd: PUSH1 0xa0 000002ff: SHL 00000300: SUB 00000301: SWAP1 00000302: DUP2 00000303: AND 00000304: CALLER 00000305: EQ 00000306: PUSH2 0x0339 00000309: JUMPI 0000030a: PUSH1 0x00 0000030c: DUP1 0000030d: MLOAD 0000030e: PUSH1 0x20 00000310: PUSH2 0x0718 00000313: DUP4 00000314: CODECOPY 00000315: DUP2 00000316: MLOAD 00000317: SWAP2 00000318: MSTORE 00000319: SLOAD 0000031a: AND 0000031b: PUSH1 0x00 0000031d: DUP1 0000031e: DUP1 0000031f: SWAP3 00000320: CALLDATASIZE 00000321: DUP3 00000322: DUP1 00000323: CALLDATACOPY 00000324: DUP2 00000325: CALLDATASIZE 00000326: SWAP2 00000327: GAS 00000328: DELEGATECALL 00000329: RETURNDATASIZE 0000032a: DUP3 0000032b: DUP1 0000032c: RETURNDATACOPY 0000032d: ISZERO 0000032e: PUSH2 0x0335 00000331: JUMPI 00000332: RETURNDATASIZE 00000333: SWAP1 00000334: RETURN 00000335: JUMPDEST 00000336: RETURNDATASIZE 00000337: SWAP1 00000338: REVERT 00000339: JUMPDEST 0000033a: PUSH1 0x40 0000033c: MLOAD 0000033d: PUSH3 0x461bcd 00000341: PUSH1 0xe5 00000343: SHL 00000344: DUP2 00000345: MSTORE 00000346: PUSH1 0x20 00000348: PUSH1 0x04 0000034a: DUP3 0000034b: ADD 0000034c: MSTORE 0000034d: PUSH1 0x42 0000034f: PUSH1 0x24 00000351: DUP3 00000352: ADD 00000353: MSTORE 00000354: PUSH32 0x5472616e73706172656e745570677261646561626c6550726f78793a2061646d 00000375: PUSH1 0x44 00000377: DUP3 00000378: ADD 00000379: MSTORE 0000037a: PUSH32 0x696e2063616e6e6f742066616c6c6261636b20746f2070726f78792074617267 0000039b: PUSH1 0x64 0000039d: DUP3 0000039e: ADD 0000039f: MSTORE 000003a0: PUSH2 0x195d 000003a3: PUSH1 0xf2 000003a5: SHL 000003a6: PUSH1 0x84 000003a8: DUP3 000003a9: ADD 000003aa: MSTORE 000003ab: PUSH1 0xa4 000003ad: SWAP1 000003ae: REVERT 000003af: JUMPDEST 000003b0: PUSH4 0x4e487b71 000003b5: PUSH1 0xe0 000003b7: SHL 000003b8: PUSH1 0x00 000003ba: MSTORE 000003bb: PUSH1 0x41 000003bd: PUSH1 0x04 000003bf: MSTORE 000003c0: PUSH1 0x24 000003c2: PUSH1 0x00 000003c4: REVERT 000003c5: JUMPDEST 000003c6: PUSH1 0x40 000003c8: MLOAD 000003c9: SWAP1 000003ca: PUSH1 0x20 000003cc: DUP3 000003cd: ADD 000003ce: DUP3 000003cf: DUP2 000003d0: LT 000003d1: PUSH8 0xffffffffffffffff 000003da: DUP3 000003db: GT 000003dc: OR 000003dd: PUSH2 0x03e5 000003e0: JUMPI 000003e1: PUSH1 0x40 000003e3: MSTORE 000003e4: JUMP 000003e5: JUMPDEST 000003e6: PUSH2 0x03af 000003e9: JUMP 000003ea: JUMPDEST 000003eb: PUSH1 0x40 000003ed: MLOAD 000003ee: SWAP2 000003ef: SWAP1 000003f0: PUSH1 0x1f 000003f2: ADD 000003f3: PUSH1 0x1f 000003f5: NOT 000003f6: AND 000003f7: DUP3 000003f8: ADD 000003f9: PUSH8 0xffffffffffffffff 00000402: DUP2 00000403: GT 00000404: DUP4 00000405: DUP3 00000406: LT 00000407: OR 00000408: PUSH2 0x03e5 0000040b: JUMPI 0000040c: PUSH1 0x40 0000040e: MSTORE 0000040f: JUMP 00000410: JUMPDEST 00000411: PUSH8 0xffffffffffffffff 0000041a: DUP2 0000041b: GT 0000041c: PUSH2 0x03e5 0000041f: JUMPI 00000420: PUSH1 0x1f 00000422: ADD 00000423: PUSH1 0x1f 00000425: NOT 00000426: AND 00000427: PUSH1 0x20 00000429: ADD 0000042a: SWAP1 0000042b: JUMP 0000042c: JUMPDEST 0000042d: DUP1 0000042e: EXTCODESIZE 0000042f: ISZERO 00000430: PUSH2 0x04b3 00000433: JUMPI 00000434: PUSH1 0x00 00000436: DUP1 00000437: MLOAD 00000438: PUSH1 0x20 0000043a: PUSH2 0x0718 0000043d: DUP4 0000043e: CODECOPY 0000043f: DUP2 00000440: MLOAD 00000441: SWAP2 00000442: MSTORE 00000443: DUP1 00000444: SLOAD 00000445: PUSH1 0x01 00000447: PUSH1 0x01 00000449: PUSH1 0xa0 0000044b: SHL 0000044c: SUB 0000044d: NOT 0000044e: AND 0000044f: PUSH1 0x01 00000451: PUSH1 0x01 00000453: PUSH1 0xa0 00000455: SHL 00000456: SUB 00000457: DUP4 00000458: AND 00000459: SWAP1 0000045a: DUP2 0000045b: OR 0000045c: SWAP1 0000045d: SWAP2 0000045e: SSTORE 0000045f: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 00000480: PUSH1 0x00 00000482: DUP1 00000483: LOG2 00000484: DUP2 00000485: MLOAD 00000486: ISZERO 00000487: DUP1 00000488: ISZERO 00000489: SWAP1 0000048a: PUSH2 0x04ab 0000048d: JUMPI 0000048e: JUMPDEST 0000048f: PUSH2 0x0496 00000492: JUMPI 00000493: POP 00000494: POP 00000495: JUMP 00000496: JUMPDEST 00000497: PUSH2 0x04a8 0000049a: SWAP2 0000049b: PUSH2 0x04a2 0000049e: PUSH2 0x057f 000004a1: JUMP 000004a2: JUMPDEST 000004a3: SWAP2 000004a4: PUSH2 0x05d9 000004a7: JUMP 000004a8: JUMPDEST 000004a9: POP 000004aa: JUMP 000004ab: JUMPDEST 000004ac: POP 000004ad: PUSH1 0x00 000004af: PUSH2 0x048e 000004b2: JUMP 000004b3: JUMPDEST 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: PUSH3 0x461bcd 000004bb: PUSH1 0xe5 000004bd: SHL 000004be: DUP2 000004bf: MSTORE 000004c0: PUSH1 0x20 000004c2: PUSH1 0x04 000004c4: DUP3 000004c5: ADD 000004c6: MSTORE 000004c7: PUSH1 0x2d 000004c9: PUSH1 0x24 000004cb: DUP3 000004cc: ADD 000004cd: MSTORE 000004ce: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e 000004ef: PUSH1 0x44 000004f1: DUP3 000004f2: ADD 000004f3: MSTORE 000004f4: PUSH13 0x1bdd08184818dbdb9d1c9858dd 00000502: PUSH1 0x9a 00000504: SHL 00000505: PUSH1 0x64 00000507: DUP3 00000508: ADD 00000509: MSTORE 0000050a: PUSH1 0x84 0000050c: SWAP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: DUP1 00000510: EXTCODESIZE 00000511: ISZERO 00000512: PUSH2 0x04b3 00000515: JUMPI 00000516: PUSH1 0x00 00000518: DUP1 00000519: MLOAD 0000051a: PUSH1 0x20 0000051c: PUSH2 0x0718 0000051f: DUP4 00000520: CODECOPY 00000521: DUP2 00000522: MLOAD 00000523: SWAP2 00000524: MSTORE 00000525: DUP1 00000526: SLOAD 00000527: PUSH1 0x01 00000529: PUSH1 0x01 0000052b: PUSH1 0xa0 0000052d: SHL 0000052e: SUB 0000052f: NOT 00000530: AND 00000531: PUSH1 0x01 00000533: PUSH1 0x01 00000535: PUSH1 0xa0 00000537: SHL 00000538: SUB 00000539: DUP4 0000053a: AND 0000053b: SWAP1 0000053c: DUP2 0000053d: OR 0000053e: SWAP1 0000053f: SWAP2 00000540: SSTORE 00000541: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 00000562: PUSH1 0x00 00000564: DUP1 00000565: LOG2 00000566: DUP2 00000567: MLOAD 00000568: ISZERO 00000569: DUP1 0000056a: ISZERO 0000056b: SWAP1 0000056c: PUSH2 0x0577 0000056f: JUMPI 00000570: PUSH2 0x0496 00000573: JUMPI 00000574: POP 00000575: POP 00000576: JUMP 00000577: JUMPDEST 00000578: POP 00000579: PUSH1 0x01 0000057b: PUSH2 0x048e 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH1 0x40 00000582: MLOAD 00000583: SWAP1 00000584: PUSH1 0x60 00000586: DUP3 00000587: ADD 00000588: DUP3 00000589: DUP2 0000058a: LT 0000058b: PUSH8 0xffffffffffffffff 00000594: DUP3 00000595: GT 00000596: OR 00000597: PUSH2 0x03e5 0000059a: JUMPI 0000059b: PUSH1 0x40 0000059d: MSTORE 0000059e: PUSH1 0x27 000005a0: DUP3 000005a1: MSTORE 000005a2: PUSH7 0x0819985a5b1959 000005aa: PUSH1 0xca 000005ac: SHL 000005ad: PUSH1 0x40 000005af: DUP4 000005b0: PUSH32 0x416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c 000005d1: PUSH1 0x20 000005d3: DUP3 000005d4: ADD 000005d5: MSTORE 000005d6: ADD 000005d7: MSTORE 000005d8: JUMP 000005d9: JUMPDEST 000005da: PUSH1 0x00 000005dc: DUP1 000005dd: PUSH2 0x060e 000005e0: SWAP5 000005e1: SWAP4 000005e2: PUSH1 0x20 000005e4: DUP2 000005e5: MLOAD 000005e6: SWAP2 000005e7: ADD 000005e8: DUP5 000005e9: GAS 000005ea: DELEGATECALL 000005eb: RETURNDATASIZE 000005ec: ISZERO 000005ed: PUSH2 0x0611 000005f0: JUMPI 000005f1: RETURNDATASIZE 000005f2: SWAP2 000005f3: PUSH2 0x05fe 000005f6: PUSH2 0x015f 000005f9: DUP5 000005fa: PUSH2 0x0410 000005fd: JUMP 000005fe: JUMPDEST 000005ff: SWAP3 00000600: DUP4 00000601: MSTORE 00000602: RETURNDATASIZE 00000603: PUSH1 0x00 00000605: PUSH1 0x20 00000607: DUP6 00000608: ADD 00000609: RETURNDATACOPY 0000060a: PUSH2 0x0665 0000060d: JUMP 0000060e: JUMPDEST 0000060f: SWAP1 00000610: JUMP 00000611: JUMPDEST 00000612: PUSH1 0x60 00000614: SWAP2 00000615: PUSH2 0x0665 00000618: JUMP 00000619: JUMPDEST 0000061a: ISZERO 0000061b: PUSH2 0x0620 0000061e: JUMPI 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH1 0x40 00000623: MLOAD 00000624: PUSH3 0x461bcd 00000628: PUSH1 0xe5 0000062a: SHL 0000062b: DUP2 0000062c: MSTORE 0000062d: PUSH1 0x20 0000062f: PUSH1 0x04 00000631: DUP3 00000632: ADD 00000633: MSTORE 00000634: PUSH1 0x1d 00000636: PUSH1 0x24 00000638: DUP3 00000639: ADD 0000063a: MSTORE 0000063b: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 0000065c: PUSH1 0x44 0000065e: DUP3 0000065f: ADD 00000660: MSTORE 00000661: PUSH1 0x64 00000663: SWAP1 00000664: REVERT 00000665: JUMPDEST 00000666: SWAP2 00000667: SWAP3 00000668: SWAP1 00000669: ISZERO 0000066a: PUSH2 0x0685 0000066d: JUMPI 0000066e: POP 0000066f: DUP2 00000670: MLOAD 00000671: ISZERO 00000672: PUSH2 0x0679 00000675: JUMPI 00000676: POP 00000677: SWAP1 00000678: JUMP 00000679: JUMPDEST 0000067a: PUSH2 0x060e 0000067d: SWAP1 0000067e: EXTCODESIZE 0000067f: ISZERO 00000680: ISZERO 00000681: PUSH2 0x0619 00000684: JUMP 00000685: JUMPDEST 00000686: DUP3 00000687: MLOAD 00000688: SWAP1 00000689: SWAP2 0000068a: POP 0000068b: ISZERO 0000068c: PUSH2 0x0698 0000068f: JUMPI 00000690: POP 00000691: DUP1 00000692: MLOAD 00000693: SWAP1 00000694: PUSH1 0x20 00000696: ADD 00000697: REVERT 00000698: JUMPDEST 00000699: PUSH1 0x40 0000069b: MLOAD 0000069c: SWAP1 0000069d: PUSH3 0x461bcd 000006a1: PUSH1 0xe5 000006a3: SHL 000006a4: DUP3 000006a5: MSTORE 000006a6: DUP2 000006a7: PUSH1 0x20 000006a9: DUP1 000006aa: PUSH1 0x04 000006ac: DUP4 000006ad: ADD 000006ae: MSTORE 000006af: DUP3 000006b0: MLOAD 000006b1: SWAP1 000006b2: DUP2 000006b3: PUSH1 0x24 000006b5: DUP5 000006b6: ADD 000006b7: MSTORE 000006b8: PUSH1 0x00 000006ba: SWAP4 000006bb: JUMPDEST 000006bc: DUP3 000006bd: DUP6 000006be: LT 000006bf: PUSH2 0x06de 000006c2: JUMPI 000006c3: POP 000006c4: POP 000006c5: PUSH1 0x44 000006c7: SWAP3 000006c8: POP 000006c9: PUSH1 0x00 000006cb: DUP4 000006cc: DUP3 000006cd: DUP5 000006ce: ADD 000006cf: ADD 000006d0: MSTORE 000006d1: PUSH1 0x1f 000006d3: DUP1 000006d4: NOT 000006d5: SWAP2 000006d6: ADD 000006d7: AND 000006d8: DUP2 000006d9: ADD 000006da: SUB 000006db: ADD 000006dc: SWAP1 000006dd: REVERT 000006de: JUMPDEST 000006df: DUP5 000006e0: DUP2 000006e1: ADD 000006e2: DUP3 000006e3: ADD 000006e4: MLOAD 000006e5: DUP7 000006e6: DUP7 000006e7: ADD 000006e8: PUSH1 0x44 000006ea: ADD 000006eb: MSTORE 000006ec: SWAP4 000006ed: DUP2 000006ee: ADD 000006ef: SWAP4 000006f0: DUP6 000006f1: SWAP4 000006f2: POP 000006f3: PUSH2 0x06bb 000006f6: JUMP 000006f7: INVALID 000006f8: UNKNOWN(0xB5) 000006f9: BALANCE 000006fa: UNKNOWN(0x27) 000006fb: PUSH9 0x4a568b3173ae13b9f8 00000705: UNKNOWN(0xA6) 00000706: ADD 00000707: PUSH15 0x243e63b6e8ee1178d6a717850b5d61 00000717: SUB 00000718: CALLDATASIZE 00000719: ADDMOD 0000071a: SWAP5 0000071b: LOG1 0000071c: EXTCODESIZE 0000071d: LOG1 0000071e: LOG3 0000071f: UNKNOWN(0x21) 00000720: MOD 00000721: PUSH8 0xc828492db98dca3e 0000072a: KECCAK256 0000072b: PUSH23 0xcc3735a920a3ca505d382bbca2646970667358221220e0 00000743: BYTE 00000744: STOP 00000745: KECCAK256 00000746: SWAP16 00000747: NOT 00000748: UNKNOWN(0x22) 00000749: MCOPY 0000074a: PC 0000074b: UNKNOWN(0xBA) 0000074c: DUP2 0000074d: DUP4 0000074e: SWAP1 0000074f: UNKNOWN(0x23) 00000750: UNKNOWN(0x23) 00000751: SIGNEXTEND 00000752: SLT 00000753: UNKNOWN(0xD9) 00000754: DUP8 00000755: TLOAD 00000756: UNKNOWN(0x4E) 00000757: UNKNOWN(0xCA) 00000758: DUP4 00000759: PC 0000075a: PUSH11 0xf3d366eb9640b964736f6c 00000766: PUSH4 0x43000813 0000076b: STOP 0000076c: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x894d4a74ff8ceace3588e75991249002147b445dd1cc0f516b27e8c433907a6a
call_targets:
0xcc727419975308db748c950ebcec7bb478a1c771
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 2,
"trace_id": "0x894d4a74ff8ceace3588e75991249002147b445dd1cc0f516b27e8c433907a6a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcc727419975308db748c950ebcec7bb478a1c771"
],
"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": "0x3659cfe6",
"selector": "0x3659cfe6",
"calldata_variants": [
"0x3659cfe6",
"0x3659cfe60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f1ef286",
"selector": "0x4f1ef286",
"calldata_variants": [
"0x4f1ef286",
"0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 808,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1514,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 2
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 5
}
|