DF-2919 / verdict.json
{ "finding_id": "DF-2919", "status": "reproduced", "reproduced": 1, "impact": "none", "confidence": "certain", "verdict": "Line-accurate confirmation (benign today: unique oid names mean at most one match; the concurrent actor is root-driven module load/unload; forcing the race needs a custom teardown module - not run for Info tier): vfs_register iterates sysctl__vfs_children with a naked SLIST_FOREACH (vfs_init.c:338-343) while the loop body calls sysctl_unregister_oid/sysctl_register_oid - each taking SYSCTL_XLOCK internally - on the very node being iterated, so the iterator reads oid_link from the re-linked node after sorted reinsertion (skipping entries between old and new position), and the unlocked traversal can race another modules registration onto a node whose owner is being torn down (UAF read). Fix (find-then-renumber restructure, no mid-loop mutation) compiled in the fix kernel.", "exploit_chain": "", "evidence": "sourcenote.txt: traversal/mutation analysis; fix.diff restructure", "kernel_refs": [ "sys/kern/vfs_init.c:338", "sys/kern/vfs_init.c:341" ], "poc_changes": "none", "attempts": 1, "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64", "runtime_sec": 15, "guest_dirty": 0, "build_cmd": "(source confirmation only)", "run_cmd": "(source confirmation only)", "code_hash": "6dc4c847ce703b3018bc4fbf0dbe4b2d1f3f8b1fcdb282e4c08931e6258f5a8b", "notes": "Root-driven concurrency; hardening", "recommended_fix": "Find the unique match first, then unregister/renumber/re-register outside the traversal", "fix_status": "compile_validated", "fix_baseline_reproduced": 0, "fix_patched_reproduced": 1, "fix_kernel_uname": "DragonFly dfbsd 6.5-DEVELOPMENT #1: Mon Oct 26 01:57:23 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 (h41 fix kernel, all 41 hardening fixes applied)", "fix_verdict": "Restructure compiled and booted (all vfs modules registered through the patched path at boot)." } |