⬢ DragonFlyBSD Kernel Audit
DF-5063 / 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
22
{
  "finding_id": "DF-5063",
  "verdict": "not_reproduced",
  "impact": "none (latent OOB in dead decode path; hardening)",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O -o /tmp/mk /tmp/df5063_mknod.c",
    "run": "sh /tmp/df5063_setup.sh; sh /tmp/df5063_sdcomp.sh (mknod(1) absent); /tmp/mk /tmp/px0 32 1342177280; dd if=/tmp/px0 bs=512 count=1",
    "expected": "reading any hand-made char node (valid OR composite minor) panics upstream of vinum in dev_dflags(NULL) -- composite Plexno/Sdno paths unreachable; patched module regression: all real device paths intact"
  },
  "kernel_refs": [
    "sys/dev/raid/vinum/vinumutil.c:250-297",
    "sys/dev/raid/vinum/vinumconfig.c:896-897",
    "sys/dev/raid/vinum/vinum.c:429-440"
  ],
  "artifacts": [
    "df5063_mknod.c", "df5063_sdcomp.sh", "df5063_setup.sh", "df5063_probe.sh",
    "run.sh", "run.log", "run.2.log", "run.3.log", "panic.txt",
    "fix.diff", "fix_run.log", "fix_run2.log",
    "env.txt", "README.md", "VERDICT.md", "manifest.json", "verdict.json"
  ]
}