⬢ DragonFlyBSD Kernel Audit
DF-4360 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4360",
  "verdict": "untested (hardware-gated; static proof complete)",
  "impact": "none (expected class: local GPU DoS on CIK hardware)",
  "severity": "Low",
  "reproduce": {
    "build": "n/a — static analysis finding; would require CIK AMD ASIC",
    "run": "n/a",
    "expected": "n/a"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/amdgpu/cik_sdma.c:1089",
    "sys/dev/drm/amd/amdgpu/cik_sdma.c:1093",
    "sys/dev/drm/amd/amdgpu/cik_sdma.c:1098",
    "sys/dev/drm/amd/amdgpu/cik_sdma.c:1051",
    "sys/dev/drm/amd/amdgpu/cik_sdma.c:1218"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json"]
}