Coding Guidelines

Coding Guidelines: MISRA, CERT, AUTOSAR, C Secure Coding (ISO/IEC TS 17961), customer-specific Coding Guidelines

Axivion’s Coding Guidelines cover 100 per cent of the automatically checkable rules for MISRA C:2004, MISRA C:2012 (including MISRA C:2012 Amendment 1 Security Rules and MISRA C:2012 Amendment 2) and MISRA C++:2008 and the automatically checkable rules for AUTOSAR C++14 (17.03, 17.10, 18.03, 18.10 and 19.03), as well as many of the decidable rules for CERT C and CERT C++ and ISO/IEC TS 17961 (C Secure Coding Checker). Implementing customer-specific coding guidelines is also possible at any time.

The Axivion cuboids in this image are meant to symbolize Axivion's MISRA Check, which covers 100% of the automated checkable rules of MISRA C:2004, MISRA C:2012 (incl. Amd. 1 Security Rules and Amd. 2) and MISRA C++:2008.

MISRA check

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++.

Our MISRA checker 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…

Read more
The view of the Axivion cubes are meant to symbolize Axivion's AUTOSAR C++14 Check, it covers the automated checkable rules of AUTOSAR C++14 (17.03, 17.10, 18.03, 18.10 and 19.03).

AUTOSAR C++14 check

Axivion´s AUTOSAR C++14 check covers all decidable rules that do not need human interpretation for AUTOSAR C++14 (17.03, 17.10, 18.03, 18.10 and 19.03).

AUTOSAR C++14 includes coding guidelines for using C++14 in safety-critical environments. This standard focuses on the automotive environment but, being up-to-date, it can also be used in other embedded applications…

Read more
Here you are shown cubes in white/grey, which are supposed to represent the CERT Check of Axivion, this covers many of the decidable rules of CERT C and CERT C++.

CERT check

Axivion´s CERT C check covers a lot of decidable rules that do not need human interpretation of the rules.

Our CERT C 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…

Read more
Here you are shown cuboids in dark gray/grey, which are supposed to represent Axivion's C Secure Coding Check, this covers many of the decidable rules of ISO/IEC TS 17961.

C Secure Coding check
(ISO/IEC TS 17961)

The C Secure Coding check covers many of the decidable rules for C Secure Coding.
C Secure Coding (ISO/IEC TS 17961) focus like Cert on Security. Nevertheless, there is a significant overlap with MISRA and AUTOSAR C++14.

Unlike CERT, ISO/IEC TS 17961 is an international standard. A long duration of the validity of the ruleset should be the result of this standardization. Axivion implemented the rules according to the current 2016 standard…

Read more
This illustration is intended to symbolize that Axivion Suite can be flexibly supplemented with your own customer-specific coding guidelines.

Customer Specific Coding Guidelines

Add your customer-specific coding guidelines to Axivion Suite and check your code for compliance.

Configuring existing rules to your own needs is also easily possible in the GUI.

Read more