A Comparable Code Obfuscation Framework Measuring Efficiency Based on Abstract Interpretation
Ying Gao · Chinese Journal of Computers · 2007
Code obfuscation,which is an effective program transformation,can obscure the program understanding and thus protect the program from reverse engineering.There are a lot of applications about code obfuscation.This shows the efficiency of code obfuscation under some limited environments.So the proving of its efficiency is the prime problem of the research.But current research takes no account of the semantic information.This paper constructs a semantics-based comparable framework measuring obfuscation efficiency,which not only prove efficiency under the limited environment of static analysis,but also can establish the formal foundation for obfuscation efficiency comparison.The last part of the paper illustrates how the framework can be applied to measure the efficiency of code obfuscation with an instantiation.