{
  "finding_id": "DF-3813",
  "title": "mpr_wait_command()/mpr_request_polled() use-after-free on concurrent reallocating diag reset",
  "verdict": "inconclusive",
  "impact": "none (runtime; no SAS3 hardware) / source-certain kernel UAF (memcorrupt)",
  "reproduce": {
    "build": "cc -O -Wall -o poc poc_concurrent_reinit.c -lpthread",
    "run": "./poc",
    "expected": "On SAS3-equipped host: kernel panic or double-owned mpr_command corruption when a facts-changing diag reset races the sync-command sleeper. On this guest: 'open /dev/mpr0: No such file or directory' (honest negative)."
  },
  "kernel_refs": [
    "sys/dev/raid/mpr/mpr.c:3578",
    "sys/dev/raid/mpr/mpr.c:3604-3619",
    "sys/dev/raid/mpr/mpr.c:3641",
    "sys/dev/raid/mpr/mpr.c:3662-3674",
    "sys/dev/raid/mpr/mpr.c:551-576",
    "sys/dev/raid/mpr/mpr.c:630-634",
    "sys/dev/raid/mpr/mpr.c:791-797",
    "sys/dev/raid/mpr/mpr_sas.c:1178-1199"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "poc_concurrent_reinit.c",
    "build.sh",
    "run.sh",
    "build.log",
    "guest_run.log",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}