Android Demystification Toolbox

Objetivo

ADT é um conjunto de ferramentas de execução simbólica baseado em Miasm, projetado para ajudar a modelar o comportamento de aplicações, pesquisar e testar vulnerabilidades de segurança e facilitar a engenharia reversa de código hostil.

Recursos

• A capacidade de salvar/restaurar todos os contextos de threads e processos
• Um arquivo de configuração centralizado (codificado em JSON) para simular um ambiente Android
• Um agendador para lidar com mutexes, multi-threading e multi-processamento
  • fork()
  • pthread_create()
  • pthread_mutex_lock/unlock()
  • Leituras/escritas de arquivo bloqueantes
• Implementação Java JNI (java native bridge) que lida com
  • Strings
  • Arquivos e diretórios
  • Arrays
  • Chamadas de função
  • Campos de classe
• Uma série de implementações diversas
  • sscanf()
  • mktime()
  • crc32, imitando a versão em C
  • fluxos de c++
  • pipes
  • fstat() e a struct customizada do Android com padding para aarch64
  • _system_property_get() da libc do Android
  • varargs (funcionando apenas no cenário de caso geral)
  • prcrl

Como fazer

Configuração

• Instale o Miasm a partir deste fork do Miasm. Os patches do branch experimental implementam instruções aaarch64 e fornecem os componentes correspondentes de jitter e sandboxing.
  • 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 geral

• A partir do modelo
  • Preencha os requisitos de memória necessários na função one_time_setup()
  • Insira seus breakpoints personalizados na função breakpoints_setup()
  • Deixe o loop principal cuidar da manipulação dos múltiplos contextos
  • Use o adt.config para armazenar informações do ambiente Android (veja os exemplos para mais detalhes)
• O exemplo do NDK pode ser executado como uma demonstração com python3 sample.py libhello-jnicallback.so

Salvar / Restaurar contextos

!! AVISO !!

Os contextos são salvos e restaurados usando o módulo pickle, que não é seguro com dados não confiáveis. Certifique-se de restaurar apenas contextos confiáveis.

Uso

• A função de exemplo save_context_and_dump() pode ser usada como um callback de jitter:

jitter.add_breakpoint(<my_address>, save_context_and_dump)

• O código procura automaticamente por um context.pkl para restaurar, portanto a seguinte linha de comando pode ser usada:

ln -s context_myaddress.pkl context.pkl

• Ao iniciar o script, o contexto será restaurado automaticamente