annotate libsanitizer/sanitizer_common/sanitizer_symbolizer_posix_libcdep.cc @ 118:fd00160c1b76

ifdef TARGET_64BIT
author mir3636
date Tue, 27 Feb 2018 15:01:35 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 //===-- sanitizer_symbolizer_posix_libcdep.cc -----------------------------===//
kono
parents:
diff changeset
2 //
kono
parents:
diff changeset
3 // This file is distributed under the University of Illinois Open Source
kono
parents:
diff changeset
4 // License. See LICENSE.TXT for details.
kono
parents:
diff changeset
5 //
kono
parents:
diff changeset
6 //===----------------------------------------------------------------------===//
kono
parents:
diff changeset
7 //
kono
parents:
diff changeset
8 // This file is shared between AddressSanitizer and ThreadSanitizer
kono
parents:
diff changeset
9 // run-time libraries.
kono
parents:
diff changeset
10 // POSIX-specific implementation of symbolizer parts.
kono
parents:
diff changeset
11 //===----------------------------------------------------------------------===//
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 #include "sanitizer_platform.h"
kono
parents:
diff changeset
14 #if SANITIZER_POSIX
kono
parents:
diff changeset
15 #include "sanitizer_allocator_internal.h"
kono
parents:
diff changeset
16 #include "sanitizer_common.h"
kono
parents:
diff changeset
17 #include "sanitizer_file.h"
kono
parents:
diff changeset
18 #include "sanitizer_flags.h"
kono
parents:
diff changeset
19 #include "sanitizer_internal_defs.h"
kono
parents:
diff changeset
20 #include "sanitizer_linux.h"
kono
parents:
diff changeset
21 #include "sanitizer_placement_new.h"
kono
parents:
diff changeset
22 #include "sanitizer_posix.h"
kono
parents:
diff changeset
23 #include "sanitizer_procmaps.h"
kono
parents:
diff changeset
24 #include "sanitizer_symbolizer_internal.h"
kono
parents:
diff changeset
25 #include "sanitizer_symbolizer_libbacktrace.h"
kono
parents:
diff changeset
26 #include "sanitizer_symbolizer_mac.h"
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 #include <dlfcn.h> // for dlsym()
kono
parents:
diff changeset
29 #include <errno.h>
kono
parents:
diff changeset
30 #include <stdint.h>
kono
parents:
diff changeset
31 #include <stdlib.h>
kono
parents:
diff changeset
32 #include <sys/wait.h>
kono
parents:
diff changeset
33 #include <unistd.h>
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 #if SANITIZER_MAC
kono
parents:
diff changeset
36 #include <util.h> // for forkpty()
kono
parents:
diff changeset
37 #endif // SANITIZER_MAC
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 // C++ demangling function, as required by Itanium C++ ABI. This is weak,
kono
parents:
diff changeset
40 // because we do not require a C++ ABI library to be linked to a program
kono
parents:
diff changeset
41 // using sanitizers; if it's not present, we'll just use the mangled name.
kono
parents:
diff changeset
42 namespace __cxxabiv1 {
kono
parents:
diff changeset
43 extern "C" SANITIZER_WEAK_ATTRIBUTE
kono
parents:
diff changeset
44 char *__cxa_demangle(const char *mangled, char *buffer,
kono
parents:
diff changeset
45 size_t *length, int *status);
kono
parents:
diff changeset
46 }
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 namespace __sanitizer {
kono
parents:
diff changeset
49
kono
parents:
diff changeset
50 // Attempts to demangle the name via __cxa_demangle from __cxxabiv1.
kono
parents:
diff changeset
51 const char *DemangleCXXABI(const char *name) {
kono
parents:
diff changeset
52 // FIXME: __cxa_demangle aggressively insists on allocating memory.
kono
parents:
diff changeset
53 // There's not much we can do about that, short of providing our
kono
parents:
diff changeset
54 // own demangler (libc++abi's implementation could be adapted so that
kono
parents:
diff changeset
55 // it does not allocate). For now, we just call it anyway, and we leak
kono
parents:
diff changeset
56 // the returned value.
kono
parents:
diff changeset
57 if (&__cxxabiv1::__cxa_demangle)
kono
parents:
diff changeset
58 if (const char *demangled_name =
kono
parents:
diff changeset
59 __cxxabiv1::__cxa_demangle(name, 0, 0, 0))
kono
parents:
diff changeset
60 return demangled_name;
kono
parents:
diff changeset
61
kono
parents:
diff changeset
62 return name;
kono
parents:
diff changeset
63 }
kono
parents:
diff changeset
64
kono
parents:
diff changeset
65 // As of now, there are no headers for the Swift runtime. Once they are
kono
parents:
diff changeset
66 // present, we will weakly link since we do not require Swift runtime to be
kono
parents:
diff changeset
67 // linked.
kono
parents:
diff changeset
68 typedef char *(*swift_demangle_ft)(const char *mangledName,
kono
parents:
diff changeset
69 size_t mangledNameLength, char *outputBuffer,
kono
parents:
diff changeset
70 size_t *outputBufferSize, uint32_t flags);
kono
parents:
diff changeset
71 static swift_demangle_ft swift_demangle_f;
kono
parents:
diff changeset
72
kono
parents:
diff changeset
73 // This must not happen lazily at symbolication time, because dlsym uses
kono
parents:
diff changeset
74 // malloc and thread-local storage, which is not a good thing to do during
kono
parents:
diff changeset
75 // symbolication.
kono
parents:
diff changeset
76 static void InitializeSwiftDemangler() {
kono
parents:
diff changeset
77 swift_demangle_f = (swift_demangle_ft)dlsym(RTLD_DEFAULT, "swift_demangle");
kono
parents:
diff changeset
78 }
kono
parents:
diff changeset
79
kono
parents:
diff changeset
80 // Attempts to demangle a Swift name. The demangler will return nullptr if a
kono
parents:
diff changeset
81 // non-Swift name is passed in.
kono
parents:
diff changeset
82 const char *DemangleSwift(const char *name) {
kono
parents:
diff changeset
83 if (!name) return nullptr;
kono
parents:
diff changeset
84
kono
parents:
diff changeset
85 // Check if we are dealing with a Swift mangled name first.
kono
parents:
diff changeset
86 if (name[0] != '_' || name[1] != 'T') {
kono
parents:
diff changeset
87 return nullptr;
kono
parents:
diff changeset
88 }
kono
parents:
diff changeset
89
kono
parents:
diff changeset
90 if (swift_demangle_f)
kono
parents:
diff changeset
91 return swift_demangle_f(name, internal_strlen(name), 0, 0, 0);
kono
parents:
diff changeset
92
kono
parents:
diff changeset
93 return nullptr;
kono
parents:
diff changeset
94 }
kono
parents:
diff changeset
95
kono
parents:
diff changeset
96 const char *DemangleSwiftAndCXX(const char *name) {
kono
parents:
diff changeset
97 if (!name) return nullptr;
kono
parents:
diff changeset
98 if (const char *swift_demangled_name = DemangleSwift(name))
kono
parents:
diff changeset
99 return swift_demangled_name;
kono
parents:
diff changeset
100 return DemangleCXXABI(name);
kono
parents:
diff changeset
101 }
kono
parents:
diff changeset
102
kono
parents:
diff changeset
103 static bool CreateTwoHighNumberedPipes(int *infd_, int *outfd_) {
kono
parents:
diff changeset
104 int *infd = NULL;
kono
parents:
diff changeset
105 int *outfd = NULL;
kono
parents:
diff changeset
106 // The client program may close its stdin and/or stdout and/or stderr
kono
parents:
diff changeset
107 // thus allowing socketpair to reuse file descriptors 0, 1 or 2.
kono
parents:
diff changeset
108 // In this case the communication between the forked processes may be
kono
parents:
diff changeset
109 // broken if either the parent or the child tries to close or duplicate
kono
parents:
diff changeset
110 // these descriptors. The loop below produces two pairs of file
kono
parents:
diff changeset
111 // descriptors, each greater than 2 (stderr).
kono
parents:
diff changeset
112 int sock_pair[5][2];
kono
parents:
diff changeset
113 for (int i = 0; i < 5; i++) {
kono
parents:
diff changeset
114 if (pipe(sock_pair[i]) == -1) {
kono
parents:
diff changeset
115 for (int j = 0; j < i; j++) {
kono
parents:
diff changeset
116 internal_close(sock_pair[j][0]);
kono
parents:
diff changeset
117 internal_close(sock_pair[j][1]);
kono
parents:
diff changeset
118 }
kono
parents:
diff changeset
119 return false;
kono
parents:
diff changeset
120 } else if (sock_pair[i][0] > 2 && sock_pair[i][1] > 2) {
kono
parents:
diff changeset
121 if (infd == NULL) {
kono
parents:
diff changeset
122 infd = sock_pair[i];
kono
parents:
diff changeset
123 } else {
kono
parents:
diff changeset
124 outfd = sock_pair[i];
kono
parents:
diff changeset
125 for (int j = 0; j < i; j++) {
kono
parents:
diff changeset
126 if (sock_pair[j] == infd) continue;
kono
parents:
diff changeset
127 internal_close(sock_pair[j][0]);
kono
parents:
diff changeset
128 internal_close(sock_pair[j][1]);
kono
parents:
diff changeset
129 }
kono
parents:
diff changeset
130 break;
kono
parents:
diff changeset
131 }
kono
parents:
diff changeset
132 }
kono
parents:
diff changeset
133 }
kono
parents:
diff changeset
134 CHECK(infd);
kono
parents:
diff changeset
135 CHECK(outfd);
kono
parents:
diff changeset
136 infd_[0] = infd[0];
kono
parents:
diff changeset
137 infd_[1] = infd[1];
kono
parents:
diff changeset
138 outfd_[0] = outfd[0];
kono
parents:
diff changeset
139 outfd_[1] = outfd[1];
kono
parents:
diff changeset
140 return true;
kono
parents:
diff changeset
141 }
kono
parents:
diff changeset
142
kono
parents:
diff changeset
143 bool SymbolizerProcess::StartSymbolizerSubprocess() {
kono
parents:
diff changeset
144 if (!FileExists(path_)) {
kono
parents:
diff changeset
145 if (!reported_invalid_path_) {
kono
parents:
diff changeset
146 Report("WARNING: invalid path to external symbolizer!\n");
kono
parents:
diff changeset
147 reported_invalid_path_ = true;
kono
parents:
diff changeset
148 }
kono
parents:
diff changeset
149 return false;
kono
parents:
diff changeset
150 }
kono
parents:
diff changeset
151
kono
parents:
diff changeset
152 int pid = -1;
kono
parents:
diff changeset
153
kono
parents:
diff changeset
154 int infd[2];
kono
parents:
diff changeset
155 internal_memset(&infd, 0, sizeof(infd));
kono
parents:
diff changeset
156 int outfd[2];
kono
parents:
diff changeset
157 internal_memset(&outfd, 0, sizeof(outfd));
kono
parents:
diff changeset
158 if (!CreateTwoHighNumberedPipes(infd, outfd)) {
kono
parents:
diff changeset
159 Report("WARNING: Can't create a socket pair to start "
kono
parents:
diff changeset
160 "external symbolizer (errno: %d)\n", errno);
kono
parents:
diff changeset
161 return false;
kono
parents:
diff changeset
162 }
kono
parents:
diff changeset
163
kono
parents:
diff changeset
164 if (use_forkpty_) {
kono
parents:
diff changeset
165 #if SANITIZER_MAC
kono
parents:
diff changeset
166 fd_t fd = kInvalidFd;
kono
parents:
diff changeset
167
kono
parents:
diff changeset
168 // forkpty redirects stdout and stderr into a single stream, so we would
kono
parents:
diff changeset
169 // receive error messages as standard replies. To avoid that, let's dup
kono
parents:
diff changeset
170 // stderr and restore it in the child.
kono
parents:
diff changeset
171 int saved_stderr = dup(STDERR_FILENO);
kono
parents:
diff changeset
172 CHECK_GE(saved_stderr, 0);
kono
parents:
diff changeset
173
kono
parents:
diff changeset
174 // We only need one pipe, for stdin of the child.
kono
parents:
diff changeset
175 close(outfd[0]);
kono
parents:
diff changeset
176 close(outfd[1]);
kono
parents:
diff changeset
177
kono
parents:
diff changeset
178 // Use forkpty to disable buffering in the new terminal.
kono
parents:
diff changeset
179 pid = internal_forkpty(&fd);
kono
parents:
diff changeset
180 if (pid == -1) {
kono
parents:
diff changeset
181 // forkpty() failed.
kono
parents:
diff changeset
182 Report("WARNING: failed to fork external symbolizer (errno: %d)\n",
kono
parents:
diff changeset
183 errno);
kono
parents:
diff changeset
184 return false;
kono
parents:
diff changeset
185 } else if (pid == 0) {
kono
parents:
diff changeset
186 // Child subprocess.
kono
parents:
diff changeset
187
kono
parents:
diff changeset
188 // infd[0] is the child's reading end.
kono
parents:
diff changeset
189 close(infd[1]);
kono
parents:
diff changeset
190
kono
parents:
diff changeset
191 // Set up stdin to read from the pipe.
kono
parents:
diff changeset
192 CHECK_GE(dup2(infd[0], STDIN_FILENO), 0);
kono
parents:
diff changeset
193 close(infd[0]);
kono
parents:
diff changeset
194
kono
parents:
diff changeset
195 // Restore stderr.
kono
parents:
diff changeset
196 CHECK_GE(dup2(saved_stderr, STDERR_FILENO), 0);
kono
parents:
diff changeset
197 close(saved_stderr);
kono
parents:
diff changeset
198
kono
parents:
diff changeset
199 const char *argv[kArgVMax];
kono
parents:
diff changeset
200 GetArgV(path_, argv);
kono
parents:
diff changeset
201 execv(path_, const_cast<char **>(&argv[0]));
kono
parents:
diff changeset
202 internal__exit(1);
kono
parents:
diff changeset
203 }
kono
parents:
diff changeset
204
kono
parents:
diff changeset
205 // Input for the child, infd[1] is our writing end.
kono
parents:
diff changeset
206 output_fd_ = infd[1];
kono
parents:
diff changeset
207 close(infd[0]);
kono
parents:
diff changeset
208
kono
parents:
diff changeset
209 // Continue execution in parent process.
kono
parents:
diff changeset
210 input_fd_ = fd;
kono
parents:
diff changeset
211
kono
parents:
diff changeset
212 close(saved_stderr);
kono
parents:
diff changeset
213
kono
parents:
diff changeset
214 // Disable echo in the new terminal, disable CR.
kono
parents:
diff changeset
215 struct termios termflags;
kono
parents:
diff changeset
216 tcgetattr(fd, &termflags);
kono
parents:
diff changeset
217 termflags.c_oflag &= ~ONLCR;
kono
parents:
diff changeset
218 termflags.c_lflag &= ~ECHO;
kono
parents:
diff changeset
219 tcsetattr(fd, TCSANOW, &termflags);
kono
parents:
diff changeset
220 #else // SANITIZER_MAC
kono
parents:
diff changeset
221 UNIMPLEMENTED();
kono
parents:
diff changeset
222 #endif // SANITIZER_MAC
kono
parents:
diff changeset
223 } else {
kono
parents:
diff changeset
224 const char *argv[kArgVMax];
kono
parents:
diff changeset
225 GetArgV(path_, argv);
kono
parents:
diff changeset
226 pid = StartSubprocess(path_, argv, /* stdin */ outfd[0],
kono
parents:
diff changeset
227 /* stdout */ infd[1]);
kono
parents:
diff changeset
228 if (pid < 0) {
kono
parents:
diff changeset
229 internal_close(infd[0]);
kono
parents:
diff changeset
230 internal_close(outfd[1]);
kono
parents:
diff changeset
231 return false;
kono
parents:
diff changeset
232 }
kono
parents:
diff changeset
233
kono
parents:
diff changeset
234 input_fd_ = infd[0];
kono
parents:
diff changeset
235 output_fd_ = outfd[1];
kono
parents:
diff changeset
236 }
kono
parents:
diff changeset
237
kono
parents:
diff changeset
238 CHECK_GT(pid, 0);
kono
parents:
diff changeset
239
kono
parents:
diff changeset
240 // Check that symbolizer subprocess started successfully.
kono
parents:
diff changeset
241 SleepForMillis(kSymbolizerStartupTimeMillis);
kono
parents:
diff changeset
242 if (!IsProcessRunning(pid)) {
kono
parents:
diff changeset
243 // Either waitpid failed, or child has already exited.
kono
parents:
diff changeset
244 Report("WARNING: external symbolizer didn't start up correctly!\n");
kono
parents:
diff changeset
245 return false;
kono
parents:
diff changeset
246 }
kono
parents:
diff changeset
247
kono
parents:
diff changeset
248 return true;
kono
parents:
diff changeset
249 }
kono
parents:
diff changeset
250
kono
parents:
diff changeset
251 class Addr2LineProcess : public SymbolizerProcess {
kono
parents:
diff changeset
252 public:
kono
parents:
diff changeset
253 Addr2LineProcess(const char *path, const char *module_name)
kono
parents:
diff changeset
254 : SymbolizerProcess(path), module_name_(internal_strdup(module_name)) {}
kono
parents:
diff changeset
255
kono
parents:
diff changeset
256 const char *module_name() const { return module_name_; }
kono
parents:
diff changeset
257
kono
parents:
diff changeset
258 private:
kono
parents:
diff changeset
259 void GetArgV(const char *path_to_binary,
kono
parents:
diff changeset
260 const char *(&argv)[kArgVMax]) const override {
kono
parents:
diff changeset
261 int i = 0;
kono
parents:
diff changeset
262 argv[i++] = path_to_binary;
kono
parents:
diff changeset
263 argv[i++] = "-iCfe";
kono
parents:
diff changeset
264 argv[i++] = module_name_;
kono
parents:
diff changeset
265 argv[i++] = nullptr;
kono
parents:
diff changeset
266 }
kono
parents:
diff changeset
267
kono
parents:
diff changeset
268 bool ReachedEndOfOutput(const char *buffer, uptr length) const override;
kono
parents:
diff changeset
269
kono
parents:
diff changeset
270 bool ReadFromSymbolizer(char *buffer, uptr max_length) override {
kono
parents:
diff changeset
271 if (!SymbolizerProcess::ReadFromSymbolizer(buffer, max_length))
kono
parents:
diff changeset
272 return false;
kono
parents:
diff changeset
273 // The returned buffer is empty when output is valid, but exceeds
kono
parents:
diff changeset
274 // max_length.
kono
parents:
diff changeset
275 if (*buffer == '\0')
kono
parents:
diff changeset
276 return true;
kono
parents:
diff changeset
277 // We should cut out output_terminator_ at the end of given buffer,
kono
parents:
diff changeset
278 // appended by addr2line to mark the end of its meaningful output.
kono
parents:
diff changeset
279 // We cannot scan buffer from it's beginning, because it is legal for it
kono
parents:
diff changeset
280 // to start with output_terminator_ in case given offset is invalid. So,
kono
parents:
diff changeset
281 // scanning from second character.
kono
parents:
diff changeset
282 char *garbage = internal_strstr(buffer + 1, output_terminator_);
kono
parents:
diff changeset
283 // This should never be NULL since buffer must end up with
kono
parents:
diff changeset
284 // output_terminator_.
kono
parents:
diff changeset
285 CHECK(garbage);
kono
parents:
diff changeset
286 // Trim the buffer.
kono
parents:
diff changeset
287 garbage[0] = '\0';
kono
parents:
diff changeset
288 return true;
kono
parents:
diff changeset
289 }
kono
parents:
diff changeset
290
kono
parents:
diff changeset
291 const char *module_name_; // Owned, leaked.
kono
parents:
diff changeset
292 static const char output_terminator_[];
kono
parents:
diff changeset
293 };
kono
parents:
diff changeset
294
kono
parents:
diff changeset
295 const char Addr2LineProcess::output_terminator_[] = "??\n??:0\n";
kono
parents:
diff changeset
296
kono
parents:
diff changeset
297 bool Addr2LineProcess::ReachedEndOfOutput(const char *buffer,
kono
parents:
diff changeset
298 uptr length) const {
kono
parents:
diff changeset
299 const size_t kTerminatorLen = sizeof(output_terminator_) - 1;
kono
parents:
diff changeset
300 // Skip, if we read just kTerminatorLen bytes, because Addr2Line output
kono
parents:
diff changeset
301 // should consist at least of two pairs of lines:
kono
parents:
diff changeset
302 // 1. First one, corresponding to given offset to be symbolized
kono
parents:
diff changeset
303 // (may be equal to output_terminator_, if offset is not valid).
kono
parents:
diff changeset
304 // 2. Second one for output_terminator_, itself to mark the end of output.
kono
parents:
diff changeset
305 if (length <= kTerminatorLen) return false;
kono
parents:
diff changeset
306 // Addr2Line output should end up with output_terminator_.
kono
parents:
diff changeset
307 return !internal_memcmp(buffer + length - kTerminatorLen,
kono
parents:
diff changeset
308 output_terminator_, kTerminatorLen);
kono
parents:
diff changeset
309 }
kono
parents:
diff changeset
310
kono
parents:
diff changeset
311 class Addr2LinePool : public SymbolizerTool {
kono
parents:
diff changeset
312 public:
kono
parents:
diff changeset
313 explicit Addr2LinePool(const char *addr2line_path,
kono
parents:
diff changeset
314 LowLevelAllocator *allocator)
kono
parents:
diff changeset
315 : addr2line_path_(addr2line_path), allocator_(allocator),
kono
parents:
diff changeset
316 addr2line_pool_(16) {}
kono
parents:
diff changeset
317
kono
parents:
diff changeset
318 bool SymbolizePC(uptr addr, SymbolizedStack *stack) override {
kono
parents:
diff changeset
319 if (const char *buf =
kono
parents:
diff changeset
320 SendCommand(stack->info.module, stack->info.module_offset)) {
kono
parents:
diff changeset
321 ParseSymbolizePCOutput(buf, stack);
kono
parents:
diff changeset
322 return true;
kono
parents:
diff changeset
323 }
kono
parents:
diff changeset
324 return false;
kono
parents:
diff changeset
325 }
kono
parents:
diff changeset
326
kono
parents:
diff changeset
327 bool SymbolizeData(uptr addr, DataInfo *info) override {
kono
parents:
diff changeset
328 return false;
kono
parents:
diff changeset
329 }
kono
parents:
diff changeset
330
kono
parents:
diff changeset
331 private:
kono
parents:
diff changeset
332 const char *SendCommand(const char *module_name, uptr module_offset) {
kono
parents:
diff changeset
333 Addr2LineProcess *addr2line = 0;
kono
parents:
diff changeset
334 for (uptr i = 0; i < addr2line_pool_.size(); ++i) {
kono
parents:
diff changeset
335 if (0 ==
kono
parents:
diff changeset
336 internal_strcmp(module_name, addr2line_pool_[i]->module_name())) {
kono
parents:
diff changeset
337 addr2line = addr2line_pool_[i];
kono
parents:
diff changeset
338 break;
kono
parents:
diff changeset
339 }
kono
parents:
diff changeset
340 }
kono
parents:
diff changeset
341 if (!addr2line) {
kono
parents:
diff changeset
342 addr2line =
kono
parents:
diff changeset
343 new(*allocator_) Addr2LineProcess(addr2line_path_, module_name);
kono
parents:
diff changeset
344 addr2line_pool_.push_back(addr2line);
kono
parents:
diff changeset
345 }
kono
parents:
diff changeset
346 CHECK_EQ(0, internal_strcmp(module_name, addr2line->module_name()));
kono
parents:
diff changeset
347 char buffer[kBufferSize];
kono
parents:
diff changeset
348 internal_snprintf(buffer, kBufferSize, "0x%zx\n0x%zx\n",
kono
parents:
diff changeset
349 module_offset, dummy_address_);
kono
parents:
diff changeset
350 return addr2line->SendCommand(buffer);
kono
parents:
diff changeset
351 }
kono
parents:
diff changeset
352
kono
parents:
diff changeset
353 static const uptr kBufferSize = 64;
kono
parents:
diff changeset
354 const char *addr2line_path_;
kono
parents:
diff changeset
355 LowLevelAllocator *allocator_;
kono
parents:
diff changeset
356 InternalMmapVector<Addr2LineProcess*> addr2line_pool_;
kono
parents:
diff changeset
357 static const uptr dummy_address_ =
kono
parents:
diff changeset
358 FIRST_32_SECOND_64(UINT32_MAX, UINT64_MAX);
kono
parents:
diff changeset
359 };
kono
parents:
diff changeset
360
kono
parents:
diff changeset
361 #if SANITIZER_SUPPORTS_WEAK_HOOKS
kono
parents:
diff changeset
362 extern "C" {
kono
parents:
diff changeset
363 SANITIZER_INTERFACE_ATTRIBUTE SANITIZER_WEAK_ATTRIBUTE
kono
parents:
diff changeset
364 bool __sanitizer_symbolize_code(const char *ModuleName, u64 ModuleOffset,
kono
parents:
diff changeset
365 char *Buffer, int MaxLength);
kono
parents:
diff changeset
366 SANITIZER_INTERFACE_ATTRIBUTE SANITIZER_WEAK_ATTRIBUTE
kono
parents:
diff changeset
367 bool __sanitizer_symbolize_data(const char *ModuleName, u64 ModuleOffset,
kono
parents:
diff changeset
368 char *Buffer, int MaxLength);
kono
parents:
diff changeset
369 SANITIZER_INTERFACE_ATTRIBUTE SANITIZER_WEAK_ATTRIBUTE
kono
parents:
diff changeset
370 void __sanitizer_symbolize_flush();
kono
parents:
diff changeset
371 SANITIZER_INTERFACE_ATTRIBUTE SANITIZER_WEAK_ATTRIBUTE
kono
parents:
diff changeset
372 int __sanitizer_symbolize_demangle(const char *Name, char *Buffer,
kono
parents:
diff changeset
373 int MaxLength);
kono
parents:
diff changeset
374 } // extern "C"
kono
parents:
diff changeset
375
kono
parents:
diff changeset
376 class InternalSymbolizer : public SymbolizerTool {
kono
parents:
diff changeset
377 public:
kono
parents:
diff changeset
378 static InternalSymbolizer *get(LowLevelAllocator *alloc) {
kono
parents:
diff changeset
379 if (__sanitizer_symbolize_code != 0 &&
kono
parents:
diff changeset
380 __sanitizer_symbolize_data != 0) {
kono
parents:
diff changeset
381 return new(*alloc) InternalSymbolizer();
kono
parents:
diff changeset
382 }
kono
parents:
diff changeset
383 return 0;
kono
parents:
diff changeset
384 }
kono
parents:
diff changeset
385
kono
parents:
diff changeset
386 bool SymbolizePC(uptr addr, SymbolizedStack *stack) override {
kono
parents:
diff changeset
387 bool result = __sanitizer_symbolize_code(
kono
parents:
diff changeset
388 stack->info.module, stack->info.module_offset, buffer_, kBufferSize);
kono
parents:
diff changeset
389 if (result) ParseSymbolizePCOutput(buffer_, stack);
kono
parents:
diff changeset
390 return result;
kono
parents:
diff changeset
391 }
kono
parents:
diff changeset
392
kono
parents:
diff changeset
393 bool SymbolizeData(uptr addr, DataInfo *info) override {
kono
parents:
diff changeset
394 bool result = __sanitizer_symbolize_data(info->module, info->module_offset,
kono
parents:
diff changeset
395 buffer_, kBufferSize);
kono
parents:
diff changeset
396 if (result) {
kono
parents:
diff changeset
397 ParseSymbolizeDataOutput(buffer_, info);
kono
parents:
diff changeset
398 info->start += (addr - info->module_offset); // Add the base address.
kono
parents:
diff changeset
399 }
kono
parents:
diff changeset
400 return result;
kono
parents:
diff changeset
401 }
kono
parents:
diff changeset
402
kono
parents:
diff changeset
403 void Flush() override {
kono
parents:
diff changeset
404 if (__sanitizer_symbolize_flush)
kono
parents:
diff changeset
405 __sanitizer_symbolize_flush();
kono
parents:
diff changeset
406 }
kono
parents:
diff changeset
407
kono
parents:
diff changeset
408 const char *Demangle(const char *name) override {
kono
parents:
diff changeset
409 if (__sanitizer_symbolize_demangle) {
kono
parents:
diff changeset
410 for (uptr res_length = 1024;
kono
parents:
diff changeset
411 res_length <= InternalSizeClassMap::kMaxSize;) {
kono
parents:
diff changeset
412 char *res_buff = static_cast<char*>(InternalAlloc(res_length));
kono
parents:
diff changeset
413 uptr req_length =
kono
parents:
diff changeset
414 __sanitizer_symbolize_demangle(name, res_buff, res_length);
kono
parents:
diff changeset
415 if (req_length > res_length) {
kono
parents:
diff changeset
416 res_length = req_length + 1;
kono
parents:
diff changeset
417 InternalFree(res_buff);
kono
parents:
diff changeset
418 continue;
kono
parents:
diff changeset
419 }
kono
parents:
diff changeset
420 return res_buff;
kono
parents:
diff changeset
421 }
kono
parents:
diff changeset
422 }
kono
parents:
diff changeset
423 return name;
kono
parents:
diff changeset
424 }
kono
parents:
diff changeset
425
kono
parents:
diff changeset
426 private:
kono
parents:
diff changeset
427 InternalSymbolizer() { }
kono
parents:
diff changeset
428
kono
parents:
diff changeset
429 static const int kBufferSize = 16 * 1024;
kono
parents:
diff changeset
430 char buffer_[kBufferSize];
kono
parents:
diff changeset
431 };
kono
parents:
diff changeset
432 #else // SANITIZER_SUPPORTS_WEAK_HOOKS
kono
parents:
diff changeset
433
kono
parents:
diff changeset
434 class InternalSymbolizer : public SymbolizerTool {
kono
parents:
diff changeset
435 public:
kono
parents:
diff changeset
436 static InternalSymbolizer *get(LowLevelAllocator *alloc) { return 0; }
kono
parents:
diff changeset
437 };
kono
parents:
diff changeset
438
kono
parents:
diff changeset
439 #endif // SANITIZER_SUPPORTS_WEAK_HOOKS
kono
parents:
diff changeset
440
kono
parents:
diff changeset
441 const char *Symbolizer::PlatformDemangle(const char *name) {
kono
parents:
diff changeset
442 return DemangleSwiftAndCXX(name);
kono
parents:
diff changeset
443 }
kono
parents:
diff changeset
444
kono
parents:
diff changeset
445 void Symbolizer::PlatformPrepareForSandboxing() {}
kono
parents:
diff changeset
446
kono
parents:
diff changeset
447 static SymbolizerTool *ChooseExternalSymbolizer(LowLevelAllocator *allocator) {
kono
parents:
diff changeset
448 const char *path = common_flags()->external_symbolizer_path;
kono
parents:
diff changeset
449 const char *binary_name = path ? StripModuleName(path) : "";
kono
parents:
diff changeset
450 if (path && path[0] == '\0') {
kono
parents:
diff changeset
451 VReport(2, "External symbolizer is explicitly disabled.\n");
kono
parents:
diff changeset
452 return nullptr;
kono
parents:
diff changeset
453 } else if (!internal_strcmp(binary_name, "llvm-symbolizer")) {
kono
parents:
diff changeset
454 VReport(2, "Using llvm-symbolizer at user-specified path: %s\n", path);
kono
parents:
diff changeset
455 return new(*allocator) LLVMSymbolizer(path, allocator);
kono
parents:
diff changeset
456 } else if (!internal_strcmp(binary_name, "atos")) {
kono
parents:
diff changeset
457 #if SANITIZER_MAC
kono
parents:
diff changeset
458 VReport(2, "Using atos at user-specified path: %s\n", path);
kono
parents:
diff changeset
459 return new(*allocator) AtosSymbolizer(path, allocator);
kono
parents:
diff changeset
460 #else // SANITIZER_MAC
kono
parents:
diff changeset
461 Report("ERROR: Using `atos` is only supported on Darwin.\n");
kono
parents:
diff changeset
462 Die();
kono
parents:
diff changeset
463 #endif // SANITIZER_MAC
kono
parents:
diff changeset
464 } else if (!internal_strcmp(binary_name, "addr2line")) {
kono
parents:
diff changeset
465 VReport(2, "Using addr2line at user-specified path: %s\n", path);
kono
parents:
diff changeset
466 return new(*allocator) Addr2LinePool(path, allocator);
kono
parents:
diff changeset
467 } else if (path) {
kono
parents:
diff changeset
468 Report("ERROR: External symbolizer path is set to '%s' which isn't "
kono
parents:
diff changeset
469 "a known symbolizer. Please set the path to the llvm-symbolizer "
kono
parents:
diff changeset
470 "binary or other known tool.\n", path);
kono
parents:
diff changeset
471 Die();
kono
parents:
diff changeset
472 }
kono
parents:
diff changeset
473
kono
parents:
diff changeset
474 // Otherwise symbolizer program is unknown, let's search $PATH
kono
parents:
diff changeset
475 CHECK(path == nullptr);
kono
parents:
diff changeset
476 #if SANITIZER_MAC
kono
parents:
diff changeset
477 if (const char *found_path = FindPathToBinary("atos")) {
kono
parents:
diff changeset
478 VReport(2, "Using atos found at: %s\n", found_path);
kono
parents:
diff changeset
479 return new(*allocator) AtosSymbolizer(found_path, allocator);
kono
parents:
diff changeset
480 }
kono
parents:
diff changeset
481 #endif // SANITIZER_MAC
kono
parents:
diff changeset
482 if (const char *found_path = FindPathToBinary("llvm-symbolizer")) {
kono
parents:
diff changeset
483 VReport(2, "Using llvm-symbolizer found at: %s\n", found_path);
kono
parents:
diff changeset
484 return new(*allocator) LLVMSymbolizer(found_path, allocator);
kono
parents:
diff changeset
485 }
kono
parents:
diff changeset
486 if (common_flags()->allow_addr2line) {
kono
parents:
diff changeset
487 if (const char *found_path = FindPathToBinary("addr2line")) {
kono
parents:
diff changeset
488 VReport(2, "Using addr2line found at: %s\n", found_path);
kono
parents:
diff changeset
489 return new(*allocator) Addr2LinePool(found_path, allocator);
kono
parents:
diff changeset
490 }
kono
parents:
diff changeset
491 }
kono
parents:
diff changeset
492 return nullptr;
kono
parents:
diff changeset
493 }
kono
parents:
diff changeset
494
kono
parents:
diff changeset
495 static void ChooseSymbolizerTools(IntrusiveList<SymbolizerTool> *list,
kono
parents:
diff changeset
496 LowLevelAllocator *allocator) {
kono
parents:
diff changeset
497 if (!common_flags()->symbolize) {
kono
parents:
diff changeset
498 VReport(2, "Symbolizer is disabled.\n");
kono
parents:
diff changeset
499 return;
kono
parents:
diff changeset
500 }
kono
parents:
diff changeset
501 if (IsAllocatorOutOfMemory()) {
kono
parents:
diff changeset
502 VReport(2, "Cannot use internal symbolizer: out of memory\n");
kono
parents:
diff changeset
503 } else if (SymbolizerTool *tool = InternalSymbolizer::get(allocator)) {
kono
parents:
diff changeset
504 VReport(2, "Using internal symbolizer.\n");
kono
parents:
diff changeset
505 list->push_back(tool);
kono
parents:
diff changeset
506 return;
kono
parents:
diff changeset
507 }
kono
parents:
diff changeset
508 if (SymbolizerTool *tool = LibbacktraceSymbolizer::get(allocator)) {
kono
parents:
diff changeset
509 VReport(2, "Using libbacktrace symbolizer.\n");
kono
parents:
diff changeset
510 list->push_back(tool);
kono
parents:
diff changeset
511 return;
kono
parents:
diff changeset
512 }
kono
parents:
diff changeset
513
kono
parents:
diff changeset
514 if (SymbolizerTool *tool = ChooseExternalSymbolizer(allocator)) {
kono
parents:
diff changeset
515 list->push_back(tool);
kono
parents:
diff changeset
516 }
kono
parents:
diff changeset
517
kono
parents:
diff changeset
518 #if SANITIZER_MAC
kono
parents:
diff changeset
519 VReport(2, "Using dladdr symbolizer.\n");
kono
parents:
diff changeset
520 list->push_back(new(*allocator) DlAddrSymbolizer());
kono
parents:
diff changeset
521 #endif // SANITIZER_MAC
kono
parents:
diff changeset
522 }
kono
parents:
diff changeset
523
kono
parents:
diff changeset
524 Symbolizer *Symbolizer::PlatformInit() {
kono
parents:
diff changeset
525 IntrusiveList<SymbolizerTool> list;
kono
parents:
diff changeset
526 list.clear();
kono
parents:
diff changeset
527 ChooseSymbolizerTools(&list, &symbolizer_allocator_);
kono
parents:
diff changeset
528 return new(symbolizer_allocator_) Symbolizer(list);
kono
parents:
diff changeset
529 }
kono
parents:
diff changeset
530
kono
parents:
diff changeset
531 void Symbolizer::LateInitialize() {
kono
parents:
diff changeset
532 Symbolizer::GetOrInit();
kono
parents:
diff changeset
533 InitializeSwiftDemangler();
kono
parents:
diff changeset
534 }
kono
parents:
diff changeset
535
kono
parents:
diff changeset
536 } // namespace __sanitizer
kono
parents:
diff changeset
537
kono
parents:
diff changeset
538 #endif // SANITIZER_POSIX