Efficient Malware Detection Using Model-Checking
Context-sensitive analysis of obfuscated x86 executables