Tool | Version | Checker | Description |
|---|
| Astrée | | chained-comparison | Fully checked |
ECLAIR | | CC2.EXP13
| Fully implemented |
| GCC | |
| Option -Wparentheses warns if a comparison like x<=y<=z appears; this warning is also enabled by -Wall |
| Helix QAC | | C3392, C3401, C4111, C4112, C4113 |
|
| LDRA tool suite | | 433 S | Fully implemented |
| PC-lint Plus | | Include Page |
|---|
| PC-lint Plus_V |
|---|
| PC-lint Plus_V |
|---|
|
| 503, 731 | Fully supported |
| Polyspace Bug Finder | | R2016a | | CERT C: Rec. EXP13-C | Checks for possibly Possibly unintended evaluation of expression because of operator precedence rules | Operator precedence rules cause unexpected evaluation order in arithmetic expression | (rec. fully covered)
|
| PVS-StudioPRQA QA-C | | 3392V709 3401 |
|
| RuleChecker | 4111 | 4112
4113Fully implemented | PVS-Studio | 6.22 | | RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| chained-comparison | Fully checked | V709 |
