β¬’ DragonFlyBSD Kernel Audit
← triage Β· dashboard
DF-5400

mos_bulk_read_callback() passes actlen instead of pktlen to uether_rxbuf(): every received frame is delivered one byte too long (trailing device status byte included), and transfers of 2045..2056 bytes are silently dropped without ierrors

Summary

The driver computes pktlen=actlen-1 precisely because the last byte is the RX status field, validates pktlen, then hands the FULL actlen to uether_rxbuf - every frame is one byte longer with the status byte appended; memory-safe (framework bounds), and an evil device's 2045..2056 VALID transfers silently drop with no ierrors. Pass-pktlen fix.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

findings/poc/DF-5400 Β· 1 files
FileTypeDescriptionSize
verdict.json file 894 B view raw

Fix verification

not_testable
baseline no→ patch + rebuild →patched clean
per-fix-DF-5400

Confirmed kernel references

Detail

Evidence (decisive lines)

static trace in finding markdown

Verified recommended fix

see finding markdown

Verdict

untested (Info; correctness/observability only)