データフロー解析において、変数が「d(定義)」された後に「k(消滅)」し、その間「u(参照)」がない状態を示す異常はどれか。

dk-anomalyは、変数が一度も利用されることなく破棄または再定義される効率の悪い状態を示す。