...
Tool | Version | Checker | Description | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| logop-side-effect | Fully checked | ||||||||||||
Axivion Bauhaus Suite |
| CertC-EXP02 | Fully implemented | ||||||||||||
Compass/ROSE | Could detect possible violations of this recommendation by reporting expressions with side effects, including function calls, that appear on the right-hand side of an | ||||||||||||||
Helix QAC |
| C3415 | |||||||||||||
Klocwork |
| MISRA.LOGIC.SIDEEFF | |||||||||||||
LDRA tool suite |
| 35 D | Fully implemented | ||||||||||||
Parasoft C/C++test |
| CERT_C-EXP02-a | The right-hand operand of a logical && or || operator shall not contain side effects | ||||||||||||
PC-lint Plus |
| 9007 | Fully supported | PRQA QA-C | |||||||||||
Include Page | PRQA QA-C_v | 3415 | Fully implemented | ||||||||||||
RuleChecker |
| logop-side-effect | Fully checked | ||||||||||||
SonarQube C/C++ Plugin |
| SideEffectInRightHandSideOfLogical | Helix QAC | Include Page | | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...