 
                            ...
| Tool | Version | Checker | Description | ||||||||||||||||
| Astrée | 
 | wide-narrow-string-cast wide-narrow-string-cast-implicit | Partially checked | ||||||||||||||||
| Axivion Bauhaus Suite | 
 | CertC-STR38 | Fully implemented | ||||||||||||||||
| Clang | 
 | -Wincompatible-pointer-types | |||||||||||||||||
| CodeSonar | 
 | LANG.MEM.BO | Buffer Overrun | ||||||||||||||||
| Coverity | 
 | PW | Implemented | ||||||||||||||||
| Helix QAC | 
 | C0432 C++0403 | |||||||||||||||||
| Klocwork | 
 | CXX.DIFF.WIDTH.STR_AND_FUNC | |||||||||||||||||
| Parasoft C/C++test | 
 | CERT_C-STR38-a | Do not confuse narrow and wide character strings and functions | ||||||||||||||||
| PC-lint Plus | 
 | 2454, 2480, 2481 | Partially supported: reports illegal conversions involving pointers to char or wchar_t as well as byte/wide-oriented stream inconsistencies | ||||||||||||||||
| Polyspace Bug Finder | 
 | Checks for misuse of narrow or wide character string (rule fully covered) | PRQA QA-C | ||||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 0432 | PRQA QA-C++ | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Include Page | cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | 0403 | ||||||||||||||||
| RuleChecker | 
 | wide-narrow-string-cast wide-narrow-string-cast-implicit | Partially checked | ||||||||||||||||
| TrustInSoft Analyzer | 
 | pointer arithmetic | Partially verified. | 
...