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:

• Integer division by zero

• Float division by zero

• Integer conversion overflow

• Unsigned integer conversion overflow

• Sign change integer conversion overflow

• Float conversion overflow

• Integer overflow

• Unsigned integer overflow

• Float overflow

• Shift of a negative value

• Right operand of shift operation outside allowed bounds

• Dereference of a null pointer

• Arithmetic operation with NULL pointer

• Automatic or thread local variable escaping from a thread

• Wrong allocated object size for cast

• Array access out of bounds

• Pointer access out of bounds

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