MISRA C:2023 Dir 4.1
Run-time failures shall be minimized
Since R2024a
Description
Directive Definition
Run-time failures shall be minimized1 .
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 R2024a
See Also
Check MISRA C:2023
(-misra-c-2023)
| MISRA C:2023 Rule
1.3
| MISRA C:2023 Rule
18.1
| MISRA C:2023 Rule
18.2
| MISRA C:2023 Rule
18.3
1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.
The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:
MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023
MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.