You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 23 Next »

Do not use the bitwise AND (&, ampersand) or bitwise OR (|, pipe) operator in a conditional expression because this typically indicates programmer error and can result in unexpected behavior. Use & or | only for bitwise operations and use && or ||only for logical operations.  Conditional expressions consist of the expressions in the condition of a selection statement (if, switch), an iteration statement (do, while, for), or the ternary conditional operator (?:).

Noncompliant Code Example

In this noncompliant code example, a bitwise expression is used in a conditional expression.

if (!(getuid() & geteuid() == 0)) { 
  /* ... */ 
} 

Compliant Solution

This compliant solution uses the && operator for the logical operation within the conditional expression.

if (!(getuid() && geteuid() == 0)) {
  /* ... */
}

Automated Detection

Tool

Version

Checker

Description

Coverity

2017.07

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.

Related Guidelines

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

Bibliography

[Hatton 1995]Section 2.7.2, "Errors of Omission and Addition"

 

  • No labels