{
  "finding_id": "DF-3787",
  "title": "METEORSSIGNAL stores td->td_proc without a reference and video_close never clears it -> interrupt-context ksignal() on a freed struct proc (UAF)",
  "severity": "High",
  "verdict": "inconclusive",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "sh build.sh",
    "run": "sh run.sh",
    "expected": "poc_stale_proc.c (compiles on guest vs /usr/src headers; open() fails ENXIO: no device). Code citations in VERDICT.md."
  },
  "kernel_refs": [
    "sys/dev/video/bktr/bktr_core.c:1485",
    "sys/dev/video/bktr/bktr_core.c:1495",
    "sys/dev/video/bktr/bktr_core.c:798",
    "sys/dev/video/bktr/bktr_core.c:1012",
    "sys/kern/kern_sig.c:1118"
  ],
  "artifacts": [
    "poc_stale_proc.c",
    "build.log",
    "run.log",
    "env.txt",
    "poc_build_and_device_check.log",
    "fix.diff",
    "VERDICT.md",
    "manifest.json",
    "verdict.json"
  ]
}