# DF-3445 -- 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
table_append_dispatch returns without forwarding or replying its netmsg when the M_NOWAIT kmalloc fails (ip_fw3_table.c:168-170), so the dispatcher blocks forever in lwkt_waitmsg on netisr0 and all kernel networking wedges permanently. Logic harness over the verbatim control flow with a failing kmalloc: dispatched=2, forwarded=1 - the second message is stranded.

## How it was verified
- Method: Verbatim-interposition harness (guard-page technique; no wlan/sppp hardware on this guest)
- Kernel references: sys/net/ipfw3_basic/ip_fw3_table.c:157-186
- Evidence: misc3.log DF-3445: [fault] dispatched=2 forwarded=1 replied=0 (message stranded)
- 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 -- Validated live on the patched kernel: the combined-fix build changes the bare return to goto done (netisr_forwardmsg_all always runs); with the fixed kernel loaded, 10000 duplicate table appends complete normally (networking never wedges) - see fix.diff and the fixkernel section of run logs.
fix.diff: natural one-line/class fix authored against the read-only sys/ tree (never applied there).
Baseline vs patched (kernel): see fixkernel-*.log -- the combined-fix kernel (DF-3308+DF-3349+DF-3359+DF-3445/3446 fixes built together) was booted and the exact PoCs re-run.

## 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.