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

Silent 64β†’32-bit mb_lba truncation with a print-only beyond-EOF check in amr_bio_command β€” unchecked raw-disk I/O past 2TiB wraps to an attacker-chosen in-range LBA (firmware is the only backstop)

Summary

The 64-bit offset quotient is assigned into u_int32 mb_lba and the only bounds check device_printfs and submits anyway - a raw write at >=2TiB wraps to LBA 0 if the firmware accepts it. Root:operator only; data-integrity class. Fail-the-bio fix.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

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

Fix verification

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

Confirmed kernel references

Detail

Evidence (decisive lines)

source-level analysis in finding markdown

Verified recommended fix

fail the bio instead of printing on beyond-EOF

Verdict

untested (hardware-gated: no MegaRAID adapter on audit guest)