Диагностика родных сбоев

Следующие разделы включают распространенные типы собственных сбоев, анализ образца дампа сбоя и обсуждение надгробий. Каждый тип сбоя включает пример вывода debuggerd с выделенными ключевыми данными, которые помогут вам отличить конкретный тип сбоя.

Прервать

Аборты интересны тем, что они преднамеренны. Существует много разных способов прерывания (включая вызов abort(3) , сбой в assert(3) , использование одного из типов фатальной регистрации, специфичных для Android), но все они включают вызов abort . Вызов abort сигнализирует вызывающему потоку с помощью SIGABRT, поэтому кадр, показывающий «прерывание» в libc.so плюс SIGABRT, — это то, что нужно искать в выводе debuggerd , чтобы распознать этот случай.

Может быть явная строка «сообщение об отмене». Вам также следует просмотреть выходные данные logcat , чтобы увидеть, что записал этот поток, прежде чем намеренно уничтожить себя, потому что в отличие от assert(3) или средств высокоуровневого фатального журналирования, abort(3) не принимает сообщение.

Текущие версии Android встроены в системный вызов tgkill(2) , поэтому их стеки легче всего читать, а вызов abort(3) находится на самом верху:

pid: 4637, tid: 4637, name: crasher  >>> crasher <<<
signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr --------
Abort message: 'some_file.c:123: some_function: assertion "false" failed'
    r0  00000000  r1  0000121d  r2  00000006  r3  00000008
    r4  0000121d  r5  0000121d  r6  ffb44a1c  r7  0000010c
    r8  00000000  r9  00000000  r10 00000000  r11 00000000
    ip  ffb44c20  sp  ffb44a08  lr  eace2b0b  pc  eace2b16
backtrace:
    #00 pc 0001cb16  /system/lib/libc.so (abort+57)
    #01 pc 0001cd8f  /system/lib/libc.so (__assert2+22)
    #02 pc 00001531  /system/bin/crasher (do_action+764)
    #03 pc 00002301  /system/bin/crasher (main+68)
    #04 pc 0008a809  /system/lib/libc.so (__libc_init+48)
    #05 pc 00001097  /system/bin/crasher (_start_main+38)

Старые версии Android следовали запутанному пути между исходным вызовом прерывания (кадр 4 здесь) и фактической отправкой сигнала (кадр 0 здесь). Это было особенно актуально для 32-битной ARM, которая добавила __libc_android_abort (здесь кадр 3) к последовательности raise / pthread_kill / tgkill на других платформах:

pid: 1656, tid: 1656, name: crasher  >>> crasher <<<
signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr --------
Abort message: 'some_file.c:123: some_function: assertion "false" failed'
    r0 00000000  r1 00000678  r2 00000006  r3 f70b6dc8
    r4 f70b6dd0  r5 f70b6d80  r6 00000002  r7 0000010c
    r8 ffffffed  r9 00000000  sl 00000000  fp ff96ae1c
    ip 00000006  sp ff96ad18  lr f700ced5  pc f700dc98  cpsr 400b0010
backtrace:
    #00 pc 00042c98  /system/lib/libc.so (tgkill+12)
    #01 pc 00041ed1  /system/lib/libc.so (pthread_kill+32)
    #02 pc 0001bb87  /system/lib/libc.so (raise+10)
    #03 pc 00018cad  /system/lib/libc.so (__libc_android_abort+34)
    #04 pc 000168e8  /system/lib/libc.so (abort+4)
    #05 pc 0001a78f  /system/lib/libc.so (__libc_fatal+16)
    #06 pc 00018d35  /system/lib/libc.so (__assert2+20)
    #07 pc 00000f21  /system/xbin/crasher
    #08 pc 00016795  /system/lib/libc.so (__libc_init+44)
    #09 pc 00000abc  /system/xbin/crasher

Вы можете воспроизвести экземпляр этого типа сбоя, используя crasher abort .

Чистое разыменование нулевого указателя

Это классический родной сбой, и хотя это всего лишь частный случай следующего типа сбоя, о нем стоит упомянуть отдельно, поскольку он обычно требует меньше всего размышлений.

В приведенном ниже примере, хотя функция сбоя находится в libc.so , поскольку строковые функции просто работают с предоставленными им указателями, вы можете сделать вывод, что strlen(3) был вызван с нулевым указателем; и этот сбой должен идти прямиком к автору вызывающего кода. В этом случае кадр № 01 является плохим абонентом.

