...
The Coverity Prevent UNINIT checker can find cases of when an uninitialized variable is being used before it is initialized, although it cannot detect cases of uninitialized members of a struct. Coverity Prevent cannot discover all violations of this rule, so further verification is necessary.
...