plzin / mbaLinks
Mixed Boolean-Arithmetic
☆90Updated 2 months ago
Alternatives and similar repositories for mba
Users that are interested in mba are comparing it to the libraries listed below
Sorting:
- Mixed Boolean Arithmetic Expression Obfuscator☆68Updated 2 years ago
- Rust library for lifting raw binary data to LLVM IR☆60Updated 4 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆108Updated this week
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆61Updated last year
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆85Updated last year
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Updated 5 months ago
- Lightweight PDB symbol parser and resolver☆26Updated last year
- x86-64 code/pe virtualizer☆203Updated 11 months ago
- A parser for Microsoft PDB (Program Database) debugging information☆22Updated last year
- Analyzing the driver and internal module of EasyAntiCheat.☆39Updated 2 years ago
- A space-efficient bitmap implementation with inline storage optimization for Rust.☆15Updated 3 weeks ago
- A C compiler targeting an artistically pleasing nightmare for reverse engineers☆101Updated 11 months ago
- A portable header only library extending the C++20 STL.☆89Updated last year
- x86-64 virtualizing obfuscator written in Rust☆76Updated 2 years ago
- ☆61Updated 2 years ago
- A graphing library for Control Flow Graphs☆97Updated 5 months ago
- Me fockin' pe protector☆45Updated 3 years ago
- Parses and symbolizes MSVC RTTI information in Binary Ninja.☆28Updated last year
- ☆83Updated 3 weeks ago
- Native opaque predicate cleaner plugin for Binary Ninja☆45Updated this week
- x86-64 Automated test data generator☆26Updated 3 months ago
- A x86_64 software emulator☆156Updated 2 months ago
- Modular and extensible library for Virtual Machine Introspection☆111Updated 3 months ago
- a cooler signature scanning and creation library for binja☆73Updated last month
- Research-focused hypervisor offering advanced tools for debugging, virtual machine introspection, and automation.☆41Updated this week
- Python bindings for the Icicle emulator.☆41Updated 2 weeks ago
- Pure Go port of Hacker Disassembler Engine.☆25Updated 9 months ago
- A devirtualization engine for Themida.☆101Updated last year
- unorthodox approach to analyze a trace, but this helped me get comfy with x64 instructions overall (excluding sse/avx/etc lol), cleared u…☆63Updated last year
- x86-64 user mode emulation using Zydis☆69Updated 2 months ago