Skip to main content

Axivion Suite 7.10 - CUDA, MISRA and More

We are pleased to announce the release of Axivion 7.10. With the new release customers now have the possibility to use all features, which are already available for C and C++, to also analyze their CUDA applications. With Axivion being used predominantly in safety-critical environments, the latest release, of course, also includes additional rules for safety and security guidelines such as MISRA, CWE and CERT.

Axivion for CUDA Applications

Undoubtedly, the biggest innovation is the extended analysis capability of Axivion – now also including CUDA , the programming model and syntax used to write code that runs on NVIDIA GPUs. It is used in a wide range of applications, from scientific research to commercial products and has made a significant impact in areas such as AI-based applications and high-speed automotive systems.

With the new release the full feature set of the Axivion Suite – Architecture Verification, Clone Detection and Management, Metric Monitoring, Coding Guidelines & Defect Detection, Dead Code Analysis, Cycle Detection – is now also available for CUDA applications (Axivion for CUDA). It allows developers to apply the extensive analysis to their entire C/C++ and CUDA code with just one tool. 

Meeting the Highest Security Standards

Ensuring that software meant for use in safety-critical environments - such as automotive, medical or industrial applications - meets stringent security requirements, is one of Axivion Suite’s key focus areas. Improvements in this area are constantly made and this release is no exception. By adding the recently published MISRA C:2025 rules to Axivion’s MISRA checker, the tool continues to cover 100% of all automatically testable MISRA rules. 

The 7.10 release also includes additional rules for CERT C/C++ Secure Coding Standards, adding to the already extensive rules available in the coding guideline checker. Improvements can also be found for the CWE and AUTOSAR related checks.

Improved User Experience During Setup

Significant improvements have been made to the Configuration Setup Wizard. These all enhance the efficiency of the setup process for new projects. During the set-up the version control system is now detected automatically, and the simplified configuration of projects ensures a straightforward implementation of new projects. Another improvement is the automatic execution of compiler setup scripts. 

Axivion_Project_SetUp_Wizard_BuildSystem

Adding to the above is the implementation of a Certificate Wizard for the Dashboard setup. With increasing cybersecurity threats, standards and regulations are becoming more demanding. Axivion 7.10 introduces the certificate wizard for the dashboard setup, to simplify the use of secure communication when working with the certificates.

Further Highlights of the Axivion 7.10 Release

Other notable highlights of version 7.10 include:

  • Extended SSO support
    Axivion now supports additional single sign-on solutions  – namely, Okta and Ping ID – for increasing company’s options for secure user authentication.
  • Linux ARM Support  
    Axivion continues to expand the list of supported Host Operating Systems and now also offers native support for Linux ARM.
  • C#13 Support
    Axivion stays up to date with the latest compiler developments: Developers using C# 13 can fully leverage Axivion’s code analysis capabilities.
  • Improved C23 and C++23 support
    Axivion has also updated its support for C23 and C++23 to ensure all features have improved compatibility with the latest standards.
  • Improved Bazel integration
    With the 7.10 release, customers can now download a custom ruleset to integrate Axivion into their Bazel build system even easier. The ruleset provides functions to create a toolchain for the Axivion compiler based on an existing configuration.
  • Improvements for Qt Creator plugin
    The last release introduced the plugin for Qt Creator. Enhancements to the dashboard server enable client implementations that work with complete issue properties. Additionally, access to the help menu has been simplified. These improvements will be available with the next Qt Creator release.

Discover More

Existing Axivion customers can access detailed technical information about the Axivion Suite 7.10 release in our customer portal or by contacting their account manager.

For additional insights into our architecture verification and static code analysis toolsplease visit our website.

If you have any inquiries or wish to schedule a demo, please reach out to us.

Comments