{
  "finding_id": "DF-4378",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -o chk_drm chk_drm.c",
    "run": "./chk_drm",
    "expected": "On a DRM machine: /dev/dri entries listed; leak observable across kldunload/kldload cycles (M_DRM vmstat growth, stale /dev/dri/cardN after unload). On this audit guest: /dev/dri absent, exit 2."
  },
  "kernel_refs": [
    "sys/dev/drm/drm_drv.c:158",
    "sys/dev/drm/drm_drv.c:176",
    "sys/dev/drm/drm_drv.c:186",
    "sys/dev/drm/drm_drv.c:237",
    "sys/dev/drm/drm_drv.c:271",
    "sys/dev/drm/drm_sysfs.c:93",
    "sys/dev/drm/drm_sysfs.c:97",
    "sys/dev/drm/drm_file.c:497"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "chk_drm.c", "build.sh", "run.sh",
    "build.log", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"
  ]
}