Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation
☆71Mar 21, 2026Updated this week
Alternatives and similar repositories for CoBRA
Users that are interested in CoBRA are comparing it to the libraries listed below
Sorting:
- LLVM Graph View for VSCode☆40Mar 25, 2025Updated 11 months ago
- ☆16Feb 27, 2026Updated 3 weeks ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆72Mar 11, 2026Updated last week
- Extract sequences of instructions to be executed exclusively on a remote server☆39Oct 11, 2025Updated 5 months ago
- minimal hypervisor for aarch64 (WIP)☆31Nov 29, 2025Updated 3 months ago
- All LLVM binaries scrambled with SigBreaker and used to test against llvm-lit☆25May 7, 2025Updated 10 months ago
- ☆17Feb 10, 2026Updated last month
- C++ Assembler with Built-in Mutation Engine☆30Sep 6, 2025Updated 6 months ago
- ☆59Jan 8, 2026Updated 2 months ago
- Collection of Cheat dumps for Research and Detection.☆16Jan 4, 2026Updated 2 months ago
- Tracing Android Binder Activities via Frida☆15Jul 21, 2024Updated last year
- A graphing library for Control Flow Graphs☆108Jun 19, 2025Updated 9 months ago
- Binary Ninja plugin for interacting with the OALabs HashDB service☆21Nov 1, 2024Updated last year
- Rust unsafe bindings for Vid API (Hyper-V)☆23Feb 23, 2025Updated last year
- Custom instruction length for hex-rays☆28Jan 17, 2026Updated 2 months ago
- Simple anti-instrumentation with EFLAGS.AC☆17Mar 31, 2025Updated 11 months ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆23Dec 3, 2021Updated 4 years ago
- an obfuscator based on LLVM which can obfuscate the program execution trajectory☆107Mar 15, 2021Updated 5 years ago
- Simple, fast and lightweight Header-Only C++ Assembler Library☆142Aug 13, 2025Updated 7 months ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 5 months ago
- Control Flow Linearization☆25May 4, 2025Updated 10 months ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Feb 24, 2014Updated 12 years ago
- Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA☆214Nov 21, 2023Updated 2 years ago
- Rust library for lifting raw binary data to LLVM IR☆64Jul 18, 2025Updated 8 months ago
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆40Dec 5, 2024Updated last year
- ☆65Feb 23, 2025Updated last year
- A Qt-based CyberChef interface designed for malware analysis workflows, particularly in IDA Pro☆126Updated this week
- A Discord video and audio streaming client designed for user-bots (aka self-bots.)☆12Mar 1, 2024Updated 2 years ago
- LLVM Pass to save Reverse Engineers from Automation☆119Mar 28, 2025Updated 11 months ago
- A Binary Ninja plugin for importing IDC database dumps from IDA.☆41Oct 13, 2022Updated 3 years ago
- Parses and symbolizes MSVC RTTI information in Binary Ninja.☆28Nov 19, 2024Updated last year
- ☆26Aug 7, 2023Updated 2 years ago
- Resolver for megacloud's e1 player, rabbitstream's e4 player & rapid-cloud's e6 player.☆12Aug 9, 2024Updated last year
- A V8 Sandbox Escape Technique.☆21Feb 8, 2025Updated last year
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Jun 14, 2025Updated 9 months ago
- Demangles C++ symbol names genarated by Microsoft Visual C++ in order to retrieve the original C++ declarations.☆33Jun 25, 2020Updated 5 years ago
- A fast Windows emulator + debugger for reverse engineering. Runs any executable in debug mode, disassembles with Zydis, emulates instruct…☆183Feb 20, 2026Updated last month
- VTIL2 is a ground-up reimagination of the VTIL Project, completely rewritten in modern C# with enterprise-grade architecture, performance…☆66Oct 29, 2025Updated 4 months ago
- C++11 RAII memory patcher and function hooking thing☆35Oct 5, 2016Updated 9 years ago