1 | /* Stack overflow handling.
|
---|
2 |
|
---|
3 | Copyright (C) 2002, 2004, 2006, 2008-2021 Free Software Foundation, Inc.
|
---|
4 |
|
---|
5 | This program is free software: you can redistribute it and/or modify
|
---|
6 | it under the terms of the GNU General Public License as published by
|
---|
7 | the Free Software Foundation; either version 3 of the License, or
|
---|
8 | (at your option) any later version.
|
---|
9 |
|
---|
10 | This program is distributed in the hope that it will be useful,
|
---|
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
13 | GNU General Public License for more details.
|
---|
14 |
|
---|
15 | You should have received a copy of the GNU General Public License
|
---|
16 | along with this program. If not, see <https://www.gnu.org/licenses/>. */
|
---|
17 |
|
---|
18 | /* Written by Paul Eggert. */
|
---|
19 |
|
---|
20 | /* NOTES:
|
---|
21 |
|
---|
22 | A program that uses alloca, dynamic arrays, or large local
|
---|
23 | variables may extend the stack by more than a page at a time. If
|
---|
24 | so, when the stack overflows the operating system may not detect
|
---|
25 | the overflow until the program uses the array, and this module may
|
---|
26 | incorrectly report a program error instead of a stack overflow.
|
---|
27 |
|
---|
28 | To avoid this problem, allocate only small objects on the stack; a
|
---|
29 | program should be OK if it limits single allocations to a page or
|
---|
30 | less. Allocate larger arrays in static storage, or on the heap
|
---|
31 | (e.g., with malloc). Yes, this is a pain, but we don't know of any
|
---|
32 | better solution that is portable.
|
---|
33 |
|
---|
34 | No attempt has been made to deal with multithreaded applications. */
|
---|
35 |
|
---|
36 | #include <config.h>
|
---|
37 |
|
---|
38 | #include "c-stack.h"
|
---|
39 |
|
---|
40 | #include <errno.h>
|
---|
41 | #include <inttypes.h>
|
---|
42 | #include <signal.h>
|
---|
43 | #include <stddef.h>
|
---|
44 | #include <stdlib.h>
|
---|
45 | #include <string.h>
|
---|
46 | #include <unistd.h>
|
---|
47 |
|
---|
48 | #if DEBUG
|
---|
49 | # include <stdio.h>
|
---|
50 | #endif
|
---|
51 |
|
---|
52 | #include <sigsegv.h>
|
---|
53 |
|
---|
54 | #include "exitfail.h"
|
---|
55 | #include "getprogname.h"
|
---|
56 | #include "idx.h"
|
---|
57 | #include "ignore-value.h"
|
---|
58 |
|
---|
59 | #include "gettext.h"
|
---|
60 | #define _(msgid) gettext (msgid)
|
---|
61 |
|
---|
62 | #if HAVE_STACK_OVERFLOW_RECOVERY
|
---|
63 |
|
---|
64 | /* Storage for the alternate signal stack.
|
---|
65 | 64 KiB is not too large for Gnulib-using apps, and is large enough
|
---|
66 | for all known platforms. Smaller sizes may run into trouble.
|
---|
67 | For example, libsigsegv 2.6 through 2.8 have a bug where some
|
---|
68 | architectures use more than the Linux default of an 8 KiB alternate
|
---|
69 | stack when deciding if a fault was caused by stack overflow. */
|
---|
70 | static max_align_t alternate_signal_stack[(64 * 1024
|
---|
71 | + sizeof (max_align_t) - 1)
|
---|
72 | / sizeof (max_align_t)];
|
---|
73 |
|
---|
74 | /* The user-specified action to take when a SEGV-related program error
|
---|
75 | or stack overflow occurs. */
|
---|
76 | static _GL_ASYNC_SAFE void (* volatile segv_action) (int);
|
---|
77 |
|
---|
78 | /* Translated messages for program errors and stack overflow. Do not
|
---|
79 | translate them in the signal handler, since gettext is not
|
---|
80 | async-signal-safe. */
|
---|
81 | static char const * volatile program_error_message;
|
---|
82 | static char const * volatile stack_overflow_message;
|
---|
83 |
|
---|
84 | /* Output an error message, then exit with status EXIT_FAILURE if it
|
---|
85 | appears to have been a stack overflow, or with a core dump
|
---|
86 | otherwise. This function is async-signal-safe. */
|
---|
87 |
|
---|
88 | static char const * volatile progname;
|
---|
89 |
|
---|
90 | static _GL_ASYNC_SAFE _Noreturn void
|
---|
91 | die (int signo)
|
---|
92 | {
|
---|
93 | segv_action (signo);
|
---|
94 | char const *message = signo ? program_error_message : stack_overflow_message;
|
---|
95 |
|
---|
96 | /* If the message is short, write it all at once to avoid
|
---|
97 | interleaving with other messages. Avoid writev as it is not
|
---|
98 | documented to be async-signal-safe. */
|
---|
99 | size_t prognamelen = strlen (progname);
|
---|
100 | size_t messagelen = strlen (message);
|
---|
101 | static char const separator[] = {':', ' '};
|
---|
102 | char buf[sizeof alternate_signal_stack / 16 + sizeof separator];
|
---|
103 | idx_t buflen;
|
---|
104 | if (prognamelen + messagelen < sizeof buf - sizeof separator)
|
---|
105 | {
|
---|
106 | char *p = mempcpy (buf, progname, prognamelen);
|
---|
107 | p = mempcpy (p, separator, sizeof separator);
|
---|
108 | p = mempcpy (p, message, messagelen);
|
---|
109 | *p++ = '\n';
|
---|
110 | buflen = p - buf;
|
---|
111 | }
|
---|
112 | else
|
---|
113 | {
|
---|
114 | ignore_value (write (STDERR_FILENO, progname, prognamelen));
|
---|
115 | ignore_value (write (STDERR_FILENO, separator, sizeof separator));
|
---|
116 | ignore_value (write (STDERR_FILENO, message, messagelen));
|
---|
117 | buf[0] = '\n';
|
---|
118 | buflen = 1;
|
---|
119 | }
|
---|
120 | ignore_value (write (STDERR_FILENO, buf, buflen));
|
---|
121 |
|
---|
122 | if (! signo)
|
---|
123 | _exit (exit_failure);
|
---|
124 | raise (signo);
|
---|
125 | abort ();
|
---|
126 | }
|
---|
127 |
|
---|
128 | static _GL_ASYNC_SAFE void
|
---|
129 | null_action (int signo _GL_UNUSED)
|
---|
130 | {
|
---|
131 | }
|
---|
132 |
|
---|
133 | /* Pacify GCC 9.3.1, which otherwise would complain about segv_handler. */
|
---|
134 | # if 4 < __GNUC__ + (6 <= __GNUC_MINOR__)
|
---|
135 | # pragma GCC diagnostic ignored "-Wsuggest-attribute=pure"
|
---|
136 | # endif
|
---|
137 |
|
---|
138 | /* Nonzero if general segv handler could not be installed. */
|
---|
139 | static volatile int segv_handler_missing;
|
---|
140 |
|
---|
141 | /* Handle a segmentation violation and exit if it cannot be stack
|
---|
142 | overflow. This function is async-signal-safe. */
|
---|
143 |
|
---|
144 | static _GL_ASYNC_SAFE int
|
---|
145 | segv_handler (void *address _GL_UNUSED, int serious)
|
---|
146 | {
|
---|
147 | # if DEBUG
|
---|
148 | {
|
---|
149 | char buf[1024];
|
---|
150 | int saved_errno = errno;
|
---|
151 | ignore_value (write (STDERR_FILENO, buf,
|
---|
152 | sprintf (buf, "segv_handler serious=%d\n", serious)));
|
---|
153 | errno = saved_errno;
|
---|
154 | }
|
---|
155 | # endif
|
---|
156 |
|
---|
157 | /* If this fault is not serious, return 0 to let the stack overflow
|
---|
158 | handler take a shot at it. */
|
---|
159 | if (!serious)
|
---|
160 | return 0;
|
---|
161 | die (SIGSEGV);
|
---|
162 | }
|
---|
163 |
|
---|
164 | /* Handle a segmentation violation that is likely to be a stack
|
---|
165 | overflow and exit. This function is async-signal-safe. */
|
---|
166 |
|
---|
167 | static _GL_ASYNC_SAFE _Noreturn void
|
---|
168 | overflow_handler (int emergency, stackoverflow_context_t context _GL_UNUSED)
|
---|
169 | {
|
---|
170 | # if DEBUG
|
---|
171 | {
|
---|
172 | char buf[1024];
|
---|
173 | ignore_value (write (STDERR_FILENO, buf,
|
---|
174 | sprintf (buf, ("overflow_handler emergency=%d"
|
---|
175 | " segv_handler_missing=%d\n"),
|
---|
176 | emergency, segv_handler_missing)));
|
---|
177 | }
|
---|
178 | # endif
|
---|
179 |
|
---|
180 | die ((!emergency || segv_handler_missing) ? 0 : SIGSEGV);
|
---|
181 | }
|
---|
182 |
|
---|
183 | int
|
---|
184 | c_stack_action (_GL_ASYNC_SAFE void (*action) (int))
|
---|
185 | {
|
---|
186 | segv_action = action ? action : null_action;
|
---|
187 | program_error_message = _("program error");
|
---|
188 | stack_overflow_message = _("stack overflow");
|
---|
189 | progname = getprogname ();
|
---|
190 |
|
---|
191 | /* Always install the overflow handler. */
|
---|
192 | if (stackoverflow_install_handler (overflow_handler,
|
---|
193 | alternate_signal_stack,
|
---|
194 | sizeof alternate_signal_stack))
|
---|
195 | {
|
---|
196 | errno = ENOTSUP;
|
---|
197 | return -1;
|
---|
198 | }
|
---|
199 | /* Try installing a general handler; if it fails, then treat all
|
---|
200 | segv as stack overflow. */
|
---|
201 | segv_handler_missing = sigsegv_install_handler (segv_handler);
|
---|
202 | return 0;
|
---|
203 | }
|
---|
204 |
|
---|
205 | #else /* !HAVE_STACK_OVERFLOW_RECOVERY */
|
---|
206 |
|
---|
207 | int
|
---|
208 | c_stack_action (_GL_ASYNC_SAFE void (*action) (int) _GL_UNUSED)
|
---|
209 | {
|
---|
210 | errno = ENOTSUP;
|
---|
211 | return -1;
|
---|
212 | }
|
---|
213 |
|
---|
214 | #endif
|
---|