Cómo diagnosticar fallas por errores en código nativo

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

Anular

Los abortos son interesantes porque son deliberados. Existen muchas formas diferentes de abortar (incluida la llamada a abort(3), el error de un assert(3) o el uso de uno de los tipos de registro fatales específicos de Android), pero todas implican llamar a abort. Una llamada a abort indica el subproceso de llamada con SIGABRT, por lo que un marco que muestra "abort" en libc.so más SIGABRT son los elementos que se deben buscar en el resultado de debuggerd para reconocer este caso.

Puede haber una línea explícita de "mensaje de aborto". También debes buscar en el resultado de logcat para ver qué registró este subproceso antes de finalizarse de forma deliberada, ya que, a diferencia de assert(3) o las funciones de registro fatales de alto nivel, abort(3) no acepta un mensaje.

Las versiones actuales de Android intercalan 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 siguieron una ruta complicada entre la llamada de aborto 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

Puedes reproducir una instancia de este tipo de falla con crasher abort.

Eliminación de referencia de puntero nulo pura

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

En el siguiente ejemplo, aunque la función que falla está en libc.so, como las funciones de cadena solo operan en los punteros que se les proporcionan, puedes inferir que se llamó a strlen(3) con un puntero nulo, y esta falla debería ir directamente al autor del código de llamada. En este caso, la trama 01 es el llamador incorrecto.

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)

Puedes reproducir una instancia de este tipo de falla con crasher strlen-NULL.

Eliminación de referencia de puntero nulo de baja 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 con certeza no es una anulación de puntero nulo, lo que requeriría un desplazamiento de 1 MiB. Esto suele ocurrir cuando tienes código que hace una anulación de referencia de 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), ya que el código a menudo no verifica que la llamada a fopen(3) o opendir(3) haya tenido éxito primero.

Este es 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 de la falla es que pthread_mutex_lock(3) intentó acceder a la dirección 0xc (fotograma 0). Pero lo primero que hace pthread_mutex_lock es anular la referencia del elemento state del pthread_mutex_t* que se le proporcionó. Si observas la fuente, puedes ver que el elemento está en el desplazamiento 0 en la estructura, lo que te indica que a pthread_mutex_lock se le asignó el puntero no válido 0xc. En el fotograma 1, puedes ver que readdir le asignó ese puntero, que extrae el campo mutex_ del DIR* que se le proporciona. Si observas esa estructura, puedes 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, por lo que encontraste el error: el llamador le pasó un puntero nulo a readdir. En este punto, puedes 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, puedes omitir este análisis. Por lo general, una dirección de falla lo suficientemente baja significa que puedes omitir cualquier marco libc.so en la pila y acusar directamente el código de llamada. Pero no siempre es así, y así es como presentarías un caso convincente.

Puedes reproducir instancias de este tipo de falla con crasher fprintf-NULL o crasher readdir-NULL.

Falla de FORTIFY

Una falla de FORTIFY es un caso especial de aborto que ocurre cuando la biblioteca C detecta un problema que podría generar una vulnerabilidad de seguridad. Muchas funciones de la biblioteca de C están fortalecidas; toman un argumento adicional que les indica qué tan grande es un búfer y verifican en el tiempo de ejecución si la operación que intentas realizar realmente se ajusta. Este es 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 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)

Puedes reproducir una instancia de este tipo de falla con crasher fortify.

Daño en la pila detectado por -fstack-protector

La opción -fstack-protector del compilador inserta verificaciones en las funciones con búferes en la pila para evitar desbordamientos de búfer. Esta opción está activada de forma predeterminada para el código de la plataforma, pero no para las apps. 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 elemento local en la pila y al epílogo de la función para volver a leerlo y verificar que no haya cambiado. Si ese valor cambió, se reemplazó 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)

Puedes distinguir esto de otros tipos de aborto por la presencia de __stack_chk_fail en el seguimiento de pila y el mensaje de aborto específico.

