ちなみに、機械語フロー解析では、basic blockという用語があるので、
調べておくといいよ