随着计算机技术的不断发展,计算机软件系统已经深入渗透到实际生活中的各个领域,若这些软件一旦遭受攻击,将给人类带来不可承受的损失。近年来,代码混淆技术作为软件保护的重要手段之一受到国内外研究者的重视。代码混淆技术是通过代码的混淆转换,增加程序静态分析与动态分析难度,从而阻止攻击者顺利实施逆向工程以提取程序的核心代码。现有的代码混淆技术主要包括词法混淆、数据混淆、控制流混淆和预防混淆等。其中,控制流混淆是最为有效且重要的一项代码混淆技术。本文在对当前主流的控制流混淆技术分析后发现,一方面,目前的控制流混淆方法都不能有效抵御切片攻击；另一方面,现有的控制流压缩技术不能有效保护派遣变量(控制流压缩后决定程序执行顺序的next变量)。基于控制流混淆的这两个问题,本文研究工作如下：1、针对程序切片攻击,本文提出了一种基于程序切片的控制流混淆技术。基于C/C++源程序的控制流分析,该技术通过计算程序的静态切片及冗余切片,对程序中需要保护的敏感信息片段进行变量编码、增加循环变量等混淆操作,增强程序的数据依赖关系,提高控制流程的复杂度,从而确保程序能有效抵御程序切片攻击。通过实验对基于程序切片的控制流混淆技术进行了正确性、混淆强度、耐受性的验证以及性能开销的分析。2、针对控制流压缩算法存在的缺陷,提出一种基于伪别名的控制流压缩算法。首先利用数组伪别名算法加密控制流压缩中的派遣变量(控制流压缩后决定代码块执行顺序的next变量),再根据C/C++指针的特性,提出了指针伪别名的不透明谓词构造算法,对控制流压缩后每个case语句中的控制块进行谓词插入,以对抗反汇编工具的攻击,使得攻击者无法重构控制流。在此基础上,用N皇后回溯算法对改进的控制流压缩技术进行了实验验证,并对其混淆性能进行了评价与分析。