plzin / mba
Mixed Boolean-Arithmetic
☆49Updated 10 months ago
Alternatives and similar repositories for mba:
Users that are interested in mba are comparing it to the libraries listed below
- Rust library for lifting raw binary data to LLVM IR☆44Updated 3 months ago
- Lightweight PDB symbol parser and resolver☆24Updated 2 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆80Updated last month
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆46Updated 5 months ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆32Updated last year
- Mixed Boolean Arithmetic Expression Obfuscator☆55Updated last year
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆28Updated last year
- How Meltdown and Spectre haunt Anti-Cheat: DVRT details☆21Updated 4 months ago
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 2 months ago
- x86-64 virtualizing obfuscator written in Rust☆69Updated last year
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆58Updated 6 months ago
- Python bindings for the Icicle emulator.☆25Updated this week
- Disassembler for Zeus VM custom instruction set☆27Updated 11 months ago
- Binary Ninja plugin for automating VMProtect analysis☆58Updated 2 years ago
- Me fockin' pe protector☆45Updated 2 years ago
- ☆12Updated 3 months ago
- A portable header only library extending the C++20 STL.☆72Updated 9 months ago
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆71Updated 5 years ago
- PDB Rewriting Rust Library☆21Updated 8 months ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆61Updated 2 months ago
- x86-64 user mode emulation using Zydis☆41Updated last week
- Standalone API for Binary Ninja's LLIL☆18Updated 5 months ago
- ☆45Updated 4 months ago
- Labyrinth, a LLVM obfuscation plugin for the New Pass Manager☆31Updated last year
- Provides commands to read from and write to arbitrary kernel-mode memory for users with the Administrator privilege. HVCI compatible. No …☆16Updated 7 months ago
- Analyzing the driver and internal module of EasyAntiCheat.☆38Updated last year
- PEIM (UEFI) bootkit targeting OVMF (EDK2)☆33Updated last year
- Parses and symbolizes MSVC RTTI information in Binary Ninja.☆27Updated last month
- MBA deobfuscator via Program Synthesis and Term Rewriting☆48Updated 9 months ago
- unorthodox approach to analyze a trace, but this helped me get comfy with x64 instructions overall (excluding sse/avx/etc lol), cleared u…☆55Updated 11 months ago