⬢ DragonFlyBSD Kernel Audit
DF-4886 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4886",
  "file": "sys/dev/drm/amd/powerplay/hwmgr/hardwaremanager.c",
  "title": "phm_start_thermal_controller is the only phm_* dispatcher without PHM_FUNC_CHECK — unchecked hwmgr/hwmgr_func/adev derefs (latent NULL-deref, DF-1913/DF-4831 family)",
  "verdict": "untested",
  "impact": "panic",
  "severity": "Info",
  "confidence": "certain",
  "reproduce": {
    "build": "n/a — kernel-internal latent defect; guest has no AMD GPU (env.txt)",
    "run": "n/a",
    "expected": "if a pp_hwmgr with NULL hwmgr_func ever reached phm_start_thermal_controller: NULL-deref panic at hardwaremanager.c:240"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/powerplay/hwmgr/hardwaremanager.c:33",
    "sys/dev/drm/amd/powerplay/hwmgr/hardwaremanager.c:238",
    "sys/dev/drm/amd/powerplay/hwmgr/hardwaremanager.c:240",
    "sys/dev/drm/amd/powerplay/hwmgr/hardwaremanager.c:249",
    "sys/dev/drm/amd/powerplay/hwmgr/hwmgr.c:216",
    "sys/dev/drm/amd/powerplay/hwmgr/hwmgr.c:249",
    "sys/dev/drm/amd/powerplay/hwmgr/hwmgr.c:321",
    "sys/dev/drm/amd/powerplay/amd_powerplay.c:85"
  ],
  "artifacts": ["README.md", "VERDICT.md", "trigger_sketch.c", "fix.diff", "verdict.json", "manifest.json", "env.txt"]
}