{
  "finding_id": "DF-3973",
  "verdict": "inconclusive",
  "impact": "none (demonstrated); real = double free / UAF on target hw",
  "reproduce": {
    "build": "n/a — hardware-gated (Barts/Turks/Caicos) + timed kzalloc failure required",
    "run": "n/a",
    "expected": "heap double-free at driver teardown (btc_dpm_fini), or UAF read of dpm.ps during the ignored-error enable"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/btc_dpm.c:2574",
    "sys/dev/drm/radeon/btc_dpm.c:2584",
    "sys/dev/drm/radeon/btc_dpm.c:2721",
    "sys/dev/drm/radeon/btc_dpm.c:2724",
    "sys/dev/drm/radeon/btc_dpm.c:2727",
    "sys/dev/drm/radeon/rv770_dpm.c:2308",
    "sys/dev/drm/radeon/r600_dpm.c:1303",
    "sys/dev/drm/radeon/radeon_pm.c:1448",
    "sys/dev/drm/radeon/radeon_pm.c:1705"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json", "fix.diff"]
}