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.
Appears on
Quick read
Latest capture 2026-10-14 03:15
Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.
0 paths
Agent instructions and tool configuration found in this repository.
No config files detected.
5 observed captures since 2026-06-24. Observed captures are shown by default.
Stars from first capture 0
Observed captures only
All tracked data
Observed snapshots
Observed snapshots
Nearest indexed repositories by embedding similarity.
MBA deobfuscator via Program Synthesis and Term Rewriting
A Binary Ninja plugin containing an MCP server that enables seamless integration with your favorite LLM/MCP client.
gooMBA is a Hex-Rays Decompiler plugin to simplify Mixed Boolean-Arithmetic (MBA) expressions
symbolic execution plugin for binary ninja
A library for mechanistic interpretability of GPT-style language models
Terminal based bit manipulator in ncurses
