SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 77

changes.mady.by.user Astha Singhal

Saved on

compared with

New Version 78

changes.mady.by.user Astha Singhal

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

...

Recommendation

Severity

Likelihood

Remediation Cost

Priority

Level

DCL11-C

high

probable

high

P6

L2

Automated Detection

Tool

Version

Checker

Description

Section

GCC

Include Page
c:GCC_Vc:
GCC_V

 

Section

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

Section

Compass/ROSE

 

 

Section

does NOT currently detect violations of this recommendation. While the recommendation in general cannot be automated, due to 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.

Section

LDRA tool suite

Include Page
c:LDRA_Vc:
LDRA_V
Section

41 S

Section

Partially Implemented

...