DragonFlyBSD Kernel Audit
DF-2532 / build.log
← back to finding ↓ download raw
DF-2532 DMSG Userland PoC Build Log
=====================================

Source: df2532.c (userland DMSG peer that races span deletion against probe reads)
Build:  cc -o df2532 df2532.c -Wall
Result: BUILD_RC=0 (compiles cleanly on DragonFly 6.5-DEVELOPMENT)

Note: The userland PoC creates a DMSG peer via socketpair + XDISKIOCATTACH,
sends LNK_SPAN CREATE/DELETE, and races span removal against the kernel's
async disk label probe. The race is timing-dependent; the harness module
(df2532_harness.ko) provides the deterministic KKASSERT demonstration.