Search results for symbolic execution deobfuscation