As seções a seguir incluem tipos comuns de falha nativa, uma análise de um exemplo de despejo de memória e uma discussão sobre marcas de exclusão. Cada tipo de travamento inclui um exemplo de saída debuggerd
com as principais evidências destacadas para ajudá-lo a distinguir o tipo específico de travamento.
Abortar
Abortos são interessantes porque são deliberados. Há muitas maneiras diferentes de abortar (incluindo chamar abort(3)
, falhar um assert(3)
, usar um dos tipos de registro fatal específicos do Android), mas todos envolvem chamar abort
. Uma chamada para abort
sinaliza o thread de chamada com SIGABRT, então um quadro mostrando "abort" em libc.so
mais SIGABRT são as coisas a serem procuradas na saída debuggerd
para reconhecer este caso.
Pode haver uma linha explícita de "mensagem de aborto". Você também deve olhar na saída do logcat
para ver o que este thread registrou antes de se matar deliberadamente, porque diferentemente do assert(3)
ou dos recursos de registro fatal de alto nível, o abort(3)
não aceita uma mensagem.
As versões atuais do Android inline a chamada de sistema tgkill(2)
, então suas pilhas são as mais fáceis de ler, com a chamada para abort(3) no topo:
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)
Versões mais antigas do Android seguiam um caminho complicado entre a chamada de aborto original (quadro 4 aqui) e o envio real do sinal (quadro 0 aqui). Isso foi especialmente verdadeiro no ARM de 32 bits, que adicionou __libc_android_abort
(quadro 3 aqui) à sequência de raise
/ pthread_kill
/ tgkill
das outras plataformas:
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
Você pode reproduzir uma instância desse tipo de travamento usando o crasher abort
.
Desreferência de ponteiro nulo puro
Esta é a falha nativa clássica e, embora seja apenas um caso especial do próximo tipo de falha, vale a pena mencionar separadamente porque geralmente requer o mínimo de reflexão.
No exemplo abaixo, mesmo que a função de travamento esteja em libc.so
, porque as funções de string operam apenas nos ponteiros que recebem, você pode inferir que strlen(3)
foi chamado com um ponteiro nulo; e essa falha deve ir direto para o autor do código de chamada. Nesse caso, o quadro #01 é o chamador ruim.
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)
Você pode reproduzir uma instância desse tipo de falha usando crasher strlen-NULL
.
Desreferência de ponteiro nulo de endereço baixo
Em muitos casos, o endereço de falha não será 0, mas algum outro número baixo. Endereços de dois ou três dígitos em particular são muito comuns, enquanto um endereço de seis dígitos quase certamente não é uma referência de ponteiro nulo - isso exigiria um deslocamento de 1 MiB. Isso geralmente ocorre quando você tem um código que desreferencia um ponteiro nulo como se fosse uma estrutura válida. Funções comuns são fprintf(3)
(ou qualquer outra função que recebe um FILE*) e readdir(3)
, porque o código geralmente falha em verificar se a chamada fopen(3)
ou opendir(3)
realmente foi bem-sucedida primeiro.
Aqui está um exemplo de 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)
Aqui a causa direta da falha é que pthread_mutex_lock(3)
tentou acessar o endereço 0xc (frame 0). Mas a primeira coisa que pthread_mutex_lock
faz é desreferenciar o elemento de state
do pthread_mutex_t*
que foi dado. Se você olhar para a fonte, poderá ver que o elemento está no deslocamento 0 na estrutura, o que informa que pthread_mutex_lock
recebeu o ponteiro inválido 0xc. A partir do quadro 1 você pode ver que foi dado aquele ponteiro por readdir
, que extrai o campo mutex_
do DIR*
que é dado. Observando essa estrutura, você pode ver que mutex_
está no deslocamento sizeof(int) + sizeof(size_t) + sizeof(dirent*)
em struct DIR
, que em um dispositivo de 32 bits é 4 + 4 + 4 = 12 = 0xc, então você encontrou o bug: readdir
recebeu um ponteiro nulo pelo chamador. Neste ponto, você pode colar a pilha na ferramenta de pilha para descobrir onde no logcat isso aconteceu.
struct DIR { int fd_; size_t available_bytes_; dirent* next_; pthread_mutex_t mutex_; dirent buff_[15]; long current_pos_; };
Na maioria dos casos, você pode pular essa análise. Um endereço de falha suficientemente baixo geralmente significa que você pode simplesmente pular qualquer quadro libc.so
na pilha e acusar diretamente o código de chamada. Mas nem sempre, e é assim que você apresentaria um caso convincente.
Você pode reproduzir instâncias desse tipo de travamento usando crasher fprintf-NULL
ou crasher readdir-NULL
.
Falha de FORTIFICAR
Uma falha do FORTIFY é um caso especial de uma interrupção que ocorre quando a biblioteca C detecta um problema que pode levar a uma vulnerabilidade de segurança. Muitas funções da biblioteca C são fortificadas ; eles recebem um argumento extra que diz a eles o tamanho real de um buffer e verificam em tempo de execução se a operação que você está tentando executar realmente se encaixa. Aqui está um exemplo em que o código tenta read(fd, buf, 32)
em um buffer que na verdade tem apenas 10 bytes...
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)
Você pode reproduzir uma instância desse tipo de travamento usando o crasher fortify
.
Corrupção de pilha detectada por -fstack-protector
A opção -fstack-protector
do compilador insere verificações em funções com buffers na pilha para proteger contra estouros de buffer. Essa opção está ativada por padrão para código de plataforma, mas não para aplicativos. Quando esta opção está habilitada, o compilador adiciona instruções ao prólogo da função para escrever um valor aleatório logo após o último local na pilha e ao epílogo da função para lê-lo de volta e verificar se não foi alterado. Se esse valor mudou, ele foi substituído por um buffer overrun, então o epílogo chama __stack_chk_fail
para registrar uma mensagem e abortar.
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)
Você pode distinguir isso de outros tipos de aborto pela presença de __stack_chk_fail
no backtrace e na mensagem de aborto específica.
Você pode reproduzir uma instância desse tipo de falha usando crasher smash-stack
.
Secomp SIGSYS de uma chamada de sistema não permitida
O sistema seccomp (especificamente seccomp-bpf) restringe o acesso às chamadas do sistema. Para obter mais informações sobre o seccomp para desenvolvedores de plataforma, consulte a postagem do blog Filtro Seccomp no Android O . Um thread que chama uma chamada de sistema restrita receberá um sinal SIGSYS com o código SYS_SECCOMP. O número de chamada do sistema será mostrado na linha de causa, junto com a arquitetura. É importante observar que os números de chamada do sistema variam entre as arquiteturas. Por exemplo, a chamada de sistema readlinkat(2)
é o número 305 em x86, mas 267 em x86-64. O número de chamada é diferente novamente em arm e arm64. Como os números de chamada do sistema variam entre as arquiteturas, geralmente é mais fácil usar o rastreamento de pilha para descobrir qual chamada do sistema não foi permitida em vez de procurar o número da chamada do sistema nos cabeçalhos.
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)
Você pode distinguir chamadas de sistema não permitidas de outras falhas pela presença de SYS_SECCOMP
na linha de sinal e a descrição na linha de causa.
Você pode reproduzir uma instância desse tipo de travamento usando crasher seccomp
.
Violação de memória somente de execução (somente Android 10)
Para arm64 apenas no Android 10, segmentos executáveis de binários e bibliotecas foram mapeados em memória somente para execução (não legível) como uma técnica de proteção contra ataques de reutilização de código. Essa mitigação interagiu mal com outras mitigações e foi posteriormente removida.
Tornar o código ilegível causa leituras intencionais e não intencionais em segmentos de memória marcados como somente execução para lançar um SIGSEGV
com código SEGV_ACCERR
. Isso pode ocorrer como resultado de um bug, vulnerabilidade, dados misturados com código (como um pool literal) ou introspecção intencional de memória.
O compilador assume que o código e os dados não estão misturados, mas podem surgir problemas com a montagem escrita à mão. Em muitos casos, isso pode ser corrigido simplesmente movendo as constantes para uma seção .data
. Se a introspecção de código for absolutamente necessária em seções de código executável, mprotect(2)
deve ser chamado primeiro para marcar o código como legível e, novamente, para marcá-lo como ilegível após a conclusão da operação.
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)
Você pode distinguir violações de memória somente de execução de outras falhas pela linha de causa.
Você pode reproduzir uma instância desse tipo de travamento usando crasher xom
.
Erro detectado por fdsan
O desinfetante de descritor de arquivo fdsan do Android ajuda a detectar erros comuns com descritores de arquivo, como use-after-close e double-close. Consulte a documentação do fdsan para obter mais detalhes sobre como depurar (e evitar) essa classe de erros.
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)
Você pode distinguir isso de outros tipos de aborto pela presença de fdsan_error
no backtrace e a mensagem de aborto específica.
Você pode reproduzir uma instância desse tipo de travamento usando crasher fdsan_file
ou crasher fdsan_dir
.
Investigando despejos de memória
Se você não tiver uma falha específica que esteja investigando agora, a fonte da plataforma inclui uma ferramenta para testar debuggerd
chamada crasher. Se você crasher64
em system/core/debuggerd/
você obterá um crasher
e um mm
no seu caminho (o último permitindo que você teste travamentos de 64 bits). O Crasher pode travar de várias maneiras interessantes com base nos argumentos da linha de comando que você fornece. Use crasher --help
para ver a seleção atualmente suportada.
Para introduzir as diferentes partes em um despejo de memória, vamos trabalhar com este exemplo de despejo de memória:
*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** 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 *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***
A linha de asteriscos com espaços é útil se você estiver procurando em um log por falhas nativas. A string "*** ***" raramente aparece em logs que não sejam no início de uma falha nativa.
Build fingerprint: 'Android/aosp_flounder/flounder:5.1.51/AOSP/enh08201009:eng/test-keys'
A impressão digital permite identificar exatamente em qual compilação ocorreu a falha. Isso é exatamente o mesmo que a propriedade do sistema ro.build.fingerprint
.
Revision: '0'
A revisão refere-se ao hardware e não ao software. Isso geralmente não é usado, mas pode ser útil para ajudá-lo a ignorar automaticamente bugs conhecidos por serem causados por hardware ruim. Isso é exatamente o mesmo que a propriedade do sistema ro.revision
.
ABI: 'arm'
A ABI é arm, arm64, x86 ou x86-64. Isso é útil principalmente para o script de stack
mencionado acima, para que ele saiba qual cadeia de ferramentas usar.
pid: 1656, tid: 1656, name: crasher >>> crasher <<<
Esta linha identifica o segmento específico no processo que travou. Nesse caso, era o encadeamento principal do processo, portanto, o ID do processo e o ID do encadeamento correspondem. O primeiro nome é o nome do encadeamento e o nome entre >>> e <<< é o nome do processo. Para um aplicativo, o nome do processo normalmente é o nome do pacote totalmente qualificado (como com.facebook.katana), que é útil ao registrar bugs ou tentar encontrar o aplicativo no Google Play. O pid e o tid também podem ser úteis para encontrar as linhas de log relevantes que precedem a falha.
signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr --------
Esta linha informa qual sinal (SIGABRT) foi recebido e mais sobre como foi recebido (SI_TKILL). Os sinais relatados pelo debuggerd
são SIGABRT, SIGBUS, SIGFPE, SIGILL, SIGSEGV e SIGTRAP. Os códigos específicos do sinal variam com base no sinal específico.
Abort message: 'some_file.c:123: some_function: assertion "false" failed'
Nem todas as falhas terão uma linha de mensagem de aborto, mas os abortos terão. Isso é automaticamente coletado da última linha da saída fatal do logcat para este pid/tid e, no caso de uma interrupção deliberada, é provável que forneça uma explicação de por que o programa se matou.
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
O dump de registro mostra o conteúdo dos registros da CPU no momento em que o sinal foi recebido. (Esta seção varia muito entre as ABIs.) A utilidade delas dependerá da falha exata.
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
O backtrace mostra onde no código estávamos no momento da falha. A primeira coluna é o número do quadro (correspondendo ao estilo do gdb onde o quadro mais profundo é 0). Os valores do PC são relativos ao local da biblioteca compartilhada em vez de endereços absolutos. A próxima coluna é o nome da região mapeada (que geralmente é uma biblioteca compartilhada ou executável, mas pode não ser para, digamos, código compilado por JIT). Finalmente, se os símbolos estiverem disponíveis, o símbolo ao qual o valor PC corresponde é mostrado, juntamente com o deslocamento desse símbolo em bytes. Você pode usar isso em conjunto com objdump(1)
para encontrar a instrução de montagem correspondente.
Lendo lápides
Tombstone written to: /data/tombstones/tombstone_06
Isso informa onde o debuggerd
escreveu informações extras. debuggerd
manterá até 10 tombstones, percorrendo os números de 00 a 09 e substituindo os tombstones existentes conforme necessário.
A lápide contém as mesmas informações que o despejo de memória, além de alguns extras. Por exemplo, ele inclui backtraces para todos os threads (não apenas o thread com falha), os registradores de ponto flutuante, dumps de pilha bruta e dumps de memória em torno dos endereços nos registradores. Mais útil, também inclui um mapa de memória completo (semelhante a /proc/ pid /maps
). Aqui está um exemplo anotado de uma falha de processo ARM de 32 bits:
memory map: (fault address prefixed with --->) --->ab15f000-ab162fff r-x 0 4000 /system/xbin/crasher (BuildId: b9527db01b5cf8f5402f899f64b9b121)
Há duas coisas a serem observadas aqui. A primeira é que esta linha é prefixada com "--->". Os mapas são mais úteis quando sua falha não é apenas uma desreferência de ponteiro nulo. Se o endereço de falha for pequeno, provavelmente é alguma variante de uma desreferência de ponteiro nulo. Caso contrário, olhar para os mapas ao redor do endereço da falha pode fornecer uma pista sobre o que aconteceu. Alguns possíveis problemas que podem ser reconhecidos observando os mapas incluem:
- Lê/grava além do final de um bloco de memória.
- Lê/grava antes do início de um bloco de memória.
- Tenta executar não-código.
- Fugindo do final de uma pilha.
- Tenta escrever no código (como no exemplo acima).
A segunda coisa a notar é que os arquivos executáveis e de bibliotecas compartilhadas mostrarão o BuildId (se presente) no Android 6.0 e superior, para que você possa ver exatamente qual versão do seu código falhou. Os binários da plataforma incluem um BuildId por padrão desde o Android 6.0; NDK r12 e superior passam automaticamente -Wl,--build-id
para o vinculador também.
ab163000-ab163fff r-- 3000 1000 /system/xbin/crasher ab164000-ab164fff rw- 0 1000 f6c80000-f6d7ffff rw- 0 100000 [anon:libc_malloc]
No Android, o heap não é necessariamente uma única região. As regiões de heap serão rotuladas como [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
Normalmente, uma biblioteca compartilhada possui três entradas adjacentes. Um é legível e executável (código), um é somente leitura (dados somente leitura) e um é leitura-gravação (dados mutáveis). A primeira coluna mostra os intervalos de endereços para o mapeamento, a segunda coluna as permissões (no estilo usual Unix ls(1)
), a terceira coluna o deslocamento no arquivo (em hexadecimal), a quarta coluna o tamanho da região ( em hexadecimal) e na quinta coluna o arquivo (ou outro nome de região).
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]
A partir do Android 5.0, a biblioteca C nomeia a maioria de suas regiões mapeadas anônimas para que haja menos regiões misteriosas.
f6fcb000-f6fccfff rw- 0 2000 [stack:5081]
As regiões chamadas [stack: tid ]
são as pilhas para os threads fornecidos.
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]
Se você vê [vector]
ou [vdso]
depende da arquitetura. ARM usa [vector]
, enquanto todas as outras arquiteturas usam [vdso]
.