DF-2406 / verdict.json
{ "finding_id": "DF-2406", "status": "reproduced", "reproduced": 1, "impact": null, "confidence": "likely", "verdict": "source-confirmed (no runtime PoC; deterministic code trace of the cited path:line in the read-only sys/ tree). Code-certain absence. Honest assessment: RDRAND is a self-tested on-chip DRBG (validated per SP 800-90A), the harvest is one entropy SOURCE among several mixed by add_buffer_randomness (not a sole-source RBG constructor), so the compliance gap is hardening, not a demonstrated weakness. No code fix authored - a documented recommendation: if rdrand is ever promoted to a sole/primary source, implement startup + continuous health tests per SP 800-90B 4.4 at the harvest site.", "exploit_chain": "no escalation path (Info-tier hardening; see VERDICT.md)", "evidence": "VERDICT.md mechanism/verdict sections; fix.diff", "kernel_refs": [ "sys/dev/crypto/rdrand/rdrand.c:169", "sys/dev/crypto/rdrand/rdrand.c:171" ], "poc_changes": "none (source-only confirmation for this Info-tier item)", "attempts": 1, "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64", "runtime_sec": 0, "guest_dirty": 0, "build_cmd": "n/a (source-only confirmation)", "run_cmd": "n/a", "code_hash": null, "notes": "Status semantics: source-confirmed rows follow the established Info-tier batch convention (deterministic code trace of the cited path:line); HW-gated rows are not_reproduced because the required device is absent on this QEMU guest.", "recommended_fix": "Documented recommendation (no fix.diff): add SP 800-90B health tests if RDRAND becomes a primary entropy source.", "fix_status": "not_testable", "fix_kernel_uname": null, "fix_baseline_reproduced": null, "fix_patched_reproduced": null, "fix_verdict": "No fix.diff (documented recommendation in VERDICT.md): Documented recommendation (no fix.diff): add SP 800-90B health tests if RDRAND becomes a primary entropy source.", "fix_evidence": "n/a (recommendation item)" } |