plzin / mbaLinks
Mixed Boolean-Arithmetic
☆59Updated 3 weeks ago
Alternatives and similar repositories for mba
Users that are interested in mba 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 10 months ago
- Rust library for lifting raw binary data to LLVM IR☆51Updated last month
- Mixed Boolean Arithmetic Expression Obfuscator☆64Updated last year
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆91Updated this week
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆31Updated last year
- A graphing library for Control Flow Graphs☆52Updated 2 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 last year
- ☆44Updated 2 years ago
- How Meltdown and Spectre haunt Anti-Cheat: DVRT details☆21Updated 9 months ago
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 6 months ago
- Lightweight PDB symbol parser and resolver☆24Updated 7 months ago
- Research-focused hypervisor offering advanced tools for debugging, virtual machine introspection, and automation.☆20Updated 3 weeks ago
- x86-64 virtualizing obfuscator written in Rust☆77Updated last year
- ☆49Updated 3 months ago
- Analyzing the driver and internal module of EasyAntiCheat.☆39Updated 2 years ago
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆80Updated 10 months ago
- A x86 environment emulator for Windows user and kernel binaries.☆58Updated this week
- x86-64 user mode emulation using Zydis☆46Updated 4 months ago
- Symbolic Execution based on lifting amd64 to z3☆27Updated 11 months ago
- PDB Rewriting Rust Library☆24Updated last year
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last month
- Labyrinth, an LLVM obfuscation plugin for the New Pass Manager☆40Updated 3 months ago
- Me fockin' pe protector☆45Updated 2 years ago
- A portable header only library extending the C++20 STL.☆77Updated last year
- Cross-Platform Framework for High-Speed Memory Pattern Scanning with Multithreading, SIMD Support, and Alternative STL ETL Integration☆37Updated 4 months ago
- Parses and symbolizes MSVC RTTI information in Binary Ninja.☆27Updated 6 months ago
- A set of LLVM and GCC based plugins that perform code obfuscation.☆123Updated 2 weeks ago
- A collection of LLVM passes for obfuscating☆35Updated 2 years ago
- Rust bindings to the System Informer's (formerly known as Process Hacker) "phnt" native Windows headers☆45Updated this week
- Standalone API for Binary Ninja's LLIL☆18Updated 9 months ago