
Инструмент анализа потоков информации для Android-приложений
Smalien — это инструмент для анализа потоков информации и обнаружения утечек информации для аналитиков Android-приложений. Smalien выполняет статический анализ помеченных данных (taint analysis) Android-приложений на Linux-машине, а также динамический анализ помеченных данных, обнаружение утечек информации, вызванных неявными информационными потоками, и контроль соблюдения политики конфиденциальности на Android-устройстве во время выполнения.
Примечание: Новая версия Smalien теперь доступна по адресу SaitoLab-Nitech/VTDroid !!
В настоящее время мы работаем над другой веткой, demo-master. Пожалуйста, переключитесь на неё, чтобы получить программы, которые мы использовали на Арсенале.
Полные инструкции см. в нашем Wiki.
python main.py <путь_к_apk>
В результате будут созданы файлы parsed_data.json и data_flows.json.
python generate_graphs.py parsed_data.json data_flows.json
В результате будут созданы файлы output_class_calls.md и output_data_flows.md. Эти файлы содержат скрипты для mermaid. Для просмотра графиков можно использовать средство просмотра Markdown, например Haroopad.
Новый файл APK implanted.apk помещается в каталог smalien/hive/workspace/. Установите его на своё Android-устройство с помощью следующей команды и запустите.
adb install -g hive/workspace/implanted.apk
В настоящее время Smalien является прототипом нашего академического исследования и не имеет полной функциональности. Мы работаем над этим!