1875bfd52SKees Cook // SPDX-License-Identifier: GPL-2.0
2875bfd52SKees Cook /*
3875bfd52SKees Cook * Runtime test cases for CONFIG_FORTIFY_SOURCE that aren't expected to
4875bfd52SKees Cook * Oops the kernel on success. (For those, see drivers/misc/lkdtm/fortify.c)
5875bfd52SKees Cook *
6875bfd52SKees Cook * For corner cases with UBSAN, try testing with:
7875bfd52SKees Cook *
8875bfd52SKees Cook * ./tools/testing/kunit/kunit.py run --arch=x86_64 \
9875bfd52SKees Cook * --kconfig_add CONFIG_FORTIFY_SOURCE=y \
10875bfd52SKees Cook * --kconfig_add CONFIG_UBSAN=y \
11875bfd52SKees Cook * --kconfig_add CONFIG_UBSAN_TRAP=y \
12875bfd52SKees Cook * --kconfig_add CONFIG_UBSAN_BOUNDS=y \
13875bfd52SKees Cook * --kconfig_add CONFIG_UBSAN_LOCAL_BOUNDS=y \
14875bfd52SKees Cook * --make_options LLVM=1 fortify
15875bfd52SKees Cook */
16875bfd52SKees Cook #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
17875bfd52SKees Cook
18875bfd52SKees Cook #include <kunit/test.h>
199124a264SKees Cook #include <linux/device.h>
209124a264SKees Cook #include <linux/slab.h>
21875bfd52SKees Cook #include <linux/string.h>
229124a264SKees Cook #include <linux/vmalloc.h>
23875bfd52SKees Cook
24875bfd52SKees Cook static const char array_of_10[] = "this is 10";
25875bfd52SKees Cook static const char *ptr_of_11 = "this is 11!";
26875bfd52SKees Cook static char array_unknown[] = "compiler thinks I might change";
27875bfd52SKees Cook
known_sizes_test(struct kunit * test)28875bfd52SKees Cook static void known_sizes_test(struct kunit *test)
29875bfd52SKees Cook {
30875bfd52SKees Cook KUNIT_EXPECT_EQ(test, __compiletime_strlen("88888888"), 8);
31875bfd52SKees Cook KUNIT_EXPECT_EQ(test, __compiletime_strlen(array_of_10), 10);
32875bfd52SKees Cook KUNIT_EXPECT_EQ(test, __compiletime_strlen(ptr_of_11), 11);
33875bfd52SKees Cook
34875bfd52SKees Cook KUNIT_EXPECT_EQ(test, __compiletime_strlen(array_unknown), SIZE_MAX);
35875bfd52SKees Cook /* Externally defined and dynamically sized string pointer: */
3606c1c49dSKees Cook KUNIT_EXPECT_EQ(test, __compiletime_strlen(test->name), SIZE_MAX);
37875bfd52SKees Cook }
38875bfd52SKees Cook
39875bfd52SKees Cook /* This is volatile so the optimizer can't perform DCE below. */
40875bfd52SKees Cook static volatile int pick;
41875bfd52SKees Cook
42875bfd52SKees Cook /* Not inline to keep optimizer from figuring out which string we want. */
want_minus_one(int pick)43875bfd52SKees Cook static noinline size_t want_minus_one(int pick)
44875bfd52SKees Cook {
45875bfd52SKees Cook const char *str;
46875bfd52SKees Cook
47875bfd52SKees Cook switch (pick) {
48875bfd52SKees Cook case 1:
49875bfd52SKees Cook str = "4444";
50875bfd52SKees Cook break;
51875bfd52SKees Cook case 2:
52875bfd52SKees Cook str = "333";
53875bfd52SKees Cook break;
54875bfd52SKees Cook default:
55875bfd52SKees Cook str = "1";
56875bfd52SKees Cook break;
57875bfd52SKees Cook }
58875bfd52SKees Cook return __compiletime_strlen(str);
59875bfd52SKees Cook }
60875bfd52SKees Cook
control_flow_split_test(struct kunit * test)61875bfd52SKees Cook static void control_flow_split_test(struct kunit *test)
62875bfd52SKees Cook {
63875bfd52SKees Cook KUNIT_EXPECT_EQ(test, want_minus_one(pick), SIZE_MAX);
64875bfd52SKees Cook }
65875bfd52SKees Cook
669124a264SKees Cook #define KUNIT_EXPECT_BOS(test, p, expected, name) \
679124a264SKees Cook KUNIT_EXPECT_EQ_MSG(test, __builtin_object_size(p, 1), \
689124a264SKees Cook expected, \
699124a264SKees Cook "__alloc_size() not working with __bos on " name "\n")
709124a264SKees Cook
719124a264SKees Cook #if !__has_builtin(__builtin_dynamic_object_size)
729124a264SKees Cook #define KUNIT_EXPECT_BDOS(test, p, expected, name) \
739124a264SKees Cook /* Silence "unused variable 'expected'" warning. */ \
749124a264SKees Cook KUNIT_EXPECT_EQ(test, expected, expected)
759124a264SKees Cook #else
769124a264SKees Cook #define KUNIT_EXPECT_BDOS(test, p, expected, name) \
779124a264SKees Cook KUNIT_EXPECT_EQ_MSG(test, __builtin_dynamic_object_size(p, 1), \
789124a264SKees Cook expected, \
799124a264SKees Cook "__alloc_size() not working with __bdos on " name "\n")
809124a264SKees Cook #endif
819124a264SKees Cook
829124a264SKees Cook /* If the execpted size is a constant value, __bos can see it. */
839124a264SKees Cook #define check_const(_expected, alloc, free) do { \
849124a264SKees Cook size_t expected = (_expected); \
859124a264SKees Cook void *p = alloc; \
869124a264SKees Cook KUNIT_EXPECT_TRUE_MSG(test, p != NULL, #alloc " failed?!\n"); \
879124a264SKees Cook KUNIT_EXPECT_BOS(test, p, expected, #alloc); \
889124a264SKees Cook KUNIT_EXPECT_BDOS(test, p, expected, #alloc); \
899124a264SKees Cook free; \
909124a264SKees Cook } while (0)
919124a264SKees Cook
929124a264SKees Cook /* If the execpted size is NOT a constant value, __bos CANNOT see it. */
939124a264SKees Cook #define check_dynamic(_expected, alloc, free) do { \
949124a264SKees Cook size_t expected = (_expected); \
959124a264SKees Cook void *p = alloc; \
969124a264SKees Cook KUNIT_EXPECT_TRUE_MSG(test, p != NULL, #alloc " failed?!\n"); \
979124a264SKees Cook KUNIT_EXPECT_BOS(test, p, SIZE_MAX, #alloc); \
989124a264SKees Cook KUNIT_EXPECT_BDOS(test, p, expected, #alloc); \
999124a264SKees Cook free; \
1009124a264SKees Cook } while (0)
1019124a264SKees Cook
1029124a264SKees Cook /* Assortment of constant-value kinda-edge cases. */
1039124a264SKees Cook #define CONST_TEST_BODY(TEST_alloc) do { \
1049124a264SKees Cook /* Special-case vmalloc()-family to skip 0-sized allocs. */ \
1059124a264SKees Cook if (strcmp(#TEST_alloc, "TEST_vmalloc") != 0) \
1069124a264SKees Cook TEST_alloc(check_const, 0, 0); \
1079124a264SKees Cook TEST_alloc(check_const, 1, 1); \
1089124a264SKees Cook TEST_alloc(check_const, 128, 128); \
1099124a264SKees Cook TEST_alloc(check_const, 1023, 1023); \
1109124a264SKees Cook TEST_alloc(check_const, 1025, 1025); \
1119124a264SKees Cook TEST_alloc(check_const, 4096, 4096); \
1129124a264SKees Cook TEST_alloc(check_const, 4097, 4097); \
1139124a264SKees Cook } while (0)
1149124a264SKees Cook
1159124a264SKees Cook static volatile size_t zero_size;
1169124a264SKees Cook static volatile size_t unknown_size = 50;
1179124a264SKees Cook
1189124a264SKees Cook #if !__has_builtin(__builtin_dynamic_object_size)
1199124a264SKees Cook #define DYNAMIC_TEST_BODY(TEST_alloc) \
1209124a264SKees Cook kunit_skip(test, "Compiler is missing __builtin_dynamic_object_size() support\n")
1219124a264SKees Cook #else
1229124a264SKees Cook #define DYNAMIC_TEST_BODY(TEST_alloc) do { \
1239124a264SKees Cook size_t size = unknown_size; \
1249124a264SKees Cook \
1259124a264SKees Cook /* \
1269124a264SKees Cook * Expected size is "size" in each test, before it is then \
1279124a264SKees Cook * internally incremented in each test. Requires we disable \
1289124a264SKees Cook * -Wunsequenced. \
1299124a264SKees Cook */ \
1309124a264SKees Cook TEST_alloc(check_dynamic, size, size++); \
1319124a264SKees Cook /* Make sure incrementing actually happened. */ \
1329124a264SKees Cook KUNIT_EXPECT_NE(test, size, unknown_size); \
1339124a264SKees Cook } while (0)
1349124a264SKees Cook #endif
1359124a264SKees Cook
1369124a264SKees Cook #define DEFINE_ALLOC_SIZE_TEST_PAIR(allocator) \
1379124a264SKees Cook static void alloc_size_##allocator##_const_test(struct kunit *test) \
1389124a264SKees Cook { \
1399124a264SKees Cook CONST_TEST_BODY(TEST_##allocator); \
1409124a264SKees Cook } \
1419124a264SKees Cook static void alloc_size_##allocator##_dynamic_test(struct kunit *test) \
1429124a264SKees Cook { \
1439124a264SKees Cook DYNAMIC_TEST_BODY(TEST_##allocator); \
1449124a264SKees Cook }
1459124a264SKees Cook
1469124a264SKees Cook #define TEST_kmalloc(checker, expected_size, alloc_size) do { \
1479124a264SKees Cook gfp_t gfp = GFP_KERNEL | __GFP_NOWARN; \
1489124a264SKees Cook void *orig; \
1499124a264SKees Cook size_t len; \
1509124a264SKees Cook \
1519124a264SKees Cook checker(expected_size, kmalloc(alloc_size, gfp), \
1529124a264SKees Cook kfree(p)); \
1539124a264SKees Cook checker(expected_size, \
1549124a264SKees Cook kmalloc_node(alloc_size, gfp, NUMA_NO_NODE), \
1559124a264SKees Cook kfree(p)); \
1569124a264SKees Cook checker(expected_size, kzalloc(alloc_size, gfp), \
1579124a264SKees Cook kfree(p)); \
1589124a264SKees Cook checker(expected_size, \
1599124a264SKees Cook kzalloc_node(alloc_size, gfp, NUMA_NO_NODE), \
1609124a264SKees Cook kfree(p)); \
1619124a264SKees Cook checker(expected_size, kcalloc(1, alloc_size, gfp), \
1629124a264SKees Cook kfree(p)); \
1639124a264SKees Cook checker(expected_size, kcalloc(alloc_size, 1, gfp), \
1649124a264SKees Cook kfree(p)); \
1659124a264SKees Cook checker(expected_size, \
1669124a264SKees Cook kcalloc_node(1, alloc_size, gfp, NUMA_NO_NODE), \
1679124a264SKees Cook kfree(p)); \
1689124a264SKees Cook checker(expected_size, \
1699124a264SKees Cook kcalloc_node(alloc_size, 1, gfp, NUMA_NO_NODE), \
1709124a264SKees Cook kfree(p)); \
1719124a264SKees Cook checker(expected_size, kmalloc_array(1, alloc_size, gfp), \
1729124a264SKees Cook kfree(p)); \
1739124a264SKees Cook checker(expected_size, kmalloc_array(alloc_size, 1, gfp), \
1749124a264SKees Cook kfree(p)); \
1759124a264SKees Cook checker(expected_size, \
1769124a264SKees Cook kmalloc_array_node(1, alloc_size, gfp, NUMA_NO_NODE), \
1779124a264SKees Cook kfree(p)); \
1789124a264SKees Cook checker(expected_size, \
1799124a264SKees Cook kmalloc_array_node(alloc_size, 1, gfp, NUMA_NO_NODE), \
1809124a264SKees Cook kfree(p)); \
1819124a264SKees Cook checker(expected_size, __kmalloc(alloc_size, gfp), \
1829124a264SKees Cook kfree(p)); \
1839124a264SKees Cook checker(expected_size, \
1849124a264SKees Cook __kmalloc_node(alloc_size, gfp, NUMA_NO_NODE), \
1859124a264SKees Cook kfree(p)); \
1869124a264SKees Cook \
1879124a264SKees Cook orig = kmalloc(alloc_size, gfp); \
1889124a264SKees Cook KUNIT_EXPECT_TRUE(test, orig != NULL); \
1899124a264SKees Cook checker((expected_size) * 2, \
1909124a264SKees Cook krealloc(orig, (alloc_size) * 2, gfp), \
1919124a264SKees Cook kfree(p)); \
1929124a264SKees Cook orig = kmalloc(alloc_size, gfp); \
1939124a264SKees Cook KUNIT_EXPECT_TRUE(test, orig != NULL); \
1949124a264SKees Cook checker((expected_size) * 2, \
1959124a264SKees Cook krealloc_array(orig, 1, (alloc_size) * 2, gfp), \
1969124a264SKees Cook kfree(p)); \
1979124a264SKees Cook orig = kmalloc(alloc_size, gfp); \
1989124a264SKees Cook KUNIT_EXPECT_TRUE(test, orig != NULL); \
1999124a264SKees Cook checker((expected_size) * 2, \
2009124a264SKees Cook krealloc_array(orig, (alloc_size) * 2, 1, gfp), \
2019124a264SKees Cook kfree(p)); \
2029124a264SKees Cook \
2039124a264SKees Cook len = 11; \
2049124a264SKees Cook /* Using memdup() with fixed size, so force unknown length. */ \
2059124a264SKees Cook if (!__builtin_constant_p(expected_size)) \
2069124a264SKees Cook len += zero_size; \
2079124a264SKees Cook checker(len, kmemdup("hello there", len, gfp), kfree(p)); \
2089124a264SKees Cook } while (0)
2099124a264SKees Cook DEFINE_ALLOC_SIZE_TEST_PAIR(kmalloc)
2109124a264SKees Cook
2119124a264SKees Cook /* Sizes are in pages, not bytes. */
2129124a264SKees Cook #define TEST_vmalloc(checker, expected_pages, alloc_pages) do { \
2139124a264SKees Cook gfp_t gfp = GFP_KERNEL | __GFP_NOWARN; \
2149124a264SKees Cook checker((expected_pages) * PAGE_SIZE, \
2159124a264SKees Cook vmalloc((alloc_pages) * PAGE_SIZE), vfree(p)); \
2169124a264SKees Cook checker((expected_pages) * PAGE_SIZE, \
2179124a264SKees Cook vzalloc((alloc_pages) * PAGE_SIZE), vfree(p)); \
2189124a264SKees Cook checker((expected_pages) * PAGE_SIZE, \
2199124a264SKees Cook __vmalloc((alloc_pages) * PAGE_SIZE, gfp), vfree(p)); \
2209124a264SKees Cook } while (0)
2219124a264SKees Cook DEFINE_ALLOC_SIZE_TEST_PAIR(vmalloc)
2229124a264SKees Cook
2239124a264SKees Cook /* Sizes are in pages (and open-coded for side-effects), not bytes. */
2249124a264SKees Cook #define TEST_kvmalloc(checker, expected_pages, alloc_pages) do { \
2259124a264SKees Cook gfp_t gfp = GFP_KERNEL | __GFP_NOWARN; \
2269124a264SKees Cook size_t prev_size; \
2279124a264SKees Cook void *orig; \
2289124a264SKees Cook \
2299124a264SKees Cook checker((expected_pages) * PAGE_SIZE, \
2309124a264SKees Cook kvmalloc((alloc_pages) * PAGE_SIZE, gfp), \
231*7880dbf4SKees Cook kvfree(p)); \
2329124a264SKees Cook checker((expected_pages) * PAGE_SIZE, \
2339124a264SKees Cook kvmalloc_node((alloc_pages) * PAGE_SIZE, gfp, NUMA_NO_NODE), \
234*7880dbf4SKees Cook kvfree(p)); \
2359124a264SKees Cook checker((expected_pages) * PAGE_SIZE, \
2369124a264SKees Cook kvzalloc((alloc_pages) * PAGE_SIZE, gfp), \
237*7880dbf4SKees Cook kvfree(p)); \
2389124a264SKees Cook checker((expected_pages) * PAGE_SIZE, \
2399124a264SKees Cook kvzalloc_node((alloc_pages) * PAGE_SIZE, gfp, NUMA_NO_NODE), \
240*7880dbf4SKees Cook kvfree(p)); \
2419124a264SKees Cook checker((expected_pages) * PAGE_SIZE, \
2429124a264SKees Cook kvcalloc(1, (alloc_pages) * PAGE_SIZE, gfp), \
243*7880dbf4SKees Cook kvfree(p)); \
2449124a264SKees Cook checker((expected_pages) * PAGE_SIZE, \
2459124a264SKees Cook kvcalloc((alloc_pages) * PAGE_SIZE, 1, gfp), \
246*7880dbf4SKees Cook kvfree(p)); \
2479124a264SKees Cook checker((expected_pages) * PAGE_SIZE, \
2489124a264SKees Cook kvmalloc_array(1, (alloc_pages) * PAGE_SIZE, gfp), \
249*7880dbf4SKees Cook kvfree(p)); \
2509124a264SKees Cook checker((expected_pages) * PAGE_SIZE, \
2519124a264SKees Cook kvmalloc_array((alloc_pages) * PAGE_SIZE, 1, gfp), \
252*7880dbf4SKees Cook kvfree(p)); \
2539124a264SKees Cook \
2549124a264SKees Cook prev_size = (expected_pages) * PAGE_SIZE; \
2559124a264SKees Cook orig = kvmalloc(prev_size, gfp); \
2569124a264SKees Cook KUNIT_EXPECT_TRUE(test, orig != NULL); \
2579124a264SKees Cook checker(((expected_pages) * PAGE_SIZE) * 2, \
2589124a264SKees Cook kvrealloc(orig, prev_size, \
2599124a264SKees Cook ((alloc_pages) * PAGE_SIZE) * 2, gfp), \
2609124a264SKees Cook kvfree(p)); \
2619124a264SKees Cook } while (0)
2629124a264SKees Cook DEFINE_ALLOC_SIZE_TEST_PAIR(kvmalloc)
2639124a264SKees Cook
2649124a264SKees Cook #define TEST_devm_kmalloc(checker, expected_size, alloc_size) do { \
2659124a264SKees Cook gfp_t gfp = GFP_KERNEL | __GFP_NOWARN; \
2669124a264SKees Cook const char dev_name[] = "fortify-test"; \
2679124a264SKees Cook struct device *dev; \
2689124a264SKees Cook void *orig; \
2699124a264SKees Cook size_t len; \
2709124a264SKees Cook \
2719124a264SKees Cook /* Create dummy device for devm_kmalloc()-family tests. */ \
2729124a264SKees Cook dev = root_device_register(dev_name); \
2739124a264SKees Cook KUNIT_ASSERT_FALSE_MSG(test, IS_ERR(dev), \
2749124a264SKees Cook "Cannot register test device\n"); \
2759124a264SKees Cook \
2769124a264SKees Cook checker(expected_size, devm_kmalloc(dev, alloc_size, gfp), \
2779124a264SKees Cook devm_kfree(dev, p)); \
2789124a264SKees Cook checker(expected_size, devm_kzalloc(dev, alloc_size, gfp), \
2799124a264SKees Cook devm_kfree(dev, p)); \
2809124a264SKees Cook checker(expected_size, \
2819124a264SKees Cook devm_kmalloc_array(dev, 1, alloc_size, gfp), \
2829124a264SKees Cook devm_kfree(dev, p)); \
2839124a264SKees Cook checker(expected_size, \
2849124a264SKees Cook devm_kmalloc_array(dev, alloc_size, 1, gfp), \
2859124a264SKees Cook devm_kfree(dev, p)); \
2869124a264SKees Cook checker(expected_size, \
2879124a264SKees Cook devm_kcalloc(dev, 1, alloc_size, gfp), \
2889124a264SKees Cook devm_kfree(dev, p)); \
2899124a264SKees Cook checker(expected_size, \
2909124a264SKees Cook devm_kcalloc(dev, alloc_size, 1, gfp), \
2919124a264SKees Cook devm_kfree(dev, p)); \
2929124a264SKees Cook \
2939124a264SKees Cook orig = devm_kmalloc(dev, alloc_size, gfp); \
2949124a264SKees Cook KUNIT_EXPECT_TRUE(test, orig != NULL); \
2959124a264SKees Cook checker((expected_size) * 2, \
2969124a264SKees Cook devm_krealloc(dev, orig, (alloc_size) * 2, gfp), \
2979124a264SKees Cook devm_kfree(dev, p)); \
2989124a264SKees Cook \
2999124a264SKees Cook len = 4; \
3009124a264SKees Cook /* Using memdup() with fixed size, so force unknown length. */ \
3019124a264SKees Cook if (!__builtin_constant_p(expected_size)) \
3029124a264SKees Cook len += zero_size; \
3039124a264SKees Cook checker(len, devm_kmemdup(dev, "Ohai", len, gfp), \
3049124a264SKees Cook devm_kfree(dev, p)); \
3059124a264SKees Cook \
3069124a264SKees Cook device_unregister(dev); \
3079124a264SKees Cook } while (0)
3089124a264SKees Cook DEFINE_ALLOC_SIZE_TEST_PAIR(devm_kmalloc)
3099124a264SKees Cook
310875bfd52SKees Cook static struct kunit_case fortify_test_cases[] = {
311875bfd52SKees Cook KUNIT_CASE(known_sizes_test),
312875bfd52SKees Cook KUNIT_CASE(control_flow_split_test),
3139124a264SKees Cook KUNIT_CASE(alloc_size_kmalloc_const_test),
3149124a264SKees Cook KUNIT_CASE(alloc_size_kmalloc_dynamic_test),
3159124a264SKees Cook KUNIT_CASE(alloc_size_vmalloc_const_test),
3169124a264SKees Cook KUNIT_CASE(alloc_size_vmalloc_dynamic_test),
3179124a264SKees Cook KUNIT_CASE(alloc_size_kvmalloc_const_test),
3189124a264SKees Cook KUNIT_CASE(alloc_size_kvmalloc_dynamic_test),
3199124a264SKees Cook KUNIT_CASE(alloc_size_devm_kmalloc_const_test),
3209124a264SKees Cook KUNIT_CASE(alloc_size_devm_kmalloc_dynamic_test),
321875bfd52SKees Cook {}
322875bfd52SKees Cook };
323875bfd52SKees Cook
324875bfd52SKees Cook static struct kunit_suite fortify_test_suite = {
325875bfd52SKees Cook .name = "fortify",
326875bfd52SKees Cook .test_cases = fortify_test_cases,
327875bfd52SKees Cook };
328875bfd52SKees Cook
329875bfd52SKees Cook kunit_test_suite(fortify_test_suite);
330875bfd52SKees Cook
331875bfd52SKees Cook MODULE_LICENSE("GPL");
332