pid: 25326, tid: 25326, name: crasher  >>> crasher <<<
signal 11 (SIGSEGV), code 1 (SEGV_MAPERR), fault addr 0x0
    r0 00000000  r1 00000000  r2 00004c00  r3 00000000
    r4 ab088071  r5 fff92b34  r6 00000002  r7 fff92b40
    r8 00000000  r9 00000000  sl 00000000  fp fff92b2c
    ip ab08cfc4  sp fff92a08  lr ab087a93  pc efb78988  cpsr 600d0030

backtrace:
    #00 pc 00019988  /system/lib/libc.so (strlen+71)
    #01 pc 00001a8f  /system/xbin/crasher (strlen_null+22)
    #02 pc 000017cd  /system/xbin/crasher (do_action+948)
    #03 pc 000020d5  /system/xbin/crasher (main+100)
    #04 pc 000177a1  /system/lib/libc.so (__libc_init+48)
    #05 pc 000010e4  /system/xbin/crasher (_start+96)

Вы можете воспроизвести экземпляр этого типа сбоя, используя crasher strlen-NULL .

Разыменование нулевого указателя с низким адресом

Во многих случаях адрес неисправности будет не 0, а каким-то другим меньшим числом. В частности, очень распространены двух- или трехзначные адреса, тогда как шестизначный адрес почти наверняка не является разыменованием нулевого указателя — для этого потребуется смещение в 1 МБ. Обычно это происходит, когда у вас есть код, который разыменовывает нулевой указатель, как если бы он был допустимой структурой. Распространенными функциями являются fprintf(3) (или любая другая функция, принимающая FILE*) и readdir(3) , поскольку код часто не может проверить, действительно ли вызов fopen(3) или opendir(3) был успешным первым.

Вот пример readdir :

pid: 25405, tid: 25405, name: crasher  >>> crasher <<<
signal 11 (SIGSEGV), code 1 (SEGV_MAPERR), fault addr 0xc
    r0 0000000c  r1 00000000  r2 00000000  r3 3d5f0000
    r4 00000000  r5 0000000c  r6 00000002  r7 ff8618f0
    r8 00000000  r9 00000000  sl 00000000  fp ff8618dc
    ip edaa6834  sp ff8617a8  lr eda34a1f  pc eda618f6  cpsr 600d0030

backtrace:
    #00 pc 000478f6  /system/lib/libc.so (pthread_mutex_lock+1)
    #01 pc 0001aa1b  /system/lib/libc.so (readdir+10)
    #02 pc 00001b35  /system/xbin/crasher (readdir_null+20)
    #03 pc 00001815  /system/xbin/crasher (do_action+976)
    #04 pc 000021e5  /system/xbin/crasher (main+100)
    #05 pc 000177a1  /system/lib/libc.so (__libc_init+48)
    #06 pc 00001110  /system/xbin/crasher (_start+96)

Здесь прямой причиной сбоя является попытка pthread_mutex_lock(3) получить доступ к адресу 0xc (кадр 0). Но первое, что делает pthread_mutex_lock — это разыменовывает элемент state pthread_mutex_t* который ему был предоставлен. Если вы посмотрите на исходный код, то увидите, что элемент находится по смещению 0 в структуре, что говорит о том, что pthread_mutex_lock получил недопустимый указатель 0xc. Из кадра 1 вы можете видеть, что этот указатель был передан readdir , который извлекает поле mutex_ из заданного ему DIR* . Глядя на эту структуру, вы можете видеть, что mutex_ находится по смещению sizeof(int) + sizeof(size_t) + sizeof(dirent*) в struct DIR , что на 32-битном устройстве равно 4 + 4 + 4 = 12 = 0xc, Итак, вы обнаружили ошибку: вызывающая сторона передала readdir нулевой указатель. На этом этапе вы можете вставить стек в инструмент стека, чтобы узнать, где в logcat это произошло.

  struct DIR {
    int fd_;
    size_t available_bytes_;
    dirent* next_;
    pthread_mutex_t mutex_;
    dirent buff_[15];
    long current_pos_;
  };

В большинстве случаев вы можете пропустить этот анализ. Достаточно низкий адрес ошибки обычно означает, что вы можете просто пропустить любые кадры libc.so в стеке и напрямую обвинить вызывающий код. Но не всегда, и именно так вы сможете представить убедительные аргументы.

