中文摘要：

代码迷惑是一种以增加理解难度为目的的程序变换技术，用来保护软件免遭逆向剖析．代码迷惑是否有效是代码迷惑研究中首要解决的问题．目前对有效性证明的研究大都是基于非语义的方式．文章将语义与有效性证明联系起来，建立了基于语义的代码迷惑有效性比较框架，该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明，而且也能严格比较迷惑算法之间的有效性，最后使用实例描述比较框架如何应用到证明代码迷惑的有效性．

英文摘要：

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 semanticsbased 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.