...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
EXP02-C | Low | Unlikely | No | MediumNo | P2P1 | L3 |
Automated Detection
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 PRQA QA | |||||||||||||||||||||||
| PC- | Clint Plus |
| PRQA QA
| C
| v
| PRQA QA
| C
| v
| 34159007 | Fully | implementedsupported | |||||||||||||||
| RuleChecker |
| logop-side-effect | Fully checked | |||||||||||||||||||||||
| SonarQube C/C++ Plugin |
| SideEffectInRightHandSideOfLogical |
...