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 行目にフラグを立てます。