xref: /linux-6.15/kernel/livepatch/patch.c (revision e1452b60)
1c349cdcaSJosh Poimboeuf /*
2c349cdcaSJosh Poimboeuf  * patch.c - livepatch patching functions
3c349cdcaSJosh Poimboeuf  *
4c349cdcaSJosh Poimboeuf  * Copyright (C) 2014 Seth Jennings <[email protected]>
5c349cdcaSJosh Poimboeuf  * Copyright (C) 2014 SUSE
6c349cdcaSJosh Poimboeuf  * Copyright (C) 2015 Josh Poimboeuf <[email protected]>
7c349cdcaSJosh Poimboeuf  *
8c349cdcaSJosh Poimboeuf  * This program is free software; you can redistribute it and/or
9c349cdcaSJosh Poimboeuf  * modify it under the terms of the GNU General Public License
10c349cdcaSJosh Poimboeuf  * as published by the Free Software Foundation; either version 2
11c349cdcaSJosh Poimboeuf  * of the License, or (at your option) any later version.
12c349cdcaSJosh Poimboeuf  *
13c349cdcaSJosh Poimboeuf  * This program is distributed in the hope that it will be useful,
14c349cdcaSJosh Poimboeuf  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15c349cdcaSJosh Poimboeuf  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16c349cdcaSJosh Poimboeuf  * GNU General Public License for more details.
17c349cdcaSJosh Poimboeuf  *
18c349cdcaSJosh Poimboeuf  * You should have received a copy of the GNU General Public License
19c349cdcaSJosh Poimboeuf  * along with this program; if not, see <http://www.gnu.org/licenses/>.
20c349cdcaSJosh Poimboeuf  */
21c349cdcaSJosh Poimboeuf 
22c349cdcaSJosh Poimboeuf #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
23c349cdcaSJosh Poimboeuf 
24c349cdcaSJosh Poimboeuf #include <linux/livepatch.h>
25c349cdcaSJosh Poimboeuf #include <linux/list.h>
26c349cdcaSJosh Poimboeuf #include <linux/ftrace.h>
27c349cdcaSJosh Poimboeuf #include <linux/rculist.h>
28c349cdcaSJosh Poimboeuf #include <linux/slab.h>
29c349cdcaSJosh Poimboeuf #include <linux/bug.h>
30c349cdcaSJosh Poimboeuf #include <linux/printk.h>
3193862e38SJoe Lawrence #include "core.h"
32c349cdcaSJosh Poimboeuf #include "patch.h"
33d83a7cb3SJosh Poimboeuf #include "transition.h"
34c349cdcaSJosh Poimboeuf 
35c349cdcaSJosh Poimboeuf static LIST_HEAD(klp_ops);
36c349cdcaSJosh Poimboeuf 
3719514910SPetr Mladek struct klp_ops *klp_find_ops(void *old_func)
38c349cdcaSJosh Poimboeuf {
39c349cdcaSJosh Poimboeuf 	struct klp_ops *ops;
40c349cdcaSJosh Poimboeuf 	struct klp_func *func;
41c349cdcaSJosh Poimboeuf 
42c349cdcaSJosh Poimboeuf 	list_for_each_entry(ops, &klp_ops, node) {
43c349cdcaSJosh Poimboeuf 		func = list_first_entry(&ops->func_stack, struct klp_func,
44c349cdcaSJosh Poimboeuf 					stack_node);
4519514910SPetr Mladek 		if (func->old_func == old_func)
46c349cdcaSJosh Poimboeuf 			return ops;
47c349cdcaSJosh Poimboeuf 	}
48c349cdcaSJosh Poimboeuf 
49c349cdcaSJosh Poimboeuf 	return NULL;
50c349cdcaSJosh Poimboeuf }
51c349cdcaSJosh Poimboeuf 
52c349cdcaSJosh Poimboeuf static void notrace klp_ftrace_handler(unsigned long ip,
53c349cdcaSJosh Poimboeuf 				       unsigned long parent_ip,
54c349cdcaSJosh Poimboeuf 				       struct ftrace_ops *fops,
55c349cdcaSJosh Poimboeuf 				       struct pt_regs *regs)
56c349cdcaSJosh Poimboeuf {
57c349cdcaSJosh Poimboeuf 	struct klp_ops *ops;
58c349cdcaSJosh Poimboeuf 	struct klp_func *func;
59d83a7cb3SJosh Poimboeuf 	int patch_state;
60c349cdcaSJosh Poimboeuf 
61c349cdcaSJosh Poimboeuf 	ops = container_of(fops, struct klp_ops, fops);
62c349cdcaSJosh Poimboeuf 
63842c0884SPetr Mladek 	/*
646932689eSPaul E. McKenney 	 * A variant of synchronize_rcu() is used to allow patching functions
65842c0884SPetr Mladek 	 * where RCU is not watching, see klp_synchronize_transition().
66842c0884SPetr Mladek 	 */
67842c0884SPetr Mladek 	preempt_disable_notrace();
68d83a7cb3SJosh Poimboeuf 
69c349cdcaSJosh Poimboeuf 	func = list_first_or_null_rcu(&ops->func_stack, struct klp_func,
70c349cdcaSJosh Poimboeuf 				      stack_node);
71d83a7cb3SJosh Poimboeuf 
72d83a7cb3SJosh Poimboeuf 	/*
73d83a7cb3SJosh Poimboeuf 	 * func should never be NULL because preemption should be disabled here
74d83a7cb3SJosh Poimboeuf 	 * and unregister_ftrace_function() does the equivalent of a
756932689eSPaul E. McKenney 	 * synchronize_rcu() before the func_stack removal.
76d83a7cb3SJosh Poimboeuf 	 */
77c349cdcaSJosh Poimboeuf 	if (WARN_ON_ONCE(!func))
78c349cdcaSJosh Poimboeuf 		goto unlock;
79c349cdcaSJosh Poimboeuf 
80d83a7cb3SJosh Poimboeuf 	/*
81d83a7cb3SJosh Poimboeuf 	 * In the enable path, enforce the order of the ops->func_stack and
82d83a7cb3SJosh Poimboeuf 	 * func->transition reads.  The corresponding write barrier is in
83d83a7cb3SJosh Poimboeuf 	 * __klp_enable_patch().
84d83a7cb3SJosh Poimboeuf 	 *
85d83a7cb3SJosh Poimboeuf 	 * (Note that this barrier technically isn't needed in the disable
86d83a7cb3SJosh Poimboeuf 	 * path.  In the rare case where klp_update_patch_state() runs before
87d83a7cb3SJosh Poimboeuf 	 * this handler, its TIF_PATCH_PENDING read and this func->transition
88d83a7cb3SJosh Poimboeuf 	 * read need to be ordered.  But klp_update_patch_state() already
89d83a7cb3SJosh Poimboeuf 	 * enforces that.)
90d83a7cb3SJosh Poimboeuf 	 */
91d83a7cb3SJosh Poimboeuf 	smp_rmb();
92d83a7cb3SJosh Poimboeuf 
93d83a7cb3SJosh Poimboeuf 	if (unlikely(func->transition)) {
94d83a7cb3SJosh Poimboeuf 
95d83a7cb3SJosh Poimboeuf 		/*
96d83a7cb3SJosh Poimboeuf 		 * Enforce the order of the func->transition and
97d83a7cb3SJosh Poimboeuf 		 * current->patch_state reads.  Otherwise we could read an
98d83a7cb3SJosh Poimboeuf 		 * out-of-date task state and pick the wrong function.  The
99d83a7cb3SJosh Poimboeuf 		 * corresponding write barrier is in klp_init_transition().
100d83a7cb3SJosh Poimboeuf 		 */
101d83a7cb3SJosh Poimboeuf 		smp_rmb();
102d83a7cb3SJosh Poimboeuf 
103d83a7cb3SJosh Poimboeuf 		patch_state = current->patch_state;
104d83a7cb3SJosh Poimboeuf 
105d83a7cb3SJosh Poimboeuf 		WARN_ON_ONCE(patch_state == KLP_UNDEFINED);
106d83a7cb3SJosh Poimboeuf 
107d83a7cb3SJosh Poimboeuf 		if (patch_state == KLP_UNPATCHED) {
108d83a7cb3SJosh Poimboeuf 			/*
109d83a7cb3SJosh Poimboeuf 			 * Use the previously patched version of the function.
110d83a7cb3SJosh Poimboeuf 			 * If no previous patches exist, continue with the
111d83a7cb3SJosh Poimboeuf 			 * original function.
112d83a7cb3SJosh Poimboeuf 			 */
113d83a7cb3SJosh Poimboeuf 			func = list_entry_rcu(func->stack_node.next,
114d83a7cb3SJosh Poimboeuf 					      struct klp_func, stack_node);
115d83a7cb3SJosh Poimboeuf 
116d83a7cb3SJosh Poimboeuf 			if (&func->stack_node == &ops->func_stack)
117d83a7cb3SJosh Poimboeuf 				goto unlock;
118d83a7cb3SJosh Poimboeuf 		}
119d83a7cb3SJosh Poimboeuf 	}
120d83a7cb3SJosh Poimboeuf 
121*e1452b60SJason Baron 	/*
122*e1452b60SJason Baron 	 * NOPs are used to replace existing patches with original code.
123*e1452b60SJason Baron 	 * Do nothing! Setting pc would cause an infinite loop.
124*e1452b60SJason Baron 	 */
125*e1452b60SJason Baron 	if (func->nop)
126*e1452b60SJason Baron 		goto unlock;
127*e1452b60SJason Baron 
128c349cdcaSJosh Poimboeuf 	klp_arch_set_pc(regs, (unsigned long)func->new_func);
129*e1452b60SJason Baron 
130c349cdcaSJosh Poimboeuf unlock:
131842c0884SPetr Mladek 	preempt_enable_notrace();
132c349cdcaSJosh Poimboeuf }
133c349cdcaSJosh Poimboeuf 
134c349cdcaSJosh Poimboeuf /*
135c349cdcaSJosh Poimboeuf  * Convert a function address into the appropriate ftrace location.
136c349cdcaSJosh Poimboeuf  *
137c349cdcaSJosh Poimboeuf  * Usually this is just the address of the function, but on some architectures
138c349cdcaSJosh Poimboeuf  * it's more complicated so allow them to provide a custom behaviour.
139c349cdcaSJosh Poimboeuf  */
140c349cdcaSJosh Poimboeuf #ifndef klp_get_ftrace_location
141c349cdcaSJosh Poimboeuf static unsigned long klp_get_ftrace_location(unsigned long faddr)
142c349cdcaSJosh Poimboeuf {
143c349cdcaSJosh Poimboeuf 	return faddr;
144c349cdcaSJosh Poimboeuf }
145c349cdcaSJosh Poimboeuf #endif
146c349cdcaSJosh Poimboeuf 
147c349cdcaSJosh Poimboeuf static void klp_unpatch_func(struct klp_func *func)
148c349cdcaSJosh Poimboeuf {
149c349cdcaSJosh Poimboeuf 	struct klp_ops *ops;
150c349cdcaSJosh Poimboeuf 
151c349cdcaSJosh Poimboeuf 	if (WARN_ON(!func->patched))
152c349cdcaSJosh Poimboeuf 		return;
15319514910SPetr Mladek 	if (WARN_ON(!func->old_func))
154c349cdcaSJosh Poimboeuf 		return;
155c349cdcaSJosh Poimboeuf 
15619514910SPetr Mladek 	ops = klp_find_ops(func->old_func);
157c349cdcaSJosh Poimboeuf 	if (WARN_ON(!ops))
158c349cdcaSJosh Poimboeuf 		return;
159c349cdcaSJosh Poimboeuf 
160c349cdcaSJosh Poimboeuf 	if (list_is_singular(&ops->func_stack)) {
161c349cdcaSJosh Poimboeuf 		unsigned long ftrace_loc;
162c349cdcaSJosh Poimboeuf 
16319514910SPetr Mladek 		ftrace_loc =
16419514910SPetr Mladek 			klp_get_ftrace_location((unsigned long)func->old_func);
165c349cdcaSJosh Poimboeuf 		if (WARN_ON(!ftrace_loc))
166c349cdcaSJosh Poimboeuf 			return;
167c349cdcaSJosh Poimboeuf 
168c349cdcaSJosh Poimboeuf 		WARN_ON(unregister_ftrace_function(&ops->fops));
169c349cdcaSJosh Poimboeuf 		WARN_ON(ftrace_set_filter_ip(&ops->fops, ftrace_loc, 1, 0));
170c349cdcaSJosh Poimboeuf 
171c349cdcaSJosh Poimboeuf 		list_del_rcu(&func->stack_node);
172c349cdcaSJosh Poimboeuf 		list_del(&ops->node);
173c349cdcaSJosh Poimboeuf 		kfree(ops);
174c349cdcaSJosh Poimboeuf 	} else {
175c349cdcaSJosh Poimboeuf 		list_del_rcu(&func->stack_node);
176c349cdcaSJosh Poimboeuf 	}
177c349cdcaSJosh Poimboeuf 
178c349cdcaSJosh Poimboeuf 	func->patched = false;
179c349cdcaSJosh Poimboeuf }
180c349cdcaSJosh Poimboeuf 
181c349cdcaSJosh Poimboeuf static int klp_patch_func(struct klp_func *func)
182c349cdcaSJosh Poimboeuf {
183c349cdcaSJosh Poimboeuf 	struct klp_ops *ops;
184c349cdcaSJosh Poimboeuf 	int ret;
185c349cdcaSJosh Poimboeuf 
18619514910SPetr Mladek 	if (WARN_ON(!func->old_func))
187c349cdcaSJosh Poimboeuf 		return -EINVAL;
188c349cdcaSJosh Poimboeuf 
189c349cdcaSJosh Poimboeuf 	if (WARN_ON(func->patched))
190c349cdcaSJosh Poimboeuf 		return -EINVAL;
191c349cdcaSJosh Poimboeuf 
19219514910SPetr Mladek 	ops = klp_find_ops(func->old_func);
193c349cdcaSJosh Poimboeuf 	if (!ops) {
194c349cdcaSJosh Poimboeuf 		unsigned long ftrace_loc;
195c349cdcaSJosh Poimboeuf 
19619514910SPetr Mladek 		ftrace_loc =
19719514910SPetr Mladek 			klp_get_ftrace_location((unsigned long)func->old_func);
198c349cdcaSJosh Poimboeuf 		if (!ftrace_loc) {
199c349cdcaSJosh Poimboeuf 			pr_err("failed to find location for function '%s'\n",
200c349cdcaSJosh Poimboeuf 				func->old_name);
201c349cdcaSJosh Poimboeuf 			return -EINVAL;
202c349cdcaSJosh Poimboeuf 		}
203c349cdcaSJosh Poimboeuf 
204c349cdcaSJosh Poimboeuf 		ops = kzalloc(sizeof(*ops), GFP_KERNEL);
205c349cdcaSJosh Poimboeuf 		if (!ops)
206c349cdcaSJosh Poimboeuf 			return -ENOMEM;
207c349cdcaSJosh Poimboeuf 
208c349cdcaSJosh Poimboeuf 		ops->fops.func = klp_ftrace_handler;
209c349cdcaSJosh Poimboeuf 		ops->fops.flags = FTRACE_OPS_FL_SAVE_REGS |
210c349cdcaSJosh Poimboeuf 				  FTRACE_OPS_FL_DYNAMIC |
211c349cdcaSJosh Poimboeuf 				  FTRACE_OPS_FL_IPMODIFY;
212c349cdcaSJosh Poimboeuf 
213c349cdcaSJosh Poimboeuf 		list_add(&ops->node, &klp_ops);
214c349cdcaSJosh Poimboeuf 
215c349cdcaSJosh Poimboeuf 		INIT_LIST_HEAD(&ops->func_stack);
216c349cdcaSJosh Poimboeuf 		list_add_rcu(&func->stack_node, &ops->func_stack);
217c349cdcaSJosh Poimboeuf 
218c349cdcaSJosh Poimboeuf 		ret = ftrace_set_filter_ip(&ops->fops, ftrace_loc, 0, 0);
219c349cdcaSJosh Poimboeuf 		if (ret) {
220c349cdcaSJosh Poimboeuf 			pr_err("failed to set ftrace filter for function '%s' (%d)\n",
221c349cdcaSJosh Poimboeuf 			       func->old_name, ret);
222c349cdcaSJosh Poimboeuf 			goto err;
223c349cdcaSJosh Poimboeuf 		}
224c349cdcaSJosh Poimboeuf 
225c349cdcaSJosh Poimboeuf 		ret = register_ftrace_function(&ops->fops);
226c349cdcaSJosh Poimboeuf 		if (ret) {
227c349cdcaSJosh Poimboeuf 			pr_err("failed to register ftrace handler for function '%s' (%d)\n",
228c349cdcaSJosh Poimboeuf 			       func->old_name, ret);
229c349cdcaSJosh Poimboeuf 			ftrace_set_filter_ip(&ops->fops, ftrace_loc, 1, 0);
230c349cdcaSJosh Poimboeuf 			goto err;
231c349cdcaSJosh Poimboeuf 		}
232c349cdcaSJosh Poimboeuf 
233c349cdcaSJosh Poimboeuf 
234c349cdcaSJosh Poimboeuf 	} else {
235c349cdcaSJosh Poimboeuf 		list_add_rcu(&func->stack_node, &ops->func_stack);
236c349cdcaSJosh Poimboeuf 	}
237c349cdcaSJosh Poimboeuf 
238c349cdcaSJosh Poimboeuf 	func->patched = true;
239c349cdcaSJosh Poimboeuf 
240c349cdcaSJosh Poimboeuf 	return 0;
241c349cdcaSJosh Poimboeuf 
242c349cdcaSJosh Poimboeuf err:
243c349cdcaSJosh Poimboeuf 	list_del_rcu(&func->stack_node);
244c349cdcaSJosh Poimboeuf 	list_del(&ops->node);
245c349cdcaSJosh Poimboeuf 	kfree(ops);
246c349cdcaSJosh Poimboeuf 	return ret;
247c349cdcaSJosh Poimboeuf }
248c349cdcaSJosh Poimboeuf 
249c349cdcaSJosh Poimboeuf void klp_unpatch_object(struct klp_object *obj)
250c349cdcaSJosh Poimboeuf {
251c349cdcaSJosh Poimboeuf 	struct klp_func *func;
252c349cdcaSJosh Poimboeuf 
253c349cdcaSJosh Poimboeuf 	klp_for_each_func(obj, func)
254c349cdcaSJosh Poimboeuf 		if (func->patched)
255c349cdcaSJosh Poimboeuf 			klp_unpatch_func(func);
256c349cdcaSJosh Poimboeuf 
257c349cdcaSJosh Poimboeuf 	obj->patched = false;
258c349cdcaSJosh Poimboeuf }
259c349cdcaSJosh Poimboeuf 
260c349cdcaSJosh Poimboeuf int klp_patch_object(struct klp_object *obj)
261c349cdcaSJosh Poimboeuf {
262c349cdcaSJosh Poimboeuf 	struct klp_func *func;
263c349cdcaSJosh Poimboeuf 	int ret;
264c349cdcaSJosh Poimboeuf 
265c349cdcaSJosh Poimboeuf 	if (WARN_ON(obj->patched))
266c349cdcaSJosh Poimboeuf 		return -EINVAL;
267c349cdcaSJosh Poimboeuf 
268c349cdcaSJosh Poimboeuf 	klp_for_each_func(obj, func) {
269c349cdcaSJosh Poimboeuf 		ret = klp_patch_func(func);
270c349cdcaSJosh Poimboeuf 		if (ret) {
271c349cdcaSJosh Poimboeuf 			klp_unpatch_object(obj);
272c349cdcaSJosh Poimboeuf 			return ret;
273c349cdcaSJosh Poimboeuf 		}
274c349cdcaSJosh Poimboeuf 	}
275c349cdcaSJosh Poimboeuf 	obj->patched = true;
276c349cdcaSJosh Poimboeuf 
277c349cdcaSJosh Poimboeuf 	return 0;
278c349cdcaSJosh Poimboeuf }
279d83a7cb3SJosh Poimboeuf 
280d83a7cb3SJosh Poimboeuf void klp_unpatch_objects(struct klp_patch *patch)
281d83a7cb3SJosh Poimboeuf {
282d83a7cb3SJosh Poimboeuf 	struct klp_object *obj;
283d83a7cb3SJosh Poimboeuf 
284d83a7cb3SJosh Poimboeuf 	klp_for_each_object(patch, obj)
285d83a7cb3SJosh Poimboeuf 		if (obj->patched)
286d83a7cb3SJosh Poimboeuf 			klp_unpatch_object(obj);
287d83a7cb3SJosh Poimboeuf }
288