Versions Compared

Key

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

...

Failure to provide a consistent and usable error-checking mechanism can result in type errors in the program.

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

API04-C

Medium

Unlikely

Medium

P4

L3

Automated Detection

Tool

Version

Checker

Description

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C: Rec. API04-CChecks for situations where returned value of a sensitive function is not checked (rule partially covered)

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

Related Guidelines

Key here (explains table format and definitions)

Taxonomy

Taxonomy item

Relationship

ISO/IEC 9945:2003
 

Prior to 2018-01-12: CERT: Unspecified Relationship
ISO/IEC 23360-1:2006
 

Prior to 2018-01-12: CERT: Unspecified Relationship
ISO/IEC TR 24731-1
 

Prior to 2018-01-12: CERT: Unspecified Relationship
ISO/IEC TR 24731-2
 

Prior to 2018-01-12: CERT: Unspecified Relationship
MISRA C:2012Rule 21.3 (required)Prior to 2018-01-12: CERT: Unspecified Relationship
MISRA C:2012Directive 4.12 (required)
MITRE CWE
Prior to 2018-01-12: CERT: Unspecified Relationship
CWE 2.11CWE-754, Improper check for unusual or exceptional conditionsPrior to 2018-01-12: CERT:

Bibliography

[Burch 2006]
 

[CERT 2006c]
 

[Miller 1999]
 

[Seacord 2013]Chapter 2, "Strings"

...


...