Linux Audio

Check our new training course

Loading...
Note: File does not exist in v3.1.
  1// SPDX-License-Identifier: GPL-2.0
  2/*
  3 * This is for all the tests relating directly to Control Flow Integrity.
  4 */
  5#include "lkdtm.h"
  6#include <asm/page.h>
  7
  8static int called_count;
  9
 10/* Function taking one argument, without a return value. */
 11static noinline void lkdtm_increment_void(int *counter)
 12{
 13	(*counter)++;
 14}
 15
 16/* Function taking one argument, returning int. */
 17static noinline int lkdtm_increment_int(int *counter)
 18{
 19	(*counter)++;
 20
 21	return *counter;
 22}
 23
 24/* Don't allow the compiler to inline the calls. */
 25static noinline void lkdtm_indirect_call(void (*func)(int *))
 26{
 27	func(&called_count);
 28}
 29
 30/*
 31 * This tries to call an indirect function with a mismatched prototype.
 32 */
 33static void lkdtm_CFI_FORWARD_PROTO(void)
 34{
 35	/*
 36	 * Matches lkdtm_increment_void()'s prototype, but not
 37	 * lkdtm_increment_int()'s prototype.
 38	 */
 39	pr_info("Calling matched prototype ...\n");
 40	lkdtm_indirect_call(lkdtm_increment_void);
 41
 42	pr_info("Calling mismatched prototype ...\n");
 43	lkdtm_indirect_call((void *)lkdtm_increment_int);
 44
 45	pr_err("FAIL: survived mismatched prototype function call!\n");
 46	pr_expected_config(CONFIG_CFI_CLANG);
 47}
 48
 49/*
 50 * This can stay local to LKDTM, as there should not be a production reason
 51 * to disable PAC && SCS.
 52 */
 53#ifdef CONFIG_ARM64_PTR_AUTH_KERNEL
 54# ifdef CONFIG_ARM64_BTI_KERNEL
 55#  define __no_pac             "branch-protection=bti"
 56# else
 57#  ifdef CONFIG_CC_HAS_BRANCH_PROT_PAC_RET
 58#   define __no_pac            "branch-protection=none"
 59#  else
 60#   define __no_pac            "sign-return-address=none"
 61#  endif
 62# endif
 63# define __no_ret_protection   __noscs __attribute__((__target__(__no_pac)))
 64#else
 65# define __no_ret_protection   __noscs
 66#endif
 67
 68#define no_pac_addr(addr)      \
 69	((__force __typeof__(addr))((uintptr_t)(addr) | PAGE_OFFSET))
 70
 71/* The ultimate ROP gadget. */
 72static noinline __no_ret_protection
 73void set_return_addr_unchecked(unsigned long *expected, unsigned long *addr)
 74{
 75	/* Use of volatile is to make sure final write isn't seen as a dead store. */
 76	unsigned long * volatile *ret_addr = (unsigned long **)__builtin_frame_address(0) + 1;
 77
 78	/* Make sure we've found the right place on the stack before writing it. */
 79	if (no_pac_addr(*ret_addr) == expected)
 80		*ret_addr = (addr);
 81	else
 82		/* Check architecture, stack layout, or compiler behavior... */
 83		pr_warn("Eek: return address mismatch! %px != %px\n",
 84			*ret_addr, addr);
 85}
 86
 87static noinline
 88void set_return_addr(unsigned long *expected, unsigned long *addr)
 89{
 90	/* Use of volatile is to make sure final write isn't seen as a dead store. */
 91	unsigned long * volatile *ret_addr = (unsigned long **)__builtin_frame_address(0) + 1;
 92
 93	/* Make sure we've found the right place on the stack before writing it. */
 94	if (no_pac_addr(*ret_addr) == expected)
 95		*ret_addr = (addr);
 96	else
 97		/* Check architecture, stack layout, or compiler behavior... */
 98		pr_warn("Eek: return address mismatch! %px != %px\n",
 99			*ret_addr, addr);
100}
101
102static volatile int force_check;
103
104static void lkdtm_CFI_BACKWARD(void)
105{
106	/* Use calculated gotos to keep labels addressable. */
107	void *labels[] = { NULL, &&normal, &&redirected, &&check_normal, &&check_redirected };
108
109	pr_info("Attempting unchecked stack return address redirection ...\n");
110
111	/* Always false */
112	if (force_check) {
113		/*
114		 * Prepare to call with NULLs to avoid parameters being treated as
115		 * constants in -02.
116		 */
117		set_return_addr_unchecked(NULL, NULL);
118		set_return_addr(NULL, NULL);
119		if (force_check)
120			goto *labels[1];
121		if (force_check)
122			goto *labels[2];
123		if (force_check)
124			goto *labels[3];
125		if (force_check)
126			goto *labels[4];
127		return;
128	}
129
130	/*
131	 * Use fallthrough switch case to keep basic block ordering between
132	 * set_return_addr*() and the label after it.
133	 */
134	switch (force_check) {
135	case 0:
136		set_return_addr_unchecked(&&normal, &&redirected);
137		fallthrough;
138	case 1:
139normal:
140		/* Always true */
141		if (!force_check) {
142			pr_err("FAIL: stack return address manipulation failed!\n");
143			/* If we can't redirect "normally", we can't test mitigations. */
144			return;
145		}
146		break;
147	default:
148redirected:
149		pr_info("ok: redirected stack return address.\n");
150		break;
151	}
152
153	pr_info("Attempting checked stack return address redirection ...\n");
154
155	switch (force_check) {
156	case 0:
157		set_return_addr(&&check_normal, &&check_redirected);
158		fallthrough;
159	case 1:
160check_normal:
161		/* Always true */
162		if (!force_check) {
163			pr_info("ok: control flow unchanged.\n");
164			return;
165		}
166
167check_redirected:
168		pr_err("FAIL: stack return address was redirected!\n");
169		break;
170	}
171
172	if (IS_ENABLED(CONFIG_ARM64_PTR_AUTH_KERNEL)) {
173		pr_expected_config(CONFIG_ARM64_PTR_AUTH_KERNEL);
174		return;
175	}
176	if (IS_ENABLED(CONFIG_SHADOW_CALL_STACK)) {
177		pr_expected_config(CONFIG_SHADOW_CALL_STACK);
178		return;
179	}
180	pr_warn("This is probably expected, since this %s was built *without* %s=y nor %s=y\n",
181		lkdtm_kernel_info,
182		"CONFIG_ARM64_PTR_AUTH_KERNEL", "CONFIG_SHADOW_CALL_STACK");
183}
184
185static struct crashtype crashtypes[] = {
186	CRASHTYPE(CFI_FORWARD_PROTO),
187	CRASHTYPE(CFI_BACKWARD),
188};
189
190struct crashtype_category cfi_crashtypes = {
191	.crashtypes = crashtypes,
192	.len	    = ARRAY_SIZE(crashtypes),
193};