EN JP CN

CWARN.CONSTCOND.WHILE

CWARN.CONSTCOND.WHILE

while 式の条件は定数です

CWARN.CONSTCOND.WHILE チェッカーは、while ステートメントの条件が定数であるインスタンスを検出します。

脆弱性とリスク

ステートメントの条件が定数である場合、通常、プログラムの意図が達成されず、予期しない結果になります。

脆弱コード例

1  void foo() {
2    int x = 3;
3    while (x = 3)   
4    {
5      x++;
6    } 
7 }

Klocwork while 条件が定数である 3 行目にフラグを立てます。