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