Tool | Version | Checker | Description |
|---|
| Astrée | | ctype-limits | Partially checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-STR37 | Fully implemented |
| CodeSonar | | MISC.NEGCHAR | Negative character value |
| Compass/ROSE |
|
| Could detect violations of this rule by seeing if the argument to a character handling function (listed above) is not an unsigned char |
ECLAIR | | CC2.STR37
| Fully implemented |
| Helix QAC | | C4413, C4414 C++3051 |
|
| Klocwork | | AUTOSAR.STDLIB.CCTYPE.UCHAR
MISRA.ETYPE.ASSIGN.2012 |
|
| LDRA tool suite | | 663 S | Fully implemented |
| Parasoft C/C++test | | CERT_C-STR37-a | Do not pass incorrect values to ctype.h library functions |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C: Rule STR37-C | Checks for invalid use of standard library integer routine (rule fully covered) |
| PRQA QA-C | | 4413, 4414 | Fully implemented |
| PRQA QA-C++ | | Include Page |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
|
| 3051 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| ctype-limits | Partially checked |
| TrustInSoft Analyzer | | Include Page |
|---|
| TrustInSoft Analyzer_V |
|---|
| TrustInSoft Analyzer_V |
|---|
|
| valid_char | Partially verified. |
