SEI CERT C++ Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 52

changes.mady.by.user Jill Britton

Saved on

compared with

New Version 53

changes.mady.by.user Amy Gale

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Localize CodeSonar crossreferences to C++ scope

...

Tool

Version

Checker

Description

Astrée

Include Page
Astrée_V
Astrée_V

sizeof
Partially checked
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC++-EXP52
Clang
Include Page
Clang_V
Clang_V
-Wunevaluated-expression
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

LANG.STRUCT.SE.SIZEOF

Side Effects in sizeof

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C++3240, C++3241
Klocwork
Include Page
Klocwork_V
Klocwork_V

MISRA.SIZEOF.SIDE_EFFECT


LDRA tool suite
Include Page
LDRA_V
LDRA_V

54 S, 133 S

Partially implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_CPP-EXP52-a
CERT_CPP-EXP52-b
CERT_CPP-EXP52-c
CERT_CPP-EXP52-d
CERT_CPP-EXP52-e

The operand of the sizeof operator shall not contain any expression which has side effects
Object designated by a volatile lvalue should not be accessed in the operand of the sizeof operator
The function call that causes the side effect shall not be the operand of the sizeof operator
The operand of the 'typeid' operator shall not contain any expression that has side effects
The operand of the 'typeid' operator shall not contain a function call that causes side effects

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C++: EXP52-CPPChecks for logical operator operand with side effects
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V
sizeof
Partially checked

...