「データフロー解析」における「定義-使用(du)チェーン」の解析が防ぐバグは。

ある場所で代入された値が、意図した場所で正しく参照されているかを追跡し、論理ミスを検出します。