r3bb1t / bin_liftLinks
Rust library for lifting raw binary data to LLVM IR
☆60Updated 5 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☆62Updated last year
- Lightweight PDB symbol parser and resolver☆28Updated last year
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆112Updated last week
- A parser for Microsoft PDB (Program Database) debugging information☆22Updated last year
- PDB Rewriting Rust Library☆26Updated last year
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Updated 6 months ago
- Symbolic Execution based on lifting amd64 to z3☆29Updated last year
- How Meltdown and Spectre haunt Anti-Cheat: DVRT details☆22Updated last year
- ☆61Updated 10 months ago
- Research-focused hypervisor offering advanced tools for debugging, virtual machine introspection, and automation.☆41Updated last month
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆38Updated 2 years ago
- x86-64 user mode emulation using Zydis☆72Updated 3 months ago
- Disassembler for Zeus VM custom instruction set☆29Updated last year
- dynamic binary instrumentation, analysis, and patching framework☆99Updated this week
- Python bindings for the Icicle emulator.☆40Updated last month
- Mixed Boolean-Arithmetic☆93Updated 4 months ago
- Generate a PDB file given the old PDB file and an address mapping☆51Updated 4 months ago
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆88Updated last year
- Binary Ninja plugin for automating VMProtect analysis☆63Updated 3 years ago
- Simple anti-instrumentation with EFLAGS.AC☆18Updated 8 months ago
- Native opaque predicate cleaner plugin for Binary Ninja☆45Updated this week
- IDA Taskr is a pure Python library for IDA Pro related parallel computing. It lets you use the power of Qt (built-in to IDA!) and Python'…☆30Updated last month
- x86-64 virtualizing obfuscator written in Rust☆77Updated 2 years ago
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆64Updated last year
- Mixed Boolean Arithmetic Expression Obfuscator☆69Updated 2 years ago
- Modular and extensible library for Virtual Machine Introspection☆109Updated 4 months ago
- Find out how to bypass HVCI (or not). My own research on Microsoft Warbird (specifically in clipsp.sys)☆80Updated last month
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆79Updated last week
- Labyrinth, an LLVM obfuscation plugin for the New Pass Manager☆44Updated 10 months ago
- devirtualization vmprotect☆64Updated 2 years ago