Puedes reproducir una instancia de este tipo de falla con 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, consulta la entrada de blog Filtro Seccomp en Android O. Un subproceso que llame a una llamada al sistema restringida recibirá un indicador 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 llamadas del sistema varían según la arquitectura. 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 en arm y arm64. Debido a que los números de llamadas al sistema varían entre las arquitecturas, suele ser más fácil usar el seguimiento de 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)

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

Puedes reproducir una instancia de este tipo de falla con crasher seccomp.

Violación de memoria de solo ejecución (solo para Android 10)

Solo para arm64 en Android 10, los segmentos ejecutables de bibliotecas y objetos binarios se asignaron a memoria de solo ejecución (no de lectura) como técnica de endurecimiento contra los ataques de reutilización de código. Esta mitigación interactuaba de forma incorrecta con otras mitigaciones y, más tarde, se quitó.

Hacer que el código no se pueda leer hace que las lecturas intencionales y no intencionales de los segmentos de memoria marcados como de solo ejecución arrojen 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 supone que el código y los datos no están mezclados, pero pueden surgir problemas debido al ensamblado 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 secciones de código ejecutable, primero se debe llamar a mprotect(2) para marcar el código como legible y, luego, volver a llamarlo para marcarlo como no legible 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)

Puedes distinguir las infracciones de memoria de solo ejecución de otras fallas por la línea de causa.

Puedes reproducir una instancia de este tipo de falla con crasher xom.

Error detectado por fdsan

El limpiador de descriptores de archivos fdsan de Android ayuda a detectar errores comunes con descriptores de archivos, como el uso después del cierre y el cierre doble. Consulta la documentación de fdsan para obtener más detalles sobre la depuración (y la evitación) de 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)

Puedes distinguir esto de otros tipos de aborto por la presencia de fdsan_error en el seguimiento de pila y el mensaje de aborto específico.

Puedes reproducir una instancia de este tipo de falla con crasher fdsan_file o crasher fdsan_dir.

Investiga los volcados de fallas

Si no tienes una falla específica que estés investigando en este momento, la fuente de la plataforma incluye una herramienta para probar debuggerd llamada generador de fallas. Si haces mm en system/core/debuggerd/, obtendrás un crasher y un crasher64 en tu ruta de acceso (este último te permite probar fallas de 64 bits). Crasher puede fallar de muchas maneras interesantes según los argumentos de la línea de comandos que proporciones. Usa crasher --help para ver la selección compatible actualmente.

Para presentar las diferentes partes de un volcado de falla, analicemos este ejemplo de volcado de falla:

*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***
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 buscas fallas nativas en un registro. La cadena "*** ***" rara vez aparece en los registros, excepto al comienzo de una falla nativa.

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

La huella digital te permite identificar exactamente en qué compilación se produjo la falla. Esto es exactamente lo mismo que la propiedad del sistema ro.build.fingerprint.

Revision: '0'

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

ABI: 'arm'

La ABI es una de las siguientes: arm, arm64, x86 o x86-64. Esto es útil principalmente para la secuencia de comandos stack mencionada anteriormente, de modo que sepa qué cadena de herramientas usar.

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

Esta línea identifica el subproceso específico del 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. En el caso de una app, el nombre del proceso suele ser el nombre del paquete completamente calificado (como com.facebook.katana), que es útil cuando se informan errores o se intenta encontrar la app en Google Play. El pid y el tid también pueden ser útiles para encontrar las líneas de registro relevantes que preceden a la falla.

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

Esta línea te indica qué indicador (SIGABRT) se recibió y más información sobre cómo se recibió (SI_TKILL). Los indicadores que informa debuggerd son SIGABRT, SIGBUS, SIGFPE, SIGILL, SIGSEGV y SIGTRAP. Los códigos específicos de los indicadores varían según el indicador específico.

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

No todos los errores de falla tendrán una línea de mensaje de aborto, pero los abortos sí. Se recopila automáticamente de la última línea del resultado fatal de Logcat para este pid/tid y, en el caso de una interrupción deliberada, es probable que proporcione una explicación de por qué el programa se cerró.

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 mucho entre las 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

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

Cómo leer tombstones

Tombstone written to: /data/tombstones/tombstone_06

