misra – Tarik Billa

Why does MISRA C state that a copy of pointers can cause a memory exception?

August 23, 2023 by Tarik

According to the Standard, copying the pointer q = p;, is undefined behaviour. Reading J.2 Undefined behaviour states: The value of a pointer to an object whose lifetime has ended is used (6.2.4). Going to that chapter we see that: 6.2.4 Storage durations of objects The lifetime of an object is the portion of program … Read more

What is the benefit of terminating if … else if constructs with an else clause?

November 29, 2022 by Tarik

As mentioned in another answer, this is from the MISRA-C coding guidelines. The purpose is defensive programming, a concept which is often used in mission-critical programming. That is, every if – else if must end with an else, and every switch must end with a default. There are two reasons for this: Self-documenting code. If … Read more