Open Issues Need Help
View All on GitHub Software Development • Plugin Development
Linter: Black -> Ruff 27 days ago
AI Summary: Migrate the MBASED project's code formatter from `black` to `ruff` to resolve formatting issues in the CI pipeline. This involves installing `ruff`, configuring it, and potentially adjusting the codebase to comply with `ruff`'s formatting rules.
Complexity:
2/5
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