Android-Demystifizierungs-Toolbox

Zweck

ADT ist ein auf Miasm basierendes Werkzeugset für symbolische Ausführung, das dazu dient, das Verhalten von Anwendungen zu modellieren, Sicherheitslücken zu erforschen und zu testen sowie das Reversing von bösartigem Code zu erleichtern.

Funktionen

• Die Möglichkeit, Kontexte aller Threads und Prozesse zu speichern/wiederherzustellen
• Eine zentrale (als JSON codierte) Konfigurationsdatei, um eine Android-Umgebung nachzubilden
• Ein Scheduler zur Verwaltung von Mutexen, Multithreading und Multiprozessverarbeitung
  • fork()
  • pthread_create()
  • pthread_mutex_lock/unlock()
  • Blockierende Datei-Lese-/Schreibvorgänge
• Java-JNI-Implementierung (Java Native Bridge), die Folgendes behandelt
  • Zeichenketten
  • Dateien und Verzeichnisse
  • Arrays
  • Funktionsaufrufe
  • Klassenfelder
• Eine Reihe verschiedener Implementierungen
  • sscanf()
  • mktime()
  • crc32, das die C-Version nachbildet
  • C++-Streams
  • Pipes
  • fstat() und Androids benutzerdefinierte Struktur mit Padding für aarch64
  • Die _system_property_get()-Funktion der Android-libc
  • varargs (nur der allgemeine Fall funktioniert)
  • prcrl

Anleitung

Einrichtung

• Installieren Sie Miasm von diesem Miasm-Fork. Die Patches aus dem Zweig experimental implementieren aaarch64-Befehle und stellen die entsprechenden Jitter- und Sandbox-Komponenten bereit.
  • 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

Allgemeine Verwendung

• Ausgehend von der Vorlage
  • Füllen Sie die erforderlichen Speicheranforderungen in der Funktion one_time_setup() aus
  • Geben Sie Ihre benutzerdefinierten Breakpoints in der Funktion breakpoints_setup() ein
  • Lassen Sie die Hauptschleife die Verwaltung der mehreren Kontexte übernehmen
  • Verwenden Sie adt.config, um Informationen zur Android-Umgebung zu speichern (siehe Beispiele für weitere Details)
• Die NDK-Beispieldatei kann als Demo mit python3 sample.py libhello-jnicallback.so ausgeführt werden

Kontexte speichern / wiederherstellen

!! WARNUNG !!

Die Kontexte werden mit dem Modul pickle gespeichert und wiederhergestellt, das bei nicht vertrauenswürdigen Daten unsicher ist. Stellen Sie sicher, dass nur vertrauenswürdige Kontexte wiederhergestellt werden.

Verwendung

• Die Beispielfunktion save_context_and_dump() kann als Jitter-Callback verwendet werden:

jitter.add_breakpoint(<my_address>, save_context_and_dump)

• Der Code sucht automatisch nach einer wiederherzustellenden Datei context.pkl, daher kann die folgende Befehlszeile verwendet werden:

ln -s context_myaddress.pkl context.pkl

• Beim Start des Skripts wird der Kontext automatisch wiederhergestellt