sanitizer_symbolizer_mac.cpp revision 360784
1129202Scognet//===-- sanitizer_symbolizer_mac.cpp --------------------------------------===//
2129202Scognet//
3129202Scognet// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4129202Scognet// See https://llvm.org/LICENSE.txt for license information.
5129202Scognet// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6129202Scognet//
7129202Scognet//===----------------------------------------------------------------------===//
8129202Scognet//
9129202Scognet// This file is shared between various sanitizers' runtime libraries.
10129202Scognet//
11129202Scognet// Implementation of Mac-specific "atos" symbolizer.
12129202Scognet//===----------------------------------------------------------------------===//
13129202Scognet
14129202Scognet#include "sanitizer_platform.h"
15129202Scognet#if SANITIZER_MAC
16129202Scognet
17129202Scognet#include "sanitizer_allocator_internal.h"
18129202Scognet#include "sanitizer_mac.h"
19129202Scognet#include "sanitizer_symbolizer_mac.h"
20129202Scognet
21129202Scognet#include <dlfcn.h>
22129202Scognet#include <errno.h>
23129202Scognet#include <stdlib.h>
24129202Scognet#include <sys/wait.h>
25129202Scognet#include <unistd.h>
26129202Scognet#include <util.h>
27129202Scognet
28129202Scognetnamespace __sanitizer {
29129202Scognet
30129202Scognetbool DlAddrSymbolizer::SymbolizePC(uptr addr, SymbolizedStack *stack) {
31129202Scognet  Dl_info info;
32129202Scognet  int result = dladdr((const void *)addr, &info);
33129202Scognet  if (!result) return false;
34129202Scognet
35129202Scognet  CHECK(addr >= reinterpret_cast<uptr>(info.dli_saddr));
36129202Scognet  stack->info.function_offset = addr - reinterpret_cast<uptr>(info.dli_saddr);
37129202Scognet  const char *demangled = DemangleSwiftAndCXX(info.dli_sname);
38129202Scognet  if (!demangled) return false;
39129202Scognet  stack->info.function = internal_strdup(demangled);
40129202Scognet  return true;
41129202Scognet}
42137286Scognet
43129202Scognetbool DlAddrSymbolizer::SymbolizeData(uptr addr, DataInfo *datainfo) {
44129202Scognet  Dl_info info;
45129202Scognet  int result = dladdr((const void *)addr, &info);
46129202Scognet  if (!result) return false;
47129202Scognet  const char *demangled = DemangleSwiftAndCXX(info.dli_sname);
48129202Scognet  datainfo->name = internal_strdup(demangled);
49129202Scognet  datainfo->start = (uptr)info.dli_saddr;
50129202Scognet  return true;
51129202Scognet}
52129202Scognet
53129202Scognetclass AtosSymbolizerProcess : public SymbolizerProcess {
54129202Scognet public:
55129202Scognet  explicit AtosSymbolizerProcess(const char *path, pid_t parent_pid)
56129202Scognet      : SymbolizerProcess(path, /*use_posix_spawn*/ true) {
57129202Scognet    // Put the string command line argument in the object so that it outlives
58129202Scognet    // the call to GetArgV.
59129202Scognet    internal_snprintf(pid_str_, sizeof(pid_str_), "%d", parent_pid);
60129202Scognet  }
61129202Scognet
62129202Scognet private:
63129202Scognet  bool StartSymbolizerSubprocess() override {
64129202Scognet    // Configure sandbox before starting atos process.
65129202Scognet    return SymbolizerProcess::StartSymbolizerSubprocess();
66129202Scognet  }
67129202Scognet
68137286Scognet  bool ReachedEndOfOutput(const char *buffer, uptr length) const override {
69137286Scognet    return (length >= 1 && buffer[length - 1] == '\n');
70129202Scognet  }
71129202Scognet
72129202Scognet  void GetArgV(const char *path_to_binary,
73129202Scognet               const char *(&argv)[kArgVMax]) const override {
74129202Scognet    int i = 0;
75129202Scognet    argv[i++] = path_to_binary;
76129202Scognet    argv[i++] = "-p";
77137286Scognet    argv[i++] = &pid_str_[0];
78137286Scognet    if (GetMacosVersion() == MACOS_VERSION_MAVERICKS) {
79137286Scognet      // On Mavericks atos prints a deprecation warning which we suppress by
80129202Scognet      // passing -d. The warning isn't present on other OSX versions, even the
81129202Scognet      // newer ones.
82129202Scognet      argv[i++] = "-d";
83129202Scognet    }
84129202Scognet    argv[i++] = nullptr;
85129202Scognet  }
86129202Scognet
87129202Scognet  char pid_str_[16];
88129202Scognet};
89129202Scognet
90static bool ParseCommandOutput(const char *str, uptr addr, char **out_name,
91                               char **out_module, char **out_file, uptr *line,
92                               uptr *start_address) {
93  // Trim ending newlines.
94  char *trim;
95  ExtractTokenUpToDelimiter(str, "\n", &trim);
96
97  // The line from `atos` is in one of these formats:
98  //   myfunction (in library.dylib) (sourcefile.c:17)
99  //   myfunction (in library.dylib) + 0x1fe
100  //   myfunction (in library.dylib) + 15
101  //   0xdeadbeef (in library.dylib) + 0x1fe
102  //   0xdeadbeef (in library.dylib) + 15
103  //   0xdeadbeef (in library.dylib)
104  //   0xdeadbeef
105
106  const char *rest = trim;
107  char *symbol_name;
108  rest = ExtractTokenUpToDelimiter(rest, " (in ", &symbol_name);
109  if (rest[0] == '\0') {
110    InternalFree(symbol_name);
111    InternalFree(trim);
112    return false;
113  }
114
115  if (internal_strncmp(symbol_name, "0x", 2) != 0)
116    *out_name = symbol_name;
117  else
118    InternalFree(symbol_name);
119  rest = ExtractTokenUpToDelimiter(rest, ") ", out_module);
120
121  if (rest[0] == '(') {
122    if (out_file) {
123      rest++;
124      rest = ExtractTokenUpToDelimiter(rest, ":", out_file);
125      char *extracted_line_number;
126      rest = ExtractTokenUpToDelimiter(rest, ")", &extracted_line_number);
127      if (line) *line = (uptr)internal_atoll(extracted_line_number);
128      InternalFree(extracted_line_number);
129    }
130  } else if (rest[0] == '+') {
131    rest += 2;
132    uptr offset = internal_atoll(rest);
133    if (start_address) *start_address = addr - offset;
134  }
135
136  InternalFree(trim);
137  return true;
138}
139
140AtosSymbolizer::AtosSymbolizer(const char *path, LowLevelAllocator *allocator)
141    : process_(new(*allocator) AtosSymbolizerProcess(path, getpid())) {}
142
143bool AtosSymbolizer::SymbolizePC(uptr addr, SymbolizedStack *stack) {
144  if (!process_) return false;
145  if (addr == 0) return false;
146  char command[32];
147  internal_snprintf(command, sizeof(command), "0x%zx\n", addr);
148  const char *buf = process_->SendCommand(command);
149  if (!buf) return false;
150  uptr line;
151  uptr start_address = AddressInfo::kUnknown;
152  if (!ParseCommandOutput(buf, addr, &stack->info.function, &stack->info.module,
153                          &stack->info.file, &line, &start_address)) {
154    process_ = nullptr;
155    return false;
156  }
157  stack->info.line = (int)line;
158
159  if (start_address == AddressInfo::kUnknown) {
160    // Fallback to dladdr() to get function start address if atos doesn't report
161    // it.
162    Dl_info info;
163    int result = dladdr((const void *)addr, &info);
164    if (result)
165      start_address = reinterpret_cast<uptr>(info.dli_saddr);
166  }
167
168  // Only assig to `function_offset` if we were able to get the function's
169  // start address.
170  if (start_address != AddressInfo::kUnknown) {
171    CHECK(addr >= start_address);
172    stack->info.function_offset = addr - start_address;
173  }
174  return true;
175}
176
177bool AtosSymbolizer::SymbolizeData(uptr addr, DataInfo *info) {
178  if (!process_) return false;
179  char command[32];
180  internal_snprintf(command, sizeof(command), "0x%zx\n", addr);
181  const char *buf = process_->SendCommand(command);
182  if (!buf) return false;
183  if (!ParseCommandOutput(buf, addr, &info->name, &info->module, nullptr,
184                          nullptr, &info->start)) {
185    process_ = nullptr;
186    return false;
187  }
188  return true;
189}
190
191}  // namespace __sanitizer
192
193#endif  // SANITIZER_MAC
194