...
Tool | Version | Checker | Description | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported | |||||||||||
Axivion Bauhaus Suite |
| CertC-STR07 | |||||||||||
CodeSonar |
| BADFUNC.BO.OEMTOCHAR | Use of | ||||||||||
Helix QAC |
| C5008 | |||||||||||
LDRA tool suite |
| 44 S | Enhanced enforcement | ||||||||||
Parasoft C/C++test |
| CERT_C-STR07-a | Avoid using unsafe string functions that do not check bounds | ||||||||||
Parasoft Insure++ | Runtime analysis | ||||||||||||
PC-lint Plus |
| 586 | Fully supported | ||||||||||
Polyspace Bug Finder |
| Checks for:
Rec. partially covered. | PRQA QA-C | ||||||||||
Include Page | PRQA QA-C_v | PRQA QA-C_v | |||||||||||
5008 | Partially implemented | SonarQube C/C++ Plugin |
| S1081 |
...