Versions Compared

Key

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

...

Tool

Version

Checker

Description

Coverity

Include Page
Coverity_V
Coverity_V

CONSTANT_EXPRESSION_RESULT

Can detect the specific instance where bitwise operator is used in place of logical operator, or vice versa. The behavior might be desirable in some situations, so further verification is necessary

LDRA tool suite
Include Page
LDRA_V
LDRA_V
136 SFully Implemented
PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v
3344,4502 
Cppcheck
Include Page
Cppcheck_V
Cppcheck_V
cert.pyDetected by the addon cert.py

Related Guidelines

ISO/IEC TR 24772:2013Likely Incorrect Expression [KOA]
MITRE CWECWE-480, Use of incorrect operator

...