Thomas Gleixner | b886d83c | 2019-06-01 10:08:55 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-only |
Jinbum Park | 2959a5f | 2017-02-27 14:30:22 -0800 | [diff] [blame] | 2 | /* |
| 3 | * rodata_test.c: functional test for mark_rodata_ro function |
| 4 | * |
| 5 | * (C) Copyright 2008 Intel Corporation |
| 6 | * Author: Arjan van de Ven <arjan@linux.intel.com> |
Jinbum Park | 2959a5f | 2017-02-27 14:30:22 -0800 | [diff] [blame] | 7 | */ |
Kees Cook | 056b9d8 | 2017-05-03 14:53:32 -0700 | [diff] [blame] | 8 | #define pr_fmt(fmt) "rodata_test: " fmt |
| 9 | |
Leon Romanovsky | 86f54bb | 2020-08-20 17:42:08 -0700 | [diff] [blame] | 10 | #include <linux/rodata_test.h> |
Jinbum Park | 2959a5f | 2017-02-27 14:30:22 -0800 | [diff] [blame] | 11 | #include <linux/uaccess.h> |
| 12 | #include <asm/sections.h> |
| 13 | |
Christophe Leroy | a872eb2 | 2017-10-03 16:15:16 -0700 | [diff] [blame] | 14 | static const int rodata_test_data = 0xC3; |
Jinbum Park | 2959a5f | 2017-02-27 14:30:22 -0800 | [diff] [blame] | 15 | |
| 16 | void rodata_test(void) |
| 17 | { |
| 18 | unsigned long start, end; |
| 19 | int zero = 0; |
| 20 | |
| 21 | /* test 1: read the value */ |
| 22 | /* If this test fails, some previous testrun has clobbered the state */ |
| 23 | if (!rodata_test_data) { |
Kees Cook | 056b9d8 | 2017-05-03 14:53:32 -0700 | [diff] [blame] | 24 | pr_err("test 1 fails (start data)\n"); |
Jinbum Park | 2959a5f | 2017-02-27 14:30:22 -0800 | [diff] [blame] | 25 | return; |
| 26 | } |
| 27 | |
| 28 | /* test 2: write to the variable; this should fault */ |
Christoph Hellwig | fe55731 | 2020-06-17 09:37:53 +0200 | [diff] [blame] | 29 | if (!copy_to_kernel_nofault((void *)&rodata_test_data, |
Kees Cook | 056b9d8 | 2017-05-03 14:53:32 -0700 | [diff] [blame] | 30 | (void *)&zero, sizeof(zero))) { |
| 31 | pr_err("test data was not read only\n"); |
Jinbum Park | 2959a5f | 2017-02-27 14:30:22 -0800 | [diff] [blame] | 32 | return; |
| 33 | } |
| 34 | |
| 35 | /* test 3: check the value hasn't changed */ |
| 36 | if (rodata_test_data == zero) { |
Kees Cook | 056b9d8 | 2017-05-03 14:53:32 -0700 | [diff] [blame] | 37 | pr_err("test data was changed\n"); |
Jinbum Park | 2959a5f | 2017-02-27 14:30:22 -0800 | [diff] [blame] | 38 | return; |
| 39 | } |
| 40 | |
| 41 | /* test 4: check if the rodata section is PAGE_SIZE aligned */ |
| 42 | start = (unsigned long)__start_rodata; |
| 43 | end = (unsigned long)__end_rodata; |
| 44 | if (start & (PAGE_SIZE - 1)) { |
Kees Cook | 056b9d8 | 2017-05-03 14:53:32 -0700 | [diff] [blame] | 45 | pr_err("start of .rodata is not page size aligned\n"); |
Jinbum Park | 2959a5f | 2017-02-27 14:30:22 -0800 | [diff] [blame] | 46 | return; |
| 47 | } |
| 48 | if (end & (PAGE_SIZE - 1)) { |
Kees Cook | 056b9d8 | 2017-05-03 14:53:32 -0700 | [diff] [blame] | 49 | pr_err("end of .rodata is not page size aligned\n"); |
Jinbum Park | 2959a5f | 2017-02-27 14:30:22 -0800 | [diff] [blame] | 50 | return; |
| 51 | } |
| 52 | |
Kees Cook | 056b9d8 | 2017-05-03 14:53:32 -0700 | [diff] [blame] | 53 | pr_info("all tests were successful\n"); |
Jinbum Park | 2959a5f | 2017-02-27 14:30:22 -0800 | [diff] [blame] | 54 | } |