git: 9b3e17e15f94 - releng/12.4 - fflush: correct buffer handling in __sflush

From: Ed Maste <emaste_at_FreeBSD.org>
Date: Wed, 08 Nov 2023 01:03:18 UTC
The branch releng/12.4 has been updated by emaste:

URL: https://cgit.FreeBSD.org/src/commit/?id=9b3e17e15f942d1c5d4eaaa327d1eea7d4c9e233

commit 9b3e17e15f942d1c5d4eaaa327d1eea7d4c9e233
Author:     Dag-Erling Smørgrav <des@FreeBSD.org>
AuthorDate: 2023-08-03 15:08:03 +0000
Commit:     Ed Maste <emaste@FreeBSD.org>
CommitDate: 2023-11-08 01:01:23 +0000

    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.
    
    (cherry picked from commit 1f90b4edffe815aebb35e74b79e10593b31f6b75)
    (cherry picked from commit 1e99535be2ea9c0ef8bc57fc885e9c01fa95d2dd)
    (cherry picked from commit ccdd8337f9cbd7d34e2e95df1440dd5f7225d0b4)
    (cherry picked from commit 95fbce59c9f4ed4015b19a88491a37dac9d4e7d5)
    (cherry picked from commit d09a3bf72c0b5f1779c52269671872368c99f02a)
    (cherry picked from commit 92709431b14df6c0687446247ac57cfc189ee827)
    (cherry picked from commit 6cb5690b3495741e9ece6f42ba4a85732932aa83)
    (cherry picked from commit 3a2ea31568c81f7b29710abd3d3e1ada2fbeb6c9)
    
    Approved by:    so
    Security:       SA-23:15.stdio
    Sponsored by:   The FreeBSD Foundation
---
 lib/libc/stdio/fflush.c | 19 +++++++++----------
 1 file changed, 9 insertions(+), 10 deletions(-)

diff --git a/lib/libc/stdio/fflush.c b/lib/libc/stdio/fflush.c
index f7d2fbdc28e5..75f145fae6a3 100644
--- a/lib/libc/stdio/fflush.c
+++ b/lib/libc/stdio/fflush.c
@@ -106,10 +106,10 @@ int
 __sflush(FILE *fp)
 {
 	unsigned char *p;
-	int n, t;
+	int n, f, t;
 
-	t = fp->_flags;
-	if ((t & __SWR) == 0)
+	f = fp->_flags;
+	if ((f & __SWR) == 0)
 		return (0);
 
 	if ((p = fp->_bf._base) == NULL)
@@ -122,19 +122,18 @@ __sflush(FILE *fp)
 	 * exchange buffering (via setvbuf) in user write function.
 	 */
 	fp->_p = p;
-	fp->_w = t & (__SLBF|__SNBF) ? 0 : fp->_bf._size;
+	fp->_w = f & (__SLBF|__SNBF) ? 0 : fp->_bf._size;
 
 	for (; n > 0; n -= t, p += t) {
 		t = _swrite(fp, (char *)p, n);
 		if (t <= 0) {
-			/* Reset _p and _w. */
-			if (p > fp->_p) {
+			if (p > fp->_p)
 				/* Some was written. */
 				memmove(fp->_p, p, n);
-				fp->_p += n;
-				if ((fp->_flags & (__SLBF | __SNBF)) == 0)
-					fp->_w -= n;
-			}
+			/* Reset _p and _w. */
+			fp->_p += n;
+			if ((fp->_flags & __SNBF) == 0)
+				fp->_w -= n;
 			fp->_flags |= __SERR;
 			return (EOF);
 		}