...
| Code Block | ||||
|---|---|---|---|---|
| ||||
#include <stdio.h>
void func(void) {
static volatile int **ipp;
static int *ip;
static volatile int i = 0;
printf("i = %d.\n", i);
ipp = &ip; /* Produces warnings in modern compilers */
ipp = (int**) &ip; /* Constraint violation,; also produces warnings */
*ipp = &i; /* Valid */
if (*ip != 0) { /* Valid */
/* ... */
}
} |
...
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
EXP32-C | lowLow | likelyLikely | mediumMedium | P6 | L2 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
| |||||||
|
| Can detect violations of this rule when the | |||||||
| 344 S | Fully implemented | |||||||
| PRQA QA-C |
| 0312 | Fully implemented |
...