DF-2806 / verdict.json
{ "finding_id": "DF-2806", "status": "reproduced", "reproduced": 1, "impact": "none", "confidence": "certain", "verdict": "Mechanically reproduced via the harness on the stock guest: make_dev() creates the cdev and the devfs worker installs its udev dict (devfs_core.c:1428); a direct udev_event_attach(dev, NULL, 0) on that dev takes the non-alias branch whose while-loop body never runs (udict != NULL on entry), so the function returns the initialized error value ENOMEM (kern_udev.c:589) AFTER successfully queuing the ATTACH event - harness T5 observed return 12 on a fully successful re-attach. Current callers ignore the return (devfs_core.c:1428). On the fix kernel T5 returns 0.", "exploit_chain": "", "evidence": "harness.log T5: returned 12 (ENOMEM) on success; fix kernel T5: 0", "kernel_refs": [ "sys/kern/kern_udev.c:589", "sys/vfs/devfs/devfs_core.c:1428" ], "poc_changes": "harness needed a 2s wait for the async devfs worker before the re-attach call - the first attempt raced dict creation", "attempts": 2, "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": 45, "guest_dirty": 0, "build_cmd": "cd /root/h41 && make", "run_cmd": "kldload ./h41.ko; sysctl -w debug.h41.cmd=4", "code_hash": "85d6e241caa2a7fb1fb44b80c7736a4e83c36d29314b0c96ce91769bc9bdf839", "notes": "Future callers checking the return would mis-handle every re-attach", "recommended_fix": "Initialize error to 0 and set ENOMEM only on explicit failure paths", "fix_status": "fixed", "fix_baseline_reproduced": 1, "fix_patched_reproduced": 0, "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": "A/B: baseline return 12; fix kernel return 0 (error=0 init, ENOMEM only on explicit failures)." } |