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 | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| 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 | | 3392
3401
4111
4112
4113 | Fully implemented | PVS-Studio | | Include Page |
|---|
PVS-Studio_V | PVS-Studio_V | V709V709 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| chained-comparison | Fully checked |
