Tool | Version | Checker | Description |
|---|
| Astrée | | logop-side-effect | Fully checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| 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 && or || operator |
| Helix QAC | | C3415 |
|
| Klocwork | | MISRA.LOGIC.SIDEEFF |
|
| LDRA tool suite | | 35 D
1 Q
133 S
406 S
408 S | 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 | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| logop-side-effect | Fully checked |
| SonarQube C/C++ Plugin | | Include Page |
|---|
| SonarQube C/C++ Plugin_V |
|---|
| SonarQube C/C++ Plugin_V |
|---|
|
| SideEffectInRightHandSideOfLogical |
|
