can Can detect violations of this rule, but will return false positives if the initialization was done in another function.
Section
Splint
Include Page
Splint_V
Splint_V
Section
GCC
Include Page
GCC_V
GCC_V
Section
can Can detect some violations of this rule when the -Wuninitialized flag is used.
Section
Compass/ROSE
Section
automatically Automatically detects simple violations of this rule, although it may return some false positives. It may not catch more complex violations, such as initialization within functions taking uninitialized variables as arguments. It does catch the second noncompliant code example, and can be extended to catch the first as well.
can Can find cases of an uninitialized variable being used before it is initialized, although it cannot detect cases of uninitialized members of a struct. Because Coverity Prevent cannot discover all violations of this rule further verification is necessary.
