Algorithm 2.2 Build-CFG

Input: a set $B$ of $k$ basic blocks.

Output: all edges in CFG derived from $B$ .

1:for all basic block $b$ in $B$ do

2:if $b.last.type =$ JUMP then

3: $targetStmt = b.last.target$ // 跳转语句的目标语句

4:Let $targetBlock$ be the basic block containing $targetStmt$ .

5:output $b\to targetBlock$

6:end if

7:if $b.last.type \ne$ UCONDITIONAL-JUMP then

8: $nextStmt = b.last.next$

9:Let $nextBlock$ be the basic block containing $nextStmt$ .

10:output $b\to nextBlock$

11:end if

12:end for