Control code obfuscation by abstract interpretation