The Android Open Source Project | dd7bc33 | 2009-03-03 19:32:55 -0800 | [diff] [blame] | 1 | /* system/debuggerd/utility.c |
| 2 | ** |
| 3 | ** Copyright 2008, The Android Open Source Project |
| 4 | ** |
| 5 | ** Licensed under the Apache License, Version 2.0 (the "License"); |
| 6 | ** you may not use this file except in compliance with the License. |
| 7 | ** You may obtain a copy of the License at |
| 8 | ** |
| 9 | ** http://www.apache.org/licenses/LICENSE-2.0 |
| 10 | ** |
| 11 | ** Unless required by applicable law or agreed to in writing, software |
| 12 | ** distributed under the License is distributed on an "AS IS" BASIS, |
| 13 | ** WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 14 | ** See the License for the specific language governing permissions and |
| 15 | ** limitations under the License. |
| 16 | */ |
| 17 | |
Andy McFadden | 136dcc5 | 2011-09-22 16:37:06 -0700 | [diff] [blame] | 18 | #include <signal.h> |
The Android Open Source Project | dd7bc33 | 2009-03-03 19:32:55 -0800 | [diff] [blame] | 19 | #include <string.h> |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 20 | #include <cutils/logd.h> |
| 21 | #include <sys/ptrace.h> |
The Android Open Source Project | dd7bc33 | 2009-03-03 19:32:55 -0800 | [diff] [blame] | 22 | #include <errno.h> |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 23 | #include <corkscrew/demangle.h> |
The Android Open Source Project | dd7bc33 | 2009-03-03 19:32:55 -0800 | [diff] [blame] | 24 | |
| 25 | #include "utility.h" |
| 26 | |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 27 | #define STACK_DEPTH 32 |
| 28 | #define STACK_WORDS 16 |
The Android Open Source Project | dd7bc33 | 2009-03-03 19:32:55 -0800 | [diff] [blame] | 29 | |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 30 | void _LOG(int tfd, bool in_tombstone_only, const char *fmt, ...) { |
| 31 | char buf[512]; |
The Android Open Source Project | dd7bc33 | 2009-03-03 19:32:55 -0800 | [diff] [blame] | 32 | |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 33 | va_list ap; |
| 34 | va_start(ap, fmt); |
The Android Open Source Project | dd7bc33 | 2009-03-03 19:32:55 -0800 | [diff] [blame] | 35 | |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 36 | if (tfd >= 0) { |
| 37 | int len; |
| 38 | vsnprintf(buf, sizeof(buf), fmt, ap); |
| 39 | len = strlen(buf); |
| 40 | if(tfd >= 0) write(tfd, buf, len); |
The Android Open Source Project | dd7bc33 | 2009-03-03 19:32:55 -0800 | [diff] [blame] | 41 | } |
| 42 | |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 43 | if (!in_tombstone_only) |
| 44 | __android_log_vprint(ANDROID_LOG_INFO, "DEBUG", fmt, ap); |
| 45 | va_end(ap); |
The Android Open Source Project | dd7bc33 | 2009-03-03 19:32:55 -0800 | [diff] [blame] | 46 | } |
| 47 | |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 48 | bool signal_has_address(int sig) { |
Andy McFadden | 136dcc5 | 2011-09-22 16:37:06 -0700 | [diff] [blame] | 49 | switch (sig) { |
| 50 | case SIGILL: |
| 51 | case SIGFPE: |
| 52 | case SIGSEGV: |
| 53 | case SIGBUS: |
| 54 | return true; |
| 55 | default: |
| 56 | return false; |
| 57 | } |
| 58 | } |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 59 | |
Jeff Brown | f0c5872 | 2011-11-03 17:58:44 -0700 | [diff] [blame] | 60 | static void dump_backtrace(const ptrace_context_t* context __attribute((unused)), |
| 61 | int tfd, pid_t tid __attribute((unused)), bool at_fault, |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 62 | const backtrace_frame_t* backtrace, size_t frames) { |
| 63 | _LOG(tfd, !at_fault, "\nbacktrace:\n"); |
| 64 | |
| 65 | backtrace_symbol_t backtrace_symbols[STACK_DEPTH]; |
| 66 | get_backtrace_symbols_ptrace(context, backtrace, frames, backtrace_symbols); |
| 67 | for (size_t i = 0; i < frames; i++) { |
Jeff Brown | 19b39f3 | 2011-11-21 21:10:00 -0800 | [diff] [blame] | 68 | char line[MAX_BACKTRACE_LINE_LENGTH]; |
| 69 | format_backtrace_line(i, &backtrace[i], &backtrace_symbols[i], |
| 70 | line, MAX_BACKTRACE_LINE_LENGTH); |
| 71 | _LOG(tfd, !at_fault, " %s\n", line); |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 72 | } |
| 73 | free_backtrace_symbols(backtrace_symbols, frames); |
| 74 | } |
| 75 | |
Jeff Brown | f0c5872 | 2011-11-03 17:58:44 -0700 | [diff] [blame] | 76 | static void dump_stack_segment(const ptrace_context_t* context, int tfd, pid_t tid, |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 77 | bool only_in_tombstone, uintptr_t* sp, size_t words, int label) { |
| 78 | for (size_t i = 0; i < words; i++) { |
| 79 | uint32_t stack_content; |
Jeff Brown | f0c5872 | 2011-11-03 17:58:44 -0700 | [diff] [blame] | 80 | if (!try_get_word_ptrace(tid, *sp, &stack_content)) { |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 81 | break; |
| 82 | } |
| 83 | |
| 84 | const map_info_t* mi; |
| 85 | const symbol_t* symbol; |
| 86 | find_symbol_ptrace(context, stack_content, &mi, &symbol); |
| 87 | |
| 88 | if (symbol) { |
| 89 | char* demangled_name = demangle_symbol_name(symbol->name); |
| 90 | const char* symbol_name = demangled_name ? demangled_name : symbol->name; |
Jeff Brown | 19b39f3 | 2011-11-21 21:10:00 -0800 | [diff] [blame] | 91 | uint32_t offset = stack_content - (mi->start + symbol->start); |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 92 | if (!i && label >= 0) { |
Jeff Brown | 19b39f3 | 2011-11-21 21:10:00 -0800 | [diff] [blame] | 93 | if (offset) { |
| 94 | _LOG(tfd, only_in_tombstone, " #%02d %08x %08x %s (%s+%u)\n", |
| 95 | label, *sp, stack_content, mi ? mi->name : "", symbol_name, offset); |
| 96 | } else { |
| 97 | _LOG(tfd, only_in_tombstone, " #%02d %08x %08x %s (%s)\n", |
| 98 | label, *sp, stack_content, mi ? mi->name : "", symbol_name); |
| 99 | } |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 100 | } else { |
Jeff Brown | 19b39f3 | 2011-11-21 21:10:00 -0800 | [diff] [blame] | 101 | if (offset) { |
| 102 | _LOG(tfd, only_in_tombstone, " %08x %08x %s (%s+%u)\n", |
| 103 | *sp, stack_content, mi ? mi->name : "", symbol_name, offset); |
| 104 | } else { |
| 105 | _LOG(tfd, only_in_tombstone, " %08x %08x %s (%s)\n", |
| 106 | *sp, stack_content, mi ? mi->name : "", symbol_name); |
| 107 | } |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 108 | } |
| 109 | free(demangled_name); |
| 110 | } else { |
| 111 | if (!i && label >= 0) { |
| 112 | _LOG(tfd, only_in_tombstone, " #%02d %08x %08x %s\n", |
| 113 | label, *sp, stack_content, mi ? mi->name : ""); |
| 114 | } else { |
| 115 | _LOG(tfd, only_in_tombstone, " %08x %08x %s\n", |
| 116 | *sp, stack_content, mi ? mi->name : ""); |
| 117 | } |
| 118 | } |
| 119 | |
| 120 | *sp += sizeof(uint32_t); |
| 121 | } |
| 122 | } |
| 123 | |
Jeff Brown | f0c5872 | 2011-11-03 17:58:44 -0700 | [diff] [blame] | 124 | static void dump_stack(const ptrace_context_t* context, int tfd, pid_t tid, bool at_fault, |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 125 | const backtrace_frame_t* backtrace, size_t frames) { |
| 126 | bool have_first = false; |
| 127 | size_t first, last; |
| 128 | for (size_t i = 0; i < frames; i++) { |
| 129 | if (backtrace[i].stack_top) { |
| 130 | if (!have_first) { |
| 131 | have_first = true; |
| 132 | first = i; |
| 133 | } |
| 134 | last = i; |
| 135 | } |
| 136 | } |
| 137 | if (!have_first) { |
| 138 | return; |
| 139 | } |
| 140 | |
| 141 | _LOG(tfd, !at_fault, "\nstack:\n"); |
| 142 | |
| 143 | // Dump a few words before the first frame. |
| 144 | bool only_in_tombstone = !at_fault; |
| 145 | uintptr_t sp = backtrace[first].stack_top - STACK_WORDS * sizeof(uint32_t); |
Jeff Brown | f0c5872 | 2011-11-03 17:58:44 -0700 | [diff] [blame] | 146 | dump_stack_segment(context, tfd, tid, only_in_tombstone, &sp, STACK_WORDS, -1); |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 147 | |
| 148 | // Dump a few words from all successive frames. |
| 149 | // Only log the first 3 frames, put the rest in the tombstone. |
| 150 | for (size_t i = first; i <= last; i++) { |
| 151 | const backtrace_frame_t* frame = &backtrace[i]; |
| 152 | if (sp != frame->stack_top) { |
| 153 | _LOG(tfd, only_in_tombstone, " ........ ........\n"); |
| 154 | sp = frame->stack_top; |
| 155 | } |
| 156 | if (i - first == 3) { |
| 157 | only_in_tombstone = true; |
| 158 | } |
| 159 | if (i == last) { |
Jeff Brown | f0c5872 | 2011-11-03 17:58:44 -0700 | [diff] [blame] | 160 | dump_stack_segment(context, tfd, tid, only_in_tombstone, &sp, STACK_WORDS, i); |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 161 | if (sp < frame->stack_top + frame->stack_size) { |
| 162 | _LOG(tfd, only_in_tombstone, " ........ ........\n"); |
| 163 | } |
| 164 | } else { |
| 165 | size_t words = frame->stack_size / sizeof(uint32_t); |
| 166 | if (words == 0) { |
| 167 | words = 1; |
| 168 | } else if (words > STACK_WORDS) { |
| 169 | words = STACK_WORDS; |
| 170 | } |
Jeff Brown | f0c5872 | 2011-11-03 17:58:44 -0700 | [diff] [blame] | 171 | dump_stack_segment(context, tfd, tid, only_in_tombstone, &sp, words, i); |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 172 | } |
| 173 | } |
| 174 | } |
| 175 | |
Jeff Brown | f0c5872 | 2011-11-03 17:58:44 -0700 | [diff] [blame] | 176 | void dump_backtrace_and_stack(const ptrace_context_t* context, int tfd, pid_t tid, |
| 177 | bool at_fault) { |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 178 | backtrace_frame_t backtrace[STACK_DEPTH]; |
| 179 | ssize_t frames = unwind_backtrace_ptrace(tid, context, backtrace, 0, STACK_DEPTH); |
| 180 | if (frames > 0) { |
| 181 | dump_backtrace(context, tfd, tid, at_fault, backtrace, frames); |
| 182 | dump_stack(context, tfd, tid, at_fault, backtrace, frames); |
| 183 | } |
| 184 | } |
| 185 | |
| 186 | void dump_memory(int tfd, pid_t tid, uintptr_t addr, bool at_fault) { |
| 187 | char code_buffer[64]; /* actual 8+1+((8+1)*4) + 1 == 45 */ |
| 188 | char ascii_buffer[32]; /* actual 16 + 1 == 17 */ |
| 189 | uintptr_t p, end; |
| 190 | |
| 191 | p = addr & ~3; |
| 192 | p -= 32; |
| 193 | if (p > addr) { |
| 194 | /* catch underflow */ |
| 195 | p = 0; |
| 196 | } |
| 197 | end = p + 80; |
| 198 | /* catch overflow; 'end - p' has to be multiples of 16 */ |
| 199 | while (end < p) |
| 200 | end -= 16; |
| 201 | |
| 202 | /* Dump the code around PC as: |
| 203 | * addr contents ascii |
| 204 | * 00008d34 ef000000 e8bd0090 e1b00000 512fff1e ............../Q |
| 205 | * 00008d44 ea00b1f9 e92d0090 e3a070fc ef000000 ......-..p...... |
| 206 | */ |
| 207 | while (p < end) { |
| 208 | char* asc_out = ascii_buffer; |
| 209 | |
| 210 | sprintf(code_buffer, "%08x ", p); |
| 211 | |
| 212 | int i; |
| 213 | for (i = 0; i < 4; i++) { |
| 214 | /* |
| 215 | * If we see (data == -1 && errno != 0), we know that the ptrace |
| 216 | * call failed, probably because we're dumping memory in an |
| 217 | * unmapped or inaccessible page. I don't know if there's |
| 218 | * value in making that explicit in the output -- it likely |
| 219 | * just complicates parsing and clarifies nothing for the |
| 220 | * enlightened reader. |
| 221 | */ |
| 222 | long data = ptrace(PTRACE_PEEKTEXT, tid, (void*)p, NULL); |
| 223 | sprintf(code_buffer + strlen(code_buffer), "%08lx ", data); |
| 224 | |
| 225 | int j; |
| 226 | for (j = 0; j < 4; j++) { |
| 227 | /* |
| 228 | * Our isprint() allows high-ASCII characters that display |
| 229 | * differently (often badly) in different viewers, so we |
| 230 | * just use a simpler test. |
| 231 | */ |
| 232 | char val = (data >> (j*8)) & 0xff; |
| 233 | if (val >= 0x20 && val < 0x7f) { |
| 234 | *asc_out++ = val; |
| 235 | } else { |
| 236 | *asc_out++ = '.'; |
| 237 | } |
| 238 | } |
| 239 | p += 4; |
| 240 | } |
| 241 | *asc_out = '\0'; |
| 242 | _LOG(tfd, !at_fault, " %s %s\n", code_buffer, ascii_buffer); |
| 243 | } |
| 244 | } |
| 245 | |
Jeff Brown | f0c5872 | 2011-11-03 17:58:44 -0700 | [diff] [blame] | 246 | void dump_nearby_maps(const ptrace_context_t* context, int tfd, pid_t tid) { |
Jeff Brown | 13e715b | 2011-10-21 12:14:56 -0700 | [diff] [blame] | 247 | siginfo_t si; |
| 248 | memset(&si, 0, sizeof(si)); |
| 249 | if (ptrace(PTRACE_GETSIGINFO, tid, 0, &si)) { |
| 250 | _LOG(tfd, false, "cannot get siginfo for %d: %s\n", |
| 251 | tid, strerror(errno)); |
| 252 | return; |
| 253 | } |
| 254 | if (!signal_has_address(si.si_signo)) { |
| 255 | return; |
| 256 | } |
| 257 | |
| 258 | uintptr_t addr = (uintptr_t) si.si_addr; |
| 259 | addr &= ~0xfff; /* round to 4K page boundary */ |
| 260 | if (addr == 0) { /* null-pointer deref */ |
| 261 | return; |
| 262 | } |
| 263 | |
| 264 | _LOG(tfd, false, "\nmemory map around fault addr %08x:\n", (int)si.si_addr); |
| 265 | |
| 266 | /* |
| 267 | * Search for a match, or for a hole where the match would be. The list |
| 268 | * is backward from the file content, so it starts at high addresses. |
| 269 | */ |
| 270 | bool found = false; |
| 271 | map_info_t* map = context->map_info_list; |
| 272 | map_info_t *next = NULL; |
| 273 | map_info_t *prev = NULL; |
| 274 | while (map != NULL) { |
| 275 | if (addr >= map->start && addr < map->end) { |
| 276 | found = true; |
| 277 | next = map->next; |
| 278 | break; |
| 279 | } else if (addr >= map->end) { |
| 280 | /* map would be between "prev" and this entry */ |
| 281 | next = map; |
| 282 | map = NULL; |
| 283 | break; |
| 284 | } |
| 285 | |
| 286 | prev = map; |
| 287 | map = map->next; |
| 288 | } |
| 289 | |
| 290 | /* |
| 291 | * Show "next" then "match" then "prev" so that the addresses appear in |
| 292 | * ascending order (like /proc/pid/maps). |
| 293 | */ |
| 294 | if (next != NULL) { |
| 295 | _LOG(tfd, false, " %08x-%08x %s\n", next->start, next->end, next->name); |
| 296 | } else { |
| 297 | _LOG(tfd, false, " (no map below)\n"); |
| 298 | } |
| 299 | if (map != NULL) { |
| 300 | _LOG(tfd, false, " %08x-%08x %s\n", map->start, map->end, map->name); |
| 301 | } else { |
| 302 | _LOG(tfd, false, " (no map for address)\n"); |
| 303 | } |
| 304 | if (prev != NULL) { |
| 305 | _LOG(tfd, false, " %08x-%08x %s\n", prev->start, prev->end, prev->name); |
| 306 | } else { |
| 307 | _LOG(tfd, false, " (no map above)\n"); |
| 308 | } |
| 309 | } |