...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||
| 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 | ||||||||
| Coverity |
| MISRA C 2012 Rule 22.8 MISRA C 2012 Rule 22.9 MISRA C 2012 Rule 22.10 | Implemented | ||||||
| LDRA tool suite |
| 80 D | Partially implemented | ||||||
| Parasoft C/C++test |
| CODSTA-122_a, CODSTA-122_b, BD-PB-NP, BD-PB-CHECKRETGEN | Implemented | ||||||
| Parasoft Insure++ | fully implemented at runtime | ||||||||
| R2016b |
| Return value of a sensitive function not checked | errno is not checked for error conditions following function call Sensitive functions called without checking for unexpected return values and errors Pointer returned from dynamic allocation not checked for The value returned by a function having non-void return type shall be used The value of | ||||||
| PRQA QA-C++ |
| 2820, 2821, 2822, 2823, 2824, 2930, 2931, 2932, 2933, 2934, 3802, 3803, 3804 | |||||||
| PRQA QA-C |
| 3200 | Partially implemented |
...