019ba5f9-b721-70b2-a2e5-08855a62110a
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 |
|---|---|---|---|---|
| 32064 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 32065 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 32066 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 32067 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 32068 | capability.graph | complete | 1 / 3 | 3 months ago |
| 32069 | detector.run | complete | 1 / 3 | 3 months ago |
| 32070 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"method": "etherscan+onchain",
"status": "confirmed",
"etherscan_hint": {
"source": "etherscan",
"etherscan": {
"proxy_flag": true,
"implementation": "0xb53a6c402b0d4fb6c7aa59b7d8fbd2e884fbf3bc"
}
},
"implementation": "0xb53a6c402b0d4fb6c7aa59b7d8fbd2e884fbf3bc",
"onchain_method": "eip1967"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000026: SLOAD 00000027: PUSH0 00000028: SWAP1 00000029: DUP2 0000002a: SWAP1 0000002b: PUSH1 0x01 0000002d: PUSH1 0x01 0000002f: PUSH1 0xa0 00000031: SHL 00000032: SUB 00000033: AND 00000034: CALLDATASIZE 00000035: DUP3 00000036: DUP1 00000037: CALLDATACOPY 00000038: DUP2 00000039: CALLDATASIZE 0000003a: SWAP2 0000003b: GAS 0000003c: DELEGATECALL 0000003d: RETURNDATASIZE 0000003e: PUSH0 0000003f: DUP1 00000040: RETURNDATACOPY 00000041: ISZERO 00000042: PUSH1 0x48 00000044: JUMPI 00000045: RETURNDATASIZE 00000046: PUSH0 00000047: RETURN 00000048: JUMPDEST 00000049: RETURNDATASIZE 0000004a: PUSH0 0000004b: REVERT 0000004c: INVALID 0000004d: LOG2 0000004e: PUSH5 0x6970667358 00000054: UNKNOWN(0x22) 00000055: SLT 00000056: KECCAK256 00000057: MSIZE 00000058: UNKNOWN(0x0D) 00000059: UNKNOWN(0xE6) 0000005a: AND 0000005b: UNKNOWN(0x2A) 0000005c: CALL 0000005d: UNKNOWN(0xAC) 0000005e: UNKNOWN(0xA5) 0000005f: UNKNOWN(0xF7) 00000060: UNKNOWN(0xD3) 00000061: DUP1 00000062: UNKNOWN(0xE4) 00000063: MSIZE 00000064: CODECOPY 00000065: UNKNOWN(0x4C) 00000066: UNKNOWN(0xE9) 00000067: PUSH30
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x21d1b765f3d9d435a8b02541d3f585cff21739d21c9e709ae788b6f47e8577a6
call_targets:
0xb53a6c402b0d4fb6c7aa59b7d8fbd2e884fbf3bc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x21d1b765f3d9d435a8b02541d3f585cff21739d21c9e709ae788b6f47e8577a6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb53a6c402b0d4fb6c7aa59b7d8fbd2e884fbf3bc"
],
"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": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 60,
"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: 0x21d1b765f3d9d435a8b02541d3f585cff21739d21c9e709ae788b6f47e8577a6
call_targets:
0x729970a33b1680b763f941aa2da9fa46c5dbdf5a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x21d1b765f3d9d435a8b02541d3f585cff21739d21c9e709ae788b6f47e8577a6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x729970a33b1680b763f941aa2da9fa46c5dbdf5a"
],
"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": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 92,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x21d1b765f3d9d435a8b02541d3f585cff21739d21c9e709ae788b6f47e8577a6
call_targets:
0x729970a33b1680b763f941aa2da9fa46c5dbdf5a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x21d1b765f3d9d435a8b02541d3f585cff21739d21c9e709ae788b6f47e8577a6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x729970a33b1680b763f941aa2da9fa46c5dbdf5a"
],
"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": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 92,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|
| info | upgradeability | cast | Likely proxy-like runtime | 60 | no | — |
viewevidence_json{
"notes": "short runtime with SLOAD and DELEGATECALL resembles minimal proxy/upgradeable pattern",
"sload_count": 1,
"total_opcodes": 61,
"delegatecall_count": 1
}
|