...
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 | |||||||||||
| Helix QAC |
| ||||||||||||
| 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 | Helix QAC | |||||||||
| Include Page | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
The vulnerability in Adobe Flash [VU#159523] arises because Flash neglects to check the return value from calloc(). Even when calloc() returns NULL, Flash writes to an offset from the return value. Dereferencing NULL usually results in a program crash, but dereferencing an offset from NULL allows an exploit to succeed without crashing the program.
...