4.6. Safety and Security

This section describes the safety- and security-related coding standard checks and rule sets supported by Axivion Suite. Each guide covers a specific standard or language, explaining how to configure the corresponding analysis, interpret its findings, and produce compliance reports.

The following guides are available:

  • HIS – Checks for the Hersteller Initiative Software metrics and rules used in the automotive industry.

  • MISRA – Checks for MISRA C and MISRA C++ guidelines, widely adopted in safety-critical embedded software development.

  • AUTOSAR – Checks for AUTOSAR C++14 coding guidelines for automotive software.

  • CERT – Checks for CERT C and CERT C++ secure coding rules aimed at eliminating undefined behaviour and common vulnerabilities.

  • C Secure Coding – Additional C secure coding rule checks complementing the CERT guidelines.

  • CWE – Maps findings to the Common Weakness Enumeration (CWE) catalogue for vulnerability classification.

  • NVIDIA CUDA C++ – Checks for NVIDIA’s coding guidelines for CUDA C++ device code.

  • C# – Coding rules and metrics for C# projects.

  • Rust – Metrics and rule checks for Rust code.

  • Axivion Qualification Kits – Describes the qualification kit artefacts that support the use of Axivion Suite in safety-certified development processes (e.g. ISO 26262, IEC 61508).

  • Axivion Compiler Errata – Describes compiler-errata checks that detect code patterns affected by known compiler bugs.