「静的解析」において、変数が定義された後にどの経路を通っても必ず使用されるかを調べる解析は。

変数に代入された値が、その後のパスで有効活用されるかをデータフローの観点で追跡する。