cxiao / reconstructing-rust-types-talk-re-verse-2025Links
Slides and materials for the talk Reconstructing Rust Types: A Practical Guide for Reverse Engineers at RE//verse 2025, presented on February 28, 2025.
☆17Updated 2 weeks ago
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
Sorting:
- 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
- Rust symbol recovery tool☆53Updated 3 weeks ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 5 months ago
- ☆50Updated 3 months ago
- Idiomatic Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.x’s idalib☆170Updated this week
- Cross-platform harnessing framework designed for Nyx-based fuzzers☆16Updated 4 months ago
- A binary analysis framework written in Rust.☆169Updated last month
- Triton-based DSE library with loading and exploration capabilities (and more!)☆121Updated 3 weeks ago
- Binary Ninja plugin to analyze and simplify obfuscated code☆56Updated last week
- Modular and extensible library for Virtual Machine Introspection☆103Updated 3 weeks ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆91Updated this week
- Binary Ninja plugin for interacting with the OALabs HashDB service☆19Updated 7 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last month
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆54Updated 10 months ago
- Rust library for lifting raw binary data to LLVM IR☆51Updated last month
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated 2 months ago
- A binary analysis framework written in Rust.☆20Updated last year
- Mixed Boolean-Arithmetic☆59Updated 3 weeks ago
- A debugger for Linux in Rust☆76Updated 2 years ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆61Updated 3 weeks ago
- breaking decompilers☆48Updated 3 weeks ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆107Updated last week
- ☆61Updated 3 months ago
- Port of MBA Solver SiMBA to C/C++☆83Updated last month
- Python bindings for the Icicle emulator.☆35Updated last month
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆37Updated 6 months ago
- SMT Modeling for Ghidra's PCODE☆26Updated this week
- Ariadne: Binary Ninja Graph Analysis Plugin☆92Updated 3 months ago
- Get information about stripped rust executables☆31Updated 3 weeks ago
- ☆81Updated 2 weeks ago