Вы можете воспроизвести случаи такого рода сбоя, используя crasher fprintf-NULL или crasher readdir-NULL .

УКРЕПЛЕНИЕ провала

Сбой FORTIFY — это особый случай прерывания, который происходит, когда библиотека C обнаруживает проблему, которая может привести к уязвимости безопасности. Многие функции библиотеки C улучшены ; они принимают дополнительный аргумент, который сообщает им, насколько велик на самом деле буфер, и во время выполнения проверяют, действительно ли операция, которую вы пытаетесь выполнить, подходит. Вот пример, где код пытается read(fd, buf, 32) в буфер, длина которого на самом деле составляет всего 10 байт...

pid: 25579, tid: 25579, name: crasher  >>> crasher <<<
signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr --------
Abort message: 'FORTIFY: read: prevented 32-byte write into 10-byte buffer'
    r0 00000000  r1 000063eb  r2 00000006  r3 00000008
    r4 ff96f350  r5 000063eb  r6 000063eb  r7 0000010c
    r8 00000000  r9 00000000  sl 00000000  fp ff96f49c
    ip 00000000  sp ff96f340  lr ee83ece3  pc ee86ef0c  cpsr 000d0010

backtrace:
    #00 pc 00049f0c  /system/lib/libc.so (tgkill+12)
    #01 pc 00019cdf  /system/lib/libc.so (abort+50)
    #02 pc 0001e197  /system/lib/libc.so (__fortify_fatal+30)
    #03 pc 0001baf9  /system/lib/libc.so (__read_chk+48)
    #04 pc 0000165b  /system/xbin/crasher (do_action+534)
    #05 pc 000021e5  /system/xbin/crasher (main+100)
    #06 pc 000177a1  /system/lib/libc.so (__libc_init+48)
    #07 pc 00001110  /system/xbin/crasher (_start+96)

Вы можете воспроизвести экземпляр этого типа сбоя, используя crasher fortify .

Повреждение стека обнаружено с помощью -fstack-protector

Опция компилятора -fstack-protector вставляет проверки в функции с буферами в стеке для защиты от переполнения буфера. Этот параметр включен по умолчанию для кода платформы, но не для приложений. Когда эта опция включена, компилятор добавляет инструкции в пролог функции для записи случайного значения сразу за последним локальным значением в стеке и в эпилог функции, чтобы прочитать его обратно и проверить, что оно не изменилось. Если это значение изменилось, оно было перезаписано из-за переполнения буфера, поэтому эпилог вызывает __stack_chk_fail для регистрации сообщения и прерывания.

pid: 26717, tid: 26717, name: crasher  >>> crasher <<<
signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr --------
Abort message: 'stack corruption detected'
    r0 00000000  r1 0000685d  r2 00000006  r3 00000008
    r4 ffd516d8  r5 0000685d  r6 0000685d  r7 0000010c
    r8 00000000  r9 00000000  sl 00000000  fp ffd518bc
    ip 00000000  sp ffd516c8  lr ee63ece3  pc ee66ef0c  cpsr 000e0010

backtrace:
    #00 pc 00049f0c  /system/lib/libc.so (tgkill+12)
    #01 pc 00019cdf  /system/lib/libc.so (abort+50)
    #02 pc 0001e07d  /system/lib/libc.so (__libc_fatal+24)
    #03 pc 0004863f  /system/lib/libc.so (__stack_chk_fail+6)
    #04 pc 000013ed  /system/xbin/crasher (smash_stack+76)
    #05 pc 00001591  /system/xbin/crasher (do_action+280)
    #06 pc 00002219  /system/xbin/crasher (main+100)
    #07 pc 000177a1  /system/lib/libc.so (__libc_init+48)
    #08 pc 00001144  /system/xbin/crasher (_start+96)

Вы можете отличить это от других видов прерывания по наличию __stack_chk_fail в обратной трассировке и конкретному сообщению об прерывании.

Вы можете воспроизвести экземпляр этого типа сбоя, используя crasher smash-stack .

Seccomp SIGSYS из-за запрещенного системного вызова

