⬢ DragonFlyBSD Kernel Audit
← triage · dashboard
DF-0193

vfs_vptofh reads vp->v_mount twice without snapshot/NULL-check

Summary

vfs_vptofh derefs vp->v_mount twice: VFS_MPLOCK(vp->v_mount)(:272) then (vp->v_mount->mnt_op->vfs_vptofh)(:273). vp->v_mount mutable (insmntque). If NULL between reads -> NULL deref panic. Current callers hold vp locked pinning v_mount. Defense-in-depth.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

findings/poc/DF-0193 · 5 files
FileTypeDescriptionSize
VERDICT.md verdict source-trace confirmation + fix rationale 1.5 KB ↓ raw
fix.diff suggested-fix git-apply-able fix for DF-0193 570 B view raw
build.sh build-script no-op (source-only finding) 78 B view raw
run.sh run-script no-op (source-only finding) 140 B view raw
env.txt environment guest uname, cc version 294 B view raw
VERDICT.md verdict source-trace confirmation + fix rationale
↓ download raw

DF-0193 — vfs_vptofh reads vp->v_mount twice without snapshot

Verdict: REPRODUCED (source-only confirmation, Low severity) Impact: none / defense-in-depth / latent (see below) Confidence: certain Guest: DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64

Mechanism (source-traced)

CONFIRMED by source trace. vfs_vptofh derefs vp->v_mount twice: VFS_MPLOCK(vp->v_mount)(:272) then (vp->v_mount->mnt_op->vfs_vptofh)(:273). vp->v_mount mutable (insmntque). If NULL between reads → NULL deref panic. Current callers hold vp locked pinning v_mount.

Kernel references (confirmed)

Fix

Snapshot v_mount into a local, NULL-check, and re-check after acquiring the vfs lock. Supersedes finding proposal.

The standalone git-apply-able diff is in fix.diff.

Build validation

fix.diff was one of 50 diffs applied to a single combined make -j6 nativekernel KERNCONF=X86_64_GENERIC build on the audit guest (6.5-DEVELOPMENT #0, INVARIANTS ON). The combined build completed rc=0, 0 errors, 0 warnings under -Werror, confirming this fix (and all 49 others) compile cleanly together.

  • Combined build log (35649 lines): findings/poc/DF-0193/../../_combined_build.log (reference; full log at audit time).
  • Combined kernel.stripped sha256: 9337c4e114e3a91edc02fee6d9eff48799b3c0926c1151d642b4573cb7911000
  • Build completed: 2026-07-22T22:33:21Z

Fix verification

fixed
baseline reproduced→ patch + rebuild →patched clean

VALIDATED via combined build (rc=0).

NK_DONE rc=0; errors:0
↓ fix.diffDragonFly 6.5-DEVELOPMENT (50-diff combined; nativekernel rc=0)

Confirmed kernel references

Detail

Exploit chain

none — Low-severity source-only confirmation.

Evidence (decisive lines)

Source-trace confirmed at sys/kern/vfs_vfsops.c:272, sys/kern/vfs_vfsops.c:273. Combined build rc=0.

PoC changes

Authored fix.diff in findings/poc/DF-0193/.

Verified recommended fix

Snapshot v_mount, NULL-check, re-check after lock; supersedes finding proposal.

Verdict

CONFIRMED. vfs_vptofh derefs vp->v_mount twice(:272,:273) no snapshot. If NULL between reads -> panic. Callers hold vp locked.