Page History

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

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

LDRA tool suite

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

Declaration mismatch,
Qualifier removed in conversion,
Standard function call with incorrect arguments,
Format string specifiers and arguments mismatch,
Unreliable cast of function pointer

Mismatch between function or variable declarations

Variable qualifier is lost during conversion

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