Code obfuscation against abstraction refinement attacks