Smalien

Smalien是一款面向Android应用分析人员的信息流分析和信息泄露检测工具。Smalien可以在Linux机器上对Android应用进行静态污点分析，同时也能在Android设备上运行时执行动态污点分析、检测因隐式信息流导致的信息泄露，并强制执行隐私策略。

注意: Smalien的新版本现已发布在 SaitoLab-Nitech/VTDroid ！！

Smalien具有以下功能

• 对Android应用进行静态分析，收集类、方法、变量等信息。
• 以图形方式呈现分析结果，例如方法调用图和信息流图。
• 在Android设备上执行动态污点分析。
• 强制执行由分析人员指定的隐私策略。
• 检测因隐式信息流导致的信息泄露。
• 在运行时记录任何字节码或API调用（如http请求）所操作的实际信息，以方便分析人员进行审查。

Black Hat USA 2019 Arsenal

目前，我们正在另一个分支 demo-master 上工作。请检出该分支以获取我们在Arsenal上使用的程序。

所需工具

• Apktool
• jarsigner
• keytool
• adb

用法

完整说明请查看我们的Wiki。

运行静态分析

python main.py <apk_path>

该命令会生成 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 的脚本。您可以使用 Haroopad 等 Markdown 查看器来查看图表。

运行动态分析

新的 apk 文件 implanted.apk 位于 smalien/hive/workspace/ 目录下。请通过以下命令将其安装到您的 Android 设备并运行。

adb install -g hive/workspace/implanted.apk

目前，Smalien 是我们学术研究的原型，功能尚不完善。我们正在持续开发中！