Versions Compared

Key

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

...

Possibly unintended evaluation of expression because of operator precedence rules

MISRA C:2012 Rule 12.1

Tool

Version

Checker

Description

Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC-EXP00Fully implemented
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

LANG.STRUCT.PARENS

Missing Parentheses

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.EXP00

Fully implemented

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C3389, C3390, C3391, C3392, C3393, C3394, C3395, C3396, C3397, C3398, C3399, C3400


Klocwork
Include Page
Klocwork_V
Klocwork_V
MISRACERT.EXPR.PARENS.2012
LDRA tool suite
Include Page
LDRA_V
LDRA_V

361 S, 49 S

Fully implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_C-EXP00-a

Use parenthesis to clarify expression order if operators with precedence lower than arithmetic are used

Polyspace Bug FinderR2016a

Operator precedence rules cause unexpected evaluation order in arithmetic expression

The precedence of operators within expressions should be made explicit

PC-lint Plus

Include Page
PC-lint Plus_V
PC-lint Plus_V

9050

Fully supported

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C: Rec. EXP00-C


Checks for possible unintended evaluation of expression because of operator precedence rules (rec. fully covered)

PRQA QA-C
Include Page
PRQA QA-C_vPRQA QA-C_v

3389
3390
3391
3392
3393
3394
3395
3396
3397
3398
3399
3400

Fully implementedPVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V502, V593, V634, V648, V1104
SonarQube C/C++ Plugin
Include Page
SonarQube C/C++ Plugin_V
SonarQube C/C++ Plugin_V
S864

...