Axivion Suite – Using the Next Generation of Static Code Analysis to assure the quality of your software
Axivion Suite brings to you the new generation of static code analysis. Our static code analysis checks your software projects for style violations according to MISRA, AUTOSAR C++14, CERT or C Secure Coding – many rules from CWE can also be checked. Metric violations are displayed and documented in the same way as violations of coding guidelines. Potential runtime errors are detected by our defect analysis. Redundant and duplicated code is detected and managed by the clone analysis.
Several thousand users worldwide already rely on Axivion Suite to check their code with our state-of-the-art tool for static code analysis for C and C++.
Coding guidelines: MISRA, CERT C, CERT C++, AUTOSAR C++14, CWE, ISO/IEC TS 17961 (C Secure Coding), custom-specific guidelines
Axivion Suite guarantees 100% coverage of the automatically testable rules of MISRA C:2004, C:2012 (incl. Amendment 1 Security Rules and Amendment 2) and C++:2008 and of AUTOSAR C++14 (17.03, 17.10, 18.03, 18.10 and 19.03). In addition, it covers many of the decidable rules of CERT C and CERT C++ and ISO/IEC TS 17961 (C Secure Coding Checker). Many rules from CWE that relate directly to aspects of static analysis can be checked. For rules that require a more advanced security design as a basis for evaluation, custom checks can be created. Coding guidelines are checked with a very high performance in your environment, so you can immediately reap the benefits of continuous and automatic code reviews.
Even for embedded systems, not all included rules are decidable. Therefore, false positives are possible, causing you unnecessary workload. Axivion helps you to keep the number of these false positives as low as possible, for example through configuration options. Extending the guideline checks by your own specific coding guidelines is also possible.
Metrics
The static code analysis of Axivion Suite forms the basis for many well-known software metrics. These include simple metrics based on lines (lines of code of a file or function). Other metrics are based on control flow properties such as the nesting depth of a function (nesting) or the cyclomatic complexity of a function according to McCabe. Token-based metrics such as the well-known Halstead metrics are also included in the standard set of code metrics. The Axivion Suite also includes the HIS metrics frequently used in the automotive industry.
The metrics supplied can be supplemented with your specific software metrics at any time via API.
With the help of the metrics, hotspots in the code can be identified for refactoring measures, for example over-complex or over-long functions. The threshold values can be specifically adjusted per metric.
Since in practice generated code often exceeds limits that make sense for handwritten code, you can specify which code should be considered generated.
Defect analysis
Check your source code for possible runtime errors with the Static Code Analysis of Axivion Suite. Our analyses include scalable data and control flow checks that help to detect errors such as out-of-bounds accesses or division by zero at an early stage. Program errors that are detected before testing generate lower follow-up costs through early remediation. Defect analysis makes developers aware of corner cases in the program flow that are often not considered during development at an early stage. This makes the code more robust.
Good to know: The results of the static code analysis included in Axivion Suite support and relieve 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 thus be handed over to a machine performing them repeatable, completely, and without fatigue.
That’s why the use of static analysis with Axivion Suite complements the use of classic dynamic analyses. The easy-to-automate static code analysis is a cornerstone for your CI-based quality gate.
I would like to know more about Static Code Analysis:
„We exhaustively evaluated a whole range of analysis tools. The Axivion Suite has impressed us during our daily development work due to its comprehensive open functions which could readily be adapted to our needs. On top of this we benefit from the practical support provided by Axivion’s professional services team, who are there to help us during every phase of our software quality assurance.“
Dr. Stefan Staudt, Software Quality Manager, TRUMPF
„Our innovations are increasingly dependent on software. At the same time, the customer and market requirements are changing faster and faster, and the number of different versions is increasing. This calls for fast response times and the Axivion Suite helps us significantly in this respect.“
Gundolf Schmidt, Chief Engineer EPB Software System Development,
TRW Automotive GmbH
„The Axivion Suite allows the conformity of our product line architecture to be checked precisely. Thus, together with external partners, we are able to produce high-quality software that satisfies medical technology standards.“
Jens Siebert, Software Architect, Software Development for Infusion Systems,
B. Braun Melsungen AG
„A huge amount of specialist expertise has gone into our grinding software. We’ve put a lot of effort and passion into developing it, in particular its architecture and we are continuously adding further innovative features. From now on, our specialist grinding expertise will enjoy additional protection from the Axivion Suite.“
Christian Küster, Commercial Manager, Haas Schleifmaschinen GmbH
„Thanks to the Axivion Suite, we have the maintainability of our software under control, thereby safeguarding our long-term capacity for innovation.“
Thomas Stahl, Director Software Engineering, Fresenius Medical Care
„Using Axivion Suite has brought us two outstanding benefits: during its introduction, our developers grappled intensively with the architecture, which has grown up over a period of years, and we can now optimize the code in a targeted way, based on findings from the various sprints.“
Rainer Thieringer, Head of Software Development Department,
TRUMPF Laser
„With the Axivion Suite, we have significantly reduced our integration effort and integration risk.“
Daniel Zimmermann, Head of OSS Software, HENSOLDT Sensors GmbH
„The Axivion Suite helps us implement our architectural concepts flawlessly. The seamless integration into our UML tool chain went without a hitch and it has made our everyday work easier.“
Thomas Kremer, Teamleader Integration & Configuration EPB Software System Development,
TRW Automotive GmbH
“The Axivion Suite is a real game changer. Thanks to continuous tests, the programmers go through a learning curve, which increases acceptance of the respective architectural requirements. In this kind of software archaeology project, this clears the way for reaching Level 3 of the Automotive SPICE standard.”
Kosmas Kopmeier, Director Engineering Consulting, SynSpace Group GmbH
„The continuous architecture check ensures that we always have a reliable basis for discussion for architecture decisions. This enables us to focus on the important questions of what is a good architecture for our products.“
Dr. Tobias Frank, Head of Safety & Configuration, PHOENIX CONTACT Software GmbH
„The Axivion Suite provides us with crucial support when implementing new features in EB street director and guaranteeing the quality of our software solutions in the long term.“
Jakob Schmidt, Software Architect at Elektrobit
“From a technical perspective, the Axivion Suite won us over with all of its functions for automated code and architecture verification. However, it was the excellent support from the Axivion Professional Services Team that proved to be the key to the high level of acceptance among developers and the fast and highly productive results: the way the new tool suite was rolled out and integrated into our workflows plus the highly motivating training for everyone involved have made the suite a complete success.”
Jan Schröder, Team Leader for Software Architecture and Modules,
Jungheinrich Norderstedt AG & Co. KG
„The Axivion Suite provides us with vital support in ensuring our software quality. Its checks are not merely driven by existing standards, they even exceed the required level.“
Michael Dalpiaz, Head of Embedded Software, Dentsply Sirona
„Integration with Enterprise Architect was perfect: Finally models can be enforced without intensive visual inspection!“
Heiko Stehli, Software Architect, HENSOLDT Sensors GmbH
„The Axivion Suite is another crucial building block for quality assurance in our firmware development, particularly in terms of the increasingly strict safety and security requirements within an industrial environment.“
Christoph Kuner, M.Sc., FS Director, TR-Electronic GmbH
„When it comes to implementing our quality standards, the Axivion Suite is a major help from the perspective of integrating external suppliers.“
Stephan Drozniak, Software Development Manager for Infusion Systems,
B. Braun Melsungen AG
“We have evaluated several static analysis tools, and Axivion Suite clearly stood out in our tests. The tool performed best in terms convinced us through its ease of use, control flow, and data flow analysis, and report generation. Axivion Suite has already become a mainstay component in our development workflow and a valuable component of our DevOps pipeline.”
Dejan Pangercic, CTO and Co-Founder of Apex.AI
“Thanks to the support during implementation and the excellent support provided by the Professional Services Team, it proved possible to integrate the Axivion Suite into our development environment quickly and easily. There are virtually no architecture violations now; instead, we have a higher standard of architecturecompliant code – across all our development teams, worldwide.”
Sven Neuberg, Software Developer Computed Tomography,
Siemens Healthcare GmbH
„The key factor for us is that the Axivion Suite has a high level of adaptability unsurpassed by any other tool suite. That is the only way we can continue meeting our own high quality standards for our intelligent sensors in an increasingly digitalised industrial environment.“
Kai Siegwart, Competence Center Software, Software Quality Assurance,
Leuze electronic GmbH & Co. KG
„We all agree that the Axivion Suite is an important module for projects with long life cycles. In future, we will use it in all of our new software projects.“
Detlev Kuschke, Executive Vice President, PHOENIX CONTACT Software GmbH