Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation
☆359Aug 13, 2026Updated 2 months ago
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☆80Sep 13, 2026Updated last month
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆137Jul 25, 2026Updated 3 months ago
- An analysis and static deobfuscation of codedefender.io protected samples.☆98Apr 18, 2026Updated 6 months ago
- LLVM based static binary analysis framework☆379Aug 15, 2026Updated 2 months ago
- Deobfuscation via optimization with usage of LLVM IR and parsing assembly.☆917Sep 22, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- MBA deobfuscator via Program Synthesis and Term Rewriting☆74Jul 6, 2026Updated 3 months ago
- Striga is an experimental lifter from x86_64 to LLVM IR written in Python.☆120Jun 22, 2026Updated 4 months ago
- chernobog is a Hex-Rays decompiler plugin that defeats Hikari LLVM obfuscation.☆301Updated this week
- x64 PE bin2bin obfuscator which doesn't add a section to the binary☆354Aug 18, 2026Updated 2 months ago
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆115Oct 7, 2026Updated 3 weeks ago
- Bit-vector expression simplifier for binary analysis and deobfuscation☆62Oct 20, 2026Updated last week
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆90Mar 28, 2026Updated 7 months ago
- ☆108Oct 25, 2025Updated last year
- Static devirtualizer for VMProtect 3.0-3.5. Lifts virtualized code to LLVM using Remill and strips the VM layer through optimization.☆321Jul 30, 2026Updated 2 months ago
- 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.
- Injecting code by recompiling shellcode into a ROP chain.☆148Apr 21, 2026Updated 6 months ago
- Extract sequences of instructions to be executed exclusively on a remote server☆55Oct 11, 2025Updated last year
- Simple template for using Remill on Windows/Linux/macos.☆39May 22, 2026Updated 5 months ago
- NoWarbird - Warbird devirtualization project☆86Aug 25, 2026Updated 2 months ago
- Themida 3.x research☆119Feb 28, 2025Updated last year
- x86-64 Symbolic Execution & LLVM IR Lifting Framework for Deobfuscation☆122Updated this week
- Binary lifter and deobfuscator using remill for x86_64 Windows binaries☆105Apr 20, 2026Updated 6 months ago
- ☆26Sep 27, 2026Updated last month
- llvm powered deobfuscation of a vm-based protection☆65Feb 25, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rewrite and obfuscate code in compiled binaries☆279Dec 13, 2025Updated 10 months ago
- A C++ REPL for IDA Pro / IDA C++ SDK☆96Mar 26, 2026Updated 7 months ago
- out-of-tree LLVM 21+ pass plugin for policy-driven IR obfuscation.☆113Oct 16, 2026Updated last week
- Hardening code obfuscation against automated attacks☆232Jan 23, 2024Updated 2 years ago
- A x86_64 software emulator☆168Aug 25, 2025Updated last year
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆199Oct 12, 2023Updated 3 years ago
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆86Aug 2, 2024Updated 2 years ago
- Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions☆398Sep 26, 2026Updated last month
- Find out how to bypass HVCI (or not). My own research on Microsoft Warbird (specifically in clipsp.sys)☆104Oct 26, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Themida Devirt Results☆126May 10, 2026Updated 5 months ago
- An x86-64 Code Virtualizer☆329Sep 26, 2024Updated 2 years ago
- My notes about the stub.dll obfuscator.☆54Dec 12, 2025Updated 10 months ago
- VTIL2 is a ground-up reimagination of the VTIL Project, completely rewritten in modern C# with enterprise-grade architecture, performance…☆75Oct 29, 2025Updated last year
- A C++ wrapper for icedx86 decoder☆48Jul 28, 2025Updated last year
- Ryūjin Protector - Is a Intel Arch - BIN2BIN - PE Obfuscation/Protection/DRM tool☆349Nov 20, 2025Updated 11 months ago
- Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA☆251Nov 21, 2023Updated 2 years ago