DF-3285 / verdict.json
{ "finding_id": "DF-3285", "status": "not_reproduced", "reproduced": 0, "impact": "none", "confidence": "certain", "verdict": "Line-accurate confirmation; runtime demonstration not possible on this guest (requires an 11h DFS-capable AP VAP with quiet enabled after beacon construction; QEMU has no 802.11 radio). beacon_construct records bo->bo_quiet=frm and only writes an 8-byte Quiet IE when iv_quiet was set at construct time (ieee80211_output.c:3173-3180); beacon_update unconditionally calls ieee80211_add_quiet(bo->bo_quiet, vap) once iv_quiet is enabled (:3574-3575) - an in-bounds write over the first bytes of the ERP/xrates/RSN region that corrupts the transmitted beacon IE chain. Fix tracks Quiet-IE presence (bo_quiet_set) and skips the update write when absent; compiled in the F40FIX build (wlan in kernel).", "exploit_chain": "", "evidence": "VERDICT.md with path:line citations; run.log where a live demo exists; fix.diff", "kernel_refs": [ "sys/netproto/802_11/wlan/ieee80211_output.c:3173", "sys/netproto/802_11/wlan/ieee80211_output.c:3574" ], "poc_changes": "n/a - no 802.11 radio on this guest", "attempts": 0, "guest_uname": "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", "runtime_sec": 30, "guest_dirty": 0, "build_cmd": "see build.sh", "run_cmd": "see run.sh", "code_hash": null, "notes": "", "recommended_fix": "track Quiet-IE construction (bo_quiet_set); update only in place when built", "fix_status": "compile_validated", "fix_verdict": "fix.diff applied in the F40FIX verification kernel build (RC=0, zero -Werror errors); no runtime A/B for this item (line-certain hardening)" } |