⬢ DragonFlyBSD Kernel Audit
DF-4803 / 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
21
{
  "finding_id": "DF-4803",
  "verdict": "reproduced",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "(none - shell only)",
    "run": "sh run_vbd1.sh (zero vbd1, two vinum GPT parts, 'plex org raid5 3g' with 3x2m sds, setstate -f up everything, then: vinum checkparity rv.p0)",
    "expected": "stock: immediate 'panic: kmem_slab_alloc(): kernel_map ran out of space!' backtrace _kmalloc <- parityrebuild+0x162 <- parityops+0x82 <- vinumioctl (first ioctl, deterministic)."
  },
  "kernel_refs": [
    "sys/dev/raid/vinum/vinumrevive.c:274",
    "sys/dev/raid/vinum/vinumrevive.c:382",
    "sys/dev/raid/vinum/vinumrevive.c:393",
    "sys/dev/raid/vinum/vinumext.h:258"
  ],
  "artifacts": [
    "run.sh", "run_vbd1.sh", "panic.log", "env.txt",
    "README.md", "verdict.json", "manifest.json"
  ]
}