SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 121

changes.mady.by.user Will Snavely

Saved on

compared with

New Version 122

changes.mady.by.user Arthur Hicken

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: updated bold font

...

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V

future-library-use

language-override

language-override-c99

reserved-declaration

reserved-declaration-c99

reserved-identifier

Partially checked
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

LANG.STRUCT.DECL.RESERVED

Declaration of reserved name
Compass/ROSE




Coverity
Include Page
Coverity_V
Coverity_V

MISRA C 2004 Rule 20.1

MISRA C 2004 Rule 20.2

MISRA C 2012 Rule 21.1

MISRA C 2012 Rule 21.2

Implemented
ECLAIR
Include Page
ECLAIR_V
ECLAIR_V
CC2.DCL37Fully implemented
Klocwork
Include Page
Klocwork_V
Klocwork_V
MISRA.DEFINE.WRONGNAME.UNDERSCORE
MISRA.STDLIB.WRONGNAME.UNDERSCORE
MISRA.STDLIB.WRONGNAME
LDRA tool suite
Include Page
LDRA_V
LDRA_V

86 S, 218 S, 219 S, 580 S, 626 S

Fully Implemented

Parasoft C/C++test
Include Page
c:Parasoft_Vc:
Parasoft_V
MISRA2004-20_1_aFully implemented
Polyspace Bug FinderR2016aMISRA2012-RULE-21_1, 
MISRA2012-RULE-21_2 		Partial
PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v
0602, 4600, 4601, 4602,
4603, 4604, 4605, 4606,
4607, 4608
SonarQube C/C++ Plugin
Include Page
SonarQube C/C++ Plugin_V
SonarQube C/C++ Plugin_V
S978
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V

future-library-use

language-override

language-override-c99

reserved-declaration

reserved-declaration-c99

reserved-identifier

Partially checked

...

Key here (explains table format and definitions)

Taxonomy

Taxonomy item

Relationship

CERT C Secure Coding StandardPRE00-C. Prefer inline or static functions to function-like macrosPrior to 2018-01-12: CERT: Unspecified Relationship
CERT C Secure Coding StandardPRE06-C. Enclose header files in an include guardPrior to 2018-01-12: CERT: Unspecified Relationship
CERT C Secure Coding StandardPRE31-C. Avoid side effects in arguments to unsafe macrosPrior to 2018-01-12: CERT: Unspecified Relationship
CERT CDCL51-CPP. Do not declare or define a reserved identifierPrior to 2018-01-12: CERT: Unspecified Relationship
ISO/IEC TS 17961Using identifiers that are reserved for the implementation [resident]Prior to 2018-01-12: CERT: Unspecified Relationship
MISRA C:2012Rule 21.1 (required)Prior to 2018-01-12: CERT: Unspecified Relationship
MISRA C:2012Rule 21.2 (required)Prior to 2018-01-12: CERT: Unspecified Relationship

Bibliography

[IEEE Std 1003.1-2013]Section 2.2, "The Compilation Environment"
[ISO/IEC 9899:2011]7.1.3, "Reserved Identifiers"
7.31.10, "Integer Types <stdint.h>"

...