CFG

偽代碼

幾種構(gòu)造的實(shí)現(xiàn)：

• 變量、值、類型：

  變量、值都是alias

• 賦值

• 分支

運(yùn)行過(guò)程是some_variable > TRUE > when_true或some_variable > FALSE > when_false.

變量賦值設(shè)定前一半alias (some_variable>TRUE)，此處設(shè)定后一半alias(TRUE>when_true)，最后運(yùn)行some_variable.

分支數(shù)量也可以不止兩個(gè)，只要能覆蓋some_variable可取的所有值即可，如：