{
  "verdict": "inconclusive",
  "impact": "none",
  "confidence": "certain",
  "kernel_refs": [
    "sys/dev/raid/mfi/mfi_cam.c:142",
    "sys/dev/raid/mfi/mfi_cam.c:116",
    "sys/dev/raid/mfi/mfi_cam.c:242",
    "sys/dev/raid/mfi/mfi.c:2132",
    "sys/dev/raid/mfi/mfi.c:1245",
    "sys/dev/raid/mfi/mfi_pci.c:328",
    "sys/bus/cam/cam_xpt.c:4383",
    "sys/bus/cam/cam_xpt.c:4456"
  ],
  "reproduce": {
    "build": "cc -O -Wall -o mfip_detach_mirror mfip_detach_mirror.c",
    "run": "./mfip_detach_mirror buggy ; ./mfip_detach_mirror fixed",
    "expected": "buggy: V1 leak + V2 stale callback + xpt_done UAF + unmapped-text call, exit=1; fixed: 0 violations, exit=0"
  },
  "artifacts": [
    "README.md", "VERDICT.md", "mfip_detach_mirror.c", "build.sh", "run.sh",
    "build.log", "run.log", "run.2.log",
    "env.txt", "fix.diff", "fix_build.log", "manifest.json", "verdict.json"
  ]
}