Versions Compared

Key

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

...

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
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

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

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C++: EXP52-CPPChecks for logical operator operand with side effects
PRQA QA-C++
Include Page
PRQA QA-C++_V
PRQA QA-C++_V

3240, 3241


RuleChecker
Include Page
RuleChecker_V
RuleChecker_V
sizeof
Partially checked

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

...