⬢ DragonFlyBSD Kernel Audit
DF-4318 / build_and_run.log
← back to finding ↓ download raw
=== DF-4318 build (guest: cc)
BUILD_OK_DF4318
=== DF-4318 run
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).
RUN_OK_DF4318
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
cc 8.3 [DragonFly] Release/2019-02-22