DragonFlyBSD Kernel Audit
DF-0783 / env.txt
← back to finding ↓ download raw
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
cc 8.3 [DragonFly] Release/2019-02-22

--- ext2 tools on guest ---
/usr/sbin/vnconfig
/sbin/mount_ext2fs
(guest has no mke2fs/debugfs — images built on host)

--- sysctls ---
vm.randomize_mmap: 0
hw.cpu_feature: (not set)

--- INVARIANTS status (CRITICAL FINDING) ---
The env table claims "INVARIANTS OFF" but KKASSERT IS active in the slab allocator:
  strings /boot/kernel/kernel | grep -c "assertion.*failed" = 4
  strings /boot/kernel/kernel | grep "kup < 0" → "*kup < 0" (present)
Confirmed by runtime panic: "panic: assertion '*kup < 0' failed in _kfree at kern_slaballoc.c:1477"
The env table's check (nm | grep -c KASSERT) is flawed: KKASSERT is a macro (inline expansion, no named symbol).