Diagnóstico de bloqueos nativos

Las siguientes secciones incluyen tipos comunes de fallas nativas, un análisis de un volcado de fallas de muestra y una discusión sobre las lápidas. Cada tipo de falla incluye una salida debuggerd de ejemplo con evidencia clave resaltada para ayudarlo a distinguir el tipo específico de falla.

Abortar

Los abortos son interesantes porque son deliberados. Hay muchas formas diferentes de abortar (incluyendo llamar a abort(3) , fallar una assert(3) , usar uno de los tipos de registro fatales específicos de Android), pero todas implican llamar a abort . Una llamada para abort señala el subproceso de llamada con SIGABRT, por lo que un marco que muestra "abortar" en libc.so más SIGABRT son las cosas que debe buscar en la salida debuggerd para reconocer este caso.

Puede haber una línea explícita de "mensaje de cancelación". También debe buscar en la salida de logcat para ver qué registró este subproceso antes de matarse deliberadamente, porque a diferencia de las funciones de registro fatal de alto nivel o assert(3) , abort(3) no acepta un mensaje.

Las versiones actuales de Android incluyen la llamada al sistema tgkill(2) , por lo que sus pilas son las más fáciles de leer, con la llamada a abort(3) en la parte superior:

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)

Las versiones anteriores de Android seguían un camino complicado entre la llamada de cancelación original (fotograma 4 aquí) y el envío real de la señal (fotograma 0 aquí). Esto fue especialmente cierto en ARM de 32 bits, que agregó __libc_android_abort (fotograma 3 aquí) a la secuencia de raise / pthread_kill / tgkill de las otras 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

Puede reproducir una instancia de este tipo de bloqueo mediante la crasher abort del bloqueo.

Desreferencia de puntero nulo puro

Este es el bloqueo nativo clásico y, aunque es solo un caso especial del siguiente tipo de bloqueo, vale la pena mencionarlo por separado porque generalmente requiere menos reflexión.

En el siguiente ejemplo, aunque la función de bloqueo está en libc.so , debido a que las funciones de cadena solo operan en los punteros que se les dan, puede inferir que se llamó a strlen(3) con un puntero nulo; y este bloqueo debería ir directamente al autor del código de llamada. En este caso, la trama #01 es la que llama mal.

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)

Puede reproducir una instancia de este tipo de bloqueo utilizando crasher strlen-NULL .

Desreferencia de puntero nulo de dirección baja

En muchos casos, la dirección de falla no será 0, sino algún otro número bajo. Las direcciones de dos o tres dígitos en particular son muy comunes, mientras que una dirección de seis dígitos casi con seguridad no es una desreferencia de puntero nulo, lo que requeriría un desplazamiento de 1MiB. Esto suele ocurrir cuando tiene un código que elimina la referencia a un puntero nulo como si fuera una estructura válida. Las funciones comunes son fprintf(3) (o cualquier otra función que tome un ARCHIVO*) y readdir(3) , porque el código a menudo no comprueba si la llamada fopen(3) u opendir(3) tuvo éxito primero.

Aquí hay un ejemplo 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)

Aquí, la causa directa del bloqueo es que pthread_mutex_lock(3) intentó acceder a la dirección 0xc (marco 0). Pero lo primero que hace pthread_mutex_lock es desreferenciar el elemento de state del pthread_mutex_t* que se le dio. Si observa la fuente, puede ver que el elemento está en el desplazamiento 0 en la estructura, lo que le indica que pthread_mutex_lock recibió el puntero no válido 0xc. Desde el cuadro 1, puede ver que readdir le dio ese puntero, que extrae el campo mutex_ del DIR* que se le dio. Mirando esa estructura, puede ver que mutex_ está en el desplazamiento sizeof(int) + sizeof(size_t) + sizeof(dirent*) en struct DIR , que en un dispositivo de 32 bits es 4 + 4 + 4 = 12 = 0xc, así que encontró el error: la persona que llamó pasó a readdir un puntero nulo. En este punto, puede pegar la pila en la herramienta de pila para averiguar en qué parte de logcat sucedió esto.

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

