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)
PoC verification
Evidence pack
findings/poc/DF-5142 Β· 1 files| File | Type | Description | Size | |
|---|---|---|---|---|
| verdict.json | file | 903 B | view raw |
Fix verification
not_testablebaseline 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)
No comments yet.