C プログラムから Control Flow Graph（CFG）を取り出す必要があり、色々と調べてみた。結果、以下の2つの方法が有望そう。1つはgcc の"-fdump-tree-fixupcfg" オプションを使う方法。もう一つは、Berkley が作っている C Intermediate Language (CIL) を使…