| Tool | Version | Checker | Description |
|---|
| Astrée | | trigraph | Fully checked |
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 C:2012 Rule 4.2 | 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 |
|