seekbytes / pocket
Mixed Boolean Arithmetic Expression Obfuscator
☆62Updated last year
Alternatives and similar repositories for pocket:
Users that are interested in pocket are comparing it to the libraries listed below
- Mixed Boolean-Arithmetic☆59Updated last year
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆88Updated 2 weeks ago
- Rust library for lifting raw binary data to LLVM IR☆49Updated last week
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆50Updated 8 months ago
- x86-64 virtualizing obfuscator written in Rust☆75Updated last year
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 5 months ago
- Lightweight PDB symbol parser and resolver☆24Updated 5 months ago
- VM devirtualization PoC based on AsmJit and llvm☆113Updated 3 years ago
- Port of MBA Solver SiMBA to C/C++☆77Updated last month
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆154Updated last year
- x86-64 code/pe virtualizer☆185Updated 4 months ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆49Updated last year
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆29Updated last year
- A devirtualization engine for Themida.☆100Updated last year
- ☆47Updated 2 months ago
- Me fockin' pe protector☆45Updated 2 years ago
- Cross-Platform Framework for High-Speed Memory Pattern Scanning with Multithreading, SIMD Support, and Alternative STL ETL Integration☆37Updated 3 months ago
- A C compiler targeting an artistically pleasing nightmare for reverse engineers☆97Updated 4 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last month
- Analyzing the driver and internal module of EasyAntiCheat.☆39Updated last year
- 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
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆71Updated 5 years ago
- A collection of LLVM passes for obfuscating☆35Updated 2 years ago
- Python bindings for the Icicle emulator.☆33Updated 2 weeks ago
- Non-linear Mixed Boolean-Arithmetic Expressions☆62Updated last year
- A portable header only library extending the C++20 STL.☆74Updated last year
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆78Updated 8 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…☆58Updated last year
- A graphing library for Control Flow Graphs☆51Updated 2 weeks ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆64Updated 2 weeks ago