Возможности

B2R2 поддерживает разбор инструкций, бинарную дизассембляцию, ассемблирование, восстановление потока управления и другие базовые строительные блоки для бинарного анализа. Он также включает несколько пользовательских инструментов командной строки, сравнимых с readelf и objdump, оставаясь при этом платформенно-независимым. В настоящее время B2R2 поддерживает четыре формата бинарных файлов: ELF, PE, Mach-O и WebAssembly.

В таблице ниже приведены возможности, поддерживаемые B2R2. Некоторые области всё ещё находятся в разработке, и вклад приветствуется. Перед открытием pull request обязательно прочитайте наше руководство по внесению вклада.

Зависимости

B2R2 намеренно минимизирует количество зависимостей, чтобы упростить сборку и сосредоточить ядро на эффективных алгоритмах и структурах данных для бинарного анализа. Основная библиотека не имеет внешних зависимостей, а большинство внешних библиотек являются опциональными и используются только в определённых компонентах или инструментах. Ниже приведён список внешних библиотек, используемых в проекте.

• System.IO.Hashing
• FSharp.Compiler.Service
• FParsec
• BenchmarkDotNet
• Avalonia.FuncUI

Документация по API

Документация создаётся с помощью fsdocs и доступна по адресу https://b2r2.org/B2R2/.

Пример

Попробуем использовать API B2R2.

1. Сначала создайте пустую директорию с именем DIRNAME:

   root@kitploit:~

   mkdir DIRNAME
   cd DIRNAME
   

2. Затем создайте пустой консольный проект с помощью утилиты командной строки dotnet:

   root@kitploit:~

   $ dotnet new console -lang F#
   

3. Добавьте пакет NuGet B2R2.FrontEnd.API в проект:

   root@kitploit:~

   $ dotnet add package B2R2.FrontEnd.API
   

4. Отредактируйте файл Program.fs в вашем любимом редакторе следующим образом:

   root@kitploit:~

   open B2R2
   open B2R2.FrontEnd
   
   [<EntryPoint>]
   let main argv =
     let isa = ISA "amd64"
     let bytes = [| 0x65uy; 0xffuy; 0x15uy; 0x10uy; 0x00uy; 0x00uy; 0x00uy |]
     let hdl = BinHandle(bytes, isa)
     let lifter = hdl.NewLiftingUnit()
     let ins = lifter.ParseInstruction 0UL // parse the instruction at offset 0
     lifter.LiftInstruction ins |> printfn "%A"
     0
   

5. Запустите его командой dotnet run. Вы должны увидеть поднятые IR-утверждения в консоли. Вот и всё! Вы только что подняли инструкцию Intel всего несколькими строками кода на F#.

Сборка

Собрать B2R2 очень просто. Установите .NET 10 SDK или новее, и вы готовы к сборке из корневой директории исходников.

• Для сборки B2R2 в режиме release выполните dotnet build -c Release.

• Для сборки B2R2 в режиме debug выполните dotnet build.

Для получения дополнительной информации о настройке среды разработки F# посетите официальный сайт F#: http://fsharp.org/.

Авторы

B2R2 разработан участниками SoftSec Lab в KAIST в сотрудничестве с Исследовательским центром кибербезопасности (CSRC) в KAIST. Полный список участников см. в AUTHORS.md.

Цитирование

Если вы используете B2R2 в своих исследованиях, пожалуйста, рассмотрите возможность цитирования нашей статьи:

Руководство

Для B2R2 доступно онлайн-руководство, охватывающее основы использования B2R2 и содержащее практические примеры. Ознакомьтесь с ним по следующей ссылке: https://b2r2.org/tutorial-icst2026/.

Публикации

Ниже перечислены статьи, в которых используется или развивается B2R2. Если ваша работа должна быть включена, пожалуйста, откройте pull request.

• EVMpress: Precise Type Inference for Next-Generation EVM Decompilation, CBT 2025 (PDF)
• Towards Sound Reassembly of Modern x86-64 Binaries, ASPLOS 2025 (PDF)
• PoE: A Domain-Specific Language for Exploitation, SVCC 2024 (PDF)
• FunProbe: Probing Functions from Binary Code through Probabilistic Analysis, FSE 2023 (PDF)
• How'd Security Benefit Reverse Engineers? The Implication of Intel CET on Function Identification, DSN 2022 (PDF)
• Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses, ASE 2021 (PDF)
• NTFuzz: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis, Oakland 2021 (PDF)