⬢ DragonFlyBSD Kernel Audit
DF-4564 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4564",
  "verdict": "not_reproduced (no radeon hardware on audit guest; construction-certain code trace)",
  "impact": "dos",
  "reproduce": {
    "build": "n/a - requires a physical cayman+ radeon GPU",
    "run": "n/a - open(/dev/dri/card0) then close() with accel_working on cayman+; first close never returns, all later opens hang",
    "expected": "uninterruptible hang in radeon_driver_postclose_kms / radeon_driver_open_kms (ww_mutex on ring_tmp_bo permanently held)"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_kms.c:662-680",
    "sys/dev/drm/radeon/radeon_kms.c:733-737",
    "sys/dev/drm/radeon/radeon_object.h:64-72",
    "sys/dev/drm/include/drm/ttm/ttm_bo_driver.h:653-676"
  ],
  "artifacts": ["README.md", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json"]
}