DragonFlyBSD Kernel Audit
DF-0788 / run.log
← 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
--- run.sh ---
=== DF-0788 harness: resident attribute data-offset OOB read ===

--- clean case (valid a_dataoff): should succeed (rc=0) ---
mode=clean        apply_fix=0   recsz=1024 attr_off=56 a_dataoff=0x0018 a_datalen=32   -> rc=0  memcpy within bounds (clean)
  copied 32 bytes: first 8 = 44 44 44 44 44 44 44 44 (expected 44 44 ... = 'D' sentinel)
harness_exit=0

--- oob_dataoff case (lying a_dataoff, BUGGY): should SIGSEGV (rc=2) ---
mode=oob_dataoff  apply_fix=0   recsz=1024 attr_off=56 a_dataoff=0x03c8 a_datalen=64   -> rc=2  SIGSEGV -> OOB READ past record into guard page (= adjacent slab heap in kernel): LEAK CONFIRMED
harness_exit=2

--- oob_dataoff WITH apply_fix: should reject EINVAL (rc=0) ---
mode=oob_dataoff  apply_fix=1   recsz=1024 attr_off=56 a_dataoff=0x03c8 a_datalen=64   -> rc=1  FIX REJECTED malformed attribute (EINVAL) - OOB prevented
harness_exit=0
RUN_EXIT=0