CWARN.CONSTCOND.IF

if 表达式的条件为常量

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

漏洞与风险

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

漏洞代码示例

复制
  void foo(int x) {
    if (x=10) {} 
  }

Klocwork 标记了第 2 行,该行包含一个永远不变的条件。