MISRA C:2012 Dir 4.1

Run-time failures shall be minimized

Description

Directive Definition

Run-time failures shall be minimized.

Rationale

To optimize the size and speed of executable code, the C standard implements limited run-time failure checks. To reduce run-time failures, check these errors:

Arithmetic errors
Pointer arithmetic
Array bound errors
Function parameters
Pointer dereferencing
Dynamic memory

Polyspace Implementation

Polyspace^® reports a violation of this directive if runtime issues exist in your code, including:

Troubleshooting

If you expect a rule violation but do not see it, refer to Diagnose Why Coding Standard Violations Do Not Appear as Expected.

Check Information

Group: Code design

Category: Required

AGC Category: Required

Version History

Introduced in R2014b