...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
Can detect violations of this rule. However, false warnings may be raised if | |||||||||
| NEGATIVE_RETURNS
| Can find array accesses, loop bounds, and other expressions that may contain dangerous implied integer conversions that would result in unexpected behavior Can find instances where a negativity check occurs after the negative value has been used for something else Can find the instances where an integer expression is implicitly converted to a narrower integer type, or implicitly converting where the signedness of an integer value or implicitly converting is implicitly converted, or where the type of a complex expression is implicitly converted | |||||||
5.0 | Can detect violations of this rule with CERT C Rule Pack | ||||||||
| PRECISION.LOSS | ||||||||
| 93 S | Fully implemented | |||||||
| PRQA QA-C |
| 2850 (C) | Partially implemented |
...