Alternatives and similar repositories for reconstructing-rust-types-talk-re-verse-2025

Users that are interested in reconstructing-rust-types-talk-re-verse-2025 are comparing it to the libraries listed below

• N0fix / rustbinsign
  Rust symbol recovery tool
  ☆56Updated last month
• cxiao / rust_type_layout_helper_bn
  An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…
  ☆36Updated last year
• LLVMParty / RemillWorkshop
  ☆50Updated 4 months ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated 5 months ago
• williballenthin / lancelot
  intel x86(-64) code analysis library that reconstructs control flow
  ☆103Updated 2 weeks ago
• N0fix / rustbininfo
  Get information about stripped rust executables
  ☆31Updated last month
• mazeworks-security / Simplifier
  Efficient general mixed boolean-arithmetic (MBA) simplifier
  ☆92Updated last week
• r3bb1t / bin_lift
  Rust library for lifting raw binary data to LLVM IR
  ☆52Updated 2 months ago
• binarly-io / idalib
  Idiomatic Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.x’s idalib
  ☆176Updated 3 weeks ago
• cxiao / hashdb_bn
  Binary Ninja plugin for interacting with the OALabs HashDB service
  ☆19Updated 7 months ago
• vmi-rs / vmi
  Modular and extensible library for Virtual Machine Introspection
  ☆105Updated last month
• DenuvoSoftwareSolutions / SiMBA
  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  ☆160Updated last year
• intel / vmsifter
  Framework for in-VM test execution and monitoring, inspired by Sandsifter
  ☆11Updated 3 months ago
• backengineering / bintests
  A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations
  ☆54Updated 10 months ago
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆21Updated last month
• elbee-cyber / RopView
  A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.
  ☆61Updated last month
• Vector35 / scc
  ☆145Updated last month
• yrp604 / bochscpu
  ☆81Updated last month
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆26Updated this week
• mrphrazer / obfuscation_analysis
  Binary Ninja plugin to analyze and simplify obfuscated code
  ☆81Updated 2 weeks ago
• plzin / mba
  Mixed Boolean-Arithmetic
  ☆66Updated 2 weeks ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆122Updated last month
• fugue-re / fugue-core
  A binary analysis framework written in Rust.
  ☆170Updated last month
• neodyme-labs / hyperhook
  Cross-platform harnessing framework designed for Nyx-based fuzzers
  ☆19Updated 4 months ago
• fugue-re / fuguex-core
  A binary analysis framework written in Rust.
  ☆20Updated last year
• Vector35 / warp
  Common format for transferring and applying function information across binary analysis tools
  ☆35Updated this week
• icicle-emu / icicle-python
  Python bindings for the Icicle emulator.
  ☆35Updated 2 months ago
• triskellib / triskel
  A graphing library for Control Flow Graphs
  ☆53Updated last week
• pgarba / SiMBA-
  Port of MBA Solver SiMBA to C/C++
  ☆85Updated last month
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆107Updated 3 weeks ago