「静的解析」において、変数が定義される前に使用されていることを検出する分析手法はどれか。

プログラム内でのデータの定義、参照、破棄のパターンを追跡してエラーを見つける。