DragonFlyBSD Kernel Audit
DF-2032 / env.txt
← back to finding ↓ download raw
DragonFlyBSD master DEV guest (with-src snapshot, INVARIANTS ON)
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
Compiler: cc 8.3 [DragonFly] Release/2019-02-22

Hardware probe (pciconf -l): NO mfi/tws/iir RAID controllers, NO amdgpu/DRM GPU.
Device nodes: /dev/dri, /dev/iir*, /dev/mfi*, /dev/tws* all ABSENT.
Only /dev/pass0 (virtio blk passthrough) present.

=> All 9 findings are HW-GATED: the vulnerable driver cannot attach on this guest,
   so the bug is NOT runtime-triggerable here. Verification is SOURCE-ONLY: the
   cited code path was traced line-by-line against sys/ and CONFIRMED to contain
   the defect, and each fix.diff was applied + the affected module built clean
   with -Werror (Phase 8).