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。