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

rdrand_rng() asm loop body executes unconditionally: called with limit < 8 it writes a full 8-byte RDRAND word past a sub-word buffer

Summary

do-while instead of while: any limit in [0,7] yields word count 0 yet the body stores 8 bytes. Sole in-tree caller passes 16 into a 48B buffer (in-bounds) - latent hardening for the next caller. test-rcx-zero guard fix in the .S.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

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

Fix verification

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

Confirmed kernel references

Detail

Evidence (decisive lines)

source trace in finding markdown

Verified recommended fix

see finding markdown

Verdict

untested (latent kernel-internal API / hardware-gated I965G/GM)