blob: 0fb58fed54cb2b2cac863cf945e02a2047b7505e [file] [log] [blame]
Thomas Gleixnercaab2772019-06-03 07:44:50 +02001// SPDX-License-Identifier: GPL-2.0-only
Catalin Marinas60ffc302012-03-05 11:49:27 +00002/*
3 * Stack tracing support
4 *
5 * Copyright (C) 2012 ARM Ltd.
Catalin Marinas60ffc302012-03-05 11:49:27 +00006 */
7#include <linux/kernel.h>
8#include <linux/export.h>
AKASHI Takahiro20380bb2015-12-15 17:33:41 +09009#include <linux/ftrace.h>
Masami Hiramatsuee07b932019-07-25 17:16:05 +090010#include <linux/kprobes.h>
Catalin Marinas60ffc302012-03-05 11:49:27 +000011#include <linux/sched.h>
Ingo Molnarb17b0152017-02-08 18:51:35 +010012#include <linux/sched/debug.h>
Ingo Molnar68db0cf2017-02-08 18:51:37 +010013#include <linux/sched/task_stack.h>
Catalin Marinas60ffc302012-03-05 11:49:27 +000014#include <linux/stacktrace.h>
15
AKASHI Takahiro132cd882015-12-04 11:02:26 +000016#include <asm/irq.h>
Mark Rutland04ad99a2020-03-13 14:34:59 +053017#include <asm/pointer_auth.h>
Mark Rutlanda9ea0012016-11-03 20:23:05 +000018#include <asm/stack_pointer.h>
Catalin Marinas60ffc302012-03-05 11:49:27 +000019#include <asm/stacktrace.h>
20
21/*
22 * AArch64 PCS assigns the frame pointer to x29.
23 *
24 * A simple function prologue looks like this:
25 * sub sp, sp, #0x10
26 * stp x29, x30, [sp]
27 * mov x29, sp
28 *
29 * A simple function epilogue looks like this:
30 * mov sp, x29
31 * ldp x29, x30, [sp]
32 * add sp, sp, #0x10
33 */
Mark Rutland592700f2019-07-02 14:07:29 +010034
Mark Brownb07f3492021-03-19 17:40:22 +000035
Mark Rutlandd2d1d262021-11-29 14:28:49 +000036static void start_backtrace(struct stackframe *frame, unsigned long fp,
37 unsigned long pc)
Mark Brownb07f3492021-03-19 17:40:22 +000038{
39 frame->fp = fp;
40 frame->pc = pc;
Masami Hiramatsucd9bc2c2021-10-21 09:55:09 +090041#ifdef CONFIG_KRETPROBES
42 frame->kr_cur = NULL;
43#endif
Mark Brownb07f3492021-03-19 17:40:22 +000044
45 /*
46 * Prime the first unwind.
47 *
48 * In unwind_frame() we'll check that the FP points to a valid stack,
49 * which can't be STACK_TYPE_UNKNOWN, and the first unwind will be
50 * treated as a transition to whichever stack that happens to be. The
51 * prev_fp value won't be used, but we set it to 0 such that it is
52 * definitely not an accessible stack address.
53 */
54 bitmap_zero(frame->stacks_done, __NR_STACK_TYPES);
55 frame->prev_fp = 0;
56 frame->prev_type = STACK_TYPE_UNKNOWN;
57}
58
Mark Rutland592700f2019-07-02 14:07:29 +010059/*
60 * Unwind from one frame record (A) to the next frame record (B).
61 *
62 * We terminate early if the location of B indicates a malformed chain of frame
63 * records (e.g. a cycle), determined based on the location and fp value of A
64 * and the location (but not the fp value) of B.
65 */
Mark Rutlandd2d1d262021-11-29 14:28:49 +000066static int notrace unwind_frame(struct task_struct *tsk,
67 struct stackframe *frame)
Catalin Marinas60ffc302012-03-05 11:49:27 +000068{
Catalin Marinas60ffc302012-03-05 11:49:27 +000069 unsigned long fp = frame->fp;
Mark Rutland592700f2019-07-02 14:07:29 +010070 struct stack_info info;
Ard Biesheuvelc7365332017-07-22 12:48:34 +010071
Mark Rutlandb5e73072016-09-23 17:55:05 +010072 if (!tsk)
73 tsk = current;
74
Madhavan T. Venkataraman7d7b7202021-05-10 12:00:26 +010075 /* Final frame; nothing to unwind */
76 if (fp == (unsigned long)task_pt_regs(tsk)->stackframe)
77 return -ENOENT;
78
Peter Collingbourne33c222a2021-05-26 10:49:26 -070079 if (fp & 0x7)
Madhavan T. Venkataraman7d7b7202021-05-10 12:00:26 +010080 return -EINVAL;
81
Peter Collingbourne76734d22021-05-26 10:49:25 -070082 if (!on_accessible_stack(tsk, fp, 16, &info))
Catalin Marinas60ffc302012-03-05 11:49:27 +000083 return -EINVAL;
84
Mark Rutland592700f2019-07-02 14:07:29 +010085 if (test_bit(info.type, frame->stacks_done))
86 return -EINVAL;
87
88 /*
89 * As stacks grow downward, any valid record on the same stack must be
90 * at a strictly higher address than the prior record.
91 *
92 * Stacks can nest in several valid orders, e.g.
93 *
94 * TASK -> IRQ -> OVERFLOW -> SDEI_NORMAL
95 * TASK -> SDEI_NORMAL -> SDEI_CRITICAL -> OVERFLOW
96 *
97 * ... but the nesting itself is strict. Once we transition from one
98 * stack to another, it's never valid to unwind back to that first
99 * stack.
100 */
101 if (info.type == frame->prev_type) {
102 if (fp <= frame->prev_fp)
103 return -EINVAL;
104 } else {
105 set_bit(frame->prev_type, frame->stacks_done);
106 }
107
108 /*
109 * Record this frame record's values and location. The prev_fp and
110 * prev_type are only meaningful to the next unwind_frame() invocation.
111 */
Yang Shibcaf6692016-02-08 09:13:09 -0800112 frame->fp = READ_ONCE_NOCHECK(*(unsigned long *)(fp));
113 frame->pc = READ_ONCE_NOCHECK(*(unsigned long *)(fp + 8));
Mark Rutland592700f2019-07-02 14:07:29 +0100114 frame->prev_fp = fp;
115 frame->prev_type = info.type;
Catalin Marinas60ffc302012-03-05 11:49:27 +0000116
Mark Rutlandc6d3cd32021-10-29 17:22:45 +0100117 frame->pc = ptrauth_strip_insn_pac(frame->pc);
118
AKASHI Takahiro20380bb2015-12-15 17:33:41 +0900119#ifdef CONFIG_FUNCTION_GRAPH_TRACER
Mark Rutlandb5e73072016-09-23 17:55:05 +0100120 if (tsk->ret_stack &&
Mark Rutlandc6d3cd32021-10-29 17:22:45 +0100121 (frame->pc == (unsigned long)return_to_handler)) {
122 unsigned long orig_pc;
AKASHI Takahiro20380bb2015-12-15 17:33:41 +0900123 /*
124 * This is a case where function graph tracer has
125 * modified a return address (LR) in a stack frame
126 * to hook a function return.
127 * So replace it to an original value.
128 */
Mark Rutlandc6d3cd32021-10-29 17:22:45 +0100129 orig_pc = ftrace_graph_ret_addr(tsk, NULL, frame->pc,
130 (void *)frame->fp);
131 if (WARN_ON_ONCE(frame->pc == orig_pc))
Steven Rostedt (VMware)a4482762018-12-07 13:13:28 -0500132 return -EINVAL;
Mark Rutlandc6d3cd32021-10-29 17:22:45 +0100133 frame->pc = orig_pc;
AKASHI Takahiro20380bb2015-12-15 17:33:41 +0900134 }
135#endif /* CONFIG_FUNCTION_GRAPH_TRACER */
Masami Hiramatsucd9bc2c2021-10-21 09:55:09 +0900136#ifdef CONFIG_KRETPROBES
137 if (is_kretprobe_trampoline(frame->pc))
138 frame->pc = kretprobe_find_ret_addr(tsk, (void *)frame->fp, &frame->kr_cur);
139#endif
AKASHI Takahiro20380bb2015-12-15 17:33:41 +0900140
Catalin Marinas60ffc302012-03-05 11:49:27 +0000141 return 0;
142}
Masami Hiramatsuee07b932019-07-25 17:16:05 +0900143NOKPROBE_SYMBOL(unwind_frame);
Catalin Marinas60ffc302012-03-05 11:49:27 +0000144
Mark Rutlandd2d1d262021-11-29 14:28:49 +0000145static void notrace walk_stackframe(struct task_struct *tsk,
146 struct stackframe *frame,
147 bool (*fn)(void *, unsigned long), void *data)
Catalin Marinas60ffc302012-03-05 11:49:27 +0000148{
149 while (1) {
150 int ret;
151
Mark Brownbaa2cd42020-09-14 16:34:08 +0100152 if (!fn(data, frame->pc))
Catalin Marinas60ffc302012-03-05 11:49:27 +0000153 break;
AKASHI Takahirofe13f952015-12-15 17:33:40 +0900154 ret = unwind_frame(tsk, frame);
Catalin Marinas60ffc302012-03-05 11:49:27 +0000155 if (ret < 0)
156 break;
157 }
158}
Masami Hiramatsuee07b932019-07-25 17:16:05 +0900159NOKPROBE_SYMBOL(walk_stackframe);
Catalin Marinas60ffc302012-03-05 11:49:27 +0000160
Madhavan T. Venkataraman2dad6dc2021-11-29 14:28:48 +0000161static bool dump_backtrace_entry(void *arg, unsigned long where)
Mark Brown9e0f0852020-09-21 13:23:41 +0100162{
Madhavan T. Venkataraman2dad6dc2021-11-29 14:28:48 +0000163 char *loglvl = arg;
Stephen Boydf61b8702021-07-07 18:09:24 -0700164 printk("%s %pSb\n", loglvl, (void *)where);
Madhavan T. Venkataraman2dad6dc2021-11-29 14:28:48 +0000165 return true;
Mark Brown9e0f0852020-09-21 13:23:41 +0100166}
167
168void dump_backtrace(struct pt_regs *regs, struct task_struct *tsk,
169 const char *loglvl)
170{
Mark Brown9e0f0852020-09-21 13:23:41 +0100171 pr_debug("%s(regs = %p tsk = %p)\n", __func__, regs, tsk);
172
Madhavan T. Venkataraman2dad6dc2021-11-29 14:28:48 +0000173 if (regs && user_mode(regs))
174 return;
Mark Brown9e0f0852020-09-21 13:23:41 +0100175
176 if (!tsk)
177 tsk = current;
178
179 if (!try_get_task_stack(tsk))
180 return;
181
Mark Brown9e0f0852020-09-21 13:23:41 +0100182 printk("%sCall trace:\n", loglvl);
Madhavan T. Venkataraman2dad6dc2021-11-29 14:28:48 +0000183 arch_stack_walk(dump_backtrace_entry, (void *)loglvl, tsk, regs);
Mark Brown9e0f0852020-09-21 13:23:41 +0100184
185 put_task_stack(tsk);
186}
187
188void show_stack(struct task_struct *tsk, unsigned long *sp, const char *loglvl)
189{
190 dump_backtrace(NULL, tsk, loglvl);
191 barrier();
192}
193
Mark Rutland0c327062021-08-02 17:48:45 +0100194noinline notrace void arch_stack_walk(stack_trace_consume_fn consume_entry,
Mark Rutlandc607ab42021-03-19 18:41:06 +0000195 void *cookie, struct task_struct *task,
196 struct pt_regs *regs)
Catalin Marinas60ffc302012-03-05 11:49:27 +0000197{
Pratyush Anand98ab10e2016-09-05 08:03:16 +0530198 struct stackframe frame;
199
Mark Brown5fc57df2020-09-14 16:34:09 +0100200 if (regs)
201 start_backtrace(&frame, regs->regs[29], regs->pc);
202 else if (task == current)
Dave Martinf3dcbe62019-07-02 14:07:28 +0100203 start_backtrace(&frame,
Mark Rutlandc607ab42021-03-19 18:41:06 +0000204 (unsigned long)__builtin_frame_address(1),
205 (unsigned long)__builtin_return_address(0));
Mark Brown5fc57df2020-09-14 16:34:09 +0100206 else
207 start_backtrace(&frame, thread_saved_fp(task),
208 thread_saved_pc(task));
Catalin Marinas60ffc302012-03-05 11:49:27 +0000209
Mark Brown5fc57df2020-09-14 16:34:09 +0100210 walk_stackframe(task, &frame, consume_entry, cookie);
Catalin Marinas60ffc302012-03-05 11:49:27 +0000211}