| 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 |
| LDRA tool suite | | 81 S | Fully implemented |
| Parasoft C/C++test | | CERT_C-PRE07-a | Trigraphs shall not be used |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| MISRA CERT C: 2012 Rule 4.2Rec. PRE07-C | Checks for use of trigraphs (rec. fully covered) Trigraphs should not be used
|
| PRQA QA-C | | 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 |
|
