Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Tool

Version

Checker

Description

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

MISRA CERT C: 2012 Rule 17.1Rec. ERR00-C

Checks for situations where error information is not checked (rec. partially covered)The features of <stdarg.h> shall not be used


Related Guidelines

ISO/IEC TR 24772:2013Termination Strategy [REU]
MISRA C:2012Rule 17.1 (required)
MITRE CWECWE-391, Unchecked error condition
CWE-544, Missing standardized error handling mechanism

...