seekbytes / pocketLinks
Mixed Boolean Arithmetic Expression Obfuscator
☆69Updated 2 years ago
Alternatives and similar repositories for pocket
Users that are interested in pocket are comparing it to the libraries listed below
Sorting:
- Mixed Boolean-Arithmetic☆93Updated 4 months ago
- Rust library for lifting raw binary data to LLVM IR☆60Updated 5 months ago
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆62Updated last year
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Updated 6 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆112Updated last week
- Lightweight PDB symbol parser and resolver☆28Updated last year
- ☆61Updated 10 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24Updated 7 months ago
- A parser for Microsoft PDB (Program Database) debugging information☆22Updated last year
- Native opaque predicate cleaner plugin for Binary Ninja☆45Updated this week
- Disassembler for Zeus VM custom instruction set☆29Updated last year
- MBA deobfuscator via Program Synthesis and Term Rewriting☆55Updated 2 months ago
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆88Updated last year
- A C compiler targeting an artistically pleasing nightmare for reverse engineers☆100Updated last year
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆79Updated last week
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆104Updated last month
- dynamic binary instrumentation, analysis, and patching framework☆99Updated this week
- Python bindings for the Icicle emulator.☆40Updated last month
- A graphing library for Control Flow Graphs☆101Updated 6 months ago
- llvm powered deobfuscation of a vm-based protection☆44Updated 8 months ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆179Updated 2 years ago
- Rust symbol recovery tool☆75Updated 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…☆38Updated 2 years ago
- A collection of LLVM passes for obfuscating☆42Updated 2 years ago
- A high-performance C++ framework for emulating executable binaries☆128Updated last month
- Research-focused hypervisor offering advanced tools for debugging, virtual machine introspection, and automation.☆41Updated last month
- ☆46Updated last year
- x86-64 code/pe virtualizer☆202Updated last year
- Modular and extensible library for Virtual Machine Introspection☆109Updated 4 months ago
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆64Updated last year