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

init_device kprintf leaks kernel heap pointer (COREBUF %p) to console β€” readable by unprivileged users via dmesg (security.unprivileged_read_msgbuf=1 default)

Summary

kprintf('COREBUF %p...') at attach prints a live M_DEVBUF heap address to the msgbuf, which unprivileged users can read by default (verified =1 on guest). Heap-layout disclosure aiding slab grooming. Delete-the-debug-print fix.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

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

Fix verification

not_testable
baseline no→ patch + rebuild →patched clean

not_testable: no atmel i2c device on guest

fix in finding markdown
per-fix-DF-4441

Confirmed kernel references

Detail

Exploit chain

[]

Evidence (decisive lines)

kprintf COREBUF %p at attach. Delete-the-debug-print fix in finding markdown.

Verdict

not_run: no atmel device on guest