1 // SPDX-License-Identifier: GPL-2.0
3 #define pr_fmt(fmt) "rethook: " fmt
6 #include <linux/kallsyms.h>
7 #include <linux/kprobes.h>
8 #include <linux/preempt.h>
9 #include <linux/rethook.h>
10 #include <linux/slab.h>
12 /* Return hook list (shadow stack by list) */
15 * This function is called from delayed_put_task_struct() when a task is
16 * dead and cleaned up to recycle any kretprobe instances associated with
17 * this task. These left over instances represent probed functions that
18 * have been called but will never return.
20 void rethook_flush_task(struct task_struct *tk)
22 struct rethook_node *rhn;
23 struct llist_node *node;
25 node = __llist_del_all(&tk->rethooks);
27 rhn = container_of(node, struct rethook_node, llist);
35 static void rethook_free_rcu(struct rcu_head *head)
37 struct rethook *rh = container_of(head, struct rethook, rcu);
38 objpool_fini(&rh->pool);
42 * rethook_stop() - Stop using a rethook.
43 * @rh: the struct rethook to stop.
45 * Stop using a rethook to prepare for freeing it. If you want to wait for
46 * all running rethook handler before calling rethook_free(), you need to
47 * call this first and wait RCU, and call rethook_free().
49 void rethook_stop(struct rethook *rh)
51 WRITE_ONCE(rh->handler, NULL);
55 * rethook_free() - Free struct rethook.
56 * @rh: the struct rethook to be freed.
58 * Free the rethook. Before calling this function, user must ensure the
59 * @rh::data is cleaned if needed (or, the handler can access it after
60 * calling this function.) This function will set the @rh to be freed
61 * after all rethook_node are freed (not soon). And the caller must
62 * not touch @rh after calling this.
64 void rethook_free(struct rethook *rh)
66 WRITE_ONCE(rh->handler, NULL);
68 call_rcu(&rh->rcu, rethook_free_rcu);
71 static int rethook_init_node(void *nod, void *context)
73 struct rethook_node *node = nod;
75 node->rethook = context;
79 static int rethook_fini_pool(struct objpool_head *head, void *context)
86 * rethook_alloc() - Allocate struct rethook.
87 * @data: a data to pass the @handler when hooking the return.
88 * @handler: the return hook callback function, must NOT be NULL
89 * @size: node size: rethook node and additional data
90 * @num: number of rethook nodes to be preallocated
92 * Allocate and initialize a new rethook with @data and @handler.
93 * Return pointer of new rethook, or error codes for failures.
95 * Note that @handler == NULL means this rethook is going to be freed.
97 struct rethook *rethook_alloc(void *data, rethook_handler_t handler,
102 if (!handler || num <= 0 || size < sizeof(struct rethook_node))
103 return ERR_PTR(-EINVAL);
105 rh = kzalloc(sizeof(struct rethook), GFP_KERNEL);
107 return ERR_PTR(-ENOMEM);
110 rh->handler = handler;
112 /* initialize the objpool for rethook nodes */
113 if (objpool_init(&rh->pool, num, size, GFP_KERNEL, rh,
114 rethook_init_node, rethook_fini_pool)) {
116 return ERR_PTR(-ENOMEM);
121 static void free_rethook_node_rcu(struct rcu_head *head)
123 struct rethook_node *node = container_of(head, struct rethook_node, rcu);
124 struct rethook *rh = node->rethook;
126 objpool_drop(node, &rh->pool);
130 * rethook_recycle() - return the node to rethook.
131 * @node: The struct rethook_node to be returned.
133 * Return back the @node to @node::rethook. If the @node::rethook is already
134 * marked as freed, this will free the @node.
136 void rethook_recycle(struct rethook_node *node)
138 lockdep_assert_preemption_disabled();
140 if (likely(READ_ONCE(node->rethook->handler)))
141 objpool_push(node, &node->rethook->pool);
143 call_rcu(&node->rcu, free_rethook_node_rcu);
145 NOKPROBE_SYMBOL(rethook_recycle);
148 * rethook_try_get() - get an unused rethook node.
149 * @rh: The struct rethook which pools the nodes.
151 * Get an unused rethook node from @rh. If the node pool is empty, this
152 * will return NULL. Caller must disable preemption.
154 struct rethook_node *rethook_try_get(struct rethook *rh)
156 rethook_handler_t handler = READ_ONCE(rh->handler);
158 lockdep_assert_preemption_disabled();
160 /* Check whether @rh is going to be freed. */
161 if (unlikely(!handler))
165 * This expects the caller will set up a rethook on a function entry.
166 * When the function returns, the rethook will eventually be reclaimed
167 * or released in the rethook_recycle() with call_rcu().
168 * This means the caller must be run in the RCU-availabe context.
170 if (unlikely(!rcu_is_watching()))
173 return (struct rethook_node *)objpool_pop(&rh->pool);
175 NOKPROBE_SYMBOL(rethook_try_get);
178 * rethook_hook() - Hook the current function return.
179 * @node: The struct rethook node to hook the function return.
180 * @regs: The struct pt_regs for the function entry.
181 * @mcount: True if this is called from mcount(ftrace) context.
183 * Hook the current running function return. This must be called when the
184 * function entry (or at least @regs must be the registers of the function
185 * entry.) @mcount is used for identifying the context. If this is called
186 * from ftrace (mcount) callback, @mcount must be set true. If this is called
187 * from the real function entry (e.g. kprobes) @mcount must be set false.
188 * This is because the way to hook the function return depends on the context.
190 void rethook_hook(struct rethook_node *node, struct pt_regs *regs, bool mcount)
192 arch_rethook_prepare(node, regs, mcount);
193 __llist_add(&node->llist, ¤t->rethooks);
195 NOKPROBE_SYMBOL(rethook_hook);
197 /* This assumes the 'tsk' is the current task or is not running. */
198 static unsigned long __rethook_find_ret_addr(struct task_struct *tsk,
199 struct llist_node **cur)
201 struct rethook_node *rh = NULL;
202 struct llist_node *node = *cur;
205 node = tsk->rethooks.first;
210 rh = container_of(node, struct rethook_node, llist);
211 if (rh->ret_addr != (unsigned long)arch_rethook_trampoline) {
219 NOKPROBE_SYMBOL(__rethook_find_ret_addr);
222 * rethook_find_ret_addr -- Find correct return address modified by rethook
224 * @frame: A frame pointer
225 * @cur: a storage of the loop cursor llist_node pointer for next call
227 * Find the correct return address modified by a rethook on @tsk in unsigned
229 * The @tsk must be 'current' or a task which is not running. @frame is a hint
230 * to get the currect return address - which is compared with the
231 * rethook::frame field. The @cur is a loop cursor for searching the
232 * kretprobe return addresses on the @tsk. The '*@cur' should be NULL at the
233 * first call, but '@cur' itself must NOT NULL.
235 * Returns found address value or zero if not found.
237 unsigned long rethook_find_ret_addr(struct task_struct *tsk, unsigned long frame,
238 struct llist_node **cur)
240 struct rethook_node *rhn = NULL;
243 if (WARN_ON_ONCE(!cur))
246 if (WARN_ON_ONCE(tsk != current && task_is_running(tsk)))
250 ret = __rethook_find_ret_addr(tsk, cur);
253 rhn = container_of(*cur, struct rethook_node, llist);
254 } while (rhn->frame != frame);
258 NOKPROBE_SYMBOL(rethook_find_ret_addr);
260 void __weak arch_rethook_fixup_return(struct pt_regs *regs,
261 unsigned long correct_ret_addr)
264 * Do nothing by default. If the architecture which uses a
265 * frame pointer to record real return address on the stack,
266 * it should fill this function to fixup the return address
267 * so that stacktrace works from the rethook handler.
271 /* This function will be called from each arch-defined trampoline. */
272 unsigned long rethook_trampoline_handler(struct pt_regs *regs,
275 struct llist_node *first, *node = NULL;
276 unsigned long correct_ret_addr;
277 rethook_handler_t handler;
278 struct rethook_node *rhn;
280 correct_ret_addr = __rethook_find_ret_addr(current, &node);
281 if (!correct_ret_addr) {
282 pr_err("rethook: Return address not found! Maybe there is a bug in the kernel\n");
286 instruction_pointer_set(regs, correct_ret_addr);
289 * These loops must be protected from rethook_free_rcu() because those
290 * are accessing 'rhn->rethook'.
292 preempt_disable_notrace();
295 * Run the handler on the shadow stack. Do not unlink the list here because
296 * stackdump inside the handlers needs to decode it.
298 first = current->rethooks.first;
300 rhn = container_of(first, struct rethook_node, llist);
301 if (WARN_ON_ONCE(rhn->frame != frame))
303 handler = READ_ONCE(rhn->rethook->handler);
305 handler(rhn, rhn->rethook->data,
306 correct_ret_addr, regs);
313 /* Fixup registers for returning to correct address. */
314 arch_rethook_fixup_return(regs, correct_ret_addr);
316 /* Unlink used shadow stack */
317 first = current->rethooks.first;
318 current->rethooks.first = node->next;
322 rhn = container_of(first, struct rethook_node, llist);
324 rethook_recycle(rhn);
326 preempt_enable_notrace();
328 return correct_ret_addr;
330 NOKPROBE_SYMBOL(rethook_trampoline_handler);