bliutech

bliutech/mbased

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.

1 good first / help-wanted issue · Python · last activity Aug 9, 2025

binary-ninja mixed-boolean-arithmetic obfuscation sympy z3
1 Open Issue Need Help Last updated: Aug 9, 2025

Open Issues Need Help

View All on GitHub
Software Development Plugin Development
Linter: Black -> Ruff about 1 month ago
good first issue
bliutech/mbased
32

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.

Python
#binary-ninja#mixed-boolean-arithmetic#obfuscation#sympy#z3