Система seccomp (в частности, seccomp-bpf) ограничивает доступ к системным вызовам. Дополнительные сведения о seccomp для разработчиков платформ см. в записи блога о фильтре Seccomp в Android O. Поток, вызывающий ограниченный системный вызов, получит сигнал SIGSYS с кодом SYS_SECCOMP. Номер системного вызова будет показан в строке причины вместе с архитектурой. Важно отметить, что номера системных вызовов различаются в зависимости от архитектуры. Например, системный вызов readlinkat(2) имеет номер 305 на x86 и 267 на x86-64. Номер вызова снова разный как на руке, так и на руке 64. Поскольку номера системных вызовов различаются в зависимости от архитектуры, обычно проще использовать трассировку стека, чтобы узнать, какой системный вызов был запрещен, чем искать номер системного вызова в заголовках.

pid: 11046, tid: 11046, name: crasher  >>> crasher <<<
signal 31 (SIGSYS), code 1 (SYS_SECCOMP), fault addr --------
Cause: seccomp prevented call to disallowed arm system call 99999
    r0 cfda0444  r1 00000014  r2 40000000  r3 00000000
    r4 00000000  r5 00000000  r6 00000000  r7 0001869f
    r8 00000000  r9 00000000  sl 00000000  fp fffefa58
    ip fffef898  sp fffef888  lr 00401997  pc f74f3658  cpsr 600f0010

backtrace:
    #00 pc 00019658  /system/lib/libc.so (syscall+32)
    #01 pc 00001993  /system/bin/crasher (do_action+1474)
    #02 pc 00002699  /system/bin/crasher (main+68)
    #03 pc 0007c60d  /system/lib/libc.so (__libc_init+48)
    #04 pc 000011b0  /system/bin/crasher (_start_main+72)

Вы можете отличить запрещенные системные вызовы от других сбоев по наличию SYS_SECCOMP в сигнальной строке и описанию в строке причины.

Вы можете воспроизвести экземпляр этого типа сбоя, используя crasher seccomp .

Нарушение памяти только для выполнения (только Android 10)

Только для Arm64 в Android 10 исполняемые сегменты двоичных файлов и библиотек были сопоставлены с памятью, доступной только для выполнения (нечитаемой) в качестве метода защиты от атак с повторным использованием кода. Это смягчение плохо взаимодействовало с другими смягчениями и позже было удалено.

Если сделать код нечитаемым, то при преднамеренном и непреднамеренном чтении в сегментах памяти, помеченных только для выполнения, выдается SIGSEGV с кодом SEGV_ACCERR . Это может произойти в результате ошибки, уязвимости, смешивания данных с кодом (например, пула литералов) или преднамеренного самоанализа памяти.

Компилятор предполагает, что код и данные не перемешаны, но при написании сборки вручную могут возникнуть проблемы. Во многих случаях это можно исправить, просто переместив константы в раздел .data . Если самоанализ кода в разделах исполняемого кода абсолютно необходим, сначала следует вызвать mprotect(2) , чтобы пометить код как читаемый, а затем еще раз, чтобы пометить его как нечитаемый после завершения операции.

pid: 2938, tid: 2940, name: crasher64  >>> crasher64 <<<
signal 11 (SIGSEGV), code 2 (SEGV_ACCERR), fault addr 0x5f2ced24a8
Cause: execute-only (no-read) memory access error; likely due to data in .text.
    x0  0000000000000000  x1  0000005f2cecf21f  x2  0000000000000078  x3  0000000000000053
    x4  0000000000000074  x5  8000000000000000  x6  ff71646772607162  x7  00000020dcf0d16c
    x8  0000005f2ced24a8  x9  000000781251c55e  x10 0000000000000000  x11 0000000000000000
    x12 0000000000000014  x13 ffffffffffffffff  x14 0000000000000002  x15 ffffffffffffffff
    x16 0000005f2ced52f0  x17 00000078125c0ed8  x18 0000007810e8e000  x19 00000078119fbd50
    x20 00000078125d6020  x21 00000078119fbd50  x22 00000b7a00000b7a  x23 00000078119fbdd8
    x24 00000078119fbd50  x25 00000078119fbd50  x26 00000078119fc018  x27 00000078128ea020
    x28 00000078119fc020  x29 00000078119fbcb0
    sp  00000078119fba40  lr  0000005f2ced1b94  pc  0000005f2ced1ba4

backtrace:
      #00 pc 0000000000003ba4  /system/bin/crasher64 (do_action+2348)
      #01 pc 0000000000003234  /system/bin/crasher64 (thread_callback+44)
      #02 pc 00000000000e2044  /apex/com.android.runtime/lib64/bionic/libc.so (__pthread_start(void*)+36)
      #03 pc 0000000000083de0  /apex/com.android.runtime/lib64/bionic/libc.so (__start_thread+64)

