Android Demystification Toolbox

Propósito

ADT es un conjunto de herramientas de ejecución simbólica basado en Miasm diseñado para ayudar a modelar el comportamiento de las aplicaciones, investigar y probar vulnerabilidades de seguridad, y facilitar la ingeniería inversa de código hostil.

Características

• Capacidad de guardar/restaurar todos los contextos de hilos y procesos
• Un archivo de configuración centralizado (codificado en json) para imitar un entorno Android
• Un planificador para gestionar mutex, multihilo y multiproceso
  • fork()
  • pthread_create()
  • pthread_mutex_lock/unlock()
  • Lecturas / escrituras bloqueantes de archivos
• Implementación de Java JNI (java native bridge) que maneja
  • Cadenas
  • Archivos y directorios
  • Arrays
  • Llamadas a funciones
  • Campos de clase
• Una serie de implementaciones misceláneas
  • sscanf()
  • mktime()
  • crc32, imitando la versión en c
  • streams de c++
  • pipes
  • fstat() y la estructura personalizada de Android con padding para aarch64
  • el _system_property_get() de la libc de Android
  • varargs (solo funciona en el caso general)
  • prcrl

CÓMO SE USA

Configuración

• Instala Miasm desde este fork de Miasm. Los parches de la rama experimental implementan instrucciones aaarch64 y proporcionan los componentes de jitter y sandboxing correspondientes.
  • git clone https://github.com/nguigo/miasm.git && cd miasm && git checkout experimental
  • pip install .
• git clone https://github.com/nccgroup/android_demystification_toolbox.git
• pip install ./android_demystification_toolbox

Uso general

• Desde la plantilla
  • Rellena los requisitos de memoria necesarios en la función one_time_setup()
  • Introduce tus puntos de interrupción personalizados en la función breakpoints_setup()
  • Deja que el bucle principal se encargue de gestionar los múltiples contextos
  • Usa adt.config para almacenar información del entorno Android (consulta los ejemplos para más detalles)
• El ejemplo de NDK se puede ejecutar como demo con python3 sample.py libhello-jnicallback.so

Guardar / Restaurar contextos

!! ADVERTENCIA !!

Los contextos se guardan y restauran mediante el módulo pickle, que no es seguro con datos no confiables. Asegúrate de restaurar únicamente contextos confiables.

Uso

• La función de ejemplo save_context_and_dump() se puede usar como callback de jitter:

jitter.add_breakpoint(<my_address>, save_context_and_dump)

• El código busca automáticamente un context.pkl que restaurar, por lo que se puede usar la siguiente línea de comandos:

ln -s context_myaddress.pkl context.pkl

• Al iniciar el script, el contexto se restaurará automáticamente