VA_UNUSED.GEN

赋值后从未使用过值

VA_UNUSED.GEN 检查器发现赋给局部变量的值在下次赋予前或函数结束时从未使用过。

漏洞与风险

变量值未使用表明

  • 稍后可能会在代码中使用不正确的变量
  • 存在严重的逻辑错误或其他代码问题

漏洞代码示例

复制
  int foo(){
    int i;
    i = f();
    i = g();
    return i;
  }

Klocwork 标记了第 3 行,指出 i 使用从函数 f() 返回的值进行了初始化,但之后该值从未被使用过。

相关检查器