6.2.12.12. Misra

Checks for Misra guidelines for the use of C/C++ in critical systems

Axivion covers 100% of the statically checkable rules of the following MISRA guidelines:

Nested Rules

MisraC	MISRA C:2004
MisraC2012	MISRA C:2012
MisraC2019	MISRA C:2019
MisraC2023	MISRA C:2023
MisraC2025	MISRA C:2025
MisraC++	MISRA C++:2008
MisraC++2023	MISRA C++:2023

Options

• Setting an option for this rule means setting the default for all nested rules.

• This rule shares the following common options: exclude_in_macros, exclude_messages_in_system_headers, excludes, extend_exclude_to_macro_invocations, includes, justification_checker, languages, post_processing, provider, report_at, severity

• The following places define options that affect this rule: Stylechecks, Analysis-GlobalOptions

• This rule has no individual options.