Aug 8, 2022 Improving MBA Deobfuscation using Equality Saturation

tagged synthesis, obfuscation