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は学術研究のプロトタイプであり、完全な機能は備えていません。開発を進めています！