Google is committed to advancing racial equity for Black communities. See how.
Se usó la API de Cloud Translation para traducir esta página.
Switch to English

Diagnóstico de bloqueos nativos

Las siguientes secciones incluyen tipos comunes de fallos nativos, un análisis de un volcado de fallos de muestra y una discusión sobre lápidas. Cada tipo de falla incluye un resultado debuggerd 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 en una assert(3) , usar uno de los tipos de registro fatal específicos de Android), pero todas implican llamar a abort . Una llamada para abort señala el hilo de llamada con SIGABRT, por lo que un marco que muestre "abortar" en libc.so más SIGABRT son las cosas que se deben buscar en la salida debuggerd para reconocer este caso.

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

Las versiones actuales de Android tgkill(2) 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 siguieron una ruta complicada entre la llamada de cancelación original (cuadro 4 aquí) y el envío real de la señal (cuadro 0 aquí). Esto fue especialmente cierto en ARM de 32 bits, que agregó __libc_android_abort (fotograma 3 aquí) a la secuencia de otras plataformas de raise / pthread_kill / tgkill :

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

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 la menor 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 strlen(3) fue llamado con un puntero nulo; y este bloqueo debe ir directamente al autor del código de llamada. En este caso, la trama # 01 es la llamada incorrecta.

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 certeza 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 FILE *) y readdir(3) , porque el código a menudo falla al verificar que la llamada fopen(3) u opendir(3) realmente 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) 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 la fuente, puede ver que el elemento está en el desplazamiento 0 en la estructura, lo que le dice 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 el desplazamiento sizeof(int) + sizeof(size_t) + sizeof(dirent*) en la struct DIR , que en un dispositivo de 32 bits es 4 + 4 + 4 = 12 = 0xc, así que encontró el error: la persona que readdir le pasó un puntero nulo a readdir . En este punto se puede pegar la pila en la pila de herramientas para averiguar dónde en Logcat esto sucedió.

  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 simplemente 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 bloqueo utilizando crasher fprintf-NULL o crasher readdir-NULL .

FORTIFICAR el fracaso

Una falla FORTIFY es un caso especial de aborto que ocurre cuando la biblioteca C detecta un problema que podría conducir a una vulnerabilidad de seguridad. Muchas funciones de la biblioteca de 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 longitud ...

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 comprobaciones en funciones con búferes en la pila para protegerse contra saturaciones del búfer. Esta opción está activada de forma predeterminada para el código de 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ó, fue sobrescrito por un desbordamiento de 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 el backtrace 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 de blog Filtro Seccomp en Android O. Un hilo que llame a una llamada restringida al sistema 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 al 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 es diferente de nuevo tanto en arm como en arm64. Debido a que los números de llamada al sistema varían entre arquitecturas, generalmente es más fácil usar el seguimiento de la pila para averiguar qué llamada al sistema no se permitió en lugar de buscar el número de llamada al 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 mediante crasher seccomp .

Violación de memoria de solo ejecución

Para arm64 en Android 10 y superior, 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 los ataques de reutilización de código. Las primitivas de lectura se pueden utilizar para evitar la aleatorización del diseño del espacio de direcciones (ASLR) al buscar funciones conocidas en la memoria ejecutable o al construir 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 toda una clase 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 pueden ser revelados a los atacantes con primitivas de lectura.

Hacer que el código sea ilegible hace que las lecturas intencionales y no intencionales en los segmentos de memoria marcados como ejecución exclusiva arrojen 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 intencional de la memoria.

El compilador asume que el código y los datos no están entremezclados, pero pueden surgir problemas debido al ensamblaje escrito a mano. En muchos casos, estos pueden solucionarse simplemente moviendo las constantes a una sección .data . Si la introspección de código es absolutamente necesaria en 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 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 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 aborto por la presencia de fdsan_error en el backtrace y el mensaje de aborto específico.

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

Investigar vertederos 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 debuggerd llamada crasher. Si mm en el system/core/debuggerd/ obtendrá tanto un crasher y una crasher64 en su camino (este último que le permite probar los accidentes de 64 bits). Crasher puede fallar de muchas formas interesantes según los argumentos de la línea de comandos que proporciones. Utilice crasher --help para ver la selección admitida actualmente.

Para introducir las diferentes piezas en un volcado de emergencia, trabajemos con este volcado de error 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 busca un registro de bloqueos nativos. La cadena "*** ***" rara vez aparece en 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é construcción ocurrió el accidente. Es exactamente lo mismo que la propiedad del sistema ro.build.fingerprint .

Revision: '0'

La revisión se refiere al hardware y no 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, de modo 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 hilo principal del proceso, por lo que el ID del proceso y el ID del hilo coinciden. El primer nombre es el nombre del hilo y el nombre rodeado por >>> y <<< es el nombre del proceso. En el caso de una aplicación, el nombre del proceso suele ser el nombre del paquete completo (como com.facebook.katana), lo que resulta útil cuando se presentan errores o se intenta encontrar la aplicación en Google Play. El pid y 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 los abortos sí. Esto se recopila automáticamente de la última línea de la salida fatal de logcat para este pid / tid, y en el caso de un aborto deliberado, es probable que proporcione una explicación de por qué el programa se mató a sí mismo.

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 registros 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). Su utilidad 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 rastreo le muestra en qué parte del código estábamos en el momento del bloqueo. La primera columna es el número de fotograma (que coincide con el estilo de gdb donde el fotograma más profundo es 0). Los valores de la 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 mapeada (que normalmente es una biblioteca compartida o ejecutable, pero puede que no sea para, digamos, código compilado con JIT). Finalmente, si hay símbolos disponibles, se muestra el símbolo al que corresponde el valor de 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.

Leyendo 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, 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 emergencia, además de algunos extras. Por ejemplo, incluye rastreos para todos los subprocesos (no solo el subproceso que se bloquea), 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 incluya 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 falla 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 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.
  • Intenta ejecutar no código.
  • Corriendo al final de una pila.
  • Intenta escribir en 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 superior, para que pueda ver exactamente qué versión de su código falló. 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 región única. 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 otro 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 llamadas [stack: tid ] son las pilas de 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]

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