The fully customizable Axivion Static Code Analysis is a cornerstone for your CI-based quality gate. It complements the use of automated testing tools and ensures high-quality code - right from the start.
The automated analysis of your software projects identifies violations of coding guidelines according to MISRA (including MISRA C: 2023 and MISRA C++:2023) and AUTOSAR C++14. Security-relevant violations are analyzed with coding guidelines according to CERT®, C Secure Coding and CWE. Metric violations are displayed and documented, as are clones, cycles or unreachable code.
The results of Axivion Static Code Analysis support you in the continuous quality assurance accompanying the development of software created in the programming languages C and C++. By automating the quality checks, developers can focus on the tasks that require human intelligence and creativity. Repetitive tasks can simply be handed over to a machine, which repeatedly performs full-scale checks and delivers comprehensive reports.
SGS-TÜV Saar GmbH has certified that Axivion Static Code Analysis is suitable for use in the development of safety systems up to the highest level of the safety requirement contained in the respective standard: ISO 26262 up to ASIL D, IEC 61508 up to SIL 4, IEC 62304 up to Class C and EN 50657 up to SIL 4.
For an extra level of quality assurance use the Axivion Tool Qualification Kit to support the classification and qualification of your tool chain.