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