Page History

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

Bad file access mode or status

Declaration mismatch

Format string specifiers and arguments mismatchDeclaration mismatch,

Qualifier removed in conversion,

Standard function call with incorrect arguments,
Format string specifiers and arguments mismatch,

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 declarationsvariable 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 implicitly