⬢ DragonFlyBSD Kernel Audit
DF-5205 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
{
  "finding_id": "DF-5205",
  "verdict": "untested",
  "impact": "none",
  "confidence": "certain",
  "reason_not_run": "Hardware-absent: requires AMD Trinity (HD 7xxx APU) SMC firmware that times out or returns an undefined response code; QEMU audit guest has no radeon GPU and no software-only trigger exists (message ids are compile-time constants). Info-class hardening finding, exempt from Phase V.",
  "reproduce": {
    "build": "(none — no PoC authored)",
    "run": "(none)",
    "expected": "On real TN hardware with a wedged SMC: trinity_notify_message_to_smu returns 0 after a 100ms timeout; trinity_dpm_enable still returns 0 and DPM is marked enabled. With fix.diff: -EINVAL propagates and DPM enable fails loudly."
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/trinity_smc.c:36",
    "sys/dev/drm/radeon/trinity_smc.c:41",
    "sys/dev/drm/radeon/trinity_smc.c:43",
    "sys/dev/drm/radeon/trinity_smc.c:53",
    "sys/dev/drm/radeon/trinity_dpm.c:1105",
    "sys/dev/drm/radeon/trinity_dpm.c:1131"
  ],
  "artifacts": ["README.md", "VERDICT.md", "analysis.txt", "fix.diff", "verdict.json", "manifest.json"],
  "fix_diff": "fix.diff"
}