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

C: 1331, 1332, 1333, 3002, 3320, 3335

C++: 0403

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
• Unreliable cast of function pointer
• Standard function call with incorrect arguments

Rule partially covered.

parameter-match

parameter-match-type