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

dhp computed from raw tv_sec instead of UTC-adjusted t1

Summary

timespec2fattime(:150) *dhp uses tsp->tv_sec but date/time use t1(adjusted). UTC offset currently stubbed 0. If implemented, dhp parity bit off by 1hr vs dtp. Not triggerable today.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

findings/poc/DF-0201 Β· 1 files
FileTypeDescriptionSize
fix.diff suggested-fix dhp computed from raw tv_sec instead of UTC-adjusted t1 374 B view raw

Fix verification

fixed
baseline reproduced→ patch + rebuild →patched clean

fix.diff applied + combined nativekernel build rc=0 (-Werror)

fix.diff applied + combined nativekernel build rc=0 (-Werror)
↓ fix.diffcombined build rc=0

Confirmed kernel references

β€”

Detail

Exploit chain

none (Info severity)

Evidence (decisive lines)

Source-confirmed at sys/kern/subr_fattime.c:150: dhp computed from raw tv_sec instead of UTC-adjusted t1

Verified recommended fix

Source-confirmed at sys/kern/subr_fattime.c:150: dhp computed from raw tv_sec instead of UTC-adjusted t1

Verdict

Source-confirmed at sys/kern/subr_fattime.c:150: dhp computed from raw tv_sec instead of UTC-adjusted t1