r3bb1t / bin_liftLinks
Rust library for lifting raw binary data to LLVM IR
☆52Updated 2 months ago
Alternatives and similar repositories for bin_lift
Users that are interested in bin_lift are comparing it to the libraries listed below
Sorting:
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆54Updated 11 months ago
- PDB Rewriting Rust Library☆24Updated last year
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆95Updated 3 weeks ago
- Rusty Hypervisor - Windows Blue Pill Type-2 Hypervisor in Rust (Codename: Matrix)☆10Updated last year
- Research-focused hypervisor offering advanced tools for debugging, virtual machine introspection, and automation.☆20Updated 2 weeks ago
- ☆51Updated 4 months ago
- Lightweight PDB symbol parser and resolver☆26Updated 8 months ago
- Mixed Boolean-Arithmetic☆67Updated 3 weeks ago
- 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
- How Meltdown and Spectre haunt Anti-Cheat: DVRT details☆21Updated 10 months ago
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 8 months ago
- Rust bindings to the System Informer's (formerly known as Process Hacker) "phnt" native Windows headers☆46Updated last month
- x86-64 virtualizing obfuscator written in Rust☆79Updated last year
- x86-64 user mode emulation using Zydis☆47Updated 6 months ago
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆82Updated 11 months ago
- PEIM (UEFI) bootkit targeting OVMF (EDK2)☆35Updated last year
- All LLVM binaries scrambled with SigBreaker and used to test against llvm-lit☆16Updated 2 months ago
- Disassembler for Zeus VM custom instruction set☆28Updated last year
- Native opaque predicate cleaner plugin for Binary Ninja☆35Updated last week
- Generate a PDB file given the old PDB file and an address mapping☆48Updated 4 months ago
- Symbolic Execution based on lifting amd64 to z3☆28Updated last year
- A collection of LLVM passes for obfuscating☆36Updated 2 years ago
- ☆90Updated last year
- Modular and extensible library for Virtual Machine Introspection☆107Updated last month
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆31Updated 3 weeks ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆21Updated 2 months ago
- Simple anti-instrumentation with EFLAGS.AC☆18Updated 3 months ago
- A graphing library for Control Flow Graphs☆55Updated 3 weeks ago
- Python bindings for the Icicle emulator.☆35Updated 3 months ago
- Sample Rust crate used to implement a VBS enclave in Rust☆35Updated last month