Repository profile
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.
Repository updates
Get generated bliutech/mbased development summaries by email, or follow the weekly and monthly RSS feeds.
Sign in to subscribe by email. RSS feeds are public.
Sign in to subscribeTracked growth, recent movement, and commit velocity from stored repository snapshots.
Latest capture 2026-06-24 13:15
1 capture since 2026-06-24
Stars from baseline 0
All tracked data
Frameworks, package managers, ecosystems, and dependency manifests found during catalog scans.
Scanned 2026-06-24 13:15
requirements.txt
python ecosystem,
4 dependencies
Searchable topics, generated tags, and stack labels that explain where this repository fits.
Agent instructions and tool configuration paths found in the repository tree.
Nearest indexed repositories by embedding similarity.
MBA deobfuscator via Program Synthesis and Term Rewriting
chernobog is a Hex-Rays decompiler plugin that defeats Hikari LLVM obfuscation.
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
