Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions

Binary Ninja plugin to identify obfuscated code and other interesting code constructs

Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions

IDA plugin to pinpoint obfuscated code

Greybox Synthesizer geared for deobfuscation of assembly instructions.

Code Property Graph (CPG) frontend for binary applications and libraries.