DragonFlyBSD Kernel Audit
DF-0804 / env.txt
← back to finding ↓ download raw
=== Guest environment (DF-0804 verification) ===
DragonFly 6.5-DEVELOPMENT #1: Fri Jul 10 17:57:41 UTC 2026
DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #1: Fri Jul 10 17:57:41 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
Compiler: gcc 8.3 (DragonFly master DEV)
Kernel option HAMMER2: built-in (vfs.hammer2)
Threat model: filesystem-image parsing (root mounts crafted HAMMER2 image)
Reproduce: ./trigger.sh  (creates image, corrupts via corrupt_image.py, mounts, reads)
Hardening: SMAP/SMEP/KASLR OFF (not relevant; pure DoS/panic finding)
INVARIANTS: ON (default GENERIC X86_64_GENERIC)