Software watermarking via opaque predicates: Implementation, analysis, and attacks