SEI CERT C++ Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 29

changes.mady.by.user G. Ann Campbell

Saved on

compared with

New Version 30

changes.mady.by.user G. Ann Campbell

Saved on

Key

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

...

Tool

Version

Checker

Description

Compass/ROSE

 

 

Can detect simple violations of this rule. It needs to examine each expression and make sure that no variable is modified twice in the expression. It also must check that no variable is modified once, then read elsewhere, with the single exception that a variable may appear on both the left and right of an assignment operator

Coverity

Include Page
Coverity_V
Coverity_V

EVALUATION_ORDER

Can detect the specific instance where a statement contains multiple side effects on the same value with an undefined evaluation order because, with different compiler flags or different compilers or platforms, the statement may behave differently

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.EXP30

Fully implemented

GCC

Include Page
GCC_V
GCC_V

 

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

LDRA tool suite

Include Page
LDRA_V
LDRA_V

35 D
1 Q
9 S
134 S

Fully implemented

Splint

Include Page
Splint_V
Splint_V

 

 

PRQA QA-C++
Include Page
PRQA QA-C++_v
PRQA QA-C++_v
3220,3221,3222,3223 
SonarQube Plugin
Include Page
seccode:SonarQube_V
seccode:SonarQube_V
IncAndDecMixedWithOtherOperators 

...

CERT C Secure Coding StandardEXP30-C. Do not depend on the order of evaluation for side effects
CERT Oracle Secure Coding Standard for JavaEXP05-J. Do not write more than once to the same variable follow a write by a subsequent write or read of the same object within an expression
ISO/IEC TR 24772:2013Operator Precedence/Order of Evaluation [JCW]
Side-effects and Order of Evaluation [SAM]
MISRA C:2012Rule 12.1 (advisory)

...