Diagnostica gli arresti anomali nativi

Le sezioni seguenti includono tipi comuni di arresti anomali nativi, un'analisi di un dump di arresto anomalo di esempio e una discussione sulle tombstone. Ogni tipo di arresto anomalo include un output debuggerd di esempio con le prove chiave evidenziate per aiutarti a distinguere il tipo specifico di arresto anomalo.

Interrompi

Gli aborti sono interessanti perché sono intenzionali. Esistono molti modi diversi per abortire (inclusa la chiamata di abort(3), il fallimento di un assert(3), l'utilizzo di uno dei tipi di registrazione di errori specifici per Android), ma tutti prevedono la chiamata di abort. Una chiamata a abort segnala il thread chiamante con SIGABRT, quindi un frame che mostra "abort" in libc.so più SIGABRT sono gli elementi da cercare nell'output di debuggerd per riconoscere questo caso.

Potrebbe essere presente una riga "messaggio di interruzione" esplicita. Dovresti anche esaminare l'output di logcat per vedere cosa ha registrato questo thread prima di terminare deliberatamente, perché, a differenza di assert(3) o delle strutture di registrazione di errori fatali di alto livello, abort(3) non accetta un messaggio.

Le versioni attuali di Android inseriscono in linea la chiamata di sistema tgkill(2), quindi le loro pile sono le più facili da leggere, con la chiamata a abort(3) in alto:

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)

Le versioni precedenti di Android seguivano un percorso contorto tra la chiamata di interruzione originale (qui frame 4) e l'invio effettivo dell'indicatore (qui frame 0). Questo era particolarmente vero su ARM a 32 bit, che aggiungeva __libc_android_abort (frame 3 qui) alla sequenza di raise/pthread_kill/tgkill delle altre piattaforme:

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

Puoi riprodurre un'istanza di questo tipo di arresto anomalo utilizzando crasher abort.

Dereferenziazione di puntatore nullo puro

Si tratta del classico arresto anomalo nativo e, anche se è solo un caso speciale del prossimo tipo di arresto anomalo, vale la pena menzionarlo separatamente perché in genere richiede meno attenzione.

Nell'esempio seguente, anche se la funzione che causa l'errore è in libc.so, poiché le funzioni di stringa operano solo sui puntatori che vengono forniti, puoi dedurre che strlen(3) è stata chiamata con un puntatore nullo; e questo errore dovrebbe essere segnalato direttamente all'autore del codice di chiamata. In questo caso, il frame 01 è il chiamante con problemi.

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)

Puoi riprodurre un'istanza di questo tipo di arresto anomalo utilizzando crasher strlen-NULL.

Dereferenziazione di un puntatore nullo con indirizzo basso

In molti casi l'indirizzo dell'errore non sarà 0, ma un altro numero basso. In particolare, gli indirizzi di due o tre cifre sono molto comuni, mentre un indirizzo di sei cifre non è quasi certamente un dereferenziamento di un puntatore nullo, che richiederebbe un offset di 1 MiB. Questo accade in genere quando il codice dereferizza un puntatore nullo come se fosse una struttura valida. Le funzioni comuni sono fprintf(3) (o qualsiasi altra funzione che accetta un FILE*) e readdir(3), perché spesso il codice non riesce a verificare che la chiamata fopen(3) o opendir(3) sia effettivamente riuscita per prima.

Ecco un esempio di 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)

In questo caso la causa diretta dell'arresto anomalo è che pthread_mutex_lock(3) ha provato ad accedere all'indirizzo 0xc (frame 0). Tuttavia, la prima cosa che fa pthread_mutex_lock è dereferenziare l'elemento state del pthread_mutex_t* che gli è stato assegnato. Se esamini il codice fonte, puoi vedere che l'elemento è all'offset 0 nella struttura, il che ti indica che a pthread_mutex_lock è stato assegnato il puntatore non valido 0xc. Dal frame 1 puoi vedere che il cursore è stato fornito da readdir, che estrae il campo mutex_ da DIR*. Esaminando questa struttura, puoi vedere che mutex_ si trova nell'offset sizeof(int) + sizeof(size_t) + sizeof(dirent*) in struct DIR, che su un dispositivo a 32 bit è 4 + 4 + 4 = 12 = 0xc, quindi hai trovato il bug: al chiamante è stato passato un puntatore nullo a readdir. A questo punto puoi incollare lo stack nello strumento di analisi dello stack per scoprire dove si è verificato il problema in logcat.

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

