cxiao / reconstructing-rust-types-talk-re-verse-2025
Slides and materials for the talk Reconstructing Rust Types: A Practical Guide for Reverse Engineers at RE//verse 2025, presented on February 28, 2025.
☆14Updated last month
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
- 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
- Ghidra Sleight (PCode) parsing library in Rust.☆43Updated 3 months ago
- Rust symbol recovery tool☆47Updated last month
- ☆47Updated 2 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆116Updated 4 months ago
- Idiomatic Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.x’s idalib☆149Updated 2 weeks ago
- SMT Modeling for Ghidra's PCODE☆24Updated last week
- A binary analysis framework written in Rust.☆20Updated last year
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆103Updated this week
- A debugger for Linux in Rust☆77Updated 2 years ago
- Cross-platform harnessing framework designed for Nyx-based fuzzers☆14Updated 2 months ago
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated last month
- Binary Ninja plugin for interacting with the OALabs HashDB service☆18Updated 5 months ago
- BinaryNinja plugin to introduce some quality of life utilities for obsessive compulsive CTF enthusiasts☆20Updated 8 months ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆58Updated 2 weeks ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last month
- A binary analysis framework written in Rust.☆168Updated this week
- Tantō slices functions into more consumable chunks☆62Updated last week
- Modular and extensible library for Virtual Machine Introspection☆94Updated 3 weeks ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆87Updated 2 weeks ago
- ☆64Updated 5 months ago
- simple type recognition in decompiled executables☆107Updated 9 months ago
- Write dynamic binary analysis tools in Python☆113Updated last month
- A (SLEIGH) disassembler that supports multiple architectures☆83Updated 2 years ago
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆37Updated 4 months ago
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆50Updated 8 months ago
- ☆80Updated 2 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆89Updated 2 months ago
- Binja (sort of) headless☆46Updated 2 months ago
- Binary Type Inference Ghidra Plugin☆155Updated last year