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.
☆18Updated 4 months 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 2 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 8 months ago
- Rust symbol recovery tool☆72Updated 2 months ago
- Instruction decoder generator☆22Updated 4 months ago
- A debugger for Linux in Rust☆76Updated 2 years ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆96Updated 7 months ago
- Core emulator components for Icicle☆239Updated 3 weeks ago
- A binary analysis framework written in Rust.☆168Updated 3 months ago
- simple type recognition in decompiled executables☆114Updated last year
- Idiomatic Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.x’s idalib☆208Updated last week
- Recover compile-units from stripped binary executables☆49Updated 6 months ago
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆117Updated last year
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated last week
- Tantō slices functions into more consumable chunks☆71Updated 5 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆115Updated last week
- Binary Ninja plugin for interacting with the OALabs HashDB service☆20Updated 10 months ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆65Updated 4 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆127Updated 2 weeks ago
- Modular and extensible library for Virtual Machine Introspection☆108Updated last month
- Mixed Boolean-Arithmetic☆72Updated last month
- Write dynamic binary analysis tools in Python☆118Updated 2 months ago
- Common format for transferring and applying function information across binary analysis tools☆47Updated 2 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆103Updated last week
- A graphing library for Control Flow Graphs☆66Updated 3 months ago
- A (SLEIGH) disassembler that supports multiple architectures☆85Updated 3 years ago
- intel x86(-64) code analysis library that reconstructs control flow☆107Updated 3 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆22Updated 4 months ago
- SMT Modeling for Ghidra's PCODE☆28Updated this week
- symbolic execution plugin for binary ninja☆335Updated last month
- A Pythonic Ghidra standard library☆175Updated 4 months ago