⬢ DragonFlyBSD Kernel Audit
DF-5033 / oracle_fixed.log
← back to finding ↓ download raw
== FIXED build: idr_find() holds the idr token ==
V1 call-after-grow idr_find(4) = 5100000000000003 -> clean (valid tag / NULL)
V2 call idr_find(400)            = 510000000000012b -> clean (valid tag / NULL)
FIXED RESULT: no unsynchronized read possible; both variants clean
0