Android Demystification Toolbox

Scopo

ADT è un set di strumenti di esecuzione simbolica basato su Miasm, progettato per aiutare a modellare il comportamento delle applicazioni, ricercare e testare vulnerabilità di sicurezza e facilitare il reverse engineering di codice ostile.

Caratteristiche

• La possibilità di salvare/ripristinare i contesti di tutti i thread e processi
• Un file di configurazione centralizzato (codificato in json) per simulare un ambiente Android
• Uno scheduler per gestire mutex, multi-threading e multi-processing
  • fork()
  • pthread_create()
  • pthread_mutex_lock/unlock()
  • Letture/scritture bloccanti su file
• Implementazione Java JNI (java native bridge) che gestisce
  • Stringhe
  • File e directory
  • Array
  • Chiamate di funzione
  • Campi di classe
• Una serie di implementazioni varie
  • sscanf()
  • mktime()
  • crc32, che replica la versione C
  • stream C++
  • pipes
  • fstat() e la struct personalizzata di Android con padding per aarch64
  • _system_property_get() della libc di Android
  • varargs (funzionante solo nel caso generale)
  • prcrl

HOWTO

Setup

• Installare Miasm da questo fork di Miasm. Le patch del branch experimental implementano le istruzioni aarch64 e forniscono i corrispondenti componenti 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 generale

• Partendo dal template
  • Compilare i requisiti di memoria necessari nella funzione one_time_setup()
  • Inserire i propri breakpoint personalizzati nella funzione breakpoints_setup()
  • Lasciare che il loop principale si occupi della gestione dei molteplici contesti
  • Utilizzare adt.config per memorizzare le informazioni sull'ambiente Android (vedere gli esempi per maggiori dettagli)
• L'esempio NDK può essere eseguito come demo con python3 sample.py libhello-jnicallback.so

Salvataggio / Ripristino dei contesti

!! ATTENZIONE !!

I contesti vengono salvati e ripristinati utilizzando il modulo pickle, che non è sicuro con dati non attendibili. Assicurarsi che vengano ripristinati solo contesti attendibili.

Utilizzo

• La funzione di esempio save_context_and_dump() può essere utilizzata come callback del jitter:

jitter.add_breakpoint(<my_address>, save_context_and_dump)

• Il codice cerca automaticamente un context.pkl da ripristinare, quindi è possibile utilizzare la seguente riga di comando:

ln -s context_myaddress.pkl context.pkl

• All'avvio dello script, il contesto verrà ripristinato automaticamente