对IA32反编译后多分支结构的各种实现模式进行了系统的研究分析，并对复杂条件下典型的多分支结构实现模式进行了形式化的描述。在多分支结构的识别过程中，通过对索引表和跳转表调用指令的格式分析，提出了双特征指令匹配算法。通过程序切片建立了索引表和跳转表调用的表达式标准型，消除了多分支语句恢复过程中编译器类型和版本差异带来的影响，提高了算法通用性，对于进行程序反解及软件逆向工程具有重要的参考价值。