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