Esto te indica dónde debuggerd escribió información adicional. debuggerd conservará hasta 10 lápidas, alternando entre los números del 00 al 09 y reemplazando las lápidas existentes según sea necesario.

El marcador contiene la misma información que el volcado de falla, además de algunos elementos adicionales. Por ejemplo, incluye seguimientos de pila 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). A continuación, se muestra un ejemplo con anotaciones de una falla 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 aspectos que debes tener en cuenta. El primero es que esta línea tiene el prefijo “--->". Los mapas son más útiles cuando la falla no es solo una anulación de referencia de puntero nulo. Si la dirección de falla es pequeña, es probable que sea una variante de una anulación de puntero nulo. De lo contrario, mirar los mapas alrededor de la dirección de la falla a menudo puede darte una pista sobre lo que sucedió. Estos son algunos de los posibles problemas que se pueden reconocer en los mapas:

  • Lee o escribe más allá del final de un bloque de memoria.
  • Operaciones de lectura o escritura antes del comienzo de un bloque de memoria.
  • Intenta ejecutar contenido que no es código.
  • Se ejecuta al final de una pila.
  • Intenta escribir en el código (como en el ejemplo anterior).

Lo segundo que debes 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, de modo que puedas ver exactamente qué versión de tu código falló. Los objetos binarios de la plataforma incluyen un BuildId de forma predeterminada desde Android 6.0. El NDK r12 y versiones posteriores también pasan automáticamente -Wl,--build-id al vinculador.

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 como [anon:libc_malloc].

f6d82000-f6da1fff r--         0     20000  /dev/__properties__/u:object_r:logd_prop:s0
f6da2000-f6dc1fff r--         0     20000  /dev/__properties__/u:object_r:default_prop:s0
f6dc2000-f6de1fff r--         0     20000  /dev/__properties__/u:object_r:logd_prop:s0
f6de2000-f6de5fff r-x         0      4000  /system/lib/libnetd_client.so (BuildId: 08020aa06ed48cf9f6971861abf06c9d)
f6de6000-f6de6fff r--      3000      1000  /system/lib/libnetd_client.so
f6de7000-f6de7fff rw-      4000      1000  /system/lib/libnetd_client.so
f6dec000-f6e74fff r-x         0     89000  /system/lib/libc++.so (BuildId: 8f1f2be4b37d7067d366543fafececa2) (load base 0x2000)
f6e75000-f6e75fff ---         0      1000
f6e76000-f6e79fff r--     89000      4000  /system/lib/libc++.so
f6e7a000-f6e7afff rw-     8d000      1000  /system/lib/libc++.so
f6e7b000-f6e7bfff rw-         0      1000  [anon:.bss]
f6e7c000-f6efdfff r-x         0     82000  /system/lib/libc.so (BuildId: d189b369d1aafe11feb7014d411bb9c3)
f6efe000-f6f01fff r--     81000      4000  /system/lib/libc.so
f6f02000-f6f03fff rw-     85000      2000  /system/lib/libc.so
f6f04000-f6f04fff rw-         0      1000  [anon:.bss]
f6f05000-f6f05fff r--         0      1000  [anon:.bss]
f6f06000-f6f0bfff rw-         0      6000  [anon:.bss]
f6f0c000-f6f21fff r-x         0     16000  /system/lib/libcutils.so (BuildId: d6d68a419dadd645ca852cd339f89741)
f6f22000-f6f22fff r--     15000      1000  /system/lib/libcutils.so
f6f23000-f6f23fff rw-     16000      1000  /system/lib/libcutils.so
f6f24000-f6f31fff r-x         0      e000  /system/lib/liblog.so (BuildId: e4d30918d1b1028a1ba23d2ab72536fc)
f6f32000-f6f32fff r--      d000      1000  /system/lib/liblog.so
f6f33000-f6f33fff rw-      e000      1000  /system/lib/liblog.so

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 y 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 ls(1) de Unix), 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 (o cualquier 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 asigna nombres a la mayoría de sus regiones anónimas asignadas para que haya menos regiones misteriosas.

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

Las regiones llamadas [stack:tid] son las pilas de los subprocesos determinados.

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]

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