Logic Against Sneak Obfuscated Malware

This talk introduces practical applications of SMT solvers and symbolic execution for binary static analysis and code deobfuscation. It examines theoretical limitations, practical solutions, and the use of these techniques against obfuscated malware.