darter

ショ和警告：このプロジェクトは時代遅れです。 DARTスナップショットの形式は絶えず変化し、このようなDART REツールは一定のメンテナンスが必要であるか、DART / Flutterの新しいバージョンの動作を停止します。貢献は大歓迎ですが、現在、VMへの変更の監視とこれを更新することに投資する時間はありません。

したがって、スナップショットが合理的にモダンなバージョンによって作成された場合、おそらく[正しく]解析することはありません。それでも、試してみたい場合は、少なくとも＃3の修正が必要です。

---

ダーター：ダートスナップショットパーサー

darter 、DARTスナップショット内のデータを完全に解析できるPythonモジュールです（つまり、リリースフラッターアプリのlibapp.soファイル）。

特徴：

• メモリ構造を含むスナップショットデータの100％を解析します。
• 多くのアーキテクチャと3つのスナップショットタイプ（古い、Appjit、Appaot）をサポートしています。
• 通常、Zero-config：スナップショットからフラグと設定をAutoDectectectectectectectectectectectectectectectectectectectectectectect snapshot。
• app.soまたは.snapshotファイルからブロブを自動的に抽出します。
• バックリファレンスを保存するため、グラフを簡単にナビゲートできます。
• 出力と厳密なモード制御のデバッグ。
• コンパイルされたコードを分解して分析して、VMオブジェクトへの参照を見つけます。

解析された情報でできることの例：

• アプリケーションの文字列テーブルを抽出します
• 特定のオブジェクトの使用法を見つけます
• Radare2のメタデータをエクスポートします
• スナップショットを参照用に一致させることにより、スナップショットをdeobfuscate
• コールグラフ、ライブラリ依存性グラフなどを生成します。

注：これは、バイナリ（つまりアーキテクチャに依存する）スナップショットを解析するためのものであることに留意してください。 .dillファイルと一部の.snapshotファイルにはカーネルASTが含まれています。これはまったく異なる形式であり、現在はdarterによってサポートされていません。 [もっと詳しく知る]

使い方

コードのほとんどはゼロ依存関係ですが、以下を除きます。

• parse_elf_snapshot(...)はpyelftoolsが必要です

• darter.asmモジュール（組み立てられたコードを分析するため）には、キャップストーン（およびそのPythonバインディング）が必要です

darter自体は単なるモジュールであり、スタンドアロンプ​​ログラムやCLIはありません。
それを使用する推奨される方法は、ノートブックに含めることと、解析されたデータで再生することです。

解析されたデータの基本的なウォークスルーのために、Jupyterをインストールし、 1-introductionノートブックを開きます。次に、より興味深い使用例を含む2-playgroundに向かいます。

スナップショットを分析する前に、最初に既知のスナップショット（つまり、自分自身を構築した、またはコードを持っていることを）でプレイすることを強くお勧めします。

状態

パーサーはまだ初期段階にあり、すべての場合には機能しません。

• ARMおよびARM64のアッパー製品スナップショットで頻繁にテストされています。
• X64のAppJITリリーススナップショットで軽くテストされています。
• 分解分析はアーキテクチャに依存しており、現在ARMおよびARM64をサポートしています。
• コードの残りの部分はほとんどアーキテクチャに依存していませんが、いくつかの変更なしに他のアーキテクチャでは機能しない場合があります。

このパーサーは、 1ef83b86aeのDART-SDKに基づいて書かれていました。スナップショット形式はVMの内部です。メモリに表示されるオブジェクトの一部を捨てます。 VM（アーチ、コンパイルフラグ）がどのようにコンパイルされているかを知る必要があります。フォーマットには標準仕様（AFAIK）がないため、バージョン間で頻繁に変更できます。

支援や寄付は大歓迎です。

技術的な詳細

データセクションと指示セクション（およびオプションではベース）が与えられます。

• クラスター割り当てセクションを解析し、参照テーブルを構築します。
• クラスター塗りつぶしセクションを解析します。
• ルートオブジェクトを解析します。
• オブジェクト間の参照をリンクします。
• ネイティブ構造を解析します（ OneByteString 、 CodeSourceMap 、 Instructionsなど）。
• 結果のVMオブジェクト（およびクラスターの説明）が返されます。

情報は可能な限り解析されて返されるため、操作が簡単になります。後方参照も追跡されるため、特定のオブジェクトがどこから参照されているかを簡単に知ることができます。

darter 、「VM」スナップショットと「隔離」の両方（私たちが気にするもの）の両方を解析できます。

darter.asmモジュールは、コンパイルされたコードを分解し、分析します。これは、高レベルのバイテコードを取得しないため、AOTスナップショットにとって重要です。

参照してください

DART/FLUTTERリバースエンジニアリングを初めて使用する場合は、この紹介を最初に読むことをお勧めします：https：//mrale.ph/dartvm/

Snapshotシリアル化に関する関連コードはruntime/vm/clustered_snapshot.ccおよびruntime/vm/raw_object.hにあります。

infoディレクトリには追加情報もあります。