]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/commit
fflush: correct buffer handling in __sflush
authorDag-Erling Smørgrav <des@FreeBSD.org>
Thu, 3 Aug 2023 15:13:45 +0000 (15:13 +0000)
committerEd Maste <emaste@FreeBSD.org>
Tue, 7 Nov 2023 13:21:12 +0000 (08:21 -0500)
commitd09a3bf72c0b5f1779c52269671872368c99f02a
treecc8ba9ed526d5f47ffa721bc11ebf8a924e094b5
parent96cb1d70008e6d42750e95135316cafd6899384f
fflush: correct buffer handling in __sflush

This fixes CVE-2014-8611 correctly.

The commit that purported to fix CVE-2014-8611 (805288c2f062) only hid
it behind another bug.  Two later commits, 86a16ada1ea6 and
44cf1e5eb470, attempted to address this new bug but mostly just confused
the issue.  This commit rolls back the three previous changes and fixes
CVE-2014-8611 correctly.

The key to understanding the bug (and the fix) is that `_w` has
different meanings for different stream modes.  If the stream is
unbuffered, it is always zero.  If the stream is fully buffered, it is
the amount of space remaining in the buffer (equal to the buffer size
when the buffer is empty and zero when the buffer is full).  If the
stream is line-buffered, it is a negative number reflecting the amount
of data in the buffer (zero when the buffer is empty and negative buffer
size when the buffer is full).

At the heart of `fflush()`, we call the stream's write function in a
loop, where `t` represents the return value from the last call and `n`
the amount of data that remains to be written.  When the write function
fails, we need to move the unwritten data to the top of the buffer
(unless nothing was written) and adjust `_p` (which points to the next
free location in the buffer) and `_w` accordingly.  These variables have
already been set to the values they should have after a successful
flush, so instead of adjusting them down to reflect what was written,
we're adjusting them up to reflect what remains.

The bug was that while `_p` was always adjusted, we only adjusted `_w`
if the stream was fully buffered.  The fix is to also adjust `_w` for
line-buffered streams.  Everything else is just noise.

Fixes: 805288c2f062
Fixes: 86a16ada1ea6
Fixes: 44cf1e5eb470
Sponsored by: Klara, Inc.
lib/libc/stdio/fflush.c
lib/libc/stdio/fvwrite.c
lib/libc/stdio/wbuf.c