Static Code Analysis

Axivion Suite – Next Generation of Static Code Analysis

Axivion Suite embodies the new generation of static code analysis. It checks your software projects for style violations according to MISRA, AUTOSAR C++14, CERT or C Secure Coding. Metrics violations are displayed and documented in the same way as clones, cycles or unreachable code. Possible runtime errors are detected via the defect analysis.

Several thousand users worldwide already rely on Axivion Suite and check their code with our state-of-the-art tool for static code analysis.

Coding guidelines: MISRA, CERT, AUTOSAR, ISO/IEC TS 17961 (C Secure Coding), custom-specific

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). An extension of custom coding guidelines is also possible.

Read more
The picture shows stylised building blocks rising to different heights symbolizing Metrics of Axivion Suite.

Metrics

Many rule sets of well-known software metrics are part of the Axivion Suite: for example, based on rows and tokens, nesting, cyclomatic complexity, control flow or old acquaintances like the Halstead metrics. We also support entire rule sets, such as HIS.

Read more
The image shows stylised cars which have taken up a wrong parking position to describe the defect analysis.

Defect analysis

Check your source code for possible runtime errors with 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.

Read more