Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation
☆322Jul 2, 2026Updated last month
Alternatives and similar repositories for CoBRA
Users that are interested in CoBRA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cracking MBAs☆54Jul 31, 2026Updated last week
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆136Jul 25, 2026Updated 2 weeks ago
- An analysis and static deobfuscation of codedefender.io protected samples.☆88Apr 18, 2026Updated 3 months ago
- LLVM based static binary analysis framework☆362Updated this week
- Deobfuscation via optimization with usage of LLVM IR and parsing assembly.☆872May 8, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Striga is an experimental lifter from x86_64 to LLVM IR written in Python.☆106Jun 22, 2026Updated last month
- MBA deobfuscator via Program Synthesis and Term Rewriting☆71Jul 6, 2026Updated last month
- x64 PE bin2bin obfuscator which doesn't add a section to the binary☆302Updated this week
- ☆101Oct 25, 2025Updated 9 months ago
- chernobog is a Hex-Rays decompiler plugin that defeats Hikari LLVM obfuscation.☆273Jul 24, 2026Updated 2 weeks ago
- Injecting code by recompiling shellcode into a ROP chain.☆145Apr 21, 2026Updated 3 months ago
- Static devirtualizer for VMProtect 3.0-3.5. Lifts virtualized code to LLVM using Remill and strips the VM layer through optimization.☆306Jul 30, 2026Updated last week
- Themida 3.x research☆107Feb 28, 2025Updated last year
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆90Mar 28, 2026Updated 4 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- llvm powered deobfuscation of a vm-based protection☆62Feb 25, 2026Updated 5 months ago
- ☆26Apr 17, 2026Updated 3 months ago
- Hardening code obfuscation against automated attacks☆220Jan 23, 2024Updated 2 years ago
- Rewrite and obfuscate code in compiled binaries☆277Dec 13, 2025Updated 7 months ago
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆111Aug 1, 2026Updated last week
- Find out how to bypass HVCI (or not). My own research on Microsoft Warbird (specifically in clipsp.sys)☆98Oct 26, 2025Updated 9 months ago
- out-of-tree LLVM 21+ pass plugin for policy-driven IR obfuscation.☆96Updated this week
- Themida Devirt Results☆112May 10, 2026Updated 2 months ago
- My notes about the stub.dll obfuscator.☆32Dec 12, 2025Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An x86-64 Code Virtualizer☆326Sep 26, 2024Updated last year
- A x86_64 software emulator☆162Aug 25, 2025Updated 11 months ago
- Extract sequences of instructions to be executed exclusively on a remote server☆51Oct 11, 2025Updated 9 months ago
- An IDA Hex-Rays microcode filter that lifts AVX/AVX2/AVX-512/AVX10 and VMX/VT-x instructions to intrinsics.☆108Jul 15, 2026Updated 3 weeks ago
- Binary lifter and deobfuscator using remill for x86_64 Windows binaries☆89Apr 20, 2026Updated 3 months ago
- A C++ REPL for IDA Pro / IDA C++ SDK☆97Mar 26, 2026Updated 4 months ago
- Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA☆239Nov 21, 2023Updated 2 years ago
- A C++ wrapper for icedx86 decoder☆49Jul 28, 2025Updated last year
- ☆68Feb 23, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- VMProtect2 Deobfuscation Tooling☆130Nov 12, 2025Updated 8 months ago
- Ryūjin Protector - Is a Intel Arch - BIN2BIN - PE Obfuscation/Protection/DRM tool☆338Nov 20, 2025Updated 8 months ago
- IDA plugin for automatic deobfuscation of opaque predicates by lifting microcode to z3 for SMT reasoning.☆78Apr 30, 2026Updated 3 months ago
- Binary Ninja plugin to analyze and simplify obfuscated code☆254May 20, 2026Updated 2 months ago
- ☆20Mar 20, 2026Updated 4 months ago
- A graphing library for Control Flow Graphs☆126Jun 19, 2025Updated last year
- VTIL2 is a ground-up reimagination of the VTIL Project, completely rewritten in modern C# with enterprise-grade architecture, performance…☆69Oct 29, 2025Updated 9 months ago