⬢ DragonFlyBSD Kernel Audit
DF-3222 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
{
  "finding_id": "DF-3222",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "same vkernel harness as DF-3218 (see ../DF-3218/README.md)",
    "run": "inside vkernel: /bin/vkmount2 /hostroot   (mount(2) with data=(void*)0x1000)",
    "expected": "baseline: Fatal trap 12, Stopped at copystr+0x5 movzbl (%rdi),%eax; fixed: 'mount failed: Bad address', vkernel alive"
  },
  "kernel_refs": [
    "sys/vfs/dirfs/dirfs_vfsops.c:126",
    "sys/vfs/dirfs/dirfs_vfsops.c:129",
    "sys/platform/vkernel64/platform/copyio.c:251",
    "sys/kern/vfs_conf.c:457"
  ],
  "artifacts": ["run.log", "run.fixed.log", "run.sh", "run-fixed.sh", "vkmount2.c", "fix.diff", "fix-build.log", "build.fixed-kernel.log", "VERDICT.md", "manifest.json", "verdict.json"]
}