From mboxrd@z Thu Jan 1 00:00:00 1970 Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.remote-ip=100.103.45.18 ARC-Seal: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; cv=none; t=1794367612; b=Ijsj07A4jqCwEkFeMdLQpsTf45qelDg+N0X+k8tD3yyBaQvUPUeYfRQ3I+X5Um5m8Vb4 KiA4msy5bXJ2u/2bBOmptnLhhhJm9rK6/qbgWR67PQAEtBB9ihCAJoOpu0qRED5yG2bVH LcRCY4S8j+EV1FhHUi7a0KaewuH/siFY7TfA2Mubgzg0InamiN6Ukh6UhALMRAeeT92j1 ooJoWSlIAolGK1DeTCMpmCSeNG/0l5BU1VkQU/CEeEGYn/4x2SF/nRRizNKjH6K60BpZH LUMXUl26NdN91SIKXbaLJYvbKunmfpfoWVfFrPVqKNdM74ky87KZP2GKWf3tI/h3tMg== ARC-Message-Signature: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; c=relaxed/relaxed; t=1794367612; h=Received:DKIM-Signature:From:To:Cc:Subject:Date:Message-ID:X-Mailer: In-Reply-To:References:MIME-Version:Content-Transfer-Encoding; bh=vozT1LCfpeXUzV4r6YLaAODYT1z2iBbJ0i4FAwhMZDA=; b=Ru3gMNV4zWBJSDVHcYzizlmYkUA9nIW/xyBY7euHXTa7ZKF+wExU1yOxPdDVAnQ2mNKA BDhOyE8hrYcuuXWoqEwZinn88OAAUJBxWdy6zX1J15NkK6znBIy3DGqOUvctYlCI0DlEQ cCv4ZCt7gkQDdfPv48CVSo1TjZLY+qAlT0uo5oGI0anVnigFtQVyMJHf+BYtxQmqiVyJI OoQlNJ/Fa4OLbjwyZ+53Spw0kf3zKWKKLtPFQGcTS8ev3meW4Q5tfODAZluxHOIGo+EML yN/fyWhW01xBr2uAoLsXiC/PPyPzJ852WntWArE1vpmzzPtHXieUVXMTCoRLdtSKlJg== ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dkim=pass header.d=kernel.org header.i=@kernel.org header.a=rsa-sha256 header.s=k20260515 header.b=lZrT7fhq; arc=none smtp.remote-ip=100.103.45.18 Received: from smtp.kernel.org (quasi.space.kernel.org [100.103.45.18]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 73BB7606A321 for ; Wed, 11 Nov 2026 03:26:52 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.a=rsa-sha256 header.s=k20260515 header.b=lZrT7fhq Received: by smtp.kernel.org (Postfix) with ESMTPSA id 9418C1F00A07; Wed, 11 Nov 2026 03:26:51 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=kernel.org; s=k20260515; t=1794367612; bh=vozT1LCfpeXUzV4r6YLaAODYT1z2iBbJ0i4FAwhMZDA=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=lZrT7fhqWmj3l96BICetz7EDhvh6qsiRO+PCUggkcZ2DSbVYatBU9Tt85PwEqcT/F nDG4MTQb9zuJf4VhnbN5A0P6EJFD8GYFyDF1+7lonuIpvV6i6HP/iltjT64rBPHVOW 7E6upkntMaa1/+9qt/TmaRITOg9e33atBFfXkydaBe9tM9hiusTCMJYzK3VRfdj+Ih NPRrXkvBoms/KazMro0E25M4513mPjSV5pCpZs64NjExgvK5QNZVVBkK4qsYdeGjnC 4+acNmfBPv2O+dETBMcjRhxUMk+pDSo6dvUNjM7tGtTaGClLh7BIorjCh+rs/exHbu qpAMUCtu0bo+Q== From: Sasha Levin To: stable@vger.kernel.org Cc: Armaan Sandhu , Andrew Morton , Leizhen Zhang , Andy Shevchenko , Sasha Levin Subject: [PATCH 6.1.y 2/2] lib/cmdline: fix get_options() count and overflow with large ranges Date: Tue, 10 Nov 2026 22:26:49 -0500 Message-ID: <20261111032447.900812-2-sashal@kernel.org> X-Mailer: git-send-email 2.53.0 In-Reply-To: <20261111032447.900812-1-sashal@kernel.org> References: <20261107055303-failed-6.1-5d72266218b1@kernel.org> <20261111032447.900812-1-sashal@kernel.org> X-Mailing-List: stable@vger.kernel.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 Content-Transfer-Encoding: 8bit From: Armaan Sandhu [ Upstream commit 5d72266218b1c4dd2917f1df2b86f3b0e0a605c9 ] get_range() stops writing once the array is full, but get_options() still advances its index by the whole range. So "1-100" parsed into four ints reports 99 numbers, and a range like "0-2147483647" wraps the index negative and writes outside the array. Stop once a range fills the array, bail out in validation mode before the count overflows, and saturate the range length in get_range(). Add KUnit cases; without the fix "0-2147483647" panics the test kernel. Only root can supply this input, so this is a robustness fix. [akpm@linux-foundation.org: add additional test case from Leizhen] Link: https://lore.kernel.org/20261005213945.359905-1-armaan.sandhu0504@gmail.com Fixes: 22f2e2801799 ("[PATCH] get_options to allow a hypenated range for isolcpus") Signed-off-by: Armaan Sandhu Signed-off-by: Andrew Morton Reported-by: Leizhen Zhang Reviewed-by: Leizhen Zhang Cc: Andy Shevchenko Cc: Signed-off-by: Sasha Levin --- lib/cmdline.c | 13 ++++++++++++- lib/cmdline_kunit.c | 39 +++++++++++++++++++++++++++++++++++++++ 2 files changed, 51 insertions(+), 1 deletion(-) diff --git a/lib/cmdline.c b/lib/cmdline.c index 90ed997d95701..f5dc59b3548e9 100644 --- a/lib/cmdline.c +++ b/lib/cmdline.c @@ -11,6 +11,7 @@ #include #include +#include #include #include @@ -26,7 +27,9 @@ static int get_range(char **str, int *pint, int n) (*str)++; upper_range = simple_strtol((*str), NULL, 0); - inc_counter = upper_range - *pint; + /* Keep the sign of the result when the difference doesn't fit */ + if (check_sub_overflow(upper_range, *pint, &inc_counter)) + inc_counter = upper_range < *pint ? -1 : INT_MAX; for (x = *pint; n && x < upper_range; x++, n--) *pint++ = x; return inc_counter; @@ -122,6 +125,14 @@ char *get_options(const char *str, int nints, int *ints) range_nums = get_range((char **)&str, pint, n); if (range_nums < 0) break; + /* The range didn't fit, so the array is full */ + if (!validate && range_nums > n) { + i = nints; + break; + } + /* Leave room for the upper number of the range */ + if (range_nums >= INT_MAX - i) + break; /* * Decrement the result by one to leave out the * last number in the range. The next iteration diff --git a/lib/cmdline_kunit.c b/lib/cmdline_kunit.c index 20d525aa23eda..e720f056c84df 100644 --- a/lib/cmdline_kunit.c +++ b/lib/cmdline_kunit.c @@ -139,6 +139,44 @@ static void cmdline_test_range(struct kunit *test) } while (++i < ARRAY_SIZE(cmdline_test_range_strings)); } +static const struct { + const char *in; + int parsed[4]; + int validated; +} cmdline_test_range_overflow_cases[] = { + { "1-100", { 3, 1, 2, 3, }, 100, }, + { "1,5-100,7", { 3, 1, 5, 6, }, 98, }, + { "1-2147483646", { 3, 1, 2, 3, }, 2147483646, }, + { "0-2147483647", { 3, 0, 1, 2, }, 0, }, + { "-5-2147483647", { 3, -5, -4, -3, }, 0, }, + { "2147483647--5", { 0, 2147483647, }, 0, }, + { "1,0-2147483647", { 3, 1, 0, 1, }, 1, }, +}; + +static void cmdline_test_range_overflow(struct kunit *test) +{ + unsigned int i, j; + + for (i = 0; i < ARRAY_SIZE(cmdline_test_range_overflow_cases); i++) { + const char *in = cmdline_test_range_overflow_cases[i].in; + const int *e = cmdline_test_range_overflow_cases[i].parsed; + /* Two guard elements past the array handed to get_options() */ + int r[ARRAY_SIZE(cmdline_test_range_overflow_cases[0].parsed) + 2]; + int n; + + memset(r, 0, sizeof(r)); + get_options(in, ARRAY_SIZE(r) - 2, r); + for (j = 0; j < ARRAY_SIZE(r) - 2; j++) + KUNIT_EXPECT_EQ_MSG(test, r[j], e[j], "Pattern: %s at %u", in, j); + for (; j < ARRAY_SIZE(r); j++) + KUNIT_EXPECT_EQ_MSG(test, r[j], 0, "Pattern: %s out of bound at %u", in, j); + + get_options(in, 0, &n); + KUNIT_EXPECT_EQ_MSG(test, n, cmdline_test_range_overflow_cases[i].validated, + "Pattern: %s (validated)", in); + } +} + static void cmdline_test_next_arg_quoted_value(struct kunit *test) { char in[] = "foo=\"bar baz\" qux=1"; @@ -203,6 +241,7 @@ static struct kunit_case cmdline_test_cases[] = { KUNIT_CASE(cmdline_test_lead_int), KUNIT_CASE(cmdline_test_tail_int), KUNIT_CASE(cmdline_test_range), + KUNIT_CASE(cmdline_test_range_overflow), KUNIT_CASE(cmdline_test_next_arg_quoted_value), KUNIT_CASE(cmdline_test_next_arg_bare_quote_regression), KUNIT_CASE(cmdline_test_next_arg_mixed_tokens), -- 2.53.0