LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
Deobfuscation: reverse engineering obfuscated code