...
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
EXP33-C | 3 (high) | 1 (unlikely) | 2 (medium) | P6 | L2 |
Automated Detection
The LDRA tool suite V 7.6.0 is able to detect violations of this recommendation.
The Coverity Prevent UNINIT checker can find cases of an uninitialized variable 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.
...