From nobody Wed Feb 11 03:42:09 2026 Received: from mail-il1-f170.google.com (mail-il1-f170.google.com [209.85.166.170]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 52F72386 for ; Fri, 1 Mar 2024 00:26:53 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.166.170 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1709252818; cv=none; b=IYNCEcUdeGshLhA0VUkJDVU9+AMWuF9c0Cmd2bx8HoGG7mFJ25XLB2ULhcJDDDWYyQUX1KzGGbdBmzzkqI+1VLHvEbPR/Lvd8T8ngIrNvM1t+9SSZpk8sFbFcCGGreXHaY0Vc0cxJXVVClwT5dGeZR0oORXBF9SyTUKE89HV8yE= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1709252818; c=relaxed/simple; bh=55xyn8zKO4nNH9Rvcx8r5OPu2ble/KrvXCx28GmYr8o=; h=From:To:Cc:Subject:Date:Message-Id:In-Reply-To:References: MIME-Version; b=tDnec9YKUgW598LJ5GozBF9aTB6pL9AfXFQSZh8Tek+n0pybFePrw9ICg6t6xUaHV4DmUPbbXxobOysKHqCvGTkbW2tUyEECNXbg+WR6iJ4ZI0BO8qtS9XGqyujOTVQeONTq05anElCgvedk8RWhzF8qF6Zg2IDLCfZKcRvFgRQ= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=chromium.org; spf=pass smtp.mailfrom=chromium.org; dkim=pass (1024-bit key) header.d=chromium.org header.i=@chromium.org header.b=I966CMgw; arc=none smtp.client-ip=209.85.166.170 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=chromium.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=chromium.org Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=chromium.org header.i=@chromium.org header.b="I966CMgw" Received: by mail-il1-f170.google.com with SMTP id e9e14a558f8ab-3652731b2b7so6153005ab.2 for ; Thu, 29 Feb 2024 16:26:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=chromium.org; s=google; t=1709252812; x=1709857612; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=hhQN8lEo47C06uFL3UK+82WnUqWmwbabHP0lvyxYyyI=; b=I966CMgwFsUOlvnt2dycxXw0qMhxkqVDPfcjooz6KPKJ3iDvGwwHMlImO1OjD2ZSGn 1RyJeGX371u8IOcUv0DdX9xvnBI076cePxf1rI/jRNfET6WER+lpavqwNShOjZ0VmXOz 6lqxmMmuIOqZ6qCNKU+CrqkJuaolvseY4QfMM= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1709252812; x=1709857612; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=hhQN8lEo47C06uFL3UK+82WnUqWmwbabHP0lvyxYyyI=; b=do2Ln3BjtiJ+HnaBu4v1Di+yIFGRQ03jlgY0H90rovknDFOelxxmWIqozpScowBtYO P+FUb5v+5Gwt7uJZD3dECITtMAYWdILMF/0uanDFua24YkVnjEmDnmi+F8Gwk5d7qV1F dZBIWQxsHC1XjWkvGMSzSOSM2BPbqYu8YSkSGtx8yAze5gxqmS8CNZD2p/yKgwEtB1Es RiWxOyRjy+bbfPVu11Z/ONu8nNsJy+Yc3DuZLVNHNs3OEStTA/L1QxakNcf512qXHwVs fpnMUgjiTsX6PY5bxNIoP/YrWb9HO/Wl8vLewVIWXn/gKsO3b/wuW8zpwKlxFM5kc1M/ 1caQ== X-Forwarded-Encrypted: i=1; AJvYcCVtHdJVgI6tj1N7W07tySD5HCDi1s/s82J3R2R1+6gN0RYGXI+b3rQxm+v51fJLpDKJdQlfDK3PMiQcEP0jt+V+NOx/JDNm5MdNd0gS X-Gm-Message-State: AOJu0Ywda3eBVhMVmQGjliQ3Y5QLggJdzqkwGkakr/rHF45LEw9O4Egt JO1T3Lq+zNs8+ApxiVb8CAArYyxjlctpNEYdtSTa8BrUtUrrE8diDMxw6n/yyGg5SEME+2qel3M = X-Google-Smtp-Source: AGHT+IEpsa9sCTPYv+KsQFgBox3T1DxeXaCTw2hobPVds2ftPX4N0287clgH/pZEXUuiqNJ86S5foQ== X-Received: by 2002:a05:6e02:1a8c:b0:365:3e12:8bfb with SMTP id k12-20020a056e021a8c00b003653e128bfbmr299302ilv.21.1709252812357; Thu, 29 Feb 2024 16:26:52 -0800 (PST) Received: from www.outflux.net ([198.0.35.241]) by smtp.gmail.com with ESMTPSA id a27-20020a62d41b000000b006e48e64ef54sm1971821pfh.173.2024.02.29.16.26.50 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 29 Feb 2024 16:26:50 -0800 (PST) From: Kees Cook To: Andy Shevchenko Cc: Kees Cook , linux-hardening@vger.kernel.org, linux-kernel@vger.kernel.org Subject: [PATCH v2 1/2] string: Convert selftest to KUnit Date: Thu, 29 Feb 2024 16:26:47 -0800 Message-Id: <20240301002650.1544829-1-keescook@chromium.org> X-Mailer: git-send-email 2.34.1 In-Reply-To: <20240301002416.it.092-kees@kernel.org> References: <20240301002416.it.092-kees@kernel.org> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 X-Developer-Signature: v=1; a=openpgp-sha256; l=9530; i=keescook@chromium.org; h=from:subject; bh=55xyn8zKO4nNH9Rvcx8r5OPu2ble/KrvXCx28GmYr8o=; b=owEBbQKS/ZANAwAKAYly9N/cbcAmAcsmYgBl4SDIk3eOcod2ISKCbrONdo52S/cd/eKMgfWDU 72HZYnkRyCJAjMEAAEKAB0WIQSlw/aPIp3WD3I+bhOJcvTf3G3AJgUCZeEgyAAKCRCJcvTf3G3A JsOIEACv8/xAArv+Wft8iBQU4FUyttrBGIVPhLYyQu+RfXvWSjbQ3X3T5Ofl1pXImdEP/PAKrN2 yZKCEEIV4hLX9pcraulqkrM29te373it+eEbLDfygXuhjRlLkMSY0auegc375nTkBNAvf4rql9X cQx2jgS2u6LKVYYKu7LezIgYo2oEstoA6Hl9G27huYreIcZ6Iw81amesuWa8bWerpL3VTrTP0+S QPgKdz05ceBkVhWi2MA3akGtytHyAPmKY/lakVJXK5pNGWDcHC0I8pYtq1L5pFkJ9A7rzXYJ9TQ Y5s3zaIt0xbCOQRR0TOxQYo4dpsQLHL1vqfF3fxYkMbbPcIbNuE4AeVTjbNuCgb7JXubVSj2CIL gfhtUuYlBKB3rDOIBzQ6tKHYFxgeX7fvCO+DVxw9iukDC06Z3ECzgOO18CG0uvq0UIL73CwADke EEKbvZ6sumFwxXDM0HKr3TGT499yeU0CzzKyy9udfnj6JVRyBhEZfJhuFeY3kV33ken1404kXjN ZaGlk9Dr2QIDCDdDZEhm41z4oQ+tA6jXdELtxCKgE9pYNAgfALm5YbB84Ft1CACEP7rgdL2uiEp NpWSOnDBwn3PMZf9+4t/+FzpKWt4OdL4VgmRT+agW6kFzGMCXnqAUEwLXBZBqibVmn7PbO46weO vBCiKckEkbunZzA== X-Developer-Key: i=keescook@chromium.org; a=openpgp; fpr=A5C3F68F229DD60F723E6E138972F4DFDC6DC026 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Convert test_string.c to KUnit so it can be easily run with everything else. Signed-off-by: Kees Cook --- Cc: Andy Shevchenko Cc: linux-hardening@vger.kernel.org --- MAINTAINERS | 2 +- lib/Kconfig.debug | 6 +- lib/Makefile | 2 +- lib/{test_string.c =3D> string_kunit.c} | 166 +++++++++----------------- 4 files changed, 61 insertions(+), 115 deletions(-) rename lib/{test_string.c =3D> string_kunit.c} (54%) diff --git a/MAINTAINERS b/MAINTAINERS index cd651c4df019..9f1f68cccd6a 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -8976,9 +8976,9 @@ F: include/linux/string.h F: include/linux/string_choices.h F: include/linux/string_helpers.h F: lib/string.c +F: lib/string_kunit.c F: lib/string_helpers.c F: lib/test-string_helpers.c -F: lib/test_string.c F: scripts/coccinelle/api/string_choices.cocci =20 GENERIC UIO DRIVER FOR PCI DEVICES diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug index 4e2febe3b568..406cdf353488 100644 --- a/lib/Kconfig.debug +++ b/lib/Kconfig.debug @@ -2352,8 +2352,10 @@ config ASYNC_RAID6_TEST config TEST_HEXDUMP tristate "Test functions located in the hexdump module at runtime" =20 -config STRING_SELFTEST - tristate "Test string functions at runtime" +config STRING_KUNIT_TEST + tristate "KUnit test string functions at runtime" if !KUNIT_ALL_TESTS + depends on KUNIT + default KUNIT_ALL_TESTS =20 config TEST_STRING_HELPERS tristate "Test functions located in the string_helpers module at runtime" diff --git a/lib/Makefile b/lib/Makefile index eae87c41b22b..946277c37831 100644 --- a/lib/Makefile +++ b/lib/Makefile @@ -49,7 +49,7 @@ obj-y +=3D bcd.o sort.o parser.o debug_locks.o random32.o= \ percpu-refcount.o rhashtable.o base64.o \ once.o refcount.o rcuref.o usercopy.o errseq.o bucket_locks.o \ generic-radix-tree.o bitmap-str.o -obj-$(CONFIG_STRING_SELFTEST) +=3D test_string.o +obj-$(CONFIG_STRING_KUNIT_TEST) +=3D string_kunit.o obj-y +=3D string_helpers.o obj-$(CONFIG_TEST_STRING_HELPERS) +=3D test-string_helpers.o obj-y +=3D hexdump.o diff --git a/lib/test_string.c b/lib/string_kunit.c similarity index 54% rename from lib/test_string.c rename to lib/string_kunit.c index c5cb92fb710e..bbb54ac11f7b 100644 --- a/lib/test_string.c +++ b/lib/string_kunit.c @@ -1,17 +1,23 @@ // SPDX-License-Identifier: GPL-2.0-only +/* + * Test cases for string functions. + */ + +#define pr_fmt(fmt) KBUILD_MODNAME ": " fmt + +#include #include #include #include #include =20 -static __init int memset16_selftest(void) +static void test_memset16(struct kunit *test) { unsigned i, j, k; u16 v, *p; =20 p =3D kmalloc(256 * 2 * 2, GFP_KERNEL); - if (!p) - return -1; + KUNIT_ASSERT_NOT_NULL(test, p); =20 for (i =3D 0; i < 256; i++) { for (j =3D 0; j < 256; j++) { @@ -20,34 +26,28 @@ static __init int memset16_selftest(void) for (k =3D 0; k < 512; k++) { v =3D p[k]; if (k < i) { - if (v !=3D 0xa1a1) - goto fail; + KUNIT_EXPECT_EQ(test, v, 0xa1a1); } else if (k < i + j) { - if (v !=3D 0xb1b2) - goto fail; + KUNIT_EXPECT_EQ(test, v, 0xb1b2); } else { - if (v !=3D 0xa1a1) - goto fail; + KUNIT_EXPECT_EQ(test, v, 0xa1a1); } } } } =20 -fail: kfree(p); if (i < 256) - return (i << 24) | (j << 16) | k | 0x8000; - return 0; + KUNIT_EXPECT_EQ(test, 0, (i << 24) | (j << 16) | k | 0x8000); } =20 -static __init int memset32_selftest(void) +static void test_memset32(struct kunit *test) { unsigned i, j, k; u32 v, *p; =20 p =3D kmalloc(256 * 2 * 4, GFP_KERNEL); - if (!p) - return -1; + KUNIT_ASSERT_NOT_NULL(test, p); =20 for (i =3D 0; i < 256; i++) { for (j =3D 0; j < 256; j++) { @@ -56,34 +56,28 @@ static __init int memset32_selftest(void) for (k =3D 0; k < 512; k++) { v =3D p[k]; if (k < i) { - if (v !=3D 0xa1a1a1a1) - goto fail; + KUNIT_EXPECT_EQ(test, v, 0xa1a1a1a1); } else if (k < i + j) { - if (v !=3D 0xb1b2b3b4) - goto fail; + KUNIT_EXPECT_EQ(test, v, 0xb1b2b3b4); } else { - if (v !=3D 0xa1a1a1a1) - goto fail; + KUNIT_EXPECT_EQ(test, v, 0xa1a1a1a1); } } } } =20 -fail: kfree(p); if (i < 256) - return (i << 24) | (j << 16) | k | 0x8000; - return 0; + KUNIT_EXPECT_EQ(test, 0, (i << 24) | (j << 16) | k | 0x8000); } =20 -static __init int memset64_selftest(void) +static void test_memset64(struct kunit *test) { unsigned i, j, k; u64 v, *p; =20 p =3D kmalloc(256 * 2 * 8, GFP_KERNEL); - if (!p) - return -1; + KUNIT_ASSERT_NOT_NULL(test, p); =20 for (i =3D 0; i < 256; i++) { for (j =3D 0; j < 256; j++) { @@ -92,27 +86,22 @@ static __init int memset64_selftest(void) for (k =3D 0; k < 512; k++) { v =3D p[k]; if (k < i) { - if (v !=3D 0xa1a1a1a1a1a1a1a1ULL) - goto fail; + KUNIT_EXPECT_EQ(test, v, 0xa1a1a1a1a1a1a1a1ULL); } else if (k < i + j) { - if (v !=3D 0xb1b2b3b4b5b6b7b8ULL) - goto fail; + KUNIT_EXPECT_EQ(test, v, 0xb1b2b3b4b5b6b7b8ULL); } else { - if (v !=3D 0xa1a1a1a1a1a1a1a1ULL) - goto fail; + KUNIT_EXPECT_EQ(test, v, 0xa1a1a1a1a1a1a1a1ULL); } } } } =20 -fail: kfree(p); if (i < 256) - return (i << 24) | (j << 16) | k | 0x8000; - return 0; + KUNIT_EXPECT_EQ(test, 0, (i << 24) | (j << 16) | k | 0x8000); } =20 -static __init int strchr_selftest(void) +static void test_strchr(struct kunit *test) { const char *test_string =3D "abcdefghijkl"; const char *empty_string =3D ""; @@ -121,26 +110,20 @@ static __init int strchr_selftest(void) =20 for (i =3D 0; i < strlen(test_string) + 1; i++) { result =3D strchr(test_string, test_string[i]); - if (result - test_string !=3D i) - return i + 'a'; + KUNIT_ASSERT_EQ(test, result - test_string, i); } =20 result =3D strchr(empty_string, '\0'); - if (result !=3D empty_string) - return 0x101; + KUNIT_ASSERT_PTR_EQ(test, result, empty_string); =20 result =3D strchr(empty_string, 'a'); - if (result) - return 0x102; + KUNIT_ASSERT_NULL(test, result); =20 result =3D strchr(test_string, 'z'); - if (result) - return 0x103; - - return 0; + KUNIT_ASSERT_NULL(test, result); } =20 -static __init int strnchr_selftest(void) +static void test_strnchr(struct kunit *test) { const char *test_string =3D "abcdefghijkl"; const char *empty_string =3D ""; @@ -153,33 +136,27 @@ static __init int strnchr_selftest(void) if (j <=3D i) { if (!result) continue; - return ((i + 'a') << 8) | j; + KUNIT_ASSERT_EQ(test, 0, 1); } if (result - test_string !=3D i) - return ((i + 'a') << 8) | j; + KUNIT_ASSERT_EQ(test, 0, 1); } } =20 result =3D strnchr(empty_string, 0, '\0'); - if (result) - return 0x10001; + KUNIT_ASSERT_NULL(test, result); =20 result =3D strnchr(empty_string, 1, '\0'); - if (result !=3D empty_string) - return 0x10002; + KUNIT_ASSERT_PTR_EQ(test, result, empty_string); =20 result =3D strnchr(empty_string, 1, 'a'); - if (result) - return 0x10003; + KUNIT_ASSERT_NULL(test, result); =20 result =3D strnchr(NULL, 0, '\0'); - if (result) - return 0x10004; - - return 0; + KUNIT_ASSERT_NULL(test, result); } =20 -static __init int strspn_selftest(void) +static void test_strspn(struct kunit *test) { static const struct strspn_test { const char str[16]; @@ -187,7 +164,7 @@ static __init int strspn_selftest(void) const char reject[16]; unsigned a; unsigned r; - } tests[] __initconst =3D { + } tests[] =3D { { "foobar", "", "", 0, 6 }, { "abba", "abc", "ABBA", 4, 4 }, { "abba", "a", "b", 1, 1 }, @@ -198,60 +175,27 @@ static __init int strspn_selftest(void) =20 for (i =3D 0; i < ARRAY_SIZE(tests); ++i, ++s) { res =3D strspn(s->str, s->accept); - if (res !=3D s->a) - return 0x100 + 2*i; + KUNIT_ASSERT_EQ(test, res, s->a); res =3D strcspn(s->str, s->reject); - if (res !=3D s->r) - return 0x100 + 2*i + 1; + KUNIT_ASSERT_EQ(test, res, s->r); } - return 0; -} - -static __exit void string_selftest_remove(void) -{ } =20 -static __init int string_selftest_init(void) -{ - int test, subtest; - - test =3D 1; - subtest =3D memset16_selftest(); - if (subtest) - goto fail; - - test =3D 2; - subtest =3D memset32_selftest(); - if (subtest) - goto fail; - - test =3D 3; - subtest =3D memset64_selftest(); - if (subtest) - goto fail; +static struct kunit_case string_test_cases[] =3D { + KUNIT_CASE(test_memset16), + KUNIT_CASE(test_memset32), + KUNIT_CASE(test_memset64), + KUNIT_CASE(test_strchr), + KUNIT_CASE(test_strnchr), + KUNIT_CASE(test_strspn), + {} +}; =20 - test =3D 4; - subtest =3D strchr_selftest(); - if (subtest) - goto fail; +static struct kunit_suite string_test_suite =3D { + .name =3D "string", + .test_cases =3D string_test_cases, +}; =20 - test =3D 5; - subtest =3D strnchr_selftest(); - if (subtest) - goto fail; - - test =3D 6; - subtest =3D strspn_selftest(); - if (subtest) - goto fail; - - pr_info("String selftests succeeded\n"); - return 0; -fail: - pr_crit("String selftest failure %d.%08x\n", test, subtest); - return 0; -} +kunit_test_suites(&string_test_suite); =20 -module_init(string_selftest_init); -module_exit(string_selftest_remove); MODULE_LICENSE("GPL v2"); --=20 2.34.1 From nobody Wed Feb 11 03:42:09 2026 Received: from mail-pf1-f182.google.com (mail-pf1-f182.google.com [209.85.210.182]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 7585E631 for ; Fri, 1 Mar 2024 00:26:54 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.210.182 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1709252816; cv=none; b=s5cG+vRn9tk5eImUu5OC4Olxn2kRq+fXNXVIFW1udLmrYZSk/OENWYRxq+KBcMKhSWCsKe8ORSpQLdSXArEg174vqT5VYp4cGKINXjxulfC7RnBF3iCnh/NDTDuESzo4F+QTzqvlXtfU+mxuz4u4V0uiOLbZM4AWONIcy7BbDEE= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1709252816; c=relaxed/simple; bh=KDDjoM6A5PAucF/jTCWxQ0PKblp1gjUY4Bj03CQrEXo=; h=From:To:Cc:Subject:Date:Message-Id:In-Reply-To:References: MIME-Version; b=mKdPU+B8LYsMn/Vf5YUFSAF8M9Nfcsw4D8L/XUO9sHhptzG2NOMSJktxJYIk0BAGhpGFH9hrzqblD6hSs+2BB0yUax8X4U+wsRnWIzJNzfWV43GMKueV/gsOXsU//i80iax+EVWnQlNQbIG+5pyzzjE6TdOfuYLZDSJOz7TgEoE= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=chromium.org; spf=pass smtp.mailfrom=chromium.org; dkim=pass (1024-bit key) header.d=chromium.org header.i=@chromium.org header.b=g9Wd+5g/; arc=none smtp.client-ip=209.85.210.182 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=chromium.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=chromium.org Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=chromium.org header.i=@chromium.org header.b="g9Wd+5g/" Received: by mail-pf1-f182.google.com with SMTP id d2e1a72fcca58-6da9c834646so1284215b3a.3 for ; Thu, 29 Feb 2024 16:26:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=chromium.org; s=google; t=1709252814; x=1709857614; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=N7bRmosJbyZC7ndFguV6EJboVLhr8lLHSQFdlQ3jzWE=; b=g9Wd+5g/iVb+bPitYJXzCGKfdixrdch1eNoIHkYTQNOrP1TqIVB5Mh4wunV6Y4xLgD u7OTZiY+PIfcUO6SgCG+kqteGWWFDsnmSm+o7DcBujX+ngOAW1JoPtvUkFBTlmVVXcUd LtgCc3ZkP0BghJC+E92eQ3ePDyRv/WxCb9sf4= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1709252814; x=1709857614; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=N7bRmosJbyZC7ndFguV6EJboVLhr8lLHSQFdlQ3jzWE=; b=QpiOGTbnuqsKm+S+QDk43mv2z9fNH2bXeQQLVhwQq0M3SS1t9+hLDHhnPRtfM8c4yR NzAJ1RI+aS1EHm2UszlsnuVRLTWCTQMQ/wgfcLR+AZjam4vEMERaG4LWfrOWuTjShusv xdhYxC1xznZU3rYYcO94guBrmQ6k+7WLLX7//tT1f7uEg/ngOLYXd6Sxbi1QHJXY/26e 6h3BOiPQIaleSqptyYFt8IhUFRUqpTAttMWTRHKLNUbcY8MOnp10zpyALZgQuKzI3hYn j/TYo0mBrylfNF+AwVtKqW5a2V8q3ABVaVMnwYXVvLq1hJ2gkIDNAIFuRk6LE79lSj5j RSFA== X-Forwarded-Encrypted: i=1; AJvYcCVNFJusOgzUWnoRo7uC1Y4EKfo47P7lNviiut4pVZpoht1XWNWI+Ogp1/seyLKfH67D0bbN5vbAu7KaL3An8Jvcy+QU/LpDUYKl+ktz X-Gm-Message-State: AOJu0YxT83besWeMWp1UJZtE9vZMu4LBc8eeABGTlTL47Foxc0sqQ+bb mPs3MyQcdNXOQltoKp795MGQbKU3pm6h93GQy7eZvCq5UsZwaT0VnAia/aGhVQ== X-Google-Smtp-Source: AGHT+IEFck/4RuZec23JUkAngqfrVx8YBgBtsPV1rE252GXcqZs+EtAiO2ImDV4mhSoxT61evxAxAg== X-Received: by 2002:a05:6a21:3288:b0:1a0:9ab5:1e83 with SMTP id yt8-20020a056a21328800b001a09ab51e83mr36196pzb.24.1709252813623; Thu, 29 Feb 2024 16:26:53 -0800 (PST) Received: from www.outflux.net ([198.0.35.241]) by smtp.gmail.com with ESMTPSA id oe1-20020a17090b394100b0029929dca278sm4249147pjb.16.2024.02.29.16.26.50 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 29 Feb 2024 16:26:50 -0800 (PST) From: Kees Cook To: Andy Shevchenko Cc: Kees Cook , Kent Overstreet , linux-hardening@vger.kernel.org, linux-kernel@vger.kernel.org Subject: [PATCH v2 2/2] string: Convert helpers selftest to KUnit Date: Thu, 29 Feb 2024 16:26:48 -0800 Message-Id: <20240301002650.1544829-2-keescook@chromium.org> X-Mailer: git-send-email 2.34.1 In-Reply-To: <20240301002416.it.092-kees@kernel.org> References: <20240301002416.it.092-kees@kernel.org> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 X-Developer-Signature: v=1; a=openpgp-sha256; l=15224; i=keescook@chromium.org; h=from:subject; bh=KDDjoM6A5PAucF/jTCWxQ0PKblp1gjUY4Bj03CQrEXo=; b=owEBbQKS/ZANAwAKAYly9N/cbcAmAcsmYgBl4SDI5Kz4zXaH8+qTFLSxONpT1sbN6feRXpVsc QeLAK+W6G6JAjMEAAEKAB0WIQSlw/aPIp3WD3I+bhOJcvTf3G3AJgUCZeEgyAAKCRCJcvTf3G3A JnxUD/9a02Wuryk8/8zvgKX5QeBB7lKP1KY2QINTt0kSaafqjtcBy901aaD4Vt5YeVcvKuGvlLs CU33MIrTYtqqKH6EPSyo1URO02/iUDzm29eHP7jEPhgIw3YNCY/cZ8BBBeMcP8cjBNpRweW0ElE Ed61l9noS4bFeATRvEsEBctXJxeeWRL9Mpueal0p0dt5lwI+xnqLk5aFLbgmQibfpH+zEy4Ct/M NPx9nuPB7MeLPr7o+RGKrZLTQplCZXZKr1GAD6YSWzNcC0u5APIsmng8i/GF3Q3P8nq65hV8FOU +dtX0VGnJ7qg2QwbC5lrHcclW9YLgWIHR/xfT2EdyG48HoQNpbHwkGEhW4e7uhqeO8FV40bGQmJ mj8937jKtzdFIwqyyoW5qKWQ9kWyMqiTq5H6MX0YVrahxWbscuCSSl8ZGRZoY/pqe8enwLjfa5q G2nWQbTSc0rvgkm3tKxm+/W9mGpH3pjmGkiHV20mgdlQ28YoGm1nXXX1nwHErA9CTfa56+YW/vH vXFAh9B8bOnywK7BlNKhWLvtG1dLe8TzWjsxvufhqsmeezGk5nGhZCDaUIIqF6XLyq3dvgrEbyp d2HQtxrbravC5gHD1im6sHAMb4czItbvKyyyM0TIfPeFhy3nPHZMczaqqjobvKVqhg5fz+zY0B8 Q4vnclsJpa3/eCg== X-Developer-Key: i=keescook@chromium.org; a=openpgp; fpr=A5C3F68F229DD60F723E6E138972F4DFDC6DC026 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Convert test-string_helpers.c to KUnit so it can be easily run with everything else. Signed-off-by: Kees Cook --- Cc: Andy Shevchenko Cc: Kent Overstreet Cc: linux-hardening@vger.kernel.org --- MAINTAINERS | 2 +- lib/Kconfig.debug | 6 +- lib/Makefile | 2 +- ...tring_helpers.c =3D> string_helpers_kunit.c} | 177 ++++++++++-------- 4 files changed, 103 insertions(+), 84 deletions(-) rename lib/{test-string_helpers.c =3D> string_helpers_kunit.c} (78%) diff --git a/MAINTAINERS b/MAINTAINERS index 9f1f68cccd6a..f3f26d2d4ffb 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -8978,7 +8978,7 @@ F: include/linux/string_helpers.h F: lib/string.c F: lib/string_kunit.c F: lib/string_helpers.c -F: lib/test-string_helpers.c +F: lib/string_helpers_kunit.c F: scripts/coccinelle/api/string_choices.cocci =20 GENERIC UIO DRIVER FOR PCI DEVICES diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug index 406cdf353488..5429e6f170f3 100644 --- a/lib/Kconfig.debug +++ b/lib/Kconfig.debug @@ -2357,8 +2357,10 @@ config STRING_KUNIT_TEST depends on KUNIT default KUNIT_ALL_TESTS =20 -config TEST_STRING_HELPERS - tristate "Test functions located in the string_helpers module at runtime" +config STRING_HELPERS_KUNIT_TEST + tristate "KUnit test string helpers at runtime" if !KUNIT_ALL_TESTS + depends on KUNIT + default KUNIT_ALL_TESTS =20 config TEST_KSTRTOX tristate "Test kstrto*() family of functions at runtime" diff --git a/lib/Makefile b/lib/Makefile index 946277c37831..97c42e38046f 100644 --- a/lib/Makefile +++ b/lib/Makefile @@ -51,7 +51,7 @@ obj-y +=3D bcd.o sort.o parser.o debug_locks.o random32.o= \ generic-radix-tree.o bitmap-str.o obj-$(CONFIG_STRING_KUNIT_TEST) +=3D string_kunit.o obj-y +=3D string_helpers.o -obj-$(CONFIG_TEST_STRING_HELPERS) +=3D test-string_helpers.o +obj-$(CONFIG_STRING_HELPERS_KUNIT_TEST) +=3D string_helpers_kunit.o obj-y +=3D hexdump.o obj-$(CONFIG_TEST_HEXDUMP) +=3D test_hexdump.o obj-y +=3D kstrtox.o diff --git a/lib/test-string_helpers.c b/lib/string_helpers_kunit.c similarity index 78% rename from lib/test-string_helpers.c rename to lib/string_helpers_kunit.c index dce67698297b..1fed4fa38f97 100644 --- a/lib/test-string_helpers.c +++ b/lib/string_helpers_kunit.c @@ -3,8 +3,9 @@ */ #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt =20 -#include #include +#include +#include #include #include #include @@ -12,13 +13,21 @@ #include #include =20 -static __init bool test_string_check_buf(const char *name, unsigned int fl= ags, - char *in, size_t p, - char *out_real, size_t q_real, - char *out_test, size_t q_test) +static void test_string_check_buf(struct kunit *test, + const char *name, unsigned int flags, + char *in, size_t p, + char *out_real, size_t q_real, + char *out_test, size_t q_test) { - if (q_real =3D=3D q_test && !memcmp(out_test, out_real, q_test)) - return true; + int result; + + KUNIT_EXPECT_EQ(test, q_real, q_test); + + result =3D memcmp(out_test, out_real, q_test); + KUNIT_EXPECT_EQ(test, 0, result); + + if (q_real =3D=3D q_test && result =3D=3D 0) + return; =20 pr_warn("Test '%s' failed: flags =3D %#x\n", name, flags); =20 @@ -28,8 +37,6 @@ static __init bool test_string_check_buf(const char *name= , unsigned int flags, out_test, q_test, true); print_hex_dump(KERN_WARNING, "Got: ", DUMP_PREFIX_NONE, 16, 1, out_real, q_real, true); - - return false; } =20 struct test_string { @@ -38,7 +45,7 @@ struct test_string { unsigned int flags; }; =20 -static const struct test_string strings[] __initconst =3D { +static const struct test_string strings[] =3D { { .in =3D "\\f\\ \\n\\r\\t\\v", .out =3D "\f\\ \n\r\t\v", @@ -61,8 +68,9 @@ static const struct test_string strings[] __initconst =3D= { }, }; =20 -static void __init test_string_unescape(const char *name, unsigned int fla= gs, - bool inplace) +static void test_string_unescape(struct kunit *test, + const char *name, unsigned int flags, + bool inplace) { int q_real =3D 256; char *in =3D kmalloc(q_real, GFP_KERNEL); @@ -104,7 +112,7 @@ static void __init test_string_unescape(const char *nam= e, unsigned int flags, q_real =3D string_unescape(in, out_real, q_real, flags); } =20 - test_string_check_buf(name, flags, in, p - 1, out_real, q_real, + test_string_check_buf(test, name, flags, in, p - 1, out_real, q_real, out_test, q_test); out: kfree(out_real); @@ -124,7 +132,7 @@ struct test_string_2 { }; =20 #define TEST_STRING_2_DICT_0 NULL -static const struct test_string_2 escape0[] __initconst =3D {{ +static const struct test_string_2 escape0[] =3D {{ .in =3D "\f\\ \n\r\t\v", .s1 =3D {{ .out =3D "\\f\\ \\n\\r\\t\\v", @@ -222,7 +230,7 @@ static const struct test_string_2 escape0[] __initconst= =3D {{ }}; =20 #define TEST_STRING_2_DICT_1 "b\\ \t\r\xCF" -static const struct test_string_2 escape1[] __initconst =3D {{ +static const struct test_string_2 escape1[] =3D {{ .in =3D "\f\\ \n\r\t\v", .s1 =3D {{ .out =3D "\f\\134\\040\n\\015\\011\v", @@ -359,7 +367,7 @@ static const struct test_string_2 escape1[] __initconst= =3D {{ /* terminator */ }}; =20 -static const struct test_string strings_upper[] __initconst =3D { +static const struct test_string strings_upper[] =3D { { .in =3D "abcdefgh1234567890test", .out =3D "ABCDEFGH1234567890TEST", @@ -370,7 +378,7 @@ static const struct test_string strings_upper[] __initc= onst =3D { }, }; =20 -static const struct test_string strings_lower[] __initconst =3D { +static const struct test_string strings_lower[] =3D { { .in =3D "ABCDEFGH1234567890TEST", .out =3D "abcdefgh1234567890test", @@ -381,8 +389,8 @@ static const struct test_string strings_lower[] __initc= onst =3D { }, }; =20 -static __init const char *test_string_find_match(const struct test_string_= 2 *s2, - unsigned int flags) +static const char *test_string_find_match(const struct test_string_2 *s2, + unsigned int flags) { const struct test_string_1 *s1 =3D s2->s1; unsigned int i; @@ -403,21 +411,20 @@ static __init const char *test_string_find_match(cons= t struct test_string_2 *s2, return NULL; } =20 -static __init void -test_string_escape_overflow(const char *in, int p, unsigned int flags, con= st char *esc, +static void +test_string_escape_overflow(struct kunit *test, + const char *in, int p, unsigned int flags, const char *esc, int q_test, const char *name) { int q_real; =20 q_real =3D string_escape_mem(in, p, NULL, 0, flags, esc); - if (q_real !=3D q_test) - pr_warn("Test '%s' failed: flags =3D %#x, osz =3D 0, expected %d, got %d= \n", - name, flags, q_test, q_real); + KUNIT_EXPECT_EQ(test, q_real, q_test); } =20 -static __init void test_string_escape(const char *name, - const struct test_string_2 *s2, - unsigned int flags, const char *esc) +static void test_string_escape(struct kunit *test, const char *name, + const struct test_string_2 *s2, + unsigned int flags, const char *esc) { size_t out_size =3D 512; char *out_test =3D kmalloc(out_size, GFP_KERNEL); @@ -463,10 +470,10 @@ static __init void test_string_escape(const char *nam= e, =20 q_real =3D string_escape_mem(in, p, out_real, out_size, flags, esc); =20 - test_string_check_buf(name, flags, in, p, out_real, q_real, out_test, + test_string_check_buf(test, name, flags, in, p, out_real, q_real, out_tes= t, q_test); =20 - test_string_escape_overflow(in, p, flags, esc, q_test, name); + test_string_escape_overflow(test, in, p, flags, esc, q_test, name); =20 out: kfree(in); @@ -475,22 +482,26 @@ static __init void test_string_escape(const char *nam= e, } =20 #define string_get_size_maxbuf 16 -#define test_string_get_size_one(size, blk_size, exp_result10, exp_result2= ) \ - do { \ - BUILD_BUG_ON(sizeof(exp_result10) >=3D string_get_size_maxbuf); \ - BUILD_BUG_ON(sizeof(exp_result2) >=3D string_get_size_maxbuf); \ - __test_string_get_size((size), (blk_size), (exp_result10), \ - (exp_result2)); \ +#define test_string_get_size_one(size, blk_size, exp_result10, exp_result2= ) \ + do { \ + BUILD_BUG_ON(sizeof(exp_result10) >=3D string_get_size_maxbuf); \ + BUILD_BUG_ON(sizeof(exp_result2) >=3D string_get_size_maxbuf); \ + __test_string_get_size(test, (size), (blk_size), (exp_result10), \ + (exp_result2)); \ } while (0) =20 =20 -static __init void test_string_get_size_check(const char *units, - const char *exp, - char *res, - const u64 size, - const u64 blk_size) +static void test_string_get_size_check(struct kunit *test, + const char *units, + const char *exp, + char *res, + const u64 size, + const u64 blk_size) { - if (!memcmp(res, exp, strlen(exp) + 1)) + int result =3D memcmp(res, exp, strlen(exp) + 1); + + KUNIT_EXPECT_EQ(test, 0, result); + if (!result) return; =20 res[string_get_size_maxbuf - 1] =3D '\0'; @@ -501,7 +512,7 @@ static __init void test_string_get_size_check(const cha= r *units, pr_warn("expected: '%s', got '%s'\n", exp, res); } =20 -static __init void __strchrcut(char *dst, const char *src, const char *cut) +static void __strchrcut(char *dst, const char *src, const char *cut) { const char *from =3D src; size_t len; @@ -515,11 +526,12 @@ static __init void __strchrcut(char *dst, const char = *src, const char *cut) *dst =3D '\0'; } =20 -static __init void __test_string_get_size_one(const u64 size, const u64 bl= k_size, - const char *exp_result10, - const char *exp_result2, - enum string_size_units units, - const char *cut) +static void __test_string_get_size_one(struct kunit *test, + const u64 size, const u64 blk_size, + const char *exp_result10, + const char *exp_result2, + enum string_size_units units, + const char *cut) { char buf10[string_get_size_maxbuf]; char buf2[string_get_size_maxbuf]; @@ -537,13 +549,14 @@ static __init void __test_string_get_size_one(const u= 64 size, const u64 blk_size string_get_size(size, blk_size, STRING_UNITS_10 | units, buf10, sizeof(bu= f10)); string_get_size(size, blk_size, STRING_UNITS_2 | units, buf2, sizeof(buf2= )); =20 - test_string_get_size_check(prefix10, exp10, buf10, size, blk_size); - test_string_get_size_check(prefix2, exp2, buf2, size, blk_size); + test_string_get_size_check(test, prefix10, exp10, buf10, size, blk_size); + test_string_get_size_check(test, prefix2, exp2, buf2, size, blk_size); } =20 -static __init void __test_string_get_size(const u64 size, const u64 blk_si= ze, - const char *exp_result10, - const char *exp_result2) +static void __test_string_get_size(struct kunit *test, + const u64 size, const u64 blk_size, + const char *exp_result10, + const char *exp_result2) { struct { enum string_size_units units; @@ -557,12 +570,13 @@ static __init void __test_string_get_size(const u64 s= ize, const u64 blk_size, int i; =20 for (i =3D 0; i < ARRAY_SIZE(get_size_test_cases); i++) - __test_string_get_size_one(size, blk_size, exp_result10, exp_result2, + __test_string_get_size_one(test, size, blk_size, + exp_result10, exp_result2, get_size_test_cases[i].units, get_size_test_cases[i].cut); } =20 -static __init void test_string_get_size(void) +static void test_get_size(struct kunit *test) { /* small values */ test_string_get_size_one(0, 512, "0 B", "0 B"); @@ -582,7 +596,7 @@ static __init void test_string_get_size(void) test_string_get_size_one(4096, U64_MAX, "75.6 ZB", "64.0 ZiB"); } =20 -static void __init test_string_upper_lower(void) +static void test_upper_lower(struct kunit *test) { char *dst; int i; @@ -590,65 +604,68 @@ static void __init test_string_upper_lower(void) for (i =3D 0; i < ARRAY_SIZE(strings_upper); i++) { const char *s =3D strings_upper[i].in; int len =3D strlen(strings_upper[i].in) + 1; + int result; =20 dst =3D kmalloc(len, GFP_KERNEL); - if (!dst) - return; + KUNIT_ASSERT_NOT_NULL(test, dst); =20 string_upper(dst, s); - if (memcmp(dst, strings_upper[i].out, len)) { + result =3D memcmp(dst, strings_upper[i].out, len); + KUNIT_EXPECT_EQ(test, 0, result); + if (result) pr_warn("Test 'string_upper' failed : expected %s, got %s!\n", strings_upper[i].out, dst); - kfree(dst); - return; - } kfree(dst); } =20 for (i =3D 0; i < ARRAY_SIZE(strings_lower); i++) { const char *s =3D strings_lower[i].in; int len =3D strlen(strings_lower[i].in) + 1; + int result; =20 dst =3D kmalloc(len, GFP_KERNEL); - if (!dst) - return; + KUNIT_ASSERT_NOT_NULL(test, dst); =20 string_lower(dst, s); - if (memcmp(dst, strings_lower[i].out, len)) { + result =3D memcmp(dst, strings_lower[i].out, len); + KUNIT_EXPECT_EQ(test, 0, result); + if (result) pr_warn("Test 'string_lower failed : : expected %s, got %s!\n", strings_lower[i].out, dst); - kfree(dst); - return; - } kfree(dst); } } =20 -static int __init test_string_helpers_init(void) +static void test_unescape(struct kunit *test) { unsigned int i; =20 - pr_info("Running tests...\n"); for (i =3D 0; i < UNESCAPE_ALL_MASK + 1; i++) - test_string_unescape("unescape", i, false); - test_string_unescape("unescape inplace", + test_string_unescape(test, "unescape", i, false); + test_string_unescape(test, "unescape inplace", get_random_u32_below(UNESCAPE_ALL_MASK + 1), true); =20 /* Without dictionary */ for (i =3D 0; i < ESCAPE_ALL_MASK + 1; i++) - test_string_escape("escape 0", escape0, i, TEST_STRING_2_DICT_0); + test_string_escape(test, "escape 0", escape0, i, TEST_STRING_2_DICT_0); =20 /* With dictionary */ for (i =3D 0; i < ESCAPE_ALL_MASK + 1; i++) - test_string_escape("escape 1", escape1, i, TEST_STRING_2_DICT_1); + test_string_escape(test, "escape 1", escape1, i, TEST_STRING_2_DICT_1); +} =20 - /* Test string_get_size() */ - test_string_get_size(); +static struct kunit_case string_helpers_test_cases[] =3D { + KUNIT_CASE(test_get_size), + KUNIT_CASE(test_upper_lower), + KUNIT_CASE(test_unescape), + {} +}; =20 - /* Test string upper(), string_lower() */ - test_string_upper_lower(); +static struct kunit_suite string_helpers_test_suite =3D { + .name =3D "string_helpers", + .test_cases =3D string_helpers_test_cases, +}; + +kunit_test_suites(&string_helpers_test_suite); =20 - return -EINVAL; -} -module_init(test_string_helpers_init); MODULE_LICENSE("Dual BSD/GPL"); --=20 2.34.1