Bypassing Malware Obfuscation with Dynamic Synthesis

Black-box synthesis is more efficient than SMT deobfuscation on predicates obfuscated with Mixed-Boolean Arithmetics.