Opaque predicates detection by abstract interpretation

摘要: Code obfuscation and software watermarking are well known techniques designed to prevent the illegal reuse of software. prevents malicious reverse engineering, while protects code from piracy. An interesting class algorithms for relies on insertion opaque predicates. It turns out that attackers based a dynamic or an hybrid static-dynamic approach either not precise time consuming in eliminating We present abstract interpretation-based methodology removing predicates programs. Abstract interpretation provides right framework proving correctness our approach, together with general designing efficient relevant Experimental evaluations show attacks significantly reduce needed eliminate