Tool | Version | Checker | Description |
---|
Astrée | | trigraph | Fully checked |
Axivion Bauhaus Suite | Include Page |
---|
| Axivion Bauhaus Suite_V |
---|
| Axivion Bauhaus Suite_V |
---|
|
| CertC-PRE07 |
|
ECLAIR | | CC2.PRE07
| Fully implemented |
GCC | |
| Can detect violation of this recommendation when the -Wtrigraphs flag is used |
Helix QAC | | C3601 |
|
LDRA tool suite | | 81 S | Fully implemented |
Parasoft C/C++test | | CERT_C-PRE07-a | Trigraphs shall not be used PRQA QA |
PC- | Clint Plus | | PRQA QA | C | v | PRQA QA-C_v | 3601 | | 584, 854, 9060 | Fully supported |
Polyspace Bug Finder | Include Page |
---|
| Polyspace Bug Finder_V |
---|
| Polyspace Bug Finder_V |
---|
|
| CERT C: Rec. PRE07-C | Checks for use of trigraphs (rec. fully covered)Partially implemented
|
RuleChecker | Include Page |
---|
| RuleChecker_V |
---|
| RuleChecker_V |
---|
|
| trigraph | Fully checked |
SonarQube C/C++ Plugin | Include Page |
---|
| SonarQube C/C++ Plugin_V |
---|
| SonarQube C/C++ Plugin_V |
---|
|
| TrigraphUsage |
|