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-07-29 03:05
0 paths
Agent instructions and tool configuration found in this repository.
No config files detected.
3 observed captures since 2026-06-24. Charts use measured snapshots only.
Stars from first capture +1
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
Plugin interface for remote communications with Binary Ninja database and MCP server for interfacing with LLMs.
