sba

SBA：静的バイナリ分析フレームワーク

静的バイナリ分析フレームワークは何をすべきですか？

• 個々の分析のための実装の努力を削減します
  • C ++の250 locのみで、関数特性を検証するための分析を実装します。
• 高度に構成可能
  • ユーザーが抽象的なドメインを定義し、命令評価を構成できるようにする抽象的な解釈ベースのフレームワーク。
• スタックメモリに関する健全で正確な推論
  • バイトレベルの粒度のスタックメモリモデル、およびスタックの不正確な更新のサウンドと効率的な近似。
• 建築中立
  • アセンブリ言語やABI仕様などのアーキテクチャの詳細から分析を分離します。

はじめる

依存関係

 sudo apt-get install g++ ocaml camlp4-extra camlp4 tar cmake make

SBAを構築します

 mkdir build && cd build
cmake .. && make -j4

アプリケーション

ジャンプテーブル分析

バイナリオブジェクトを分析するには~/obj 、次のコマンドを使用します。

 ./jump_table x86_64.auto ~/obj

デフォルトでは、SBAは一時ファイルを作成し、出力は/tmp/sba/になります。これらのパスは、次のように-dと-o使用して指定できます。

 ./jump_table -d /tmp/sba/ -o /tmp/sba/result x86_64.auto ~/obj

出版物

SBAは、次の作品の実装に大きく貢献しています。

1. スケーラブル、サウンド、および正確なジャンプテーブル分析。 ISSTA 2024。
2. コンパイラメタデータを使用せずに複雑なバイナリの正確な分解。 Asplos 2023。
3. より安全：効率的でエラー耐性のバイナリ計装。 USENIX 2023。
4. 実用的な細粒のバイナリコードランダム化。 ACSAC 2020。