...
Tool | Version | Checker | Description | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| evaluation-order | Fully checked | ||||||||
| Clang |
| -Wunsequenced | Detects simple violations of this rule, but does not diagnose unsequenced function call arguments. | ||||||||
| Compass/ROSE | Can detect simple violations of this rule. It needs to examine each expression and make sure that no variable is modified twice in the expression. It also must check that no variable is modified once, then read elsewhere, with the single exception that a variable may appear on both the left and right of an assignment operator | ||||||||||
| EVALUATION_ORDER | Can detect the specific instance where a statement contains multiple side effects on the same value with an undefined evaluation order because, with different compiler flags or different compilers or platforms, the statement may behave differently | |||||||||
| CC2.EXP30 | Fully implemented | |||||||||
| GCC |
| Can detect violations of this rule when the | |||||||||
| Klocwork |
| PORTING.VAR.EFFECTS | |||||||||
| LDRA tool suite |
| 35 D, 1 Q, 9 S, 30 S, 134 S | Partially implemented | ||||||||
| Parasoft C/C++test |
| MISRA2004-12_2_a, MISRA2004-12_2_b, MISRA2004-12_2_c, MISRA2004-12_2_d | Fully implemented | ||||||||
| Polyspace Bug Finder | R2016a | MISRA2012-RULE-13_2 |
| MISRA C:2012 Rule 13.2 | The value of an expression and its persistent side effects shall be the same under all permitted evaluation orders Fully implemented | ||||||
| PRQA QA-C |
| 0400 [U] | Fully implemented | ||||||||
| PVS-Studio |
| V567 | |||||||||
| RuleChecker |
| evaluation-order | Fully checked | ||||||||
| Splint |
| ||||||||||
| SonarQube C/C++ Plugin |
| IncAndDecMixedWithOtherOperators |
...