David, et al.. Targeting Infeasibility Questions on Obfuscated Codes. 16 Dec. 2016.