SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 104

changes.mady.by.user Carol J. Lallier

Saved on

compared with

New Version 105

changes.mady.by.user Carol J. Lallier

Saved on

Key

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

...

Recommendation

Severity

Likelihood

Remediation Cost

Priority

Level

DCL11-C

highHigh

probableProbable

highHigh

P6

L2

Automated Detection

Tool

Version

Checker

Description

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

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.DCL11

Partially implemented

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

...