Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2017 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 17 | #define _GNU_SOURCE 1 |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 18 | #include <elf.h> |
| 19 | #include <inttypes.h> |
| 20 | #include <stdint.h> |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 21 | #include <string.h> |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 22 | #include <sys/types.h> |
| 23 | #include <unistd.h> |
| 24 | |
Christopher Ferris | 1cb84ce | 2017-10-24 15:36:00 -0700 | [diff] [blame] | 25 | #include <algorithm> |
| 26 | |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 27 | #include <android-base/stringprintf.h> |
| 28 | |
| 29 | #include <unwindstack/Elf.h> |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 30 | #include <unwindstack/JitDebug.h> |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 31 | #include <unwindstack/MapInfo.h> |
| 32 | #include <unwindstack/Unwinder.h> |
| 33 | |
Christopher Ferris | d70ea5e | 2018-01-30 19:47:24 -0800 | [diff] [blame] | 34 | #if !defined(NO_LIBDEXFILE_SUPPORT) |
| 35 | #include <unwindstack/DexFiles.h> |
| 36 | #endif |
| 37 | |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 38 | namespace unwindstack { |
| 39 | |
Christopher Ferris | d70ea5e | 2018-01-30 19:47:24 -0800 | [diff] [blame] | 40 | // Inject extra 'virtual' frame that represents the dex pc data. |
| 41 | // The dex pc is a magic register defined in the Mterp interpreter, |
| 42 | // and thus it will be restored/observed in the frame after it. |
| 43 | // Adding the dex frame first here will create something like: |
| 44 | // #7 pc 0015fa20 core.vdex java.util.Arrays.binarySearch+8 |
| 45 | // #8 pc 006b1ba1 libartd.so ExecuteMterpImpl+14625 |
| 46 | // #9 pc 0039a1ef libartd.so art::interpreter::Execute+719 |
| 47 | void Unwinder::FillInDexFrame() { |
| 48 | size_t frame_num = frames_.size(); |
| 49 | frames_.resize(frame_num + 1); |
| 50 | FrameData* frame = &frames_.at(frame_num); |
| 51 | |
| 52 | uint64_t dex_pc = regs_->dex_pc(); |
| 53 | frame->pc = dex_pc; |
| 54 | frame->sp = regs_->sp(); |
| 55 | |
| 56 | auto it = maps_->begin(); |
| 57 | uint64_t rel_dex_pc; |
| 58 | MapInfo* info; |
| 59 | for (; it != maps_->end(); ++it) { |
| 60 | auto entry = *it; |
| 61 | if (dex_pc >= entry->start && dex_pc < entry->end) { |
| 62 | info = entry; |
| 63 | rel_dex_pc = dex_pc - entry->start; |
| 64 | frame->map_start = entry->start; |
| 65 | frame->map_end = entry->end; |
| 66 | frame->map_offset = entry->offset; |
| 67 | frame->map_load_bias = entry->load_bias; |
| 68 | frame->map_flags = entry->flags; |
| 69 | frame->map_name = entry->name; |
| 70 | frame->rel_pc = rel_dex_pc; |
| 71 | break; |
| 72 | } |
| 73 | } |
| 74 | |
| 75 | if (it == maps_->end() || ++it == maps_->end()) { |
| 76 | return; |
| 77 | } |
| 78 | |
| 79 | auto entry = *it; |
| 80 | unwindstack::Elf* elf = entry->GetElf(process_memory_, true); |
| 81 | if (!elf->valid()) { |
| 82 | return; |
| 83 | } |
| 84 | |
| 85 | // Adjust the relative dex by the offset. |
| 86 | rel_dex_pc += entry->elf_offset; |
| 87 | |
| 88 | uint64_t dex_offset; |
| 89 | if (!elf->GetFunctionName(rel_dex_pc, &frame->function_name, &dex_offset)) { |
| 90 | return; |
| 91 | } |
| 92 | frame->function_offset = dex_offset; |
| 93 | if (frame->function_name != "$dexfile") { |
| 94 | return; |
| 95 | } |
| 96 | |
| 97 | #if !defined(NO_LIBDEXFILE_SUPPORT) |
David Srbecky | f9006ec | 2018-02-01 14:49:14 +0000 | [diff] [blame] | 98 | dex_files_->GetMethodInformation(dex_pc - dex_offset, dex_offset, info, &frame->function_name, |
| 99 | &frame->function_offset); |
Christopher Ferris | d70ea5e | 2018-01-30 19:47:24 -0800 | [diff] [blame] | 100 | #endif |
| 101 | } |
| 102 | |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 103 | void Unwinder::FillInFrame(MapInfo* map_info, Elf* elf, uint64_t adjusted_rel_pc, uint64_t func_pc) { |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 104 | size_t frame_num = frames_.size(); |
| 105 | frames_.resize(frame_num + 1); |
| 106 | FrameData* frame = &frames_.at(frame_num); |
| 107 | frame->num = frame_num; |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 108 | frame->sp = regs_->sp(); |
Christopher Ferris | c3d79f7 | 2017-11-28 19:14:54 -0800 | [diff] [blame] | 109 | frame->rel_pc = adjusted_rel_pc; |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 110 | |
| 111 | if (map_info == nullptr) { |
Christopher Ferris | c3d79f7 | 2017-11-28 19:14:54 -0800 | [diff] [blame] | 112 | frame->pc = regs_->pc(); |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 113 | return; |
| 114 | } |
| 115 | |
Christopher Ferris | c3d79f7 | 2017-11-28 19:14:54 -0800 | [diff] [blame] | 116 | frame->pc = map_info->start + adjusted_rel_pc; |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 117 | frame->map_name = map_info->name; |
Christopher Ferris | c5a3baa | 2017-10-17 18:42:03 -0700 | [diff] [blame] | 118 | frame->map_offset = map_info->offset; |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 119 | frame->map_start = map_info->start; |
| 120 | frame->map_end = map_info->end; |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 121 | frame->map_flags = map_info->flags; |
| 122 | frame->map_load_bias = elf->GetLoadBias(); |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 123 | |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 124 | if (!elf->GetFunctionName(func_pc, &frame->function_name, &frame->function_offset)) { |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 125 | frame->function_name = ""; |
| 126 | frame->function_offset = 0; |
| 127 | } |
| 128 | } |
| 129 | |
Christopher Ferris | 1cb84ce | 2017-10-24 15:36:00 -0700 | [diff] [blame] | 130 | static bool ShouldStop(const std::vector<std::string>* map_suffixes_to_ignore, |
| 131 | std::string& map_name) { |
Christopher Ferris | e69f470 | 2017-10-19 16:08:58 -0700 | [diff] [blame] | 132 | if (map_suffixes_to_ignore == nullptr) { |
| 133 | return false; |
| 134 | } |
| 135 | auto pos = map_name.find_last_of('.'); |
| 136 | if (pos == std::string::npos) { |
| 137 | return false; |
| 138 | } |
Christopher Ferris | 1cb84ce | 2017-10-24 15:36:00 -0700 | [diff] [blame] | 139 | |
| 140 | return std::find(map_suffixes_to_ignore->begin(), map_suffixes_to_ignore->end(), |
| 141 | map_name.substr(pos + 1)) != map_suffixes_to_ignore->end(); |
Christopher Ferris | e69f470 | 2017-10-19 16:08:58 -0700 | [diff] [blame] | 142 | } |
| 143 | |
Christopher Ferris | 1cb84ce | 2017-10-24 15:36:00 -0700 | [diff] [blame] | 144 | void Unwinder::Unwind(const std::vector<std::string>* initial_map_names_to_skip, |
| 145 | const std::vector<std::string>* map_suffixes_to_ignore) { |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 146 | frames_.clear(); |
Christopher Ferris | 2fcf4cf | 2018-01-23 17:52:23 -0800 | [diff] [blame] | 147 | last_error_.code = ERROR_NONE; |
| 148 | last_error_.address = 0; |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 149 | |
| 150 | bool return_address_attempt = false; |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 151 | bool adjust_pc = false; |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 152 | std::unique_ptr<JitDebug> jit_debug; |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 153 | for (; frames_.size() < max_frames_;) { |
Christopher Ferris | fda7edd | 2017-10-31 16:10:42 -0700 | [diff] [blame] | 154 | uint64_t cur_pc = regs_->pc(); |
| 155 | uint64_t cur_sp = regs_->sp(); |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 156 | |
Christopher Ferris | fda7edd | 2017-10-31 16:10:42 -0700 | [diff] [blame] | 157 | MapInfo* map_info = maps_->Find(regs_->pc()); |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 158 | uint64_t rel_pc; |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 159 | uint64_t adjusted_pc; |
Christopher Ferris | c3d79f7 | 2017-11-28 19:14:54 -0800 | [diff] [blame] | 160 | uint64_t adjusted_rel_pc; |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 161 | Elf* elf; |
| 162 | if (map_info == nullptr) { |
| 163 | rel_pc = regs_->pc(); |
Christopher Ferris | c3d79f7 | 2017-11-28 19:14:54 -0800 | [diff] [blame] | 164 | adjusted_rel_pc = rel_pc; |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 165 | adjusted_pc = rel_pc; |
Christopher Ferris | 2fcf4cf | 2018-01-23 17:52:23 -0800 | [diff] [blame] | 166 | last_error_.code = ERROR_INVALID_MAP; |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 167 | } else { |
Christopher Ferris | e69f470 | 2017-10-19 16:08:58 -0700 | [diff] [blame] | 168 | if (ShouldStop(map_suffixes_to_ignore, map_info->name)) { |
| 169 | break; |
| 170 | } |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 171 | elf = map_info->GetElf(process_memory_, true); |
| 172 | rel_pc = elf->GetRelPc(regs_->pc(), map_info); |
Christopher Ferris | c3d79f7 | 2017-11-28 19:14:54 -0800 | [diff] [blame] | 173 | if (adjust_pc) { |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 174 | adjusted_pc = regs_->GetAdjustedPc(rel_pc, elf); |
Christopher Ferris | c3d79f7 | 2017-11-28 19:14:54 -0800 | [diff] [blame] | 175 | } else { |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 176 | adjusted_pc = rel_pc; |
| 177 | } |
| 178 | adjusted_rel_pc = adjusted_pc; |
| 179 | |
| 180 | // If the pc is in an invalid elf file, try and get an Elf object |
| 181 | // using the jit debug information. |
| 182 | if (!elf->valid() && jit_debug_ != nullptr) { |
| 183 | uint64_t adjusted_jit_pc = regs_->pc() - (rel_pc - adjusted_pc); |
| 184 | Elf* jit_elf = jit_debug_->GetElf(maps_, adjusted_jit_pc); |
| 185 | if (jit_elf != nullptr) { |
| 186 | // The jit debug information requires a non relative adjusted pc. |
| 187 | adjusted_pc = adjusted_jit_pc; |
| 188 | adjusted_rel_pc = adjusted_pc - map_info->start; |
| 189 | elf = jit_elf; |
| 190 | } |
Christopher Ferris | c3d79f7 | 2017-11-28 19:14:54 -0800 | [diff] [blame] | 191 | } |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 192 | } |
| 193 | |
| 194 | if (map_info == nullptr || initial_map_names_to_skip == nullptr || |
Christopher Ferris | 1cb84ce | 2017-10-24 15:36:00 -0700 | [diff] [blame] | 195 | std::find(initial_map_names_to_skip->begin(), initial_map_names_to_skip->end(), |
| 196 | basename(map_info->name.c_str())) == initial_map_names_to_skip->end()) { |
Christopher Ferris | d70ea5e | 2018-01-30 19:47:24 -0800 | [diff] [blame] | 197 | if (regs_->dex_pc() != 0) { |
| 198 | // Add a frame to represent the dex file. |
| 199 | FillInDexFrame(); |
| 200 | } |
| 201 | |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 202 | FillInFrame(map_info, elf, adjusted_rel_pc, adjusted_pc); |
Christopher Ferris | c3d79f7 | 2017-11-28 19:14:54 -0800 | [diff] [blame] | 203 | |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 204 | // Once a frame is added, stop skipping frames. |
| 205 | initial_map_names_to_skip = nullptr; |
| 206 | } |
| 207 | adjust_pc = true; |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 208 | |
| 209 | bool stepped; |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 210 | bool in_device_map = false; |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 211 | if (map_info == nullptr) { |
| 212 | stepped = false; |
| 213 | } else { |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 214 | if (map_info->flags & MAPS_FLAGS_DEVICE_MAP) { |
| 215 | // Do not stop here, fall through in case we are |
| 216 | // in the speculative unwind path and need to remove |
| 217 | // some of the speculative frames. |
| 218 | stepped = false; |
| 219 | in_device_map = true; |
| 220 | } else { |
| 221 | MapInfo* sp_info = maps_->Find(regs_->sp()); |
| 222 | if (sp_info != nullptr && sp_info->flags & MAPS_FLAGS_DEVICE_MAP) { |
| 223 | // Do not stop here, fall through in case we are |
| 224 | // in the speculative unwind path and need to remove |
| 225 | // some of the speculative frames. |
| 226 | stepped = false; |
| 227 | in_device_map = true; |
| 228 | } else { |
| 229 | bool finished; |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 230 | stepped = elf->Step(rel_pc, adjusted_pc, map_info->elf_offset, regs_, |
Christopher Ferris | c3d79f7 | 2017-11-28 19:14:54 -0800 | [diff] [blame] | 231 | process_memory_.get(), &finished); |
Christopher Ferris | 2fcf4cf | 2018-01-23 17:52:23 -0800 | [diff] [blame] | 232 | elf->GetLastError(&last_error_); |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 233 | if (stepped && finished) { |
| 234 | break; |
| 235 | } |
| 236 | } |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 237 | } |
| 238 | } |
Christopher Ferris | fda7edd | 2017-10-31 16:10:42 -0700 | [diff] [blame] | 239 | |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 240 | if (!stepped) { |
| 241 | if (return_address_attempt) { |
| 242 | // Remove the speculative frame. |
| 243 | frames_.pop_back(); |
| 244 | break; |
Christopher Ferris | f6f691b | 2017-09-25 19:23:07 -0700 | [diff] [blame] | 245 | } else if (in_device_map) { |
| 246 | // Do not attempt any other unwinding, pc or sp is in a device |
| 247 | // map. |
| 248 | break; |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 249 | } else { |
| 250 | // Steping didn't work, try this secondary method. |
| 251 | if (!regs_->SetPcFromReturnAddress(process_memory_.get())) { |
| 252 | break; |
| 253 | } |
| 254 | return_address_attempt = true; |
| 255 | } |
| 256 | } else { |
| 257 | return_address_attempt = false; |
Christopher Ferris | 2fcf4cf | 2018-01-23 17:52:23 -0800 | [diff] [blame] | 258 | if (max_frames_ == frames_.size()) { |
| 259 | last_error_.code = ERROR_MAX_FRAMES_EXCEEDED; |
| 260 | } |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 261 | } |
Christopher Ferris | fda7edd | 2017-10-31 16:10:42 -0700 | [diff] [blame] | 262 | |
| 263 | // If the pc and sp didn't change, then consider everything stopped. |
| 264 | if (cur_pc == regs_->pc() && cur_sp == regs_->sp()) { |
Christopher Ferris | 2fcf4cf | 2018-01-23 17:52:23 -0800 | [diff] [blame] | 265 | last_error_.code = ERROR_REPEATED_FRAME; |
Christopher Ferris | fda7edd | 2017-10-31 16:10:42 -0700 | [diff] [blame] | 266 | break; |
| 267 | } |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 268 | } |
| 269 | } |
| 270 | |
| 271 | std::string Unwinder::FormatFrame(size_t frame_num) { |
| 272 | if (frame_num >= frames_.size()) { |
| 273 | return ""; |
| 274 | } |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 275 | return FormatFrame(frames_[frame_num], regs_->Is32Bit()); |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 276 | } |
| 277 | |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 278 | std::string Unwinder::FormatFrame(const FrameData& frame, bool is32bit) { |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 279 | std::string data; |
| 280 | |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 281 | if (is32bit) { |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 282 | data += android::base::StringPrintf(" #%02zu pc %08" PRIx64, frame.num, frame.rel_pc); |
| 283 | } else { |
| 284 | data += android::base::StringPrintf(" #%02zu pc %016" PRIx64, frame.num, frame.rel_pc); |
| 285 | } |
| 286 | |
| 287 | if (frame.map_offset != 0) { |
| 288 | data += android::base::StringPrintf(" (offset 0x%" PRIx64 ")", frame.map_offset); |
| 289 | } |
| 290 | |
| 291 | if (frame.map_start == frame.map_end) { |
| 292 | // No valid map associated with this frame. |
| 293 | data += " <unknown>"; |
| 294 | } else if (!frame.map_name.empty()) { |
| 295 | data += " " + frame.map_name; |
| 296 | } else { |
| 297 | data += android::base::StringPrintf(" <anonymous:%" PRIx64 ">", frame.map_start); |
| 298 | } |
| 299 | if (!frame.function_name.empty()) { |
| 300 | data += " (" + frame.function_name; |
| 301 | if (frame.function_offset != 0) { |
| 302 | data += android::base::StringPrintf("+%" PRId64, frame.function_offset); |
| 303 | } |
| 304 | data += ')'; |
| 305 | } |
| 306 | return data; |
| 307 | } |
| 308 | |
Christopher Ferris | 150db12 | 2017-12-20 18:49:01 -0800 | [diff] [blame] | 309 | void Unwinder::SetJitDebug(JitDebug* jit_debug, ArchEnum arch) { |
| 310 | jit_debug->SetArch(arch); |
| 311 | jit_debug_ = jit_debug; |
| 312 | } |
| 313 | |
Christopher Ferris | d70ea5e | 2018-01-30 19:47:24 -0800 | [diff] [blame] | 314 | #if !defined(NO_LIBDEXFILE_SUPPORT) |
| 315 | void Unwinder::SetDexFiles(DexFiles* dex_files, ArchEnum arch) { |
| 316 | dex_files->SetArch(arch); |
| 317 | dex_files_ = dex_files; |
| 318 | } |
| 319 | #endif |
| 320 | |
Christopher Ferris | b9de87f | 2017-09-20 13:37:24 -0700 | [diff] [blame] | 321 | } // namespace unwindstack |