Unleash the power of Axivion´s MISRA check for MISRA C:2004, MISRA C:2012 and MISRA C++:2008
The MISRA coding rules aim at making safety critical systems safer by flagging issues in the code. This enables developers to grind away inherently unsafe and insecure ways of coding C and C++.
Axivion´s MISRA check covers 100 per cent of the automatically checkable rules for MISRA C:2004, MISRA C:2012 (including Amendment 1 security rules and Amendment 2) and MISRA C++:2008.
Our MISRA checks seamlessly integrate into IDEs and CI environments allowing for easy integration into your processes ranging from local checks up to full-fledged automated CI checks with the very same configuration and the very same results.
Use the severity of rules and rule groups to prioritize your work. Add justifications if deviations in the code are needed. Generate MISRA conformance reports of your code.
Our unparalleled delta check keeps developers more focused on their daily job of creating safe code. During reviews, deviations introduced by sprints, releases, feature branches etc. can be easily witnessed.
If you are in an ISO 26262 environment or similar safety standards such as IEC 61508, IEC 62304 etc, our Tool Qualification Kit ensures confidence in using the tool in your environment and with your use cases up to the required ASIL level.
Combine the MISRA rules with other coding rule sets, e.g. AUTOSAR C++14, CERT, custom coding rules specific for your environment, and even results of other static code analyses.
We are constantly adding new editions of MISRA and AUTOSAR coding standards as they emerge into our products.
The image shows the list of changes for MISRA violations in the period from August to September. In addition to new violations, one MISRA violation was also rectified during the same period.
A selection of Success Stories about MISRA