CWARN.EMPTY.LABEL
ラベル ステートメントが空です
CWARN.EMPTY.LABEL チェッカーは、ラベルの直後に右括弧 (}) が配置されている switch ステートメントを検出します。
脆弱性とリスク
このタイプの状況は通常、意図しないプログラム動作の原因になる構文の間違いまたはタイポです。
脆弱コード例
コピー
void foo() {
switch(c) {
case 'a': return;
case 'b':
}
}Klocwork は、switch ラベルを含み、次の式を持たない 4 行目にフラグを立てます。
修正コード例
コピー
void foo() {
switch(c) {
case 'a': return;
case 'b': break;
}
}修正例は、case b に対するアクションを示します。