| 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 |
| PC-lint Plus | | Include Page |
|---|
| PC-lint Plus_V |
|---|
| PC-lint Plus_V |
|---|
|
| 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) | PRQA QA-C | | Include Page |
|---|
PRQA QA-C_v | PRQA QA-C_v |
|
| 3601 | 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 |
|
