ReSMT: An SMT-Based Tool for Reverse Engineering

Nir Somech, Guy Katz

Software obfuscation techniques make code more difficult to understand, without changing its functionality. Such techniques are often used by authors of malicious software to avoid…