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=1794368694; b=01ZLxj2tlkGxWnnufy8/Vtn1hWRQUau8Vgq02ADnJ4vrAZmszql71Adc9O4MxRiPkkE3 ViCws2/FP6Oh1hH6kNuATROlTCoTSQFzR2P+zR8+PqV8BPSGnuVzQqhCLH7DYuLGAp0zR 6W5zPRv3DpYbTMLaNd02OLm4yQXL42owBlqrNrKlciT8PvfywrAUN01ynZrPqPsrhMe4N ES/QuCosPkSzex6J/yAz6SjFIHulA17EN6FzHVmb8vNQvmNtCZ8q1RnWL8cp6ITdSlSQB vnc8DFFn5tdtKi4ntoshbwcWUj6+Fbi10sog5/OPnLl1KG+uPM3ew5Vx2wRVCQQpC0Q== ARC-Message-Signature: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; c=relaxed/relaxed; t=1794368694; h=Received:DKIM-Signature:From:To:Cc:Subject:Date:Message-ID:X-Mailer: In-Reply-To:References:MIME-Version:Content-Transfer-Encoding; bh=ZX6IgVEXdPny64lozd3pvKBInDCrU4XMeg44/GjvRig=; b=t/H4nmMuPkTmdA67Ap0cmuAKCkGpSOtMGd0eVT4ibR03zeowgU6zFjVixhKlCNlRJTa4 7UYtHb9EnaOtIrhKxQ1vWL/H3qdr06K7v3xtnonXBISQJzXu3N9e6x5AU0gMBU3pK6wi5 AOOclGoDQ1EJ3mDkH1FkBbvRV3E4HwH9nJeaIQ52hQ/OQBFBBbQE6ZpvVjsWrljCG4HkS XPyzkaN6xZxcCvisXvhQHODw+htKBV4O7TcNn+P/LKJAS+PwZM+eSsIBXv3xHNyDDkxPZ NKXCltJ1x4KyBeZ3eSLcy5T8ut4kUBrhH1VNrgUDu3xlLN5446c6w0HYWZZ9c0/K9jw== 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=luOtTWBB; 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 5669E606A31C for ; Wed, 11 Nov 2026 03:44:54 +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=luOtTWBB Received: by smtp.kernel.org (Postfix) with ESMTPSA id 3A9D31F0089F; Wed, 11 Nov 2026 03:44:53 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=kernel.org; s=k20260515; t=1794368693; bh=ZX6IgVEXdPny64lozd3pvKBInDCrU4XMeg44/GjvRig=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=luOtTWBByh43FgA07Am/OUYdzpjxXteV6uibarYunfzvxDNd9wpWsDk4wzr7K0f0/ 4TMZ2kvlDZvEXIfmkSGA+ZAl9OEnMYx/PhygExamhKk7Pm3GpgqAZBMUmmYgn3TUxj oFj6wbe2Uf13ur4o2lOtC6626SgSY6YG4qJG5+0TJOL/7iM57YfOhfnTXRZd+3CeGt Az9zHp/be8B2YcC3AhGAeJLayktyTdiEzYBedqyD+Nbw0fldK5dN0BHd18JQQFjLG4 UKTRVgAhjk5C7HsjshZYNaVZIzMjS/BCv8EuzuHcaxQ3eyB6g9PxsMwmKODTU1QXMa 8sR2ZpxbuQYWQ== From: Sasha Levin To: stable@vger.kernel.org Cc: Armaan Sandhu , Andrew Morton , Leizhen Zhang , Andy Shevchenko , Sasha Levin Subject: [PATCH 5.15.y] lib/cmdline: fix get_options() count and overflow with large ranges Date: Tue, 10 Nov 2026 22:44:51 -0500 Message-ID: <20261111034221.930771-1-sashal@kernel.org> X-Mailer: git-send-email 2.53.0 In-Reply-To: <20261107061013-failed-5.15-5d72266218b1@kernel.org> References: <20261107061013-failed-5.15-5d72266218b1@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: [ sashal: adapted KUnit test placement to the existing layout lacking next_arg() and memparse() tests ] 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 5546bf5887806..04661bd4f40d7 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 de7fb7476cb9a..205a2cb542436 100644 --- a/lib/cmdline_kunit.c +++ b/lib/cmdline_kunit.c @@ -139,11 +139,50 @@ 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 struct kunit_case cmdline_test_cases[] = { KUNIT_CASE(cmdline_test_noint), KUNIT_CASE(cmdline_test_lead_int), KUNIT_CASE(cmdline_test_tail_int), KUNIT_CASE(cmdline_test_range), + KUNIT_CASE(cmdline_test_range_overflow), {} }; -- 2.53.0