{
  "finding_id": "DF-4584",
  "verdict": "inconclusive",
  "impact": "none (not demonstrable on audit guest: no radeon hardware / no radeonkms.ko; code-trace certain)",
  "reproduce": {
    "build": "cc -O2 -Wall -pthread -o df4584_trigger df4584_trigger.c",
    "run": "./df4584_trigger /dev/dri/renderD128 (or /dev/dri/card0)",
    "expected": "On radeon HW: kernel panic (NULL deref radeon_object.c:628/641) or slab corruption from UAF write at :642. On this guest: open() ENOENT, exit 2."
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_object.c:601",
    "sys/dev/drm/radeon/radeon_object.c:609",
    "sys/dev/drm/radeon/radeon_object.c:621",
    "sys/dev/drm/radeon/radeon_object.c:638",
    "sys/dev/drm/radeon/radeon_object.c:641",
    "sys/dev/drm/radeon/radeon_object.c:642",
    "sys/dev/drm/radeon/radeon_object.c:656",
    "sys/dev/drm/radeon/radeon_object.c:667",
    "sys/dev/drm/radeon/radeon_object.c:69",
    "sys/dev/drm/radeon/radeon_object.c:85",
    "sys/dev/drm/radeon/radeon_object.c:804",
    "sys/dev/drm/radeon/radeon_gem.c:503"
  ],
  "artifacts": [
    "df4584_trigger.c", "build.sh", "run.sh", "build.log", "run.log",
    "env.txt", "VERDICT.md", "README.md", "fix.diff",
    "manifest.json", "verdict.json"
  ],
  "code_hash": "6cd709138cac6be20add86e4f0ffbed66a77f6053508146e1fac7997e70025bf"
}