Вы можете отличить нарушения памяти только для выполнения от других сбоев по строке причины.

Вы можете воспроизвести сбой этого типа с помощью crasher xom .

Ошибка обнаружена fdsan

Средство очистки файловых дескрипторов fdsan в Android помогает выявить распространенные ошибки с файловыми дескрипторами, такие как использование после закрытия и двойное закрытие. Дополнительную информацию об отладке (и предотвращении) этого класса ошибок см. в документации fdsan .

pid: 32315, tid: 32315, name: crasher64  >>> crasher64 <<<
signal 35 (), code -1 (SI_QUEUE), fault addr --------
Abort message: 'attempted to close file descriptor 3, expected to be unowned, actually owned by FILE* 0x7d8e413018'
    x0  0000000000000000  x1  0000000000007e3b  x2  0000000000000023  x3  0000007fe7300bb0
    x4  3033313465386437  x5  3033313465386437  x6  3033313465386437  x7  3831303331346538
    x8  00000000000000f0  x9  0000000000000000  x10 0000000000000059  x11 0000000000000034
    x12 0000007d8ebc3a49  x13 0000007fe730077a  x14 0000007fe730077a  x15 0000000000000000
    x16 0000007d8ec9a7b8  x17 0000007d8ec779f0  x18 0000007d8f29c000  x19 0000000000007e3b
    x20 0000000000007e3b  x21 0000007d8f023020  x22 0000007d8f3b58dc  x23 0000000000000001
    x24 0000007fe73009a0  x25 0000007fe73008e0  x26 0000007fe7300ca0  x27 0000000000000000
    x28 0000000000000000  x29 0000007fe7300c90
    sp  0000007fe7300860  lr  0000007d8ec2f22c  pc  0000007d8ec2f250

backtrace:
      #00 pc 0000000000088250  /bionic/lib64/libc.so (fdsan_error(char const*, ...)+384)
      #01 pc 0000000000088060  /bionic/lib64/libc.so (android_fdsan_close_with_tag+632)
      #02 pc 00000000000887e8  /bionic/lib64/libc.so (close+16)
      #03 pc 000000000000379c  /system/bin/crasher64 (do_action+1316)
      #04 pc 00000000000049c8  /system/bin/crasher64 (main+96)
      #05 pc 000000000008021c  /bionic/lib64/libc.so (_start_main)

Вы можете отличить это от других видов прерывания по наличию fdsan_error в обратной трассировке и конкретному сообщению об прерывании.

Вы можете воспроизвести экземпляр этого типа сбоя, используя crasher fdsan_file или crasher fdsan_dir .

Исследование аварийных дампов

Если у вас нет конкретного сбоя, который вы сейчас исследуете, исходный код платформы включает инструмент для тестирования debuggerd называемый крашером. Если вы mm в system/core/debuggerd/ на вашем пути появится и crasher , и crasher64 (последний позволит вам тестировать 64-битные сбои). Crasher может аварийно завершить работу множеством интересных способов в зависимости от предоставленных вами аргументов командной строки. Используйте crasher --help , чтобы увидеть поддерживаемый в данный момент выбор.

Чтобы представить различные части аварийного дампа, давайте рассмотрим этот пример аварийного дампа:

*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***
Build fingerprint: 'Android/aosp_flounder/flounder:5.1.51/AOSP/enh08201009:eng/test-keys'
Revision: '0'
ABI: 'arm'
pid: 1656, tid: 1656, name: crasher  >>> crasher <<<
signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr --------
Abort message: 'some_file.c:123: some_function: assertion "false" failed'
    r0 00000000  r1 00000678  r2 00000006  r3 f70b6dc8
    r4 f70b6dd0  r5 f70b6d80  r6 00000002  r7 0000010c
    r8 ffffffed  r9 00000000  sl 00000000  fp ff96ae1c
    ip 00000006  sp ff96ad18  lr f700ced5  pc f700dc98  cpsr 400b0010
