DragonFlyBSD Kernel Audit
DF-2622 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-2622",
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "guest: cc -O -o mnt2622 mnt2622.c",
    "run": "guest root: ./mnt2622 '@' /mnt/h2x ; ./mnt2622 '' /mnt/h2x ; watch the console (vm.sh log) for hammer2_mount: device=\"\" label=...",
    "expected": "mount fails ENOENT after printing device=\"\" label=<BOOT|ROOT|DATA>; the label encodes the class of the stack byte read at devstr[-1]; instrumented kernel prints the byte itself (observed 0x00 and 0xff on consecutive calls)"
  },
  "kernel_refs": [
    "sys/vfs/hammer2/hammer2_vfsops.c:1007-1031",
    "sys/vfs/hammer2/hammer2_vfsops.c:989",
    "sys/vfs/hammer2/hammer2_vfsops.c:1037"
  ],
  "artifacts": [
    "mnt2622.c", "run_2622.sh", "run_stock.log", "console_excerpts.txt",
    "fix.diff", "instr_build.log", "instr_build2.log", "instr_install.log",
    "fix_build.log", "fix_install.log", "env.txt",
    "README.md", "VERDICT.md", "build.sh", "run.sh", "manifest.json", "verdict.json"
  ]
}