Style check

Style check: MISRA, AUTOSAR, CERT, ISO/IEC TS 17961

Axivion’s style check covers 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).

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

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

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

C Secure Coding Checker

(ISO/IEC TS 17961)

The C Secure Coding checker 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

Request an evaluation and try these features yourself.