...
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 |
...