CWARN.CONSTCOND.WHILE
while 式の条件は定数です
CWARN.CONSTCOND.WHILE チェッカーは、while ステートメントの条件が定数であるインスタンスを検出します。
脆弱性とリスク
ステートメントの条件が定数である場合、通常はプログラムの意図が達成されず、予期しない結果になります。
脆弱コード例
コピー
void foo() {
int x = 3;
while (x = 3)
{
x++;
}
}Klocwork は、while 条件が定数である 3 行目にフラグを立てます。