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

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

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

MISRA C:2012 Rule 17.7

MISRA C:2012 Rule 22.9

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 NULL value

The value returned by a function having non-void return type shall be used

The value of errno shall be tested against zero after calling an errno-setting functionRule partially covered.

3200

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

2932, 2933, 2934, 3802, 3803, 3804