...
Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| logop-side-effect | Fully checked | |||||||
| 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 | |||||||||
| Klocwork |
| MISRA.LOGIC.SIDEEFF | ||||||||
| LDRA tool suite |
| 35 D | Fully implemented | |||||||
| Parasoft C/C++test |
| MISRA2004-12_4a | CERT_C-EXP02-a | The right-hand operand of a logical && or || operator shall not contain side effects Fully implemented | ||||||
| PRQA QA-C |
| 3415 | Fully implemented | |||||||
| RuleChecker |
| logop-side-effect | Fully checked | |||||||
| SonarQube C/C++ Plugin |
| SideEffectInRightHandSideOfLogical |
...