⬢ DragonFlyBSD Kernel Audit
DF-2533 / fix_run.log
← back to finding ↓ download raw
DragonFly 6.5-DEVELOPMENT #3: Mon Oct 19 21:13:06 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC 
ALL_TRIGGERS_RETURNED
DF2533-A: === DF-2533 path 1: xa_close with si_drv1 == NULL (xdisk.c:769-770) ===
DF2533-A: before xa_close: xdisk_lk lockstatus=0
DF2533-A: xa_close returned 6
DF2533-A: xdisk_lk lockstatus=0 after return (LK_EXCLUSIVE=2 => EXCLUSIVE LOCK LEAKED)
DF2533-A: probe real-xa_open thread: started=1 finished=1 => not stuck (leak not present?)
DF2533-A: probe thread completed: finished=1 xa_open=6
DF2533-A: done
DF2533-B: === DF-2533 path 2: xa_close with sc->terminating == 1 (xdisk.c:771-773) ===
DF2533-B: sc=0xfffff8008df18680 sc->terminating=1 sc->lk.lk_count=0x0
DF2533-B: calling real xa_close: expect xdisk.c:772 lockmgr(&sc->lk, LK_RELEASE) on the NEVER-acquired sc->lk -> lockmgr_release() unconditional panic (kern_lock.c:768), while xdisk_lk stays held
DF2533-B: xa_close RETURNED 6 (no panic?!), xdisk_lk lockstatus=0, sc->lk.lk_count=0x0
DF2533-B: done
DF2534-S: === DF-2534: xa_strategy with si_drv1 == NULL (xdisk.c:801,805) ===
DF2534-S: calling real xa_strategy: xdisk.c:801 loads sc=NULL, :805 devstat_start_transaction(&sc->stats) derefs ~NULL+offset -> kernel page fault
DF2534-S: harness bio_done fired (bio completed with b_error=6 b_flags=0x800)
DF2534-S: xa_strategy returned 0 without faulting (fixed?) bio_done=6
DF2534-S: done
DF2534-RACE: === DF-2534: real xa_size (cpu0) vs real xa_terminate_check (cpu1) for 12 s ===
DF2534-RACE: reader xa_size iterations: 82313216 (ENXIO/NULL path: 82313216)
DF2534-RACE: terminator terminate_check iterations: 30146560 (same-address reuse: 30146560, other: 0)
DF2534-RACE: UAF READS CAPTURED (stale deref saw 0xC0FFEE00DF2534 written AFTER the free): 0
DF2534-RACE: no stale read observed this run (see VERDICT.md)
DF2534-RACE: done