Page History

incompatible-argument-type

parameter-match

parameter-match-computed

parameter-match-type

LANG.FUNCS.APM

Can detect some violations of this rule. In particular, it ensures that all calls to open() supply exactly two arguments if the second argument does not involve O_CREAT, and exactly three arguments if the second argument does involve O_CREAT

MISRA C 2012 Rule 8.2

MISRA C 2012 Rule 17.3

Implemented

Relies on functions declared with prototypes, allow compiler to check

ECLAIR

CC2.EXP37

Partially implemented

Can detect violation of this rule when the -Wstrict-prototypes flag is used. However, it cannot detect violations involving variadic functions, such as the open() example described earlier

41 D, 21 S, 98 S, 170 S, 496 S, 576 S

CERT_C-EXP37-a
CERT_C-EXP37-b
CERT_C-EXP37-c
CERT_C-EXP37-d

Identifiers shall be given for all of the parameters in a function prototype declaration
Function types shall have named parameters
Function types shall be in prototype form
Functions shall always have visible prototype at the function call

CERT C: Rule EXP37-C

Checks for:

• Implicit function declaration
• Bad file access mode or status

Declaration mismatch

Format string specifiers and arguments mismatch

• Unreliable cast of function pointer
• Standard function call with incorrect arguments

Unreliable cast of function pointer

MISRA C:2012 Rule 8.3

MISRA C:2012 Rule 11.1

MISRA C:2012 Rule 17.3

Access mode argument of function in fopen or open group is invalid

Mismatch between function or variable declarations

String specifiers do not match corresponding arguments

Variable qualifier is lost during conversion

Argument to a standard function does not meet requirements for use in the function

Function pointer cast to another function pointer with different argument or return type

All declarations of an object or function shall use the same names and type qualifiers

Conversions shall not be performed between a pointer to a function and any other type

A function shall not be declared implicitlyRule partially covered.

parameter-match

parameter-match-type