CWARN.CONSTCOND.WHILE

while 表达式的条件为常量

CWARN.CONSTCOND.WHILE 检查器可查找其中 while 语句的条件为常量的实例。

漏洞与风险

语句的常量条件通常会导致无法达到程序意图,并可能引起意外后果。

漏洞代码示例

复制
  void foo() {
    int x = 3;
    while (x = 3)   
    {
      x++;
    } 
 }

Klocwork 标记了第 3 行,该行中的 while 条件为常量。