Page History

LDRA tool suite

V. 5.0

can detect violations of this rule with CERT C Rule Pack

Compass/ROSE

can detect violations of this rule. However, false warnings may be raised if limits.h is included

Klocwork

PRECISION.LOSS

Coverity Prevent

NEGATIVE_RETURNS

can find array accesses, loop bounds, and other expressions that may contain dangerous implied integer conversions that would result in unexpected behavior

Coverity Prevent

REVERSE_NEGATIVE

can find instances where a negativity check occurs after the negative value has been used for something else

Coverity Prevent

MISRA_CAST

can find the instances where an integer expression is implicitly converted to a narrower integer type, or implicitly converting the signedness of an integer value or implicitly converting the type of a complex expression