En la mayoría de los casos, puede omitir este análisis. Una dirección de falla lo suficientemente baja generalmente significa que puede omitir cualquier marco libc.so en la pila y acusar directamente al código de llamada. Pero no siempre, y así es como presentaría un caso convincente.

Puede reproducir instancias de este tipo de fallas usando crasher fprintf-NULL o crasher readdir-NULL .

fracaso de FORTIFICAR

Una falla de FORTIFY es un caso especial de un aborto que ocurre cuando la biblioteca C detecta un problema que podría conducir a una vulnerabilidad de seguridad. Muchas funciones de la biblioteca C están reforzadas ; toman un argumento adicional que les dice qué tan grande es realmente un búfer y verifican en tiempo de ejecución si la operación que está tratando de realizar realmente se ajusta. Aquí hay un ejemplo en el que el código intenta read(fd, buf, 32) en un búfer que en realidad tiene solo 10 bytes de largo...

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)

Puede reproducir una instancia de este tipo de bloqueo utilizando crasher fortify .

Corrupción de pila detectada por -fstack-protector

La opción -fstack-protector del compilador inserta verificaciones en funciones con búfer en la pila para protegerse contra desbordamientos del búfer. Esta opción está activada de forma predeterminada para el código de la plataforma, pero no para las aplicaciones. Cuando esta opción está habilitada, el compilador agrega instrucciones al prólogo de la función para escribir un valor aleatorio justo después del último local en la pila y al epílogo de la función para leerlo y verificar que no haya cambiado. Si ese valor cambió, se sobrescribió con un desbordamiento del búfer, por lo que el epílogo llama a __stack_chk_fail para registrar un mensaje y 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)

Puede distinguir esto de otros tipos de anulación por la presencia de __stack_chk_fail en el seguimiento y el mensaje de anulación específico.

Puede reproducir una instancia de este tipo de bloqueo utilizando crasher smash-stack .

Seccomp SIGSYS de una llamada al sistema no permitida

El sistema seccomp (específicamente seccomp-bpf) restringe el acceso a las llamadas del sistema. Para obtener más información sobre seccomp para desarrolladores de plataformas, consulte la publicación de blog Filtro Seccomp en Android O . Un subproceso que llame a una llamada de sistema restringida recibirá una señal SIGSYS con el código SYS_SECCOMP. El número de llamada del sistema se mostrará en la línea de causa, junto con la arquitectura. Es importante tener en cuenta que los números de llamada del sistema varían entre arquitecturas. Por ejemplo, la llamada al sistema readlinkat(2) es el número 305 en x86 pero 267 en x86-64. El número de teléfono vuelve a ser diferente tanto en arm como en arm64. Debido a que los números de llamada del sistema varían entre arquitecturas, generalmente es más fácil usar el seguimiento de la pila para averiguar qué llamada del sistema no se permitió en lugar de buscar el número de llamada del sistema en los encabezados.

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)

Puede distinguir las llamadas al sistema no permitidas de otros bloqueos por la presencia de SYS_SECCOMP en la línea de señal y la descripción en la línea de causa.

Puede reproducir una instancia de este tipo de bloqueo utilizando crasher seccomp .

Infracción de memoria de solo ejecución (solo Android 10)

Para arm64 solo en Android 10, los segmentos ejecutables de archivos binarios y bibliotecas se mapearon en memoria de solo ejecución (no legible) como una técnica de refuerzo contra ataques de reutilización de código. Esta mitigación interactuó mal con otras mitigaciones y luego se eliminó.

Hacer que el código sea ilegible provoca lecturas intencionales y no intencionales en los segmentos de memoria marcados como de solo ejecución para generar un SIGSEGV con el código SEGV_ACCERR . Esto puede ocurrir como resultado de un error, una vulnerabilidad, datos mezclados con código (como un grupo literal) o una introspección de memoria intencional.

