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