Page History

LANG.FUNCS.IRV

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

MISRA C 2012 Rule 22.8

MISRA C 2012 Rule 22.9

MISRA C 2012 Rule 22.10

C3200

C++2820, C++2821, C++2822, C++2823, C++2824, C++2930, C++2931, C++2932, C++2933, C++2934, C++3802, C++3803, C++3804

NPD.CHECK.MUST

NPD.FUNC.MUST

SV.RVT.RETVAL_NOTTESTED

80 D

CERT_C-ERR33-a
CERT_C-ERR33-b
CERT_C-ERR33-c
CERT_C-ERR33-d

The value returned by a function having non-void return type shall be used
The value returned by a function having non-void return type shall be used
Avoid null pointer dereferencing
Always check the returned value of non-void function

534

Partially supported

Polyspace Bug Finder

CERT C: Rule ERR33-C

Checks for:

• Errno not checked
• Return value of a sensitive function not checked
• Unprotected dynamic memory allocation

Rule partially covered.

3200

2820, 2821, 2822, 2823, 2824, 2930, 2931,

2932, 2933, 2934, 3802, 3803, 3804