Nella maggior parte dei casi, puoi saltare questa analisi. Un indirizzo di errore sufficientemente basso solitamente significa che puoi saltare tutti i frame libc.so nello stack e accusare direttamente il codice chiamante. Ma non sempre, ed ecco come presentare un caso convincente.

Puoi riprodurre istanze di questo tipo di arresto anomalo utilizzando crasher fprintf-NULL o crasher readdir-NULL.

Errore FORTIFY

Un errore FORTIFY è un caso speciale di interruzione che si verifica quando la libreria C rileva un problema che potrebbe portare a una vulnerabilità di sicurezza. Molte funzioni della libreria C sono fortificate: accettano un argomento aggiuntivo che indica la dimensione effettiva di un buffer e controllano in fase di esecuzione se l'operazione che stai tentando di eseguire è effettivamente adatta. Ecco un esempio in cui il codice tenta di read(fd, buf, 32) in un buffer che in realtà è lungo solo 10 byte.

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)

Puoi riprodurre un'istanza di questo tipo di arresto anomalo utilizzando crasher fortify.

Corruzione dello stack rilevata da -fstack-protector

L'opzione -fstack-protector del compilatore inserisce controlli nelle funzioni con buffer on-stack per proteggerle da errori di overflow del buffer. Questa opzione è attiva per impostazione predefinita per il codice di piattaforma, ma non per le app. Quando questa opzione è attivata, il compilatore aggiunge istruzioni al prologo della funzione per scrivere un valore casuale appena dopo l'ultimo locale nello stack e all'epilogo della funzione per leggerlo e verificare che non sia stato modificato. Se questo valore è cambiato, è stato sovrascritto da un sovraccarico del buffer, quindi l'epilogo chiama __stack_chk_fail per registrare un messaggio e interrompere l'operazione.

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)

Puoi distinguerlo da altri tipi di interruzione dalla presenza di __stack_chk_fail nel backtrace e dal messaggio di interruzione specifico.

Puoi riprodurre un'istanza di questo tipo di arresto anomalo utilizzando crasher smash-stack.

Seccomp SIGSYS da una chiamata di sistema non consentita

Il sistema seccomp (in particolare seccomp-bpf) limita l'accesso alle chiamate di sistema. Per ulteriori informazioni su seccomp per gli sviluppatori della piattaforma, consulta il post del blog Filtro Seccomp in Android O. Un thread che chiama una chiamata di sistema limitata riceverà un segnale SIGSYS con il codice SYS_SECCOMP. Il numero di chiamata di sistema verrà visualizzato nella riga della causa, insieme all'architettura. È importante tenere presente che i numeri delle chiamate di sistema variano in base all'architettura. Ad esempio, la chiamata di sistema readlinkat(2) è il numero 305 su x86, ma 267 su x86-64. Il numero di chiamata è di nuovo diverso sia su arm che su arm64. Poiché i numeri delle chiamate di sistema variano in base alle architetture, in genere è più facile utilizzare la traccia dello stack per scoprire quale chiamata di sistema non è stata consentita anziché cercare il numero della chiamata di sistema nelle intestazioni.

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)

Puoi distinguere le chiamate di sistema non consentite da altri arresti anomali dalla presenza di SYS_SECCOMP nella riga dell'indicatore e dalla descrizione nella riga della causa.

Puoi riprodurre un'istanza di questo tipo di arresto anomalo utilizzando crasher seccomp.

Violazione della memoria di sola esecuzione (solo Android 10)

Per arm64 solo in Android 10, i segmenti eseguibili di binari e librerie sono stati mappati in memoria di sola esecuzione (non leggibile) come tecnica di hardening contro gli attacchi di riutilizzo del codice. Questa mitigazione interagiva male con altre mitigazioni ed è stata successivamente rimossa.