backtrace:
    #00 pc 00042c98  /system/lib/libc.so (tgkill+12)
    #01 pc 00041ed1  /system/lib/libc.so (pthread_kill+32)
    #02 pc 0001bb87  /system/lib/libc.so (raise+10)
    #03 pc 00018cad  /system/lib/libc.so (__libc_android_abort+34)
    #04 pc 000168e8  /system/lib/libc.so (abort+4)
    #05 pc 0001a78f  /system/lib/libc.so (__libc_fatal+16)
    #06 pc 00018d35  /system/lib/libc.so (__assert2+20)
    #07 pc 00000f21  /system/xbin/crasher
    #08 pc 00016795  /system/lib/libc.so (__libc_init+44)
    #09 pc 00000abc  /system/xbin/crasher
Tombstone written to: /data/tombstones/tombstone_06
*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***

Строка звездочек с пробелами полезна, если вы ищете в журнале собственные сбои. Строка «*** ***» редко появляется в журналах, кроме как в начале собственного сбоя.

Build fingerprint:
'Android/aosp_flounder/flounder:5.1.51/AOSP/enh08201009:eng/test-keys'

Отпечаток пальца позволяет точно определить, на какой сборке произошел сбой. Это то же самое, что и системное свойство ro.build.fingerprint .

Revision: '0'

Версия относится к аппаратному обеспечению, а не к программному обеспечению. Обычно это не используется, но может быть полезно, чтобы помочь вам автоматически игнорировать ошибки, которые, как известно, вызваны неисправным оборудованием. Это то же самое, что и системное свойство ro.revision .

ABI: 'arm'

ABI — это рука, рука 64, x86 или x86-64. Это в основном полезно для упомянутого выше сценария stack , чтобы он знал, какую цепочку инструментов использовать.

pid: 1656, tid: 1656, name: crasher >>> crasher <<<

Эта строка идентифицирует конкретный поток процесса, в котором произошел сбой. В данном случае это был основной поток процесса, поэтому идентификатор процесса и идентификатор потока совпадают. Первое имя — это имя потока, а имя, окруженное >>> и <<<, — это имя процесса. Для приложения имя процесса обычно представляет собой полное имя пакета (например, com.facebook.katana), что полезно при регистрации ошибок или попытке найти приложение в Google Play. Pid и tid также могут быть полезны для поиска соответствующих строк журнала, предшествующих сбою.

signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr --------

Эта строка сообщает вам, какой сигнал (SIGABRT) был получен, и дополнительную информацию о том, как он был получен (SI_TKILL). debuggerd сообщает следующие сигналы: SIGABRT, SIGBUS, SIGFPE, SIGILL, SIGSEGV и SIGTRAP. Коды, специфичные для сигнала, различаются в зависимости от конкретного сигнала.

Abort message: 'some_file.c:123: some_function: assertion "false" failed'

Не все сбои будут иметь строку сообщения об отмене, но прерывания будут. Это значение автоматически собирается из последней строки неустранимого вывода logcat для этого pid/tid и в случае преднамеренного прерывания, скорее всего, даст объяснение, почему программа завершила свое существование.

r0 00000000 r1 00000678 r2 00000006 r3 f70b6dc8
r4 f70b6dd0 r5 f70b6d80 r6 00000002 r7 0000010c
r8 ffffffed r9 00000000 sl 00000000 fp ff96ae1c
ip 00000006 sp ff96ad18 lr f700ced5 pc f700dc98 cpsr 400b0010

Дамп регистров показывает содержимое регистров ЦП на момент получения сигнала. (Этот раздел сильно различается в зависимости от ABI.) Насколько они полезны, будет зависеть от конкретного сбоя.

backtrace:
    #00 pc 00042c98 /system/lib/libc.so (tgkill+12)
    #01 pc 00041ed1 /system/lib/libc.so (pthread_kill+32)
    #02 pc 0001bb87 /system/lib/libc.so (raise+10)
    #03 pc 00018cad /system/lib/libc.so (__libc_android_abort+34)
    #04 pc 000168e8 /system/lib/libc.so (abort+4)
    #05 pc 0001a78f /system/lib/libc.so (__libc_fatal+16)
    #06 pc 00018d35 /system/lib/libc.so (__assert2+20)
    #07 pc 00000f21 /system/xbin/crasher
    #08 pc 00016795 /system/lib/libc.so (__libc_init+44)
    #09 pc 00000abc /system/xbin/crasher

Обратная трассировка показывает, где в коде мы находились в момент сбоя. Первый столбец — это номер кадра (соответствует стилю GDB, где самый глубокий кадр равен 0). Значения ПК относятся к местоположению общей библиотеки, а не к абсолютным адресам. Следующий столбец — это имя отображаемой области (обычно это общая библиотека или исполняемый файл, но может не подходить, скажем, для кода, скомпилированного JIT). Наконец, если символы доступны, отображается символ, которому соответствует значение PC, вместе со смещением этого символа в байтах. Вы можете использовать это вместе с objdump(1) , чтобы найти соответствующую инструкцию ассемблера.

