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.
We need to generate some examples to reference and benchmark our project. There are few solutions that are possible for this. Here is a list of possible solutions which takes some inspiration from previous works.
Ideas:
hand written examples (applying obfuscation manually). Basic sanity tests. Bare minimum for project.
Writing an LLVM pass with Z3's C++ bindings to generate MBA arithmetic obfuscation. Difficult but interesting idea.
Other solutions on GitHub. There are many other projects which tackle MBA obfuscation.
One thing that would be interesting is to compile a list of promising projects from GitHub which perform MBA obfuscation on programs. The goal would then be to develop a corpus of C programs that we can compile with the various obfuscation programs and benchmark them agains our deobfuscator to see how robust our tool is.
We need to generate some examples to reference and benchmark our project. There are few solutions that are possible for this. Here is a list of possible solutions which takes some inspiration from previous works.
Ideas:
One thing that would be interesting is to compile a list of promising projects from GitHub which perform MBA obfuscation on programs. The goal would then be to develop a corpus of C programs that we can compile with the various obfuscation programs and benchmark them agains our deobfuscator to see how robust our tool is.