El compilador asume que el código y los datos no están entremezclados, pero pueden surgir problemas del ensamblaje escrito a mano. En muchos casos, estos pueden solucionarse simplemente moviendo las constantes a una sección .data . Si la introspección del código es absolutamente necesaria en las secciones de código ejecutable, primero se debe llamar a mprotect(2) para marcar el código como legible y luego nuevamente para marcarlo como ilegible una vez que se completa la operación.

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)

Puede distinguir las infracciones de memoria de solo ejecución de otros bloqueos por la línea de causa.

Puede reproducir una instancia de este tipo de bloqueo utilizando crasher xom .

Error detectado por fdsan

El desinfectante de descriptores de archivos fdsan de Android ayuda a detectar errores comunes con los descriptores de archivos, como usar después de cerrar y cerrar dos veces. Consulte la documentación de fdsan para obtener más detalles sobre cómo depurar (y evitar) esta clase de errores.

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)

Puede distinguir esto de otros tipos de anulación por la presencia de fdsan_error en el seguimiento y el mensaje de anulación específico.

Puede reproducir una instancia de este tipo de bloqueo utilizando crasher fdsan_file o crasher fdsan_dir .

Investigación de volcados de emergencia

Si no tiene un bloqueo específico que esté investigando en este momento, la fuente de la plataforma incluye una herramienta para probar la debuggerd llamada bloqueador. Si crasher64 system/core/debuggerd/ obtendrá tanto un crasher como un mm en su camino (este último le permite probar bloqueos de 64 bits). Crasher puede bloquearse de muchas maneras interesantes según los argumentos de la línea de comandos que proporcione. Use crasher --help para ver la selección admitida actualmente.

Para presentar las diferentes piezas en un volcado de memoria, trabajemos con este volcado de memoria de ejemplo:

*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***
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 línea de asteriscos con espacios es útil si está buscando un registro de fallas nativas. La cadena "*** ***" rara vez aparece en los registros que no sean al comienzo de un bloqueo nativo.

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

La huella dactilar le permite identificar exactamente en qué compilación se produjo el bloqueo. Esto es exactamente lo mismo que la propiedad del sistema ro.build.fingerprint .

Revision: '0'

La revisión se refiere al hardware más que al software. Por lo general, no se usa, pero puede ser útil para ayudarlo a ignorar automáticamente los errores que se sabe que son causados ​​​​por un hardware defectuoso. Esto es exactamente lo mismo que la propiedad del sistema ro.revision .

ABI: 'arm'

El ABI es uno de arm, arm64, x86 o x86-64. Esto es principalmente útil para el script de stack mencionado anteriormente, para que sepa qué cadena de herramientas usar.

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

Esta línea identifica el hilo específico en el proceso que falló. En este caso, era el subproceso principal del proceso, por lo que el ID del proceso y el ID del subproceso coinciden. El primer nombre es el nombre del subproceso, y el nombre rodeado por >>> y <<< es el nombre del proceso. Para una aplicación, el nombre del proceso suele ser el nombre completo del paquete (como com.facebook.katana), que es útil cuando se registran errores o se intenta encontrar la aplicación en Google Play. El pid y el tid también pueden ser útiles para encontrar las líneas de registro relevantes que preceden al bloqueo.

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

Esta línea le dice qué señal (SIGABRT) se recibió y más sobre cómo se recibió (SI_TKILL). Las señales reportadas por debuggerd son SIGABRT, SIGBUS, SIGFPE, SIGILL, SIGSEGV y SIGTRAP. Los códigos específicos de la señal varían según la señal específica.

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

No todos los bloqueos tendrán una línea de mensaje de cancelación, pero las cancelaciones sí. Esto se obtiene automáticamente de la última línea de la salida de logcat fatal para este pid/tid y, en el caso de un aborto deliberado, es probable que brinde una explicación de por qué el programa se eliminó.

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

