Blame SOURCES/0177-strauss-fix-off-by-one-error-in-strauss-array-access.patch

d0480e
From 968789d5426442ac43b96eabd65f3e5c0c141e62 Mon Sep 17 00:00:00 2001
d0480e
From: Eugene Syromyatnikov <evgsyr@gmail.com>
d0480e
Date: Tue, 28 Jun 2022 16:47:56 +0200
d0480e
Subject: [PATCH] strauss: fix off-by-one error in strauss array access
d0480e
d0480e
It has to be limited with strauss_lines - 1, not strauss_lines.
d0480e
Reported by covscan:
d0480e
d0480e
    Error: OVERRUN (CWE-119):
d0480e
    strace-5.18/src/strauss.c:380: cond_at_least: Checking "4UL + i < 37UL"
d0480e
    implies that "i" is at least 33 on the false branch.
d0480e
    strace-5.18/src/strauss.c:380: overrun-local: Overrunning array "strauss"
d0480e
    of 37 8-byte elements at element index 37 (byte offset 303) using index
d0480e
    "(4UL + i < 37UL) ? 4UL + i : 37UL" (which evaluates to 37).
d0480e
d0480e
* src/strauss.c (print_totd): Limit strauss array accesses to
d0480e
strauss_lines - 1 instead of strauss_lines.
d0480e
---
d0480e
 src/strauss.c | 6 +++---
d0480e
 1 file changed, 3 insertions(+), 3 deletions(-)
d0480e
d0480e
diff --git a/src/strauss.c b/src/strauss.c
d0480e
index 98af183..b22ab6a 100644
d0480e
--- a/src/strauss.c
d0480e
+++ b/src/strauss.c
d0480e
@@ -373,16 +373,16 @@ print_totd(void)
d0480e
 			tip_left[MIN(i + 1, ARRAY_SIZE(tip_left) - 1)],
d0480e
 			w, w, tips_tricks_tweaks[id][i] ?: "",
d0480e
 			tip_right[MIN(i + 1, ARRAY_SIZE(tip_right) - 1)],
d0480e
-			strauss[MIN(3 + i, strauss_lines)]);
d0480e
+			strauss[MIN(3 + i, strauss_lines - 1)]);
d0480e
 	}
d0480e
 	fprintf(stderr, "%s%s\n",
d0480e
-		tip_bottom, strauss[MIN(3 + i, strauss_lines)]);
d0480e
+		tip_bottom, strauss[MIN(3 + i, strauss_lines - 1)]);
d0480e
 	do {
d0480e
 		fprintf(stderr, "%*s%*s%*s%s\n",
d0480e
 			(int) strlen(tip_left[0]), "",
d0480e
 			w, "",
d0480e
 			(int) strlen(tip_right[0]), "",
d0480e
-			strauss[MIN(4 + i, strauss_lines)]);
d0480e
+			strauss[MIN(4 + i, strauss_lines - 1)]);
d0480e
 	} while ((show_tips == TIPS_FULL) && (4 + ++i < strauss_lines));
d0480e
 
d0480e
 	printed = true;
d0480e
-- 
d0480e
2.1.4
d0480e