Program Synthesis Based Simplifier for MBA Obfuscation | AMiner