{
  "finding_id": "DF-3733",
  "title": "ciss_periodic re-arms after unlock vs callout_stop in ciss_free -> post-free callout execution (UAF)",
  "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64",
  "code_hash": "7b58e2738544bffd01f4cddbe7dda6d62bc0ff7ecb5e1849076877db7d5d72a2",
  "verdict": "INCONCLUSIVE",
  "impact": "none",
  "confidence": "likely",
  "reproduce": {
    "build": "(none - source-level pack)",
    "run": "(none - source-level pack)",
    "expected": "no runnable trigger (no HP Smart Array hardware on guest)"
  },
  "kernel_refs": [
    "sys/dev/raid/ciss/ciss.c:3431",
    "sys/dev/raid/ciss/ciss.c:3436",
    "sys/dev/raid/ciss/ciss.c:1874",
    "sys/dev/raid/ciss/ciss.c:1902",
    "sys/dev/raid/ciss/ciss.c:1907",
    "sys/dev/raid/ciss/ciss.c:429",
    "sys/sys/callout.h:131"
  ],
  "fix_status": "inconclusive",
  "artifacts": [
    {
      "path": "VERDICT.md",
      "type": "verdict",
      "desc": "full narrative: mechanism, path:line, harness proof, fix"
    },
    {
      "path": "fix.diff",
      "type": "suggested-fix",
      "desc": "convert the periodic callout to callout_init_lk(&sc->ciss_periodic, &sc->ciss_lock)"
    },
    {
      "path": "fix_apply.log",
      "type": "apply-log",
      "desc": "patch --dry-run on guest /usr/src (clean)"
    },
    {
      "path": "fix_build.log",
      "type": "build-log",
      "desc": "ciss.ko rebuilt with all 7 pass-2 fixes at -Werror, link rc=0"
    },
    {
      "path": "env.txt",
      "type": "environment",
      "desc": "guest uname, no-HW proof, module presence"
    },
    {
      "path": "README.md",
      "type": "readme",
      "desc": "human reproduce doc"
    },
    {
      "path": "manifest.json",
      "type": "manifest",
      "desc": "this file"
    },
    {
      "path": "verdict.json",
      "type": "verdict",
      "desc": "machine verdict (persist_poc.py schema)"
    }
  ]
}