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

n コントロールフローグラフを直接取り扱うの
難しい