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