MISRA C

C daje programiście mnóstwo liny, a zachowanie niezdefiniowane to jeden z jej dłuższych odcinków. Brytyjskie konsorcjum MISRA opublikowało w 1998 roku wytyczne użycia języka w pojazdach, od tamtej pory poprawiane w 2004, 2012 i 2023. Reguły dzielą się na obowiązkowe, wymagane i zalecane: żadnej dynamicznej alokacji pamięci po starcie, żadnej rekurencji, jawne konwersje typów, żadnego niejawnego przechodzenia między przypadkami w switch.

Nikt nie trzyma wszystkich reguł w głowie, więc zgodność sprawdzają analizatory statyczne, które głośno narzekają. Odstępstwa są dozwolone, ale trzeba je udokumentować. MISRA C stosuje się dziś daleko poza motoryzacją — w urządzeniach medycznych, lotnictwie i kolejnictwie — bo audytor woli przeczytać „stosujemy MISRA z tymi odstępstwami” niż domowy przewodnik stylu.