Open Issues Need Help
View All on GitHub Software Development • Plugin Development
Linter: Black -> Ruff 3 months ago
good first issue
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