 
                            ...
STR09-C-EX1: Consecutive values for characters like a~z can be assumed on platforms where ASCII or Unicode is used. This recommendation is primarily concerned with platform portability, for example, if code is migrated from ASCII systems to non-ASCII systems.
Risk Assessment
| Rule | Severity | Likelihood | 
|---|
| Detectable | Repairable | Priority | Level | 
|---|---|---|---|
| STR09-C | Low | Unlikely | Yes | 
| No | 
| P2 | L3 | 
Automated Detection
| Tool | Version | Checker | Description | ||||
| Astrée | 
 | 
| 
 | Supported indirectly via MISRA C:2012 rule 10.1. | ||||||||
| Axivion Bauhaus Suite | 
 | CertC-STR09 | |||||||
| Helix QAC | 
 | C2106, C2107 | |||||||
| LDRA tool suite | 
 | 329 S | Fully implemented | ||||||
| Parasoft C/C++test | 
2106
2107
| 
 | CERT_C-STR09-a | Expressions with type (plain) char and wchar_t shall not be used as operands to built-in operators other than =, ==, != and the unary & operator | |||||||
| PC-lint Plus | 
 | 9209 | Fully supported | ||||||
| RuleChecker | 
 | Supported indirectly via MISRA C:2012 rule 10.1. | 
Related Guidelines
| SEI CERT C++ Coding Standard | VOID STR07-CPP. Don't assume numeric values for expressions with type plain character | 
Bibliography
| [Jones 2009] | Section 5.2.1, "Character Sets" | 
...
...