
Werkzeug zur Analyse von Informationsflüssen für Android-Anwendungen
Smalien ist ein Werkzeug zur Analyse von Informationsflüssen und zur Erkennung von Informationslecks für Android-Anwendungsanalysten. Smalien führt statische Taint-Analyse von Android-Anwendungen auf einem Linux-Rechner sowie dynamische Taint-Analyse, Erkennung von Informationslecks durch implizite Informationsflüsse und Durchsetzung von Datenschutzrichtlinien auf einem Android-Gerät zur Laufzeit durch.
Hinweis: Die neue Version von Smalien ist jetzt unter SaitoLab-Nitech/VTDroid verfügbar !!
Derzeit arbeiten wir an einem anderen Branch, demo-master. Bitte schauen Sie ihn sich an, um die Programme zu erhalten, die wir im Arsenal verwendet haben.
Schauen Sie in unser Wiki für vollständige Anweisungen.
python main.py <apk_path>
Es erzeugt parsed_data.json und data_flows.json als Ergebnisse.
python generate_graphs.py parsed_data.json data_flows.json
Es erzeugt output_class_calls.md und output_data_flows.md als Ergebnisse. Diese Dateien enthalten Skripte für mermaid. Sie können einen Markdown-Viewer wie Haroopad verwenden, um die Graphen zu überprüfen.
Die neue APK-Datei implanted.apk befindet sich in smalien/hive/workspace/. Installieren Sie sie mit dem folgenden Befehl auf Ihrem Android-Gerät und führen Sie sie aus.
adb install -g hive/workspace/implanted.apk
Derzeit ist Smalien ein Prototyp unserer akademischen Forschung und verfügt nicht über volle Funktionalität. Wir arbeiten daran!