LV_UNUSED.GEN
使用されていないローカル変数
LV_UNUSED.GEN チェッカーは、宣言されましたが使われなかったローカル変数を検出します。
脆弱性とリスク
未使用の変数はスタックメモリを消耗するため、関数コードから削除する必要があります。また、未使用の変数はコードに関する論理問題を示す場合があります。
脆弱コード例
コピー
class A{
void foo();
};
void A::foo()
{
for(;;){
int i;
break;
}
}
Klocwork は、変数 i は宣言されていますが使用されていないため、7 行目にフラグを立てます。