SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 79

changes.mady.by.user Arthur Hicken

Saved on

compared with

New Version 80

changes.mady.by.user Michal Rozenau

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Parasoft C/C++test 10.4

...

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V

mline-comment

sline-comment

sline-splicing

Partially checked
GCC
Include Page
GCC_V
GCC_V

Can detect violations of this rule when the -Wcomment flag is used

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.MSC04

Fully implemented

LDRA tool suite
Include Page
LDRA_V
LDRA_V
119 S, 302 S, 611 S

Partially implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V
MISRA2004-2_3, COMMENT-11, COMMENT-12, COMMENT-13

CERT_C-MSC04-a
CERT_C-MSC04-b
CERT_C-MSC04-c
CERT_C-MSC04-d

The character sequence /* shall not be used within a C-style comment
The character sequence // shall not be used within a C-style comment
The character sequence /* shall not be used within a C++-style comment
Line-splicing shall not be used in // comments

Fully implemented

PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v
3108
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V

mline-comment

sline-comment

sline-splicing

Partially checked

...