...
In this noncompliant code example, the char-type variable c may be signed or unsigned. Assuming 8-bit, two's complement character types, this code may either print out either i/c = 5 (unsigned) or i/c = -17 (signed). It is much more difficult to reason about the correctness of a program without knowing if these integers are signed or unsigned.
...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
|
| Can detect violations of this recommendation. In particular, it flags any instance of a variable of type | |||||||
| CC2.INT07 | Fully implemented | |||||||
5.0 |
| Can detect violations of this recommendation with the CERT C Rule Pack | |||||||
| 93 S | Fully implemented | |||||||
|
|
| |||||||
| PRQA QA-C |
| 3711 | Partially implemented |
...