Google se compromete a promover la equidad racial para las comunidades negras. Ver cómo.
Se usó la API de Cloud Translation para traducir esta página.
Switch to English

Diagnóstico de choques nativos

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

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 es lo que debe buscar en la salida debuggerd para reconocer este caso.

Puede haber una línea explícita de "cancelar mensaje". También debe mirar en la salida de logcat para ver lo que este hilo registró antes de suicidarse deliberadamente, porque a diferencia de assert(3) o las instalaciones de registro fatales de alto nivel, abort(3) no acepta un mensaje.

Las versiones actuales de Android incorporan la llamada al sistema tgkill(2) , por lo que sus pilas son las más fáciles de leer, con la llamada a abortar (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 (marco 3 aquí) a la secuencia de raise / pthread_kill / tgkill 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 utilizando crasher abort .

Pura anulación del puntero nulo

Este es el bloqueo nativo clásico, y aunque es solo un caso especial del próximo tipo de choque, vale la pena mencionarlo por separado porque generalmente requiere la menor atención.

En el siguiente ejemplo, a pesar de que la función de bloqueo se encuentra en libc.so , debido a que las funciones de cadena solo funcionan en los punteros que se les dan, puede inferir que strlen(3) se llamó con un puntero nulo; y este bloqueo debería ir directamente al autor del código de llamada. En este caso, el cuadro # 01 es el 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 .

Baja referencia de puntero nulo de dirección

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 seguramente no es una desreferencia de puntero nulo, eso requeriría un desplazamiento de 1MiB. Esto generalmente ocurre cuando tiene código que desreferencia 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 puede verificar que la llamada fopen(3) u opendir(3) realmente haya tenido é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) ha intentado 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 el origen, 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* se le da. Al observar esa estructura, puede ver que mutex_ está en offset 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 readdir pasó un puntero nulo a readdir . En este punto, puede pegar la pila en la herramienta de pila para averiguar dónde sucedió esto en logcat.

  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 suficientemente baja generalmente significa que puede omitir cualquier libc.so frames en la pila y acusar directamente el código de llamada. Pero no siempre, y así es como presentarías un caso convincente.

Puede reproducir instancias de este tipo de bloqueo utilizando crasher fprintf-NULL o crasher readdir-NULL .

FORTIFICAR el fracaso

Un error de FORTIFY es un caso especial de un aborto que ocurre cuando la biblioteca C detecta un problema que podría generar una vulnerabilidad de seguridad. Muchas funciones de la biblioteca C están fortificadas ; 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á intentando 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 solo tiene 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 .

La corrupción de la pila detectada por -fstack-protector

La opción -fstack-protector del compilador inserta controles en las funciones con buffers en la pila para proteger contra desbordamientos del buffer. 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 nuevamente y verificar que no haya cambiado. Si ese valor cambió, fue sobrescrito por 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 aborto por la presencia de __stack_chk_fail en la __stack_chk_fail y el mensaje de aborto específico.

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

Seccomp SIGSYS de una llamada de 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 del blog Filtro de Seccomp en Android O. Un hilo que llama a una llamada de sistema restringido 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 llamada vuelve a ser diferente en arm y 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 fue rechazada 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 de 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

Para arm64 en Android 10 y versiones posteriores, los segmentos ejecutables de binarios y bibliotecas se asignan a la memoria de solo ejecución (no legible) como una técnica de refuerzo contra ataques de reutilización de código. Las primitivas de lectura se pueden usar para omitir la aleatorización del diseño del espacio de direcciones (ASLR) buscando funciones ejecutables en la memoria ejecutable o construyendo cadenas de dispositivos sin ningún conocimiento previo del diseño de la memoria. Al marcar el código ejecutable como ilegible, las primitivas de lectura no pueden acceder a la memoria ejecutable, cerrando una clase completa de técnicas de explotación. Esto no solo mejora la efectividad de ASLR sino también la integridad del flujo de control (CFI) porque los destinos válidos ya no se pueden revelar a los atacantes con primitivas de lectura.

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

El compilador supone que el código y los datos no están entremezclados, pero pueden surgir problemas a partir del ensamblaje escrito a mano. En muchos casos, esto se puede solucionar simplemente moviendo las constantes a una sección .data . Si la introspección de código es absolutamente necesaria en las secciones de código ejecutable, se debe llamar a mprotect(2) primero para marcar el código legible y luego nuevamente para marcarlo como ilegible después de que se complete 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 violaciones 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 descriptores de archivos como use-after-close y double-close. Consulte la documentación de fdsan para obtener más detalles sobre la depuración (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 aborto por la presencia de fdsan_error en la fdsan_error y el mensaje de aborto específico.

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

Investigación de vertederos accidentales

Si no tiene un bloqueo específico que está investigando en este momento, la fuente de la plataforma incluye una herramienta para probar el debuggerd llamada crasher. Si mm en system/core/debuggerd/ obtendrá tanto un crasher como un crasher64 en su camino (este último le permite probar bloqueos de 64 bits). Crasher puede bloquearse de muchas maneras interesantes en función de 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 por caída, veamos este ejemplo de volcado por caída:

*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***
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 bloqueos nativos. 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 digital 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. Esto generalmente 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 se bloqueó. En este caso, era el hilo principal del proceso, por lo que la ID del proceso y la ID del hilo coinciden. El primer nombre es el nombre del hilo, 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 archivan 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 indica qué señal (SIGABRT) se recibió y más información sobre cómo se recibió (SI_TKILL). Las señales informadas 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 los abortos sí. Esto se recopila automáticamente de la última línea de salida fatal de logcat para este pid / tid, y en el caso de un aborto deliberado es probable que dé una explicación de por qué el programa se suicidó.

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 ABI). La utilidad de estos dependerá de la falla exacta.

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

La traza inversa le muestra en qué parte del código estábamos en el momento del bloqueo. 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 la PC son relativos a la ubicación de la biblioteca compartida en lugar de las direcciones absolutas. La siguiente columna es el nombre de la región asignada (que generalmente es una biblioteca compartida o ejecutable, pero podría no ser, por ejemplo, para código compilado JIT). Finalmente, si hay símbolos disponibles, se muestra el símbolo al que corresponde el valor de la PC, junto con el desplazamiento en ese símbolo en bytes. Puede usar esto junto con objdump(1) para encontrar la instrucción de ensamblador correspondiente.

Leer lápidas

Tombstone written to: /data/tombstones/tombstone_06

Esto le indica dónde debuggerd escribió información adicional. debuggerd mantendrá hasta 10 lápidas, recorriendo los números del 00 al 09 y sobrescribiendo 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 rastreos para todos los subprocesos (no solo el subproceso de bloqueo), los registros de coma flotante, volcados de pila sin procesar y 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 de 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 desreferencia de puntero nulo. Si la dirección de falla es pequeña, probablemente sea una variante de una desreferencia de puntero nulo. De lo contrario, mirar los mapas alrededor de la dirección de falla a menudo puede darle una pista de lo que sucedió. Algunos posibles problemas que pueden reconocerse mirando 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 ejecutar sin código.
  • Corriendo al 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 las bibliotecas compartidas mostrarán el BuildId (si está presente) en Android 6.0 y superior, para que pueda ver exactamente qué versión de su código se bloqueó. Los binarios de la plataforma incluyen un BuildId por defecto desde Android 6.0; NDK r12 y superior pasan automáticamente -Wl,--build-id al enlazador también.

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

Por lo general, 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-escritura (datos mutables). La primera columna muestra los rangos de direcciones para la asignación, 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 del 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 llamadas [stack: tid ] son las pilas para los hilos 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]

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