DF-4937

dc_clock_type_to_atom default leaves *atom_clock_type uninitialized while returning true (v1 twin; consumer command_table.c:2432/2440)

Summary

v1 twin of the output-param contract violation; doubly gated (enum-closed + fallback-only parser). retCode=false fix.

Discussion (0)

No comments yet.

Severity: Info
Status: new
Bucket: Base system — drivers
Confidence: speculative
Pass: 2 · GLM 5.3 second pass
CVSS 3.1: CVSS:3.1/AV:L/AC:H/PR:H/UI:N/S:U/C:N/I:L/A:N
CWE: CWE-457
File: sys/dev/drm/amd/display/dc/bios/dce112/command_table_helper_dce112.c
Lines: 333-356
Area: dev
Discovered: 2026-09-25
Updated: 2026-09-25

Team triage

untriaged

priority: — · owner: —

PoC verification

untested

Status: untested
Reproduced: no
Impact: none
Confidence: speculative
Tested: 2026-09-25 06:49:03
Attempts: 0
Runtime: —
Code hash: —
Guest: —
Build cmd: —
Run cmd: —

jump to evidence pack ↓

Fix verification

not_testable

Fix status: not_testable
Baseline reproduced: —
Patched reproduced: —
Confidence: speculative
Tested: 2026-09-25 06:49:03
Runtime: —
Kernel: per-fix-DF-4937
fix.diff: findings/poc/DF-4937/fix.diff
Runner: df-bsd-reviewer

jump to fix verification ↓

PoC verification

Evidence pack

findings/poc/DF-4937 · 1 files

File	Type	Description	Size
verdict.json	file		753 B	view raw

Fix verification

not_testable

per-fix-DF-4937

Confirmed kernel references

Detail

Exploit chain

none today (enum-closed + fallback-only parser)

Evidence (decisive lines)

findings/poc/DF-4937/ (this verdict)

Verdict

Latent output-param contract violation (Info/speculative), v1 twin: default branch leaves *atom_clock_type uninitialized while returning true; the v1 consumer set_dce_clock declares the variable uninit and trusts the return. Unreachable today (enum-closed) and doubly gated by the fallback-only parser. retCode=false fix.