{
  "finding": "DF-3582",
  "title": "Type-confused FCPARAM write in RQCS_RESET_OCCURRED handler corrupts heap ~21 KB past SCSI isp_param allocation on dual-bus cards",
  "verdict": "inconclusive",
  "impact": "none-observed (wild kernel heap write on target hardware)",
  "reproduce": {
    "build": "mkdir -p dev/disk/isp && cp /usr/src/sys/dev/disk/isp/{isp_stds.h,ispmbox.h,ispreg.h,ispvar.h} dev/disk/isp/ && cc -Wall -I. -o trigger_df3582 trigger_df3582.c",
    "run": "./trigger_df3582",
    "expected": "chan=0 write OK; chan=1 FAULT at offset 21576 (21168 past end of 408-byte allocation)"
  },
  "kernel_refs": [
    "sys/dev/disk/isp/isp.c:6105-6111",
    "sys/dev/disk/isp/isp.c:5280",
    "sys/dev/disk/isp/ispvar.h:643-652",
    "sys/dev/disk/isp/isp_pci.c:824-832",
    "sys/dev/disk/isp/isp_pci.c:732",
    "sys/dev/disk/isp/isp_pci.c:749",
    "sys/dev/disk/isp/ispmbox.h:728"
  ],
  "artifacts": [
    "trigger_df3582.c",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "VERDICT.md",
    "verdict.json",
    "fix.diff",
    "manifest.json"
  ]
}