データフロー解析で見つけられる異常はどれか。

変数の定義（Definition）と使用（Use）の流れを解析することで、未初期化変数の参照や、使われない変数の代入などを検出する。