LA_UNUSED
使用されていないラベル
LA_UNUSED チェッカーは、使用されていないラベルを検出します。
脆弱コード例
コピー
int func(int a, int x)
{
if(a)
goto label2;
a = 10;
goto label2;
label1:
return x;
label2:
return 0;
}
Klocwork は、'label1' が使用されていないことを示す 9 行目にフラグを立てます。