⬢ DragonFlyBSD Kernel Audit
DF-4285 / 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
{
  "finding_id": "DF-4285",
  "verdict": "inconclusive (source-certain; error path hardware-gated)",
  "impact": "attach-time KKASSERT panic via lockuninit() on held locks + sizeof(struct synth_midi) kernel heap leak on every midi destruction path",
  "reproduce": {
    "build": "n/a (no runnable PoC: requires an MPU driver whose init fails at attach)",
    "run": "n/a",
    "expected": "n/a"
  },
  "kernel_refs": [
    "sys/dev/sound/midi/midi.c:311",
    "sys/dev/sound/midi/midi.c:325-326",
    "sys/dev/sound/midi/midi.c:354-355",
    "sys/dev/sound/midi/midi.c:371-380",
    "sys/dev/sound/midi/midi.c:1418-1438",
    "sys/kern/kern_lock.c:1325-1336"
  ],
  "artifacts": ["README.md", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json"]
}