Чтение надгробий

Tombstone written to: /data/tombstones/tombstone_06

Это подскажет вам, где debuggerd записал дополнительную информацию. debuggerd будет хранить до 10 захоронений, циклически перебирая числа от 00 до 09 и при необходимости перезаписывая существующие захоронения.

Надгробие содержит ту же информацию, что и аварийный дамп, плюс несколько дополнительных сведений. Например, он включает в себя обратные трассировки для всех потоков (а не только для потока, вызвавшего сбой), регистры с плавающей запятой, необработанные дампы стека и дампы памяти вокруг адресов в регистрах. Самое полезное, что он также включает полную карту памяти (аналогично /proc/ pid /maps ). Вот аннотированный пример сбоя 32-битного процесса ARM:

memory map: (fault address prefixed with --->)
--->ab15f000-ab162fff r-x 0 4000 /system/xbin/crasher (BuildId:
b9527db01b5cf8f5402f899f64b9b121)

Здесь следует отметить две вещи. Во-первых, эта строка начинается с префикса «--->». Карты наиболее полезны, когда сбой вызван не просто разыменованием нулевого указателя. Если адрес ошибки мал, возможно, это какой-то вариант разыменования нулевого указателя. В противном случае просмотр карт вокруг адреса неисправности часто может дать вам представление о том, что произошло. Некоторые возможные проблемы, которые можно распознать, глядя на карты, включают:

  • Чтение/запись после конца блока памяти.
  • Чтение/запись перед началом блока памяти.
  • Попытки выполнить некод.
  • Выход за конец стека.
  • Попытки записи в код (как в примере выше).

Второе, на что следует обратить внимание, это то, что исполняемые файлы и файлы общих библиотек будут отображать BuildId (если он присутствует) в Android 6.0 и выше, поэтому вы можете точно увидеть, какая версия вашего кода вышла из строя. Двоичные файлы платформы включают BuildId по умолчанию, начиная с Android 6.0; NDK r12 и выше также автоматически передают компоновщику -Wl,--build-id .

ab163000-ab163fff r--      3000      1000  /system/xbin/crasher
ab164000-ab164fff rw-         0      1000
f6c80000-f6d7ffff rw-         0    100000  [anon:libc_malloc]

На Android куча не обязательно представляет собой один регион. Области кучи будут помечены как [anon:libc_malloc] .

f6d82000-f6da1fff r--         0     20000  /dev/__properties__/u:object_r:logd_prop:s0
f6da2000-f6dc1fff r--         0     20000  /dev/__properties__/u:object_r:default_prop:s0
f6dc2000-f6de1fff r--         0     20000  /dev/__properties__/u:object_r:logd_prop:s0
f6de2000-f6de5fff r-x         0      4000  /system/lib/libnetd_client.so (BuildId: 08020aa06ed48cf9f6971861abf06c9d)
f6de6000-f6de6fff r--      3000      1000  /system/lib/libnetd_client.so
f6de7000-f6de7fff rw-      4000      1000  /system/lib/libnetd_client.so
f6dec000-f6e74fff r-x         0     89000  /system/lib/libc++.so (BuildId: 8f1f2be4b37d7067d366543fafececa2) (load base 0x2000)
f6e75000-f6e75fff ---         0      1000
f6e76000-f6e79fff r--     89000      4000  /system/lib/libc++.so
f6e7a000-f6e7afff rw-     8d000      1000  /system/lib/libc++.so
f6e7b000-f6e7bfff rw-         0      1000  [anon:.bss]
f6e7c000-f6efdfff r-x         0     82000  /system/lib/libc.so (BuildId: d189b369d1aafe11feb7014d411bb9c3)
f6efe000-f6f01fff r--     81000      4000  /system/lib/libc.so
f6f02000-f6f03fff rw-     85000      2000  /system/lib/libc.so
f6f04000-f6f04fff rw-         0      1000  [anon:.bss]
f6f05000-f6f05fff r--         0      1000  [anon:.bss]
f6f06000-f6f0bfff rw-         0      6000  [anon:.bss]
f6f0c000-f6f21fff r-x         0     16000  /system/lib/libcutils.so (BuildId: d6d68a419dadd645ca852cd339f89741)
f6f22000-f6f22fff r--     15000      1000  /system/lib/libcutils.so
f6f23000-f6f23fff rw-     16000      1000  /system/lib/libcutils.so
f6f24000-f6f31fff r-x         0      e000  /system/lib/liblog.so (BuildId: e4d30918d1b1028a1ba23d2ab72536fc)
f6f32000-f6f32fff r--      d000      1000  /system/lib/liblog.so
f6f33000-f6f33fff rw-      e000      1000  /system/lib/liblog.so

