...
Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| chained-comparison | Fully checked | ||||||||||||
| CC2.EXP13 | Fully implemented | |||||||||||||
| GCC |
| Option | |||||||||||||
| Helix QAC |
| C3392, C3401, C4111, C4112, C4113 | |||||||||||||
| LDRA tool suite |
| 433 S | Fully implemented | ||||||||||||
| PC-lint Plus |
| 503, 731 | Fully supported | ||||||||||||
| Polyspace Bug Finder |
| CERT C: Rec. EXP13-C | Checks for possibly unintended evaluation of expression because of operator precedence rules (rec. fully covered) | ||||||||||||
| PRQA QA-C | |||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 3392 | Fully implemented | PVS-Studio |
| V709 | ||||||||
| RuleChecker |
| chained-comparison | Fully checked |
...