MISRA Publications

MISRA SC WP2: Uncovering the historical road safety argument

This white paper explores the historical implicit argument for road safety, the roles of the parties involved and the differences between manually driven and AD-equipped vehicles.

MISRA C:2025 – Addendum 5 (MISRA C:2025 ADD5)

Increasingly, the Common Weakness Enumeration (CWE), administered by The MITRE Corporation, is being used as a reference for system weaknesses, whether hardware- or software- related, and irrespective as to the programming language used. Many of the enumerations will be relevant to high-integrity software written in C, and this document will map those that are covered by guidance within the MISRA C guidelines. This first subset focusses on the weaknesses tagged as being relevant to memory safety (category CWE-1399), an area where some commentators are now suggesting makes the C programming language unsuitable for high-integrity software – the MISRA C Working Group respectfully disagrees with this assertion, and this document provides our evidence to support our position that C, with appropriate controls, provides a suitable language for developing safety- and security-related environments.

MISRA C:2025 – Addendum 6 (MISRA C:2025 ADD6)

This document has been produced to assess the applicability of the MISRA C guidelines to the Rust programming language, and will form the basis of future work within MISRA, in collaboration with the wider Rust community. The intended purpose of this document is to highlight which areas of the Rust programming language are and are not subject to issues identified as affecting C projects. By identifying which issues enforced by a given MISRA C guideline categorically cannot apply to a Rust project, developers of a Rust project can be certain that their code is compliant to whichever parts of functional safety standards those guidelines are intended to enforce. Where an issue enforced by a MISRA C guideline does still apply or potentially apply to code written in Rust, deeper analysis may still be required to ensure compliance, but the overall list is reduced and the relevant issues are clearly identified as mapping to some known enforcement which can aid in manual review.

MISRA C:2023 – Addendum 3 (MISRA C:2023 ADD3)

This third Addendum to MISRA C:2023 sets out the coverage by MISRA C:2023 of the 2nd Edition of CERT C and justifies the viewpoint that MISRA C is equally as applicable in a security-related environment as it is in a safety-related one — particularly relating to the development of freestanding applications. Ongoing developments of MISRA C will further address issues in the hosted domain.

MISRA AC INT:2025 Introduction to the MISRA guidelines for the use of automatic code generation in embedded systems

This document explains the structure of, and relationships between, the MISRA Autocode Guidelines (MISRA AC) family of documents. It is based on the original version, 1.0, published in 2007. The document has undergone extensive revision to reflect the changes in the MISRA AC document family and related standards, and the advances in use and awareness of modelling and automatic code generation approaches since that time.

MISRA AC SLSF:2023 – Amendment 3

This Amendment to MISRA AC SLSF:2023 contains modifications that bring the guidelines up to date for MATLAB release R2024b. It also includes revisions to the required statuses of some diagnostics and to the statuses of some library blocks and configurations.

MISRA C:2023 – Addendum 4 (MISRA C:2023 ADD4)

This Addendum to MISRA C:2023 sets out the coverage by MISRA C:2023 against the language-independent guidance of ISO/IEC 24772-1:2019 and the C language specific guidance of ISO/IEC 24772-3:2020

MISRA C:2023 – Addendum 2 (MISRA C:2023 ADD2)

This Addendum to MISRA C:2023 sets out the coverage by MISRA C:2023 against ISO/IEC 17961, incorporating the 2016 technical corrigendum to the latter document.

MISRA AC SLSF:2023 – Amendment 2

This Amendment to MISRA AC SLSF:2023 contains modifications that bring the guidelines up to date for MATLAB release R2024a

MISRA SC WP1: Safety assurance argument context for automated driving

This white paper looks at personal transport modelled as a service and the implicit safety argument that could accompany it. It also considers the complete lifecycle safety argument for the vehicle and its parts.

MISRA AC SLSF:2023 – Amendment 1

This Amendment to MISRA AC SLSF:2023 contains modifications that bring the guidelines up to date for MATLAB release R2023b

MISRA C:2012 – Addendum 3

This Addendum to MISRA C:2012 sets out the coverage by MISRA C:2012 of the 2nd Edition of CERT C

MISRA C Amendment 4 (MISRA C:2012 AMD4)

This document completes the updates of MISRA C:2012 Third Edition, First Revision for additional coverage of C11/C18 language features

MISRA C Amendment 3 (MISRA C:2012 AMD3)

This document updates MISRA C:2012 Third Edition, First Revision for additional coverage of C11/C18 language features

MISRA C Technical Corrigendum 2 (MISRA C:2012 TC2)

This document provides additional clarification on MISRA C:2012 Third Edition, First Revision

MISRA C 2012 Permits

MISRA C:2012 Permits provides a set of permits to aid compliance, particularly in the lower-levels (e.g. hardware access), but also to make compliance easier where automatically generated code is being created.

MISRA C Amendment 2 (MISRA C:2012 AMD2)

An updated edition of the C Standard, commonly referred to as “C11”, was released just as MISRA C:2012 was being prepared for publication, meaning it arrived too late for the MISRA C Working Group to take it into consideration. This document provides additional guidance on C11, and integrates use of MISRA Compliance:2020.

MISRA Compliance 2020

An updated version of the guidance on complying with MISRA Coding Guidelines, now mandatory from MISRA C:2012 Third Edition, First Revision + AMD2