Module是指模块，Function模块下的函数，BasicBlock函数下的基本块，Instruction 基本块下的IR指令

把函数分成很多个基本块，并且push到vector类型的 origBB中。
判断里面基本块是否大于1，不大于1的话就没有意义去进行混淆：

需要把vertor里面的第一个基本块即入口基本块单独拿出来进行处理：对入口基本块进行判断，如果是无条件跳转则不进行任何处理，否则需要找到最后一条指令，将整个if结构给split，split之后两个块之间会自动添加跳转指令，然后就可以把原来的split后的if结构给它扔进要处理的基本块列表。

如果是条件跳转的话这里是把上面自动添加那个跳转指令给删除，如果不是的话，那么也是需要把它删除，因为跳转点目标还不能确定：

创建一个switchvar变量，然后去获取一个随机整数创建store指令塞给switchvar中

也就是在switchvar添了如下这一行：

创建两个block，其它的基本块插入它们之间

如下：

目标基本块里面啥内容也没有。

在loopEntry里面新建一个load指令，并且把switchVar：

目前loopentry指令如下：

把insert插入到loopEntry之前，这里的insert就是entry基本块，再创建两个跳转指令，从insert（即第一个基本块）跳转到loopEntry；从loopend跳转到loopEntry：

这里结束后，entry模块就完整了，如下：

而loopend模块也有了一条指令（其实也是完整了）：

紧接着创建一个基本块，然后在基本块里面创建一个跳转指令，从switchDefault跳转到loopend中：

多了一个switchDefault基本块，指令如下：

创建一个switch指令，位置是在loopentry基本块下，且创建了0个case，然后设置了条件为load，就上面的load。

把entry最后一行跳转指令删除后再创建了一个跳转指令，从entry跳转到loopentry：

这里的i就是指剩下的那些case分支代码基本块，i->moveBefore(loopEnd)，把某个代码基本块置于loopend之前。比如某个基本块是这样：

然后下面的这些代码就是创建一个numcase，就是case分支里面的case值，这个值它是随机生成的，种子的话是Entry.cpp里面的那个AesSeed值，如果确定AesSeed的话，那么这里随机生成的case每次都是固定的。
switchI->addCase(numCase, i);紧接着在switch里面增加一个case值，跳转到NodeBlock8里面。
目前switch执行完一次后，loopentry基本bolck块如下：

当循环执行结束后：

getNumSuccessors是获取后续BB的个数，Ret BB后继BB为0个（判断分支），直接continue

如果后面只有一个分支的话，那么先判断分支是否能够找到，不为null后先去根据原来条件去创建一个store指令，然后创建一个跳转指令跳转到loopend，再把原来跳转指令抹去。
原来：

改变后：

首先会把两个跳转分支都取出来，先判断两个分支是否都能够找到，如果都不为null 的话，那么取出原来的跳转指令，根据br的两个分支条件，去创建一个SelectInst然后再删除原来指令，创建一个store指令，再去创建一个跳转指令跳转到loopend。
原来：

改变后：

附带一句，进行控制流平坦化之前刚开始会把switch语句给它全部进行改为if else目的主要是为了进行多次平坦化做准备（进行平坦化时里面是可以填次数）

正常流程就是首先进入entry，entry会给一个case常量值，然后进入loopentry，loopentry根据这个常量值进行switch分跳转到case常量对应的基本块，基本块执行完又会赋值一个case常量值，跳转到loopend，loopend又会跳转到loopentry进行下一次分发。（感觉特征点的话就是entry和loopend都会跳转到loopentry）。

大部分的方法都是基于定位loopend基本块，这种简单的IR结构编译成汇编代码也是这个样子，很容易定位到loopend基本块。在这里，我们的魔改方法就直接在loopend基本块后面加一个新的switchInst，然后跳转到基本块，相当于从开始的switch转移到后面来了。即抹除原来的跳转，插入loadInst加载swichvar，再用于swichInst跳转。

网上很多很多现成资料，我这个也是自己看了再总结的，如果哪里不对的话，还请多多指教。

[招生]科锐逆向工程师培训(2024年11月15日实地，远程教学同时开班, 第51期)