⬢ DragonFlyBSD Kernel Audit
DF-4578 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4578",
  "title": "amdgpu_amdkfd_gfx_v8: entire gfx8 KFD backend is dead code on DragonFly; latent unvalidated vmid/engine index arithmetic and a broken fw-NULL guard must be fixed before KFD is ever enabled",
  "verdict": "untested",
  "impact": "none",
  "reproduce": {
    "build": "(nothing to build — file not in any SRCS list; see env.txt)",
    "run": "grep -rn amdgpu_amdkfd_gfx_v8 sys/dev/drm/amd/amdgpu/Makefile sys/dev/drm/amd/Makefile ; grep -rn 'define CONFIG_HSA_AMD' sys/ ; on guest: pciconf -l | grep 1002 ; ls /dev/dri",
    "expected": "No Makefile references (not compiled), no CONFIG_HSA_AMD definition (kgd2kfd forced NULL), no ATI hardware on the guest, /dev/dri absent — code unreachable by construction"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/amdgpu/amdgpu_amdkfd_gfx_v8.c:108-128",
    "sys/dev/drm/amd/amdgpu/amdgpu_amdkfd_gfx_v8.c:183-186",
    "sys/dev/drm/amd/amdgpu/amdgpu_amdkfd_gfx_v8.c:245-270",
    "sys/dev/drm/amd/amdgpu/amdgpu_amdkfd_gfx_v8.c:291-300",
    "sys/dev/drm/amd/amdgpu/amdgpu_amdkfd_gfx_v8.c:486-492",
    "sys/dev/drm/amd/amdgpu/amdgpu_amdkfd_gfx_v8.c:702-720",
    "sys/dev/drm/amd/amdgpu/amdgpu_amdkfd_gfx_v8.c:778-833",
    "sys/dev/drm/amd/amdgpu/amdgpu_amdkfd_gfx_v8.c:835-885",
    "sys/dev/drm/amd/amdgpu/amdgpu_amdkfd.c:34-47",
    "sys/dev/drm/amd/amdgpu/amdgpu_amdkfd.c:57-71",
    "sys/dev/drm/amd/amdgpu/amdgpu_amdkfd.c:554-557",
    "sys/dev/drm/amd/amdgpu/Makefile:155-156",
    "sys/dev/drm/amd/amdgpu/gfx_v8_0.c:2029-2041",
    "sys/dev/drm/amd/amdgpu/sdma_v3_0.c:1114-1118",
    "sys/dev/drm/amd/include/vi_structs.h:289-342",
    "sys/dev/drm/amd/amdgpu/amdgpu_gfx.h:175-176"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "env.txt",
    "run.log",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}