Page History

559, 705, 706, 2403

Assistance provided: Reports data type inconsistencies in format strings

Format string specifiers and arguments mismatch

Integer overflow

MISRA CERT C: 2012 Dir 4.6

String specifiers do not match corresponding arguments

Overflow from operation between integers

typedefs that indicate size and signedness should be used in place of the basic numerical types

Rec. INT00-C

Checks for:

• Use of basic numerical types instead of typedef-s
• Integer overflow or integer constant overflow
• Format string specifiers and arguments mismatch

Rec. partially covered.