...
In this compliant solution, stringify is declared as an unsigned integer. The value of the result of the right-shift operation is the integral part of the quotient of stringify / 2 ^ 24:
| Code Block | ||||
|---|---|---|---|---|
| ||||
int rc = 0;
unsigned int stringify = 0x80000000;
char buf[sizeof("256")];
rc = snprintf(buf, sizeof(buf), "%u", stringify >> 24);
if (rc == -1 || rc >= sizeof(buf)) {
/* Handle error */
}
|
...
Recommendation | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
INT13-C | highHigh | unlikelyUnlikely | mediumMedium | P6 | L2 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
|
| Can detect violations of this rule. In particular, it flags bitwise operations that involved variables not declared with | |||||||
| CC2.INT13 | Fully implemented | |||||||
5.0 |
| Can detect violations of this recommendation with the CERT C Rule Pack | |||||||
| 50 S | Fully implemented | |||||||
| PRQA QA-C |
| 0502 | Fully implemented | ||||||
|
|
|
...