(资料图)
CFG
伪代码
几种构造的实现:
变量、值、类型:
变量、值都是alias
赋值
分支
运行过程是some_variable > TRUE > when_true或some_variable > FALSE > when_false.
变量赋值设定前一半alias (some_variable>TRUE),此处设定后一半alias(TRUE>when_true),最后运行some_variable.
分支数量也可以不止两个,只要能覆盖some_variable可取的所有值即可,如: