ソフトウェアのテスト技法_⑧_静的解析技術(2)――データフロー解析