制御構造の復元
n
構造化されていないコントロールフローグ
ラフを
Java
の制御構造を用いて表す。
i
Java
の制御構造
(if, for, while, do-while)
は、
全て条件分岐とジャンプで実現されている。
n
コントロールフローグラフを直接取り扱うの
は
難しい
。