Concolic Execution on Small-Size Binaries: Challenges and Empirical Study
LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code