⬢ DragonFlyBSD Kernel Audit
DF-4496 / run.2.log
← back to finding ↓ download raw
success path: pool=0x8004904c0 live_allocs=4 (pool+3 children)
after destroy: live_allocs=0 (expect 0)
failure path: returned=0x0 live_allocs=1 (children reclaimed by destruct; 1 = ORPHANED pool shell)

LEAK CONFIRMED (model): struct dce110_resource_pool is orphaned on construct() failure — dce100_resource.c:1066-1070 lacks kfree(pool).
RC=0