...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC-POS54 | |||||||
| CodeSonar |
| LANG.FUNCS.IRV | Ignored return value | ||||||
| Compass/ROSE | Can detect violations of this recommendation when checking for violations of EXP12-C. Do not ignore values returned by functions and EXP34-C. Do not dereference null pointers | ||||||||
| 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 | |||||||
| Klocwork |
| SV.RVT.RETVAL_NOTTESTED | |||||||
| LDRA tool suite |
| 80 D | Partially implemented | ||||||
| Parasoft C/C++test |
| CERT_C-POS54-a | The value returned by a function having non-void return type shall be used | ||||||
| PC-lint Plus |
| 413, 534, 613 | Assistance provided | ||||||
| CERT C: Rule POS54-C | Checks for situations where return value of a sensitive function is not checked (rule fully covered) | |||||||
| PRQA QA-C |
| 3200 | Partially implemented |
...