制御フロー解析
from コード最適化
プログラムの実行順序の解析
IR (中間表現)からフローグラフを作成して、これを使って解析を行う
フローグラフ
IRを節点(ノード)と有向成分(アーク)で表したもの
ノードは基本ブロックのこと？
作る手順が知りたいmrsekut.icon