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

IP header checksum left stale after kernel records RR/TS options on locally-delivered packets

Summary

ip_dooptions modifies header when recording RR(:1702-1704)/TS(:1745-1771) options but never recomputes ip_sum. Forwarded packets repaired by ip_output. Locally delivered RR/TS packets: stale checksum. Transport layers use pseudo-header no re-verify ip_sum. Long-standing 4.4BSD behavior, no integrity bypass.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

findings/poc/DF-0345 Β· 1 files
FileTypeDescriptionSize
manifest.json file 389 B view raw

Fix verification

not_testable
baseline reproduced→ patch + rebuild →patched clean

recommended fix identified; fix.diff not authored/validated in this batch

recommended fix identified; fix.diff not authored/validated in this batch
combined build rc=0

Confirmed kernel references

β€”

Detail

Exploit chain

none (Info severity)

Evidence (decisive lines)

Source-confirmed at sys/netinet/ip_input.c:1702: IP header checksum left stale after recording RR/TS options

Verified recommended fix

Source-confirmed at sys/netinet/ip_input.c:1702: IP header checksum left stale after recording RR/TS options

Verdict

Source-confirmed at sys/netinet/ip_input.c:1702: IP header checksum left stale after recording RR/TS options