⬢ DragonFlyBSD Kernel Audit
DF-3979 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
{
  "verdict": "inconclusive",
  "impact": "none",
  "finding_id": "DF-3979",
  "reproduce": {
    "build": "n/a (dead path + no DCN hardware in guest)",
    "run": "n/a",
    "expected": "n/a — source-level finding; see VERDICT.md for the unreachability proof"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/dc/dcn10/dcn10_hw_sequencer.c:1406",
    "sys/dev/drm/amd/display/dc/core/dc.c:794",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:2831",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:2844"
  ],
  "artifacts": ["README.md", "VERDICT.md", "df3979_event_source.c", "manifest.json", "verdict.json"]
}