データフロー解析
data-flow analysis
制御フローグラフ（CFG : control flow graph）
mrsekut-p - /mrsekut-p/データフロー解析
https://ja.wikipedia.org/wiki/データフロー解析