El volcado de registro muestra el contenido de los registros de la CPU en el momento en que se recibió la señal. (Esta sección varía enormemente entre las ABI). La utilidad de estas dependerá del bloqueo exacto.

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

El seguimiento le muestra en qué parte del código estábamos en el momento del accidente. La primera columna es el número de cuadro (que coincide con el estilo de gdb donde el cuadro más profundo es 0). Los valores de PC son relativos a la ubicación de la biblioteca compartida en lugar de direcciones absolutas. La siguiente columna es el nombre de la región asignada (que suele ser una biblioteca compartida o un archivo ejecutable, pero podría no serlo, por ejemplo, para el código compilado JIT). Finalmente, si hay símbolos disponibles, se muestra el símbolo al que corresponde el valor de PC, junto con el desplazamiento en bytes de ese símbolo. Puede usar esto junto con objdump(1) para encontrar la instrucción del ensamblador correspondiente.

Lectura de lápidas

Tombstone written to: /data/tombstones/tombstone_06

Esto le dice dónde debuggerd escribió información adicional. debuggerd conservará hasta 10 lápidas, recorrerá los números del 00 al 09 y sobrescribirá las lápidas existentes según sea necesario.

La lápida contiene la misma información que el volcado de memoria, además de algunos extras. Por ejemplo, incluye seguimientos para todos los subprocesos (no solo el subproceso que falla), los registros de punto flotante, los volcados de pila sin procesar y los volcados de memoria alrededor de las direcciones en los registros. Lo más útil es que también incluye un mapa de memoria completo (similar a /proc/ pid /maps ). Aquí hay un ejemplo anotado de un bloqueo del proceso ARM de 32 bits:

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

Hay dos cosas a tener en cuenta aquí. La primera es que esta línea tiene el prefijo "--->". Los mapas son más útiles cuando su bloqueo no es solo una falta de referencia de puntero nulo. Si la dirección de falla es pequeña, probablemente sea alguna variante de una falta de referencia de puntero nulo. De lo contrario, mirar los mapas alrededor de la dirección de la falla a menudo puede darle una pista de lo que sucedió. Algunos posibles problemas que se pueden reconocer al mirar los mapas incluyen:

  • Lee/escribe más allá del final de un bloque de memoria.
  • Lee/escribe antes del comienzo de un bloque de memoria.
  • Intentos de ejecución sin código.
  • Salir del final de una pila.
  • Intenta escribir en el código (como en el ejemplo anterior).

La segunda cosa a tener en cuenta es que los archivos ejecutables y de bibliotecas compartidas mostrarán el BuildId (si está presente) en Android 6.0 y versiones posteriores, para que pueda ver exactamente qué versión de su código falló. Los binarios de la plataforma incluyen un BuildId de forma predeterminada desde Android 6.0; NDK r12 y versiones posteriores también pasan automáticamente -Wl,--build-id al enlazador.

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

En Android, el montón no es necesariamente una sola región. Las regiones del montón se etiquetarán [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, una biblioteca compartida tiene tres entradas adyacentes. Uno es legible y ejecutable (código), uno es de solo lectura (datos de solo lectura) y uno es de lectura y escritura (datos mutables). La primera columna muestra los rangos de direcciones para el mapeo, la segunda columna los permisos (en el estilo habitual de Unix ls(1) ), la tercera columna el desplazamiento en el archivo (en hexadecimal), la cuarta columna el tamaño de la región ( en hexadecimal), y la quinta columna el archivo (u otro nombre de región).

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 de Android 5.0, la biblioteca C nombra la mayoría de sus regiones mapeadas anónimas, por lo que hay menos regiones misteriosas.

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

Las regiones nombradas [stack: tid ] son las pilas para los subprocesos dados.

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]

Que vea [vector] o [vdso] depende de la arquitectura. ARM usa [vector] , mientras que todas las demás arquitecturas usan [vdso] .