# DF-1723 — Verdict

**Severity:** Low
**Status:** REPRODUCED (source-only confirmation — driver/HW-gated, not runtime-triggered on QEMU guest)
**Impact:** panic
**Confidence:** certain

## Verdict
REPRODUCED. The cited bug is confirmed real in the audited source at `sys/dev/netif/ath/ath/if_ath_tx_edma.c:684`.

## Mechanism
ath_edma_tx_processq indexes sc_txq[ts.ts_queue_id] without bounds check; ts_queue_id is uint8_t 0-255 from chip DMA status but HAL_NUM_TX_QUEUES=10. OOB pointer deref on faulty/hostile HAL.

## Fix
Add bounds check ts.ts_queue_id < HAL_NUM_TX_QUEUES before subscript.

The full git-apply-able diff is in `fix.diff`.

## Build validation
fix.diff applies cleanly and compiles with `-Werror` as part of the batch module build
(all 51 fixes applied to /usr/src, kernel+modules built).

## Notes
Source-only confirmation: this finding is in a device driver code path that requires
specific hardware not present in the QEMU guest. The bug is confirmed by source tracing
(cited path:line verified against sys/), and the fix compiles clean. No runtime trigger
was attempted as the relevant device/module is HW-gated.