Targeting Infeasibility Questions on Obfuscated Codes
Software watermarking via opaque predicates: Implementation, analysis, and attacks