The VA_UNUSED.INIT checker finds values assigned to local variables in initialization that are never used before the next assignment or the end of the function.

Vulnerability and risk

Unused variable values can indicate that

an incorrect variable may be used later in the code
there are significant logic errors or other problems with the code

Vulnerable code example

1  int foo(){
2    int i = f();
3  
4    i = g();
5    return i;
6  }

Klocwork flags line 2, indicating that 'i' is initialized with the value returned from function f(), but the value is never used.

VA_UNUSED.INIT

Value is never used after initialization

Vulnerability and risk

Vulnerable code example

Related checkers

External guidance