{
  "finding_id": "DF-5370",
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "sh build_kernel.sh && sh build_image.sh",
    "run": "sh run.sh /tmp/vkconsole.baseline.log",
    "expected": "DF5370: bus_dmamap_destroy(queued mapB) = 0 (FREED WHILE STILL QUEUED - UAF armed); DF5370: reclaim ... SAME CHUNK - planted ... dmat=0x1120e20 (fully controlled); DF5370: after wake: freed chunk pagesneeded=65536 pagesreserved=1; DF5370: VERDICT PROVEN ... PLANTED dmat pointer; DF5370: VERDICT wedge PROVEN; VKERNEL: ALIVE"
  },
  "kernel_refs": [
    "sys/platform/vkernel64/platform/busdma_machdep.c:383",
    "sys/platform/vkernel64/platform/busdma_machdep.c:587",
    "sys/platform/vkernel64/platform/busdma_machdep.c:891",
    "sys/platform/vkernel64/platform/busdma_machdep.c:1071",
    "sys/platform/vkernel64/platform/busdma_machdep.c:1156",
    "sys/platform/vkernel64/platform/busdma_machdep.c:1184"
  ],
  "artifacts": [
    "dfbusdma.c", "build_kernel.sh", "build_image.sh", "run.sh", "fix.diff",
    "build.log", "base-build.log", "fix-build.log", "fix-build2.log",
    "run.log", "run.fixed.log", "run.fixed2.log", "env.txt",
    "VERDICT.md", "manifest.json", "verdict.json"
  ]
}