MIT IEEE URTC 2024. GSET 2024. Repository for the "MBASED: Practical Simplifications of Mixed Boolean-Arithmetic Obfuscation". A Binary Ninja decompiler plugin taking ideas from compiler construction to simplify obfuscated boolean expressions.
☆44Sep 13, 2026Updated last month
Alternatives and similar repositories for mbased
Users that are interested in mbased are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LA CTF hosted by ACM Cyber & Psi Beta Rho! Website for the largest annual cybersecurity competition at UCLA! Whether you are tackling you…☆12Oct 22, 2026Updated last week
- MIT IEEE URTC 2023. GSET 2023. Repository for "SeBRUS: Mitigating Data Poisoning in Crowdsourced Datasets with Blockchain". Using Ethere…☆11Sep 12, 2023Updated 3 years ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆137Jul 25, 2026Updated 3 months ago
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆115Oct 7, 2026Updated 3 weeks ago
- The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.☆12Oct 24, 2026Updated last week
- 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.
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆90Mar 28, 2026Updated 7 months ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆21Dec 3, 2021Updated 4 years ago
- Standalone static version of Triton's x86/x64 translator☆33May 2, 2026Updated 6 months ago
- Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation☆363Aug 13, 2026Updated 2 months ago
- Binary rewriting and delinking (reifying static relocations lost during link) based on a "float and anchor" approach.☆13Aug 18, 2025Updated last year
- Emulation of Binary Ninja LLIL☆16Feb 24, 2026Updated 8 months ago
- Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA☆251Nov 21, 2023Updated 2 years ago
- symbolic execution plugin for binary ninja☆358Jan 26, 2026Updated 9 months ago
- Binary Ninja plugin to analyze and simplify obfuscated code☆259May 20, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- MBA-Blast is a tool for simplification of MBA expressions.☆84Aug 6, 2021Updated 5 years ago
- The toolchain of Chosen-instruction attack☆25May 3, 2022Updated 4 years ago
- Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions☆398Sep 26, 2026Updated last month
- Research-focused hypervisor offering advanced tools for debugging, virtual machine introspection, and automation.☆46Jun 3, 2026Updated 4 months ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- chernobog is a Hex-Rays decompiler plugin that defeats Hikari LLVM obfuscation.☆306Oct 24, 2026Updated last week
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆32Jun 27, 2022Updated 4 years ago
- LLVM Graph View for VSCode☆42Mar 25, 2025Updated last year
- IDA plugin for automatic deobfuscation of opaque predicates by lifting microcode to z3 for SMT reasoning.☆80Apr 30, 2026Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Official website of ACM Hack.☆11Oct 27, 2026Updated last week
- ☆17May 26, 2026Updated 5 months ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆181Feb 16, 2025Updated last year
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆68Jun 3, 2022Updated 4 years ago
- LLVM based static binary analysis framework☆380Aug 15, 2026Updated 2 months ago
- Binary Ninja Call Graph plugin☆22Apr 20, 2022Updated 4 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆89Sep 18, 2026Updated last month
- PoC for House of Husk Exploit☆13Apr 3, 2020Updated 6 years ago
- A binary ninja plugin to detect crypto☆73Sep 22, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A specialized version of iced-x86 for binary lifting☆24Jun 25, 2026Updated 4 months ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆74Jul 6, 2026Updated 3 months ago
- Simple DLL and client app that work together to hook all the functions in WinHvPlatform.dll in order to provide logging and introspection…☆21Dec 1, 2021Updated 4 years ago
- High-performance, AI-driven semantic analysis for the IDA Pro decompiler.☆26Nov 18, 2025Updated 11 months ago
- "ollvm-unflattener" is a tool designed to reverse the flattening process used by some LLVM obfuscators to make code harder to analyze. It…☆14Oct 14, 2026Updated 2 weeks ago
- ☆71Feb 23, 2025Updated last year
- Parses and symbolizes MSVC RTTI information in Binary Ninja.☆28Nov 19, 2024Updated last year