「静的解析」における「データフロー解析」の目的ではないものはどれか。

メモリ消費量の「実測」は動的解析の範囲であり、静的解析では構造上の矛盾を指摘する。