摘要：对多分支结构编译后的各种实现模式进行研究分析，对复杂条件下典型的多分支语句实现模式进行形式化描述，在多分支结构的识别过程中，分析索引表和跳转表调用指令的格式，提出双特征指令匹配算法。通过程序切片，建立索引表和跳转表调用的表达式标准型，消除多分支语句恢复过程中编译器类型和版本差异的影响，提高了算法通用性。