...
| Code Block |
|---|
enum { max = 15 };
int i = /* Initialize to user -supplied value */;
if ( (i >= 0) && ( (i++) <= max) ) {
/* Code */
}
|
...
| Code Block | ||||
|---|---|---|---|---|
| ||||
char *p = /* Initialize,; may or may not be NULL */ if (p || (p = (char *) malloc(BUF_SIZE)) ) { /* Do stuff with p */ free(p); p = NULL; } else { /* Handle malloc() error */ return; } |
...
Recommendation | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
EXP02-C | lowLow | unlikelyUnlikely | mediumMedium | P2 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
|
| Could detect possible violations of this recommendation by reporting expressions with side effects, including function calls, that appear on the right-hand side of an | |||||||
| 35 D | Fully implemented | |||||||
| PRQA QA-C |
| 3415 | Fully implemented |
...