plzin / mba
Mixed Boolean-Arithmetic
☆50Updated 11 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 4 months ago
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆50Updated 6 months ago
- Lightweight PDB symbol parser and resolver☆24Updated 3 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆83Updated 2 months ago
- Mixed Boolean Arithmetic Expression Obfuscator☆55Updated last year
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆34Updated last year
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆28Updated last year
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 3 months ago
- How Meltdown and Spectre haunt Anti-Cheat: DVRT details☆21Updated 5 months ago
- ☆46Updated 4 months ago
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆58Updated 6 months ago
- Me fockin' pe protector☆44Updated 2 years ago
- A portable header only library extending the C++20 STL.☆73Updated 9 months ago
- Disassembler for Zeus VM custom instruction set☆27Updated last year
- Python bindings for the Icicle emulator.☆25Updated last month
- PDB Rewriting Rust Library☆23Updated 9 months ago
- Symbolic Execution based on lifting amd64 to z3☆21Updated 7 months ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆48Updated 10 months ago
- Standalone API for Binary Ninja's LLIL☆18Updated 6 months ago
- Port of MBA Solver SiMBA to C/C++☆77Updated 3 months ago
- x86-64 user mode emulation using Zydis☆44Updated last month
- Hyper-V related resources☆30Updated 10 months ago
- x86-64 virtualizing obfuscator written in Rust☆71Updated last year
- ☆12Updated last week
- VTIL command line utility☆27Updated 3 years ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 4 months ago
- LLVM Without The ROP Gadgets!☆26Updated last year
- Binary Ninja plugin for automating VMProtect analysis☆58Updated 2 years ago
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆78Updated 6 months ago
- An xtask to speed up Windows kernel driver development in rust.☆18Updated 7 months ago