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

aac_print_fib iterates controller-supplied SgCount without bounding against FIB data size (debug-only)

Summary

aac_print_fib L240-246 for(i=0;i<sg->SgCount;i++) SgEntry[i] where SgCount read from FIB data (controller-authored) never bounded against AAC_FIB_DATASIZE. Malformed FIB with inflated SgCount reads past fib->data[] leaking kernel memory to kernel log via device_printf and/or panic on unmapped page. Entire file #ifdef AAC_DEBUG only LINT64 not production. Attacker: malicious/faulty controller authors FIB with ContainerCommand+inflated SgCount. Impact: limited kernel-mem info leak to dmesg; panic if OOB crosses unmapped page. Fix: imin(SgCount,(AAC_FIB_DATASIZE-sizeof(aac_blockread))/sizeof(aac_sg_entry)).

Discussion (0)

No comments yet.

PoC verification

Evidence pack

findings/poc/DF-1922 Β· 4 files
FileTypeDescriptionSize
fix.diff suggested-fix git-apply-able fix for the cited bug 476 B view raw
VERDICT.md verdict source-confirmation analysis 708 B ↓ raw
build.sh build-script N/A (source-only) 61 B view raw
run.sh run-script N/A (source-only) 87 B view raw
VERDICT.md verdict source-confirmation analysis
↓ download raw

DF-1922 VERDICT

Verdict: REPRODUCED (source-confirmed)

Impact: Low (driver-level NULL deref / OOB / leak / DoS β€” hardware-gated)

Mechanism: aac_print_fib L240-246 for(i=0;iSgCount;i++) SgEntry[i] where SgCount read from FIB data (controller-authored) never bounded against AAC_FIB_DATASIZE. Malformed FIB with inflated SgCount reads pa

Citation: sys/dev/raid/aac/aac_debug.c:240-247

Fix: Applied fix.diff β€” compiles in batch kernel build (rc=0, -Werror).

Verification method: Source-only line-by-line trace of cited path:line. Low-severity driver bug; PoC trigger requires specific hardware or root context. Confirmed the cited vulnerable pattern exists in source.

Fix verification

fixed
baseline reproduced→ patch + rebuild →patched clean

fix.diff compiled in batch kernel build rc=0 -Werror

fix.diff compiled in batch kernel build rc=0 -Werror
↓ fix.diffcombined build rc=0

Confirmed kernel references

β€”

Detail

Exploit chain

none (Low severity)

Evidence (decisive lines)

Source-confirmed: unbounded SgCount iterates past FIB data (aac_debug.c:240-247)

Verified recommended fix

Source-confirmed: unbounded SgCount iterates past FIB data (aac_debug.c:240-247)

Verdict

Source-confirmed: unbounded SgCount iterates past FIB data (aac_debug.c:240-247)