...
This noncompliant code example calls puts() and fails to check whether a write error occurs.:
| Code Block | ||||
|---|---|---|---|---|
| ||||
puts("foo");
|
...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
Compass/ROSE |
|
|
| ||||||
| CHECKED_RETURN | Finds inconsistencies in how function call return values are handled. Coverity Prevent cannot discover all violations of this recommendation, so further verification is necessary. | |||||||
| ignrtrn | Fully implemented. | |||||||
| SV.RVT.RETVAL_NOTTESTED |
| |||||||
| 382 S | Fully implemented. | |||||||
| PRQA QA-C |
| 3200 | Fully implemented. | ||||||
Splint |
|
|
|
...