MISRA C

Turkish equivalent: MISRA CDomain: Software Quality

A family of MISRA guidelines that constrains C language use and establishes a disciplined compliance and deviation process for critical software.

Technical Context

MISRA C is not a static-analysis engine. It is a family of guidelines for using C more predictably in critical software. Analysis tools can enforce selected rules, but a compliance claim also depends on the defined guideline set, enforcement methods, controlled deviations and externally developed software.

MISRA C:2012 is the historically appropriate edition for work performed in 2015. Later editions should not be projected backward onto an older engineering process.

Related Article

Related technical publications

Publications whose title or summary directly references this concept.

MISRA C and Static Code Analysis

An engineering treatment of static analysis for embedded and critical C through MISRA C, Cppcheck, Splint, Astrée and TI Code Composer Studio, from lexical checks to abstract interpretation and property-specific guarantees.