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

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