SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 91

changes.mady.by.user Carol J. Lallier

Saved on

compared with

New Version 92

changes.mady.by.user Carol J. Lallier

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

NOT

Tool

Version

Checker

Description

GCC

Include Page
GCC_VGCC_V

 

Warns about inconsistently typed arguments to formatted output functions when the -Wall is used.

Compass/ROSE

 

 

Does

not currently detect violations of this recommendation. Although the recommendation in general cannot be automated, because of the difficulty in enforcing contracts between a variadic function and its invokers, it would be fairly easy to enforce type correctness on arguments to the printf() family of functions.

GCC

Include Page
GCC_V
GCC_V

 

Warns about inconsistently typed arguments to formatted output functions when the -Wall is used.

LDRA tool suite

Include Page
LDRA_V
LDRA_V

41 S

Partially implemented.

PRQA QA-C
Include Page
PRQA_V
PRQA_V

0179 (U)
0184 (U)
0185 (U)
0186 (U)
0190 (U)
0191 (U)
0192 (U)
0193 (U)
0194 (U)
0195 (U)
0196 (U)
0197 (U)
0198 (U)
0199 (U)
0200 (U)
0201 (U)
0206 (U)

Partially implemented.

...

ISO/IEC TR 24772Type system [IHN] and Subprogram signature mismatch [OTR]
MISRA-CRule 16.1

Bibliography

Section 6.5.2.2, "Function Calls," and section 7.16, "Variable Arguments"
[ISO/IEC 9899:2011](required): Functions shall not be defined with a variable number of arguments