Non-void function doesn't return value

The FUNCRET.GEN checker finds paths in non-void functions that don't have a return statement.

Vulnerability and risk

This situation leaves the returned value uninitialized, so design intent isn't accomplished.

Vulnerable code example

 #include <stdio.h>
 int string_len()

 int main()
       return 0;

Klocwork flags line 5, indicating that the 'int' function has no return. In contrast, the 'main' function with its return statement in line 10 is not flagged.