LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
Limits of Static Analysis for Malware Detection