Page MenuHomeFreeBSD

devfs: Avoid comparison with an uninitialized var in devfs_fp_check()
ClosedPublic

Authored by markj on May 1 2021, 2:19 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sat, Apr 5, 11:57 AM
Unknown Object (File)
Sat, Apr 5, 3:04 AM
Unknown Object (File)
Fri, Apr 4, 11:29 PM
Unknown Object (File)
Feb 24 2025, 4:59 AM
Unknown Object (File)
Feb 6 2025, 6:22 AM
Unknown Object (File)
Feb 2 2025, 9:13 PM
Unknown Object (File)
Jan 10 2025, 5:46 AM
Unknown Object (File)
Jan 1 2025, 6:24 AM
Subscribers

Details

Summary

devvn_refthread() will initialize *devp only if it suceeds, so check for
success before comparing with fp->f_data. Other devfs_fp_check()
callers are careful to do this.

Reported by: KMSAN

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable