⬢ DragonFlyBSD Kernel Audit
DF-5014 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
{
  "finding_id": "DF-5014",
  "verdict": "not_reproduced (hardware-gated; unconditional control flow) / leak",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "n/a on this guest (no LSI SAS2008 controller)",
    "run": "n/a; force an mps attach failure on real hardware (wedged IOC: get_iocfacts failure, or transition_ready failure after the EVENT_REPLAY diag reset) and observe the sc->facts leak / mps_pci_free destroying the parent DMA tag over live children",
    "expected": "kmalloc leak of sizeof(MPI2_IOC_FACTS_REPLY) per failed attach; on mps_free early-return, queue DMA tags keep a dangling dmat->parent after mps_pci_free"
  },
  "kernel_refs": [
    "sys/dev/raid/mps/mps_pci.c:234",
    "sys/dev/raid/mps/mps_pci.c:289",
    "sys/dev/raid/mps/mps.c:1043",
    "sys/dev/raid/mps/mps.c:1072",
    "sys/dev/raid/mps/mps.c:1323",
    "sys/platform/pc64/x86_64/busdma_machdep.c:334"
  ],
  "artifacts": ["README.md", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json"]
}