Las siguientes secciones incluyen tipos comunes de fallas nativas, un análisis de un volcado de fallas de muestra y una discusión sobre las lápidas. Cada tipo de falla incluye una salida debuggerd
de ejemplo con evidencia clave resaltada para ayudarlo a distinguir el tipo específico de falla.
Abortar
Los abortos son interesantes porque son deliberados. Hay muchas formas diferentes de abortar (incluyendo llamar a abort(3)
, fallar una assert(3)
, usar uno de los tipos de registro fatales específicos de Android), pero todas implican llamar a abort
. Una llamada para abort
señala el subproceso de llamada con SIGABRT, por lo que un marco que muestra "abortar" en libc.so
más SIGABRT son las cosas que debe buscar en la salida debuggerd
para reconocer este caso.
Puede haber una línea explícita de "mensaje de cancelación". También debe buscar en la salida de logcat
para ver qué registró este subproceso antes de matarse deliberadamente, porque a diferencia de las funciones de registro fatal de alto nivel o assert(3)
, abort(3)
no acepta un mensaje.
Las versiones actuales de Android incluyen la llamada al sistema tgkill(2)
, por lo que sus pilas son las más fáciles de leer, con la llamada a abort(3) en la parte superior:
pid: 4637, tid: 4637, name: crasher >>> crasher <<< signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr -------- Abort message: 'some_file.c:123: some_function: assertion "false" failed' r0 00000000 r1 0000121d r2 00000006 r3 00000008 r4 0000121d r5 0000121d r6 ffb44a1c r7 0000010c r8 00000000 r9 00000000 r10 00000000 r11 00000000 ip ffb44c20 sp ffb44a08 lr eace2b0b pc eace2b16 backtrace: #00 pc 0001cb16 /system/lib/libc.so (abort+57) #01 pc 0001cd8f /system/lib/libc.so (__assert2+22) #02 pc 00001531 /system/bin/crasher (do_action+764) #03 pc 00002301 /system/bin/crasher (main+68) #04 pc 0008a809 /system/lib/libc.so (__libc_init+48) #05 pc 00001097 /system/bin/crasher (_start_main+38)
Las versiones anteriores de Android seguían un camino complicado entre la llamada de cancelación original (fotograma 4 aquí) y el envío real de la señal (fotograma 0 aquí). Esto fue especialmente cierto en ARM de 32 bits, que agregó __libc_android_abort
(fotograma 3 aquí) a la secuencia de raise
/ pthread_kill
/ tgkill
de las otras plataformas:
pid: 1656, tid: 1656, name: crasher >>> crasher <<< signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr -------- Abort message: 'some_file.c:123: some_function: assertion "false" failed' r0 00000000 r1 00000678 r2 00000006 r3 f70b6dc8 r4 f70b6dd0 r5 f70b6d80 r6 00000002 r7 0000010c r8 ffffffed r9 00000000 sl 00000000 fp ff96ae1c ip 00000006 sp ff96ad18 lr f700ced5 pc f700dc98 cpsr 400b0010 backtrace: #00 pc 00042c98 /system/lib/libc.so (tgkill+12) #01 pc 00041ed1 /system/lib/libc.so (pthread_kill+32) #02 pc 0001bb87 /system/lib/libc.so (raise+10) #03 pc 00018cad /system/lib/libc.so (__libc_android_abort+34) #04 pc 000168e8 /system/lib/libc.so (abort+4) #05 pc 0001a78f /system/lib/libc.so (__libc_fatal+16) #06 pc 00018d35 /system/lib/libc.so (__assert2+20) #07 pc 00000f21 /system/xbin/crasher #08 pc 00016795 /system/lib/libc.so (__libc_init+44) #09 pc 00000abc /system/xbin/crasher
Puede reproducir una instancia de este tipo de bloqueo mediante la crasher abort
del bloqueo.
Desreferencia de puntero nulo puro
Este es el bloqueo nativo clásico y, aunque es solo un caso especial del siguiente tipo de bloqueo, vale la pena mencionarlo por separado porque generalmente requiere menos reflexión.
En el siguiente ejemplo, aunque la función de bloqueo está en libc.so
, debido a que las funciones de cadena solo operan en los punteros que se les dan, puede inferir que se llamó a strlen(3)
con un puntero nulo; y este bloqueo debería ir directamente al autor del código de llamada. En este caso, la trama #01 es la que llama mal.
pid: 25326, tid: 25326, name: crasher >>> crasher <<< signal 11 (SIGSEGV), code 1 (SEGV_MAPERR), fault addr 0x0 r0 00000000 r1 00000000 r2 00004c00 r3 00000000 r4 ab088071 r5 fff92b34 r6 00000002 r7 fff92b40 r8 00000000 r9 00000000 sl 00000000 fp fff92b2c ip ab08cfc4 sp fff92a08 lr ab087a93 pc efb78988 cpsr 600d0030 backtrace: #00 pc 00019988 /system/lib/libc.so (strlen+71) #01 pc 00001a8f /system/xbin/crasher (strlen_null+22) #02 pc 000017cd /system/xbin/crasher (do_action+948) #03 pc 000020d5 /system/xbin/crasher (main+100) #04 pc 000177a1 /system/lib/libc.so (__libc_init+48) #05 pc 000010e4 /system/xbin/crasher (_start+96)
Puede reproducir una instancia de este tipo de bloqueo utilizando crasher strlen-NULL
.
Desreferencia de puntero nulo de dirección baja
En muchos casos, la dirección de falla no será 0, sino algún otro número bajo. Las direcciones de dos o tres dígitos en particular son muy comunes, mientras que una dirección de seis dígitos casi con seguridad no es una desreferencia de puntero nulo, lo que requeriría un desplazamiento de 1MiB. Esto suele ocurrir cuando tiene un código que elimina la referencia a un puntero nulo como si fuera una estructura válida. Las funciones comunes son fprintf(3)
(o cualquier otra función que tome un ARCHIVO*) y readdir(3)
, porque el código a menudo no comprueba si la llamada fopen(3)
u opendir(3)
tuvo éxito primero.
Aquí hay un ejemplo de readdir
:
pid: 25405, tid: 25405, name: crasher >>> crasher <<< signal 11 (SIGSEGV), code 1 (SEGV_MAPERR), fault addr 0xc r0 0000000c r1 00000000 r2 00000000 r3 3d5f0000 r4 00000000 r5 0000000c r6 00000002 r7 ff8618f0 r8 00000000 r9 00000000 sl 00000000 fp ff8618dc ip edaa6834 sp ff8617a8 lr eda34a1f pc eda618f6 cpsr 600d0030 backtrace: #00 pc 000478f6 /system/lib/libc.so (pthread_mutex_lock+1) #01 pc 0001aa1b /system/lib/libc.so (readdir+10) #02 pc 00001b35 /system/xbin/crasher (readdir_null+20) #03 pc 00001815 /system/xbin/crasher (do_action+976) #04 pc 000021e5 /system/xbin/crasher (main+100) #05 pc 000177a1 /system/lib/libc.so (__libc_init+48) #06 pc 00001110 /system/xbin/crasher (_start+96)
Aquí, la causa directa del bloqueo es que pthread_mutex_lock(3)
intentó acceder a la dirección 0xc (marco 0). Pero lo primero que hace pthread_mutex_lock
es desreferenciar el elemento de state
del pthread_mutex_t*
que se le dio. Si observa la fuente, puede ver que el elemento está en el desplazamiento 0 en la estructura, lo que le indica que pthread_mutex_lock
recibió el puntero no válido 0xc. Desde el cuadro 1, puede ver que readdir
le dio ese puntero, que extrae el campo mutex_
del DIR*
que se le dio. Mirando esa estructura, puede ver que mutex_
está en el desplazamiento sizeof(int) + sizeof(size_t) + sizeof(dirent*)
en struct DIR
, que en un dispositivo de 32 bits es 4 + 4 + 4 = 12 = 0xc, así que encontró el error: la persona que llamó pasó a readdir
un puntero nulo. En este punto, puede pegar la pila en la herramienta de pila para averiguar en qué parte de logcat sucedió esto.
struct DIR { int fd_; size_t available_bytes_; dirent* next_; pthread_mutex_t mutex_; dirent buff_[15]; long current_pos_; };
En la mayoría de los casos, puede omitir este análisis. Una dirección de falla lo suficientemente baja generalmente significa que puede omitir cualquier marco libc.so
en la pila y acusar directamente al código de llamada. Pero no siempre, y así es como presentaría un caso convincente.
Puede reproducir instancias de este tipo de fallas usando crasher fprintf-NULL
o crasher readdir-NULL
.
fracaso de FORTIFICAR
Una falla de FORTIFY es un caso especial de un aborto que ocurre cuando la biblioteca C detecta un problema que podría conducir a una vulnerabilidad de seguridad. Muchas funciones de la biblioteca C están reforzadas ; toman un argumento adicional que les dice qué tan grande es realmente un búfer y verifican en tiempo de ejecución si la operación que está tratando de realizar realmente se ajusta. Aquí hay un ejemplo en el que el código intenta read(fd, buf, 32)
en un búfer que en realidad tiene solo 10 bytes de largo...
pid: 25579, tid: 25579, name: crasher >>> crasher <<< signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr -------- Abort message: 'FORTIFY: read: prevented 32-byte write into 10-byte buffer' r0 00000000 r1 000063eb r2 00000006 r3 00000008 r4 ff96f350 r5 000063eb r6 000063eb r7 0000010c r8 00000000 r9 00000000 sl 00000000 fp ff96f49c ip 00000000 sp ff96f340 lr ee83ece3 pc ee86ef0c cpsr 000d0010 backtrace: #00 pc 00049f0c /system/lib/libc.so (tgkill+12) #01 pc 00019cdf /system/lib/libc.so (abort+50) #02 pc 0001e197 /system/lib/libc.so (__fortify_fatal+30) #03 pc 0001baf9 /system/lib/libc.so (__read_chk+48) #04 pc 0000165b /system/xbin/crasher (do_action+534) #05 pc 000021e5 /system/xbin/crasher (main+100) #06 pc 000177a1 /system/lib/libc.so (__libc_init+48) #07 pc 00001110 /system/xbin/crasher (_start+96)
Puede reproducir una instancia de este tipo de bloqueo utilizando crasher fortify
.
Corrupción de pila detectada por -fstack-protector
La opción -fstack-protector
del compilador inserta verificaciones en funciones con búfer en la pila para protegerse contra desbordamientos del búfer. Esta opción está activada de forma predeterminada para el código de la plataforma, pero no para las aplicaciones. Cuando esta opción está habilitada, el compilador agrega instrucciones al prólogo de la función para escribir un valor aleatorio justo después del último local en la pila y al epílogo de la función para leerlo y verificar que no haya cambiado. Si ese valor cambió, se sobrescribió con un desbordamiento del búfer, por lo que el epílogo llama a __stack_chk_fail
para registrar un mensaje y abortar.
pid: 26717, tid: 26717, name: crasher >>> crasher <<< signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr -------- Abort message: 'stack corruption detected' r0 00000000 r1 0000685d r2 00000006 r3 00000008 r4 ffd516d8 r5 0000685d r6 0000685d r7 0000010c r8 00000000 r9 00000000 sl 00000000 fp ffd518bc ip 00000000 sp ffd516c8 lr ee63ece3 pc ee66ef0c cpsr 000e0010 backtrace: #00 pc 00049f0c /system/lib/libc.so (tgkill+12) #01 pc 00019cdf /system/lib/libc.so (abort+50) #02 pc 0001e07d /system/lib/libc.so (__libc_fatal+24) #03 pc 0004863f /system/lib/libc.so (__stack_chk_fail+6) #04 pc 000013ed /system/xbin/crasher (smash_stack+76) #05 pc 00001591 /system/xbin/crasher (do_action+280) #06 pc 00002219 /system/xbin/crasher (main+100) #07 pc 000177a1 /system/lib/libc.so (__libc_init+48) #08 pc 00001144 /system/xbin/crasher (_start+96)
Puede distinguir esto de otros tipos de anulación por la presencia de __stack_chk_fail
en el seguimiento y el mensaje de anulación específico.
Puede reproducir una instancia de este tipo de bloqueo utilizando crasher smash-stack
.
Seccomp SIGSYS de una llamada al sistema no permitida
El sistema seccomp (específicamente seccomp-bpf) restringe el acceso a las llamadas del sistema. Para obtener más información sobre seccomp para desarrolladores de plataformas, consulte la publicación de blog Filtro Seccomp en Android O . Un subproceso que llame a una llamada de sistema restringida recibirá una señal SIGSYS con el código SYS_SECCOMP. El número de llamada del sistema se mostrará en la línea de causa, junto con la arquitectura. Es importante tener en cuenta que los números de llamada del sistema varían entre arquitecturas. Por ejemplo, la llamada al sistema readlinkat(2)
es el número 305 en x86 pero 267 en x86-64. El número de teléfono vuelve a ser diferente tanto en arm como en arm64. Debido a que los números de llamada del sistema varían entre arquitecturas, generalmente es más fácil usar el seguimiento de la pila para averiguar qué llamada del sistema no se permitió en lugar de buscar el número de llamada del sistema en los encabezados.
pid: 11046, tid: 11046, name: crasher >>> crasher <<< signal 31 (SIGSYS), code 1 (SYS_SECCOMP), fault addr -------- Cause: seccomp prevented call to disallowed arm system call 99999 r0 cfda0444 r1 00000014 r2 40000000 r3 00000000 r4 00000000 r5 00000000 r6 00000000 r7 0001869f r8 00000000 r9 00000000 sl 00000000 fp fffefa58 ip fffef898 sp fffef888 lr 00401997 pc f74f3658 cpsr 600f0010 backtrace: #00 pc 00019658 /system/lib/libc.so (syscall+32) #01 pc 00001993 /system/bin/crasher (do_action+1474) #02 pc 00002699 /system/bin/crasher (main+68) #03 pc 0007c60d /system/lib/libc.so (__libc_init+48) #04 pc 000011b0 /system/bin/crasher (_start_main+72)
Puede distinguir las llamadas al sistema no permitidas de otros bloqueos por la presencia de SYS_SECCOMP
en la línea de señal y la descripción en la línea de causa.
Puede reproducir una instancia de este tipo de bloqueo utilizando crasher seccomp
.
Infracción de memoria de solo ejecución (solo Android 10)
Para arm64 solo en Android 10, los segmentos ejecutables de archivos binarios y bibliotecas se mapearon en memoria de solo ejecución (no legible) como una técnica de refuerzo contra ataques de reutilización de código. Esta mitigación interactuó mal con otras mitigaciones y luego se eliminó.
Hacer que el código sea ilegible provoca lecturas intencionales y no intencionales en los segmentos de memoria marcados como de solo ejecución para generar un SIGSEGV
con el código SEGV_ACCERR
. Esto puede ocurrir como resultado de un error, una vulnerabilidad, datos mezclados con código (como un grupo literal) o una introspección de memoria intencional.
El compilador asume que el código y los datos no están entremezclados, pero pueden surgir problemas del ensamblaje escrito a mano. En muchos casos, estos pueden solucionarse simplemente moviendo las constantes a una sección .data
. Si la introspección del código es absolutamente necesaria en las secciones de código ejecutable, primero se debe llamar a mprotect(2)
para marcar el código como legible y luego nuevamente para marcarlo como ilegible una vez que se completa la operación.
pid: 2938, tid: 2940, name: crasher64 >>> crasher64 <<< signal 11 (SIGSEGV), code 2 (SEGV_ACCERR), fault addr 0x5f2ced24a8 Cause: execute-only (no-read) memory access error; likely due to data in .text. x0 0000000000000000 x1 0000005f2cecf21f x2 0000000000000078 x3 0000000000000053 x4 0000000000000074 x5 8000000000000000 x6 ff71646772607162 x7 00000020dcf0d16c x8 0000005f2ced24a8 x9 000000781251c55e x10 0000000000000000 x11 0000000000000000 x12 0000000000000014 x13 ffffffffffffffff x14 0000000000000002 x15 ffffffffffffffff x16 0000005f2ced52f0 x17 00000078125c0ed8 x18 0000007810e8e000 x19 00000078119fbd50 x20 00000078125d6020 x21 00000078119fbd50 x22 00000b7a00000b7a x23 00000078119fbdd8 x24 00000078119fbd50 x25 00000078119fbd50 x26 00000078119fc018 x27 00000078128ea020 x28 00000078119fc020 x29 00000078119fbcb0 sp 00000078119fba40 lr 0000005f2ced1b94 pc 0000005f2ced1ba4 backtrace: #00 pc 0000000000003ba4 /system/bin/crasher64 (do_action+2348) #01 pc 0000000000003234 /system/bin/crasher64 (thread_callback+44) #02 pc 00000000000e2044 /apex/com.android.runtime/lib64/bionic/libc.so (__pthread_start(void*)+36) #03 pc 0000000000083de0 /apex/com.android.runtime/lib64/bionic/libc.so (__start_thread+64)
Puede distinguir las infracciones de memoria de solo ejecución de otros bloqueos por la línea de causa.
Puede reproducir una instancia de este tipo de bloqueo utilizando crasher xom
.
Error detectado por fdsan
El desinfectante de descriptores de archivos fdsan de Android ayuda a detectar errores comunes con los descriptores de archivos, como usar después de cerrar y cerrar dos veces. Consulte la documentación de fdsan para obtener más detalles sobre cómo depurar (y evitar) esta clase de errores.
pid: 32315, tid: 32315, name: crasher64 >>> crasher64 <<< signal 35 (), code -1 (SI_QUEUE), fault addr -------- Abort message: 'attempted to close file descriptor 3, expected to be unowned, actually owned by FILE* 0x7d8e413018' x0 0000000000000000 x1 0000000000007e3b x2 0000000000000023 x3 0000007fe7300bb0 x4 3033313465386437 x5 3033313465386437 x6 3033313465386437 x7 3831303331346538 x8 00000000000000f0 x9 0000000000000000 x10 0000000000000059 x11 0000000000000034 x12 0000007d8ebc3a49 x13 0000007fe730077a x14 0000007fe730077a x15 0000000000000000 x16 0000007d8ec9a7b8 x17 0000007d8ec779f0 x18 0000007d8f29c000 x19 0000000000007e3b x20 0000000000007e3b x21 0000007d8f023020 x22 0000007d8f3b58dc x23 0000000000000001 x24 0000007fe73009a0 x25 0000007fe73008e0 x26 0000007fe7300ca0 x27 0000000000000000 x28 0000000000000000 x29 0000007fe7300c90 sp 0000007fe7300860 lr 0000007d8ec2f22c pc 0000007d8ec2f250 backtrace: #00 pc 0000000000088250 /bionic/lib64/libc.so (fdsan_error(char const*, ...)+384) #01 pc 0000000000088060 /bionic/lib64/libc.so (android_fdsan_close_with_tag+632) #02 pc 00000000000887e8 /bionic/lib64/libc.so (close+16) #03 pc 000000000000379c /system/bin/crasher64 (do_action+1316) #04 pc 00000000000049c8 /system/bin/crasher64 (main+96) #05 pc 000000000008021c /bionic/lib64/libc.so (_start_main)
Puede distinguir esto de otros tipos de anulación por la presencia de fdsan_error
en el seguimiento y el mensaje de anulación específico.
Puede reproducir una instancia de este tipo de bloqueo utilizando crasher fdsan_file
o crasher fdsan_dir
.
Investigación de volcados de emergencia
Si no tiene un bloqueo específico que esté investigando en este momento, la fuente de la plataforma incluye una herramienta para probar la debuggerd
llamada bloqueador. Si crasher64
system/core/debuggerd/
obtendrá tanto un crasher
como un mm
en su camino (este último le permite probar bloqueos de 64 bits). Crasher puede bloquearse de muchas maneras interesantes según los argumentos de la línea de comandos que proporcione. Use crasher --help
para ver la selección admitida actualmente.
Para presentar las diferentes piezas en un volcado de memoria, trabajemos con este volcado de memoria de ejemplo:
*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** Build fingerprint: 'Android/aosp_flounder/flounder:5.1.51/AOSP/enh08201009:eng/test-keys' Revision: '0' ABI: 'arm' pid: 1656, tid: 1656, name: crasher >>> crasher <<< signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr -------- Abort message: 'some_file.c:123: some_function: assertion "false" failed' r0 00000000 r1 00000678 r2 00000006 r3 f70b6dc8 r4 f70b6dd0 r5 f70b6d80 r6 00000002 r7 0000010c r8 ffffffed r9 00000000 sl 00000000 fp ff96ae1c ip 00000006 sp ff96ad18 lr f700ced5 pc f700dc98 cpsr 400b0010 backtrace: #00 pc 00042c98 /system/lib/libc.so (tgkill+12) #01 pc 00041ed1 /system/lib/libc.so (pthread_kill+32) #02 pc 0001bb87 /system/lib/libc.so (raise+10) #03 pc 00018cad /system/lib/libc.so (__libc_android_abort+34) #04 pc 000168e8 /system/lib/libc.so (abort+4) #05 pc 0001a78f /system/lib/libc.so (__libc_fatal+16) #06 pc 00018d35 /system/lib/libc.so (__assert2+20) #07 pc 00000f21 /system/xbin/crasher #08 pc 00016795 /system/lib/libc.so (__libc_init+44) #09 pc 00000abc /system/xbin/crasher Tombstone written to: /data/tombstones/tombstone_06 *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***
La línea de asteriscos con espacios es útil si está buscando un registro de fallas nativas. La cadena "*** ***" rara vez aparece en los registros que no sean al comienzo de un bloqueo nativo.
Build fingerprint: 'Android/aosp_flounder/flounder:5.1.51/AOSP/enh08201009:eng/test-keys'
La huella dactilar le permite identificar exactamente en qué compilación se produjo el bloqueo. Esto es exactamente lo mismo que la propiedad del sistema ro.build.fingerprint
.
Revision: '0'
La revisión se refiere al hardware más que al software. Por lo general, no se usa, pero puede ser útil para ayudarlo a ignorar automáticamente los errores que se sabe que son causados por un hardware defectuoso. Esto es exactamente lo mismo que la propiedad del sistema ro.revision
.
ABI: 'arm'
El ABI es uno de arm, arm64, x86 o x86-64. Esto es principalmente útil para el script de stack
mencionado anteriormente, para que sepa qué cadena de herramientas usar.
pid: 1656, tid: 1656, name: crasher >>> crasher <<<
Esta línea identifica el hilo específico en el proceso que falló. En este caso, era el subproceso principal del proceso, por lo que el ID del proceso y el ID del subproceso coinciden. El primer nombre es el nombre del subproceso, y el nombre rodeado por >>> y <<< es el nombre del proceso. Para una aplicación, el nombre del proceso suele ser el nombre completo del paquete (como com.facebook.katana), que es útil cuando se registran errores o se intenta encontrar la aplicación en Google Play. El pid y el tid también pueden ser útiles para encontrar las líneas de registro relevantes que preceden al bloqueo.
signal 6 (SIGABRT), code -6 (SI_TKILL), fault addr --------
Esta línea le dice qué señal (SIGABRT) se recibió y más sobre cómo se recibió (SI_TKILL). Las señales reportadas por debuggerd
son SIGABRT, SIGBUS, SIGFPE, SIGILL, SIGSEGV y SIGTRAP. Los códigos específicos de la señal varían según la señal específica.
Abort message: 'some_file.c:123: some_function: assertion "false" failed'
No todos los bloqueos tendrán una línea de mensaje de cancelación, pero las cancelaciones sí. Esto se obtiene automáticamente de la última línea de la salida de logcat fatal para este pid/tid y, en el caso de un aborto deliberado, es probable que brinde una explicación de por qué el programa se eliminó.
r0 00000000 r1 00000678 r2 00000006 r3 f70b6dc8 r4 f70b6dd0 r5 f70b6d80 r6 00000002 r7 0000010c r8 ffffffed r9 00000000 sl 00000000 fp ff96ae1c ip 00000006 sp ff96ad18 lr f700ced5 pc f700dc98 cpsr 400b0010
El volcado de registro muestra el contenido de los registros de la CPU en el momento en que se recibió la señal. (Esta sección varía enormemente entre las ABI). La utilidad de estas dependerá del bloqueo exacto.
backtrace: #00 pc 00042c98 /system/lib/libc.so (tgkill+12) #01 pc 00041ed1 /system/lib/libc.so (pthread_kill+32) #02 pc 0001bb87 /system/lib/libc.so (raise+10) #03 pc 00018cad /system/lib/libc.so (__libc_android_abort+34) #04 pc 000168e8 /system/lib/libc.so (abort+4) #05 pc 0001a78f /system/lib/libc.so (__libc_fatal+16) #06 pc 00018d35 /system/lib/libc.so (__assert2+20) #07 pc 00000f21 /system/xbin/crasher #08 pc 00016795 /system/lib/libc.so (__libc_init+44) #09 pc 00000abc /system/xbin/crasher
El seguimiento le muestra en qué parte del código estábamos en el momento del accidente. La primera columna es el número de cuadro (que coincide con el estilo de gdb donde el cuadro más profundo es 0). Los valores de PC son relativos a la ubicación de la biblioteca compartida en lugar de direcciones absolutas. La siguiente columna es el nombre de la región asignada (que suele ser una biblioteca compartida o un archivo ejecutable, pero podría no serlo, por ejemplo, para el código compilado JIT). Finalmente, si hay símbolos disponibles, se muestra el símbolo al que corresponde el valor de PC, junto con el desplazamiento en bytes de ese símbolo. Puede usar esto junto con objdump(1)
para encontrar la instrucción del ensamblador correspondiente.
Lectura de lápidas
Tombstone written to: /data/tombstones/tombstone_06
Esto le dice dónde debuggerd
escribió información adicional. debuggerd
conservará hasta 10 lápidas, recorrerá los números del 00 al 09 y sobrescribirá las lápidas existentes según sea necesario.
La lápida contiene la misma información que el volcado de memoria, además de algunos extras. Por ejemplo, incluye seguimientos para todos los subprocesos (no solo el subproceso que falla), los registros de punto flotante, los volcados de pila sin procesar y los volcados de memoria alrededor de las direcciones en los registros. Lo más útil es que también incluye un mapa de memoria completo (similar a /proc/ pid /maps
). Aquí hay un ejemplo anotado de un bloqueo del proceso ARM de 32 bits:
memory map: (fault address prefixed with --->) --->ab15f000-ab162fff r-x 0 4000 /system/xbin/crasher (BuildId: b9527db01b5cf8f5402f899f64b9b121)
Hay dos cosas a tener en cuenta aquí. La primera es que esta línea tiene el prefijo "--->". Los mapas son más útiles cuando su bloqueo no es solo una falta de referencia de puntero nulo. Si la dirección de falla es pequeña, probablemente sea alguna variante de una falta de referencia de puntero nulo. De lo contrario, mirar los mapas alrededor de la dirección de la falla a menudo puede darle una pista de lo que sucedió. Algunos posibles problemas que se pueden reconocer al mirar los mapas incluyen:
- Lee/escribe más allá del final de un bloque de memoria.
- Lee/escribe antes del comienzo de un bloque de memoria.
- Intentos de ejecución sin código.
- Salir del final de una pila.
- Intenta escribir en el código (como en el ejemplo anterior).
La segunda cosa a tener en cuenta es que los archivos ejecutables y de bibliotecas compartidas mostrarán el BuildId (si está presente) en Android 6.0 y versiones posteriores, para que pueda ver exactamente qué versión de su código falló. Los binarios de la plataforma incluyen un BuildId de forma predeterminada desde Android 6.0; NDK r12 y versiones posteriores también pasan automáticamente -Wl,--build-id
al enlazador.
ab163000-ab163fff r-- 3000 1000 /system/xbin/crasher ab164000-ab164fff rw- 0 1000 f6c80000-f6d7ffff rw- 0 100000 [anon:libc_malloc]
En Android, el montón no es necesariamente una sola región. Las regiones del montón se etiquetarán [anon:libc_malloc]
.
f6d82000-f6da1fff r-- 0 20000 /dev/__properties__/u:object_r:logd_prop:s0 f6da2000-f6dc1fff r-- 0 20000 /dev/__properties__/u:object_r:default_prop:s0 f6dc2000-f6de1fff r-- 0 20000 /dev/__properties__/u:object_r:logd_prop:s0 f6de2000-f6de5fff r-x 0 4000 /system/lib/libnetd_client.so (BuildId: 08020aa06ed48cf9f6971861abf06c9d) f6de6000-f6de6fff r-- 3000 1000 /system/lib/libnetd_client.so f6de7000-f6de7fff rw- 4000 1000 /system/lib/libnetd_client.so f6dec000-f6e74fff r-x 0 89000 /system/lib/libc++.so (BuildId: 8f1f2be4b37d7067d366543fafececa2) (load base 0x2000) f6e75000-f6e75fff --- 0 1000 f6e76000-f6e79fff r-- 89000 4000 /system/lib/libc++.so f6e7a000-f6e7afff rw- 8d000 1000 /system/lib/libc++.so f6e7b000-f6e7bfff rw- 0 1000 [anon:.bss] f6e7c000-f6efdfff r-x 0 82000 /system/lib/libc.so (BuildId: d189b369d1aafe11feb7014d411bb9c3) f6efe000-f6f01fff r-- 81000 4000 /system/lib/libc.so f6f02000-f6f03fff rw- 85000 2000 /system/lib/libc.so f6f04000-f6f04fff rw- 0 1000 [anon:.bss] f6f05000-f6f05fff r-- 0 1000 [anon:.bss] f6f06000-f6f0bfff rw- 0 6000 [anon:.bss] f6f0c000-f6f21fff r-x 0 16000 /system/lib/libcutils.so (BuildId: d6d68a419dadd645ca852cd339f89741) f6f22000-f6f22fff r-- 15000 1000 /system/lib/libcutils.so f6f23000-f6f23fff rw- 16000 1000 /system/lib/libcutils.so f6f24000-f6f31fff r-x 0 e000 /system/lib/liblog.so (BuildId: e4d30918d1b1028a1ba23d2ab72536fc) f6f32000-f6f32fff r-- d000 1000 /system/lib/liblog.so f6f33000-f6f33fff rw- e000 1000 /system/lib/liblog.so
Normalmente, una biblioteca compartida tiene tres entradas adyacentes. Uno es legible y ejecutable (código), uno es de solo lectura (datos de solo lectura) y uno es de lectura y escritura (datos mutables). La primera columna muestra los rangos de direcciones para el mapeo, la segunda columna los permisos (en el estilo habitual de Unix ls(1)
), la tercera columna el desplazamiento en el archivo (en hexadecimal), la cuarta columna el tamaño de la región ( en hexadecimal), y la quinta columna el archivo (u otro nombre de región).
f6f34000-f6f53fff r-x 0 20000 /system/lib/libm.so (BuildId: 76ba45dcd9247e60227200976a02c69b) f6f54000-f6f54fff --- 0 1000 f6f55000-f6f55fff r-- 20000 1000 /system/lib/libm.so f6f56000-f6f56fff rw- 21000 1000 /system/lib/libm.so f6f58000-f6f58fff rw- 0 1000 f6f59000-f6f78fff r-- 0 20000 /dev/__properties__/u:object_r:default_prop:s0 f6f79000-f6f98fff r-- 0 20000 /dev/__properties__/properties_serial f6f99000-f6f99fff rw- 0 1000 [anon:linker_alloc_vector] f6f9a000-f6f9afff r-- 0 1000 [anon:atexit handlers] f6f9b000-f6fbafff r-- 0 20000 /dev/__properties__/properties_serial f6fbb000-f6fbbfff rw- 0 1000 [anon:linker_alloc_vector] f6fbc000-f6fbcfff rw- 0 1000 [anon:linker_alloc_small_objects] f6fbd000-f6fbdfff rw- 0 1000 [anon:linker_alloc_vector] f6fbe000-f6fbffff rw- 0 2000 [anon:linker_alloc] f6fc0000-f6fc0fff r-- 0 1000 [anon:linker_alloc] f6fc1000-f6fc1fff rw- 0 1000 [anon:linker_alloc_lob] f6fc2000-f6fc2fff r-- 0 1000 [anon:linker_alloc] f6fc3000-f6fc3fff rw- 0 1000 [anon:linker_alloc_vector] f6fc4000-f6fc4fff rw- 0 1000 [anon:linker_alloc_small_objects] f6fc5000-f6fc5fff rw- 0 1000 [anon:linker_alloc_vector] f6fc6000-f6fc6fff rw- 0 1000 [anon:linker_alloc_small_objects] f6fc7000-f6fc7fff rw- 0 1000 [anon:arc4random _rsx structure] f6fc8000-f6fc8fff rw- 0 1000 [anon:arc4random _rs structure] f6fc9000-f6fc9fff r-- 0 1000 [anon:atexit handlers] f6fca000-f6fcafff --- 0 1000 [anon:thread signal stack guard page]
A partir de Android 5.0, la biblioteca C nombra la mayoría de sus regiones mapeadas anónimas, por lo que hay menos regiones misteriosas.
f6fcb000-f6fccfff rw- 0 2000 [stack:5081]
Las regiones nombradas [stack: tid ]
son las pilas para los subprocesos dados.
f6fcd000-f702afff r-x 0 5e000 /system/bin/linker (BuildId: 84f1316198deee0591c8ac7f158f28b7) f702b000-f702cfff r-- 5d000 2000 /system/bin/linker f702d000-f702dfff rw- 5f000 1000 /system/bin/linker f702e000-f702ffff rw- 0 2000 f7030000-f7030fff r-- 0 1000 f7031000-f7032fff rw- 0 2000 ffcd7000-ffcf7fff rw- 0 21000 ffff0000-ffff0fff r-x 0 1000 [vectors]
Que vea [vector]
o [vdso]
depende de la arquitectura. ARM usa [vector]
, mientras que todas las demás arquitecturas usan [vdso]
.