Обычно общая библиотека имеет три соседние записи. Один из них доступен для чтения и выполнения (код), другой — только для чтения (данные только для чтения), а третий — для чтения и записи (изменяемые данные). В первом столбце показаны диапазоны адресов для сопоставления, во втором столбце — разрешения (в обычном стиле Unix ls(1) ), в третьем столбце — смещение в файле (в шестнадцатеричном формате), в четвертом столбце — размер региона ( в шестнадцатеричном формате), а пятый столбец — файл (или другое имя региона).

f6f34000-f6f53fff r-x         0     20000  /system/lib/libm.so (BuildId: 76ba45dcd9247e60227200976a02c69b)
f6f54000-f6f54fff ---         0      1000
f6f55000-f6f55fff r--     20000      1000  /system/lib/libm.so
f6f56000-f6f56fff rw-     21000      1000  /system/lib/libm.so
f6f58000-f6f58fff rw-         0      1000
f6f59000-f6f78fff r--         0     20000  /dev/__properties__/u:object_r:default_prop:s0
f6f79000-f6f98fff r--         0     20000  /dev/__properties__/properties_serial
f6f99000-f6f99fff rw-         0      1000  [anon:linker_alloc_vector]
f6f9a000-f6f9afff r--         0      1000  [anon:atexit handlers]
f6f9b000-f6fbafff r--         0     20000  /dev/__properties__/properties_serial
f6fbb000-f6fbbfff rw-         0      1000  [anon:linker_alloc_vector]
f6fbc000-f6fbcfff rw-         0      1000  [anon:linker_alloc_small_objects]
f6fbd000-f6fbdfff rw-         0      1000  [anon:linker_alloc_vector]
f6fbe000-f6fbffff rw-         0      2000  [anon:linker_alloc]
f6fc0000-f6fc0fff r--         0      1000  [anon:linker_alloc]
f6fc1000-f6fc1fff rw-         0      1000  [anon:linker_alloc_lob]
f6fc2000-f6fc2fff r--         0      1000  [anon:linker_alloc]
f6fc3000-f6fc3fff rw-         0      1000  [anon:linker_alloc_vector]
f6fc4000-f6fc4fff rw-         0      1000  [anon:linker_alloc_small_objects]
f6fc5000-f6fc5fff rw-         0      1000  [anon:linker_alloc_vector]
f6fc6000-f6fc6fff rw-         0      1000  [anon:linker_alloc_small_objects]
f6fc7000-f6fc7fff rw-         0      1000  [anon:arc4random _rsx structure]
f6fc8000-f6fc8fff rw-         0      1000  [anon:arc4random _rs structure]
f6fc9000-f6fc9fff r--         0      1000  [anon:atexit handlers]
f6fca000-f6fcafff ---         0      1000  [anon:thread signal stack guard page]

Начиная с Android 5.0, библиотека C дает имена большинству анонимных отображаемых регионов, поэтому загадочных регионов становится меньше.

f6fcb000-f6fccfff rw- 0 2000 [stack:5081]

Регионы с именем [stack: tid ] — это стеки для данных потоков.

f6fcd000-f702afff r-x         0     5e000  /system/bin/linker (BuildId: 84f1316198deee0591c8ac7f158f28b7)
f702b000-f702cfff r--     5d000      2000  /system/bin/linker
f702d000-f702dfff rw-     5f000      1000  /system/bin/linker
f702e000-f702ffff rw-         0      2000
f7030000-f7030fff r--         0      1000
f7031000-f7032fff rw-         0      2000
ffcd7000-ffcf7fff rw-         0     21000
ffff0000-ffff0fff r-x         0      1000  [vectors]

Видите ли вы [vector] или [vdso] зависит от архитектуры. ARM использует [vector] , тогда как все остальные архитектуры используют [vdso] .