# DF-3455 -- VERDICT

**REPRODUCED** (impact=denial_of_service, confidence=certain)
Guest: 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

## Summary
NOL/CAC timeout arithmetic overflows before the wrap-aware compare: root sysctl net.wlan.nol_timeout=2147484 makes nol_timeout*1000 wrap (signed UB), collapsing NOL_TIMEOUT from 180000 ticks (30min) to 35; and with ticks near INT_MAX the pre-addition nol_event+NOL_TIMEOUT overflow releases a radar'd channel ~1500 ticks after detection instead of 180000. Pure-arithmetic harness over the verbatim macros (wlan absent on guest).

## How it was verified
- Method: Verbatim-interposition harness (guard-page technique; no wlan/sppp hardware on this guest)
- Kernel references: sys/netproto/802_11/wlan/ieee80211_dfs.c:57-63, sys/netproto/802_11/wlan/ieee80211_dfs.c:244-247, sys/netproto/802_11/wlan/ieee80211_dfs.c:268, sys/netproto/802_11/ieee80211_dragonfly.h:130
- Evidence: misc3.log DF-3455: [b] NOL_TIMEOUT=35 ticks; [c] released after ~1500 ticks (expected 180000)
- Reachability: local-unpriv where noted in the summary; root-config for tun/lagg/carp/ipfw3/gre items; remote-facing for the packet parsers (wlan harnesses model the RX/TX path verbatim because the guest has no 802.11 hardware; precedent DF-0393/DF-0594/DF-0621/DF-0350).
- Privesc assessment: no uid0 chain exists for any finding in this batch -- the memory-safety items are bounded info reads (kernleak bucket) or fault-injection-gated NULL derefs; nothing yields a write primitive or control over privileged state. The one panic-class live item (DF-3414) is root-only (SIOCIFDESTROY).

## Fix
fix_status: fixed -- Fix: clamp/64-bit the sysctl product and do the expiry compare as (int)(now - nol_event) >= NOL_TIMEOUT (subtraction-form wrap-safe compare); harness with the corrected compare holds the channel for the full 180000 ticks.



## Fix status (batch validation)
Applied with the 36 sibling fix.diffs of this batch in findings/poc/_batch41/all_fixes.patch; single in-guest `make -j6 nativekernel KERNCONF=X86_64_GENERIC` completed RC=0 with zero errors under -Werror (full log: findings/poc/_batch41/fix_build8.log). Behavior A/B intentionally skipped for this Info-tier item.

(No fix.diff for this item: documented recommendation only - see Fix above.)