L'illegibilità del codice provoca letture intenzionali e involontarie nei segmenti di memoria contrassegnati come di sola esecuzione, generando un SIGSEGV con codice SEGV_ACCERR. Ciò potrebbe accadere a causa di un bug, di una vulnerabilità, di dati mescolati con il codice (ad esempio un pool di letterali) o di un'introspezione della memoria intenzionale.

Il compilatore presuppone che il codice e i dati non siano mescolati, ma possono verificarsi problemi con l'assembly scritto a mano. In molti casi, questi problemi possono essere risolti semplicemente spostando le costanti in una sezione .data. Se l'introspezione del codice è assolutamente necessaria nelle sezioni di codice eseguibile, mprotect(2) debe essere chiamato prima per contrassegnare il codice come leggibile e poi di nuovo per contrassegnarlo come illeggibile al termine dell'operazione.

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)

Puoi distinguere le violazioni della memoria di sola esecuzione da altri arresti anomali dalla riga della causa.

Puoi riprodurre un'istanza di questo tipo di arresto anomalo utilizzando crasher xom.

Errore rilevato da fdsan

Lo strumento di convalida dei descrittori file fdsan di Android consente di rilevare errori comuni relativi ai descrittori file, come l'utilizzo dopo la chiusura e la chiusura doppia. Per ulteriori dettagli sul debug (e sull'evitare) questa classe di errori, consulta la documentazione di 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)

Puoi distinguerlo da altri tipi di interruzione dalla presenza di fdsan_error nel backtrace e dal messaggio di interruzione specifico.

Puoi riprodurre un'istanza di questo tipo di arresto anomalo utilizzando crasher fdsan_file o crasher fdsan_dir.

Esaminare i dump di arresto anomalo

Se al momento non stai esaminando un arresto anomalo specifico, il codice sorgente della piattaforma include uno strumento per il test di debuggerd chiamato crasher. Se esegui mm in system/core/debuggerd/, nel percorso troverai sia crasher sia crasher64 (quest'ultimo ti consente di testare gli arresti anomali a 64 bit). Il crasher può causare un arresto anomalo in un gran numero di modi interessanti in base agli argomenti della riga di comando che fornisci. Usa crasher --help per visualizzare la selezione attualmente supportata.

Per illustrare i diversi componenti di un dump di arresto anomalo, esaminiamo questo dump di arresto anomalo di esempio:

*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***
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
*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***

La riga di asterischi con spazi è utile se stai cercando arresti anomali nativi in un log. La stringa "*** ***" viene visualizzata raramente nei log, ad eccezione dell'inizio di un arresto anomalo nativo.

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

L'impronta ti consente di identificare esattamente la build in cui si è verificato l'arresto anomalo. È esattamente la stessa proprietà del sistema ro.build.fingerprint.

Revision: '0'

La revisione si riferisce all'hardware anziché al software. In genere non viene utilizzato, ma può essere utile per ignorare automaticamente i bug noti causati da hardware difettoso. È esattamente lo stesso della proprietà di sistema ro.revision.

ABI: 'arm'

L'ABI è uno dei valori arm, arm64, x86 o x86-64. Questo è utile principalmente per lo script stack sopra menzionato, in modo che sappia quale toolchain utilizzare.

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

Questa riga identifica il thread specifico del processo che ha avuto un arresto anomalo. In questo caso, si trattava del thread principale del processo, quindi l'ID processo e l'ID thread corrispondono. Il primo nome è il nome del thread e il nome racchiuso tra >>> e <<< è il nome del processo. Per un'app, il nome del processo è in genere il nome del pacchetto completo (ad esempio com.facebook.katana), utile per segnalare bug o cercare l'app in Google Play. pid e tid possono essere utili anche per trovare le righe di log pertinenti che precedono l'arresto anomalo.

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

Questa riga indica quale segnale (SIGABRT) è stato ricevuto e ulteriori informazioni su come è stato ricevuto (SI_TKILL). Gli indicatori segnalati da debuggerd sono SIGABRT, SIGBUS, SIGFPE, SIGILL, SIGSEGV e SIGTRAP. I codici specifici per ciascun indicatore variano in base all'indicatore specifico.

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

Non tutti gli arresti anomali avranno una riga di messaggio di interruzione, ma gli arresti anomali sì. Questi dati vengono raccolti automaticamente dall'ultima riga dell'output di logcat fatale per questo pid/tid e, nel caso di un'interruzione deliberata, è probabile che forniscano una spiegazione del motivo per cui il programma si è interrotto.

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

Il dump del registro mostra i contenuti dei registri della CPU al momento della ricezione del segnale. Questa sezione varia notevolmente in base all'ABI. La loro utilità dipenderà dall'arresto anomalo esatto.

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

Il backtrace mostra dove si trovava il codice al momento dell'arresto anomalo. La prima colonna è il numero di fotogrammi (corrisponde allo stile di gdb in cui il fotogramma più approfondito è 0). I valori PC sono relativi alla posizione della libreria condivisa anziché agli indirizzi assoluti. La colonna successiva è il nome della regione mappata (di solito una libreria condivisa o un file eseguibile, ma potrebbe non essere così per, ad esempio, il codice compilato JIT). Infine, se sono disponibili simboli, viene mostrato il simbolo a cui corrisponde il valore PC, insieme all'offset in quel simbolo in byte. Puoi utilizzarlo in combinazione con objdump(1) per trovare l'istruzione assembler corrispondente.

Leggere le tombstone

Tombstone written to: /data/tombstones/tombstone_06

Questo indica dove debuggerd ha scritto informazioni aggiuntive. debuggerd manterrà fino a 10 tombstone, passando in rassegna i numeri da 00 a 09 e sovrascrivendo le tombstone esistenti, se necessario.

La pietra tombale contiene le stesse informazioni del dump dell'arresto anomalo, oltre ad alcuni elementi aggiuntivi. Ad esempio, include i backtrace per tutti i thread (non solo per il thread in cui si è verificato l'errore), i registri a virgola mobile, i dump dello stack non elaborati e i dump della memoria intorno agli indirizzi nei registri. È molto utile anche perché include una mappa di memoria completa (simile a /proc/pid/maps). Ecco un esempio annotato di un arresto anomalo del processo ARM a 32 bit:

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

Tieni presente due aspetti. La prima è che questa riga è preceduta da "--->". Le mappe sono più utili quando l'arresto anomalo non è solo un scollegamento di un puntatore nullo. Se l'indirizzo dell'errore è piccolo, probabilmente si tratta di una variante di un scollegamento di un puntatore nullo. In caso contrario, esaminare le mappe intorno all'indirizzo della colpa può spesso darti un indizio su cosa è successo. Ecco alcuni possibili problemi che possono essere riconosciuti osservando le mappe:

  • Legge/scrive oltre la fine di un blocco di memoria.
  • Letture/scritture prima dell'inizio di un blocco di memoria.
  • Tenta di eseguire non-codice.
  • Esci dalla fine di una serie.
  • Tenta di scrivere nel codice (come nell'esempio precedente).

La seconda cosa da notare è che i file eseguibili e delle librerie condivise mostreranno il BuildId (se presente) in Android 6.0 e versioni successive, in modo da poter vedere esattamente quale versione del codice ha avuto un arresto anomalo. I binari della piattaforma includono un BuildId per impostazione predefinita da Android 6.0; anche NDK r12 e versioni successive passano automaticamente -Wl,--build-id al linker.

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

Su Android l'heap non è necessariamente una singola regione. Le regioni dell'heap saranno contrassegnate come [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

In genere, una raccolta condivisa ha tre voci adiacenti. Uno è leggibile ed eseguitobile (codice), uno è di sola lettura (dati di sola lettura) e uno è di lettura/scrittura (dati mutabili). La prima colonna mostra gli intervalli di indirizzi per la mappatura, la seconda colonna le autorizzazioni (nel solito stile ls(1) Unix), la terza colonna l'offset nel file (in esadecimale), la quarta colonna la dimensione della regione (in esadecimale) e la quinta colonna il file (o un altro nome della regione).

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 partire da Android 5.0, la libreria C nomina la maggior parte delle regioni mappate anonime, pertanto esistono meno regioni misteriose.

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

Le regioni denominate [stack:tid] sono gli stack per i thread specificati.

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]

L'eventuale visualizzazione di [vector] o [vdso] dipende dall'architettura. ARM utilizza [vector], mentre tutte le altre architetture utilizzano [vdso].