{
  "finding_id": "DF-4753",
  "verdict": "inconclusive",
  "impact": "panic",
  "reproduce": {
    "build": "sh build.sh  (full cxm.ko module build with fix.diff applied, -Werror)",
    "run": "sh run.sh  (compiles+runs cxm_uaf_race.c; needs /dev/cxm0 = cxm hardware; root must run 'while :; do kldunload cxm; kldload cxm; done' in parallel)",
    "expected": "on cxm hardware: panic (UAF deref of freed softc via cxm_msp_wait_for_lock / device_printf(sc->dev)) within a few unload iterations. On this guest: exit 3 'hardware absent' (kldload cxm yields no /dev/cxm0)."
  },
  "kernel_refs": [
    "sys/dev/video/cxm/cxm_msp34xxx.c:295",
    "sys/dev/video/cxm/cxm_msp34xxx.c:588-626",
    "sys/dev/video/cxm/cxm_msp34xxx.c:624",
    "sys/dev/video/cxm/cxm.c:1885",
    "sys/dev/video/cxm/cxm.c:1944-2004",
    "sys/dev/video/cxm/cxm.c:2158-2161",
    "sys/dev/video/cxm/cxm.c:2358-2418"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "cxm_uaf_race.c", "build.sh", "run.sh",
    "build.log", "fix_build.log", "run.log", "env.txt",
    "fix.diff", "fix_cxm.c.patched", "fix_cxm.h.patched", "manifest.json", "verdict.json"
  ]
}