Page MenuHomeFreeBSD

msdosfs: fixes for Undefined Behavior.
ClosedPublic

Authored by pfg on Aug 7 2018, 3:48 PM.
Tags
None
Referenced Files
F153751997: D16615.diff
Thu, Apr 23, 10:42 AM
Unknown Object (File)
Sat, Apr 11, 12:26 PM
Unknown Object (File)
Sun, Apr 5, 10:43 AM
Unknown Object (File)
Sat, Apr 4, 12:12 AM
Unknown Object (File)
Sat, Apr 4, 12:11 AM
Unknown Object (File)
Fri, Apr 3, 12:16 AM
Unknown Object (File)
Mar 17 2026, 11:28 PM
Unknown Object (File)
Feb 16 2026, 9:13 AM
Subscribers

Details

Reviewers
emaste
delphij
Summary

These were found by the Undefined Behaviour GsoC project at NetBSD:

Do not change signedness bit with left shift.
While there avoid signed integer overflow.
Address both issues with using unsigned type.

msdosfs_fat.c:512:42, left shift of 1 by 31 places cannot be represented
in type 'int'
msdosfs_fat.c:521:44, left shift of 1 by 31 places cannot be represented
in type 'int'
msdosfs_fat.c:744:14, left shift of 1 by 31 places cannot be represented
in type 'int'
msdosfs_fat.c:744:24, signed integer overflow: -2147483648 - 1 cannot be
represented in type 'int [20]'
msdosfs_fat.c:840:13, left shift of 1 by 31 places cannot be represented
in type 'int'
msdosfs_fat.c:840:36, signed integer overflow: -2147483648 - 1 cannot be
represented in type 'int [20]'

Detected with micro-UBSan in the user mode.

Hinted from: NetBSD

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 18626
Build